Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
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.82 |
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 | 54 |
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 | 1196 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4099 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680694-1277458490.opb. 0.00/0.00 c Instance file HOME/instance-2680694-1277458490.opb 0.00/0.00 c File size is 5425 bytes. 0.00/0.00 c Highest Coefficient sum: 4099 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 554 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1105 0.00/0.00 o 1105 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 634 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 756 0.00/0.00 o 756 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 | 27 | 120 12 714 | 5000 27 48 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 545 0.00/0.00 o 545 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 | 27 | 120 13 794 | 5000 27 48 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 543 0.00/0.00 o 543 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 | 30 | 120 14 874 | 5000 30 46 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 536 0.00/0.00 o 536 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 51 | 120 15 954 | 5000 51 44 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 413 0.00/0.00 o 413 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 66 | 120 16 1034 | 5000 66 42 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 363 0.00/0.01 o 363 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 155 | 120 17 1114 | 5000 155 40 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 323 0.00/0.01 o 323 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 198 | 120 18 1194 | 5000 198 40 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 307 0.00/0.02 o 307 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 | 236 | 120 19 1274 | 5000 236 39 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 243 0.00/0.02 o 243 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 | 238 | 120 20 1354 | 5000 238 39 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 235 0.00/0.02 o 235 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 241 | 120 21 1434 | 5000 241 40 | 0.000 % | 0.00/0.02 c | 341 | 120 21 1434 | 5500 341 39 | 0.007 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 183 0.00/0.03 o 183 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 446 | 120 22 1514 | 5000 446 37 | 0.007 % | 0.00/0.04 c | 546 | 120 22 1514 | 5500 546 38 | 0.007 % | 0.00/0.05 c | 697 | 120 22 1514 | 6050 697 37 | 0.007 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c New solution: 182 0.05/0.06 o 182 0.05/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.05/0.06 c =============================================================================== 0.05/0.06 c | 877 | 120 23 1594 | 5000 877 37 | 0.007 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c New solution: 170 0.05/0.06 o 170 0.05/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.05/0.06 c =============================================================================== 0.05/0.06 c | 878 | 120 24 1674 | 5000 878 37 | 0.007 % | 0.05/0.07 c | 978 | 120 24 1674 | 5500 978 37 | 0.007 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c New solution: 123 0.05/0.08 o 123 0.05/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.05/0.08 c =============================================================================== 0.05/0.08 c | 1081 | 120 25 1754 | 5000 1081 37 | 0.007 % | 0.05/0.09 c | 1181 | 110 25 1754 | 5500 834 36 | 8.340 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c New solution: 62 0.05/0.09 o 62 0.05/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s 0.05/0.09 c =============================================================================== 0.05/0.09 c | 1181 | 110 26 1834 | 5000 834 36 | 8.340 % | 0.09/0.10 c | 1281 | 107 26 1834 | 5500 934 36 | 16.674 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 60 0.09/0.11 o 60 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 1379 | 100 27 1914 | 5000 1032 36 | 16.674 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 42 0.09/0.11 o 42 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 1406 | 100 28 1994 | 5000 1059 37 | 16.674 % | 0.09/0.12 c | 1506 | 100 28 1994 | 5500 1159 37 | 16.674 % | 0.09/0.13 c | 1656 | 100 28 1994 | 6050 1309 36 | 16.674 % | 0.09/0.15 c | 1881 | 100 28 1994 | 6655 1534 36 | 16.674 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 40 0.09/0.17 o 40 0.09/0.17 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 2075 | 100 29 2074 | 5000 1728 36 | 16.674 % | 0.09/0.17 c | 2175 | 100 29 2074 | 5500 1828 36 | 16.674 % | 0.09/0.19 c | 2325 | 100 29 2074 | 6050 1978 36 | 16.674 % | 0.19/0.21 c | 2551 | 100 29 2074 | 6655 2204 37 | 16.674 % | 0.19/0.24 c | 2888 | 100 29 2074 | 7320 2541 37 | 16.674 % | 0.19/0.28 c | 3394 | 100 29 2074 | 8052 3047 37 | 16.674 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 29 0.19/0.29 o 29 0.19/0.29 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 3475 | 100 30 2154 | 5000 2667 37 | 16.674 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 24 0.29/0.30 o 24 0.29/0.30 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 3519 | 90 31 2234 | 5000 2711 37 | 16.674 % | 0.29/0.31 c | 3620 | 90 31 2234 | 5500 2812 37 | 25.007 % | 0.29/0.32 c | 3770 | 90 31 2234 | 6050 2962 37 | 25.007 % | 0.29/0.34 c | 3995 | 90 31 2234 | 6655 3187 38 | 25.007 % | 0.29/0.37 c | 4332 | 90 31 2234 | 7320 3524 38 | 25.007 % | 0.39/0.42 c | 4838 | 90 31 2234 | 8052 4030 39 | 25.007 % | 0.49/0.50 c | 5597 | 90 31 2234 | 8857 4789 40 | 25.007 % | 0.59/0.62 c | 6737 | 90 31 2234 | 9743 5929 41 | 25.007 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 22 0.79/0.83 o 22 0.79/0.83 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 8401 | 90 32 2314 | 5000 7593 42 | 25.007 % | 0.79/0.85 c | 8502 | 90 32 2314 | 5500 3898 45 | 25.007 % | 0.79/0.86 c | 8653 | 90 32 2314 | 6050 4049 46 | 25.007 % | 0.79/0.89 c | 8878 | 90 32 2314 | 6655 4274 45 | 25.007 % | 0.89/0.93 c | 9216 | 90 32 2314 | 7320 4612 45 | 25.007 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 13 0.89/0.98 o 13 0.89/0.98 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 9597 | 90 33 2394 | 5000 4993 45 | 25.007 % | 0.89/0.99 c | 9698 | 81 33 2394 | 5500 2560 46 | 33.340 % | 1.00/1.01 c | 9848 | 81 33 2394 | 6050 2710 46 | 33.340 % | 1.00/1.03 c | 10073 | 81 33 2394 | 6655 2935 46 | 33.340 % | 1.00/1.06 c | 10411 | 81 33 2394 | 7320 3273 47 | 33.340 % | 1.10/1.11 c | 10917 | 81 33 2394 | 8052 3779 47 | 33.340 % | 1.10/1.19 c | 11677 | 81 33 2394 | 8857 4539 47 | 33.340 % | 1.29/1.32 c | 12816 | 80 33 2394 | 9743 5678 48 | 33.340 % | 1.49/1.53 c | 14525 | 80 33 2394 | 10717 7387 48 | 33.340 % | 1.79/1.89 c | 17089 | 80 33 2394 | 11789 9950 48 | 33.340 % | 2.39/2.44 c | 20933 | 80 33 2394 | 12968 7864 48 | 33.340 % | 3.29/3.35 c | 26701 | 80 33 2394 | 14265 7114 49 | 33.340 % | 4.49/4.55 c =============================================================================== 4.49/4.55 c New solution: 12 4.49/4.55 o 12 4.49/4.55 c Elapsed CPU time: 4.46832 s Remaining CPU time: 175.532 s 4.49/4.55 c =============================================================================== 4.49/4.55 c | 34038 | 80 34 2474 | 5000 7285 48 | 33.340 % | 4.49/4.58 c | 34138 | 80 34 2474 | 5500 3743 48 | 33.340 % | 4.49/4.59 c | 34289 | 80 34 2474 | 6050 3894 48 | 33.340 % | 4.59/4.62 c | 34514 | 80 34 2474 | 6655 4119 48 | 33.340 % | 4.59/4.66 c | 34852 | 80 34 2474 | 7320 4457 48 | 33.340 % | 4.68/4.72 c | 35359 | 80 34 2474 | 8052 4964 48 | 33.340 % | 4.68/4.79 c | 36119 | 80 34 2474 | 8857 5724 48 | 33.340 % | 4.89/4.92 c | 37258 | 80 34 2474 | 9743 6863 48 | 33.340 % | 5.09/5.13 c | 38966 | 80 34 2474 | 10717 8571 47 | 33.340 % | 5.40/5.49 c | 41528 | 80 34 2474 | 11789 5742 45 | 33.340 % | 5.89/5.93 c | 45374 | 80 34 2474 | 12968 9588 45 | 33.340 % | 6.79/6.81 c | 51141 | 80 34 2474 | 14265 8838 46 | 33.340 % | 8.08/8.19 c | 59790 | 80 34 2474 | 15692 10320 45 | 33.340 % | 10.39/10.41 c | 72765 | 80 34 2474 | 17261 15414 46 | 33.340 % | 13.99/14.06 c | 92226 | 80 34 2474 | 18987 8881 45 | 33.340 % | 20.08/20.16 c | 121419 | 80 34 2474 | 20886 19012 48 | 33.340 % | 29.48/29.56 c =============================================================================== 29.48/29.56 c New solution: 8 29.48/29.56 o 8 29.48/29.56 c Elapsed CPU time: 29.1366 s Remaining CPU time: 150.863 s 29.48/29.56 c =============================================================================== 29.48/29.56 c | 162829 | 80 35 2554 | 5000 18522 47 | 33.340 % | 29.58/29.69 c | 162929 | 70 35 2554 | 5500 4720 47 | 41.674 % | 29.68/29.72 c | 163079 | 70 35 2554 | 6050 4870 47 | 41.674 % | 29.68/29.75 c | 163305 | 70 35 2554 | 6655 5096 47 | 41.674 % | 29.68/29.79 c | 163643 | 70 35 2554 | 7320 5434 47 | 41.674 % | 29.78/29.85 c | 164150 | 70 35 2554 | 8052 5941 47 | 41.674 % | 29.88/29.94 c | 164910 | 70 35 2554 | 8857 6701 48 | 41.674 % | 29.98/30.09 c | 166049 | 70 35 2554 | 9743 7840 48 | 41.674 % | 30.28/30.31 c | 167757 | 70 35 2554 | 10717 9548 47 | 41.674 % | 30.58/30.68 c | 170319 | 70 35 2554 | 11789 6714 47 | 41.674 % | 31.18/31.20 c | 174163 | 70 35 2554 | 12968 10558 47 | 41.674 % | 31.98/32.07 c | 179929 | 70 35 2554 | 14265 9802 49 | 41.674 % | 33.48/33.53 c | 188580 | 70 35 2554 | 15692 11285 50 | 41.674 % | 36.08/36.19 c | 201554 | 70 35 2554 | 17261 8486 53 | 41.674 % | 40.27/40.38 c | 221015 | 70 35 2554 | 18987 10605 53 | 41.674 % | 46.88/46.94 c | 250207 | 70 35 2554 | 20886 11203 52 | 41.674 % | 57.27/57.34 c | 293997 | 70 35 2554 | 22974 13069 55 | 41.674 % | 74.06/74.17 c | 359682 | 70 35 2554 | 25272 18006 54 | 41.674 % | 103.46/103.56 c | 458209 | 70 35 2554 | 27799 15403 49 | 41.674 % | 151.75/151.84 c | 605998 | 70 35 2554 | 30579 27875 52 | 41.674 % | 181.84/181.90 c There are 50 assigned variables. 50 in cost function. 182.34/182.40 c ============================[ Search Statistics ]============================== 182.34/182.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.40 c =============================================================================== 182.34/182.40 c | 0 | 40 100 454 | 5000 0 nan | 0.000 % | 182.34/182.41 c | 100 | 40 100 454 | 5500 100 38 | 66.674 % | 182.34/182.42 c | 252 | 40 100 454 | 6050 252 41 | 66.674 % | 182.34/182.48 c | 477 | 40 100 454 | 6655 477 42 | 66.674 % | 182.44/182.54 c | 815 | 40 100 454 | 7320 815 43 | 66.674 % | 182.44/182.58 c | 1321 | 40 100 454 | 8052 1321 42 | 66.674 % | 182.54/182.64 c | 2081 | 40 100 454 | 8857 2081 43 | 66.674 % | 182.64/182.74 c | 3221 | 40 100 454 | 9743 3221 42 | 66.674 % | 182.83/182.93 c | 4929 | 40 100 454 | 10717 4929 41 | 66.674 % | 183.13/183.26 c | 7491 | 40 100 454 | 11789 7491 41 | 66.674 % | 183.84/183.95 c | 11336 | 40 100 454 | 12968 11336 41 | 66.674 % | 184.84/184.94 c | 17103 | 40 100 454 | 14265 10564 40 | 66.674 % | 186.33/186.49 c | 25753 | 40 100 454 | 15692 12026 39 | 66.674 % | 188.74/188.87 c | 38729 | 40 100 454 | 17261 9203 41 | 66.674 % | 192.34/192.47 c | 58191 | 40 100 454 | 18987 11297 40 | 66.674 % | 199.04/199.11 c | 87383 | 40 100 454 | 20886 11847 41 | 66.674 % | 210.53/210.62 c | 131172 | 40 100 454 | 22974 13650 42 | 66.674 % | 228.12/228.26 c | 196856 | 40 100 454 | 25272 17651 41 | 66.674 % | 258.33/258.42 c | 295382 | 40 100 454 | 27799 14362 43 | 66.674 % | 305.30/305.44 c | 443171 | 40 100 454 | 30579 26333 42 | 66.674 % | 390.67/390.85 c | 664855 | 40 100 454 | 33637 12099 43 | 66.674 % | 529.14/529.38 c | 997380 | 40 100 454 | 37001 27901 42 | 66.674 % | 777.56/777.88 c | 1496168 | 40 100 454 | 40701 34790 43 | 66.674 % | 1161.94/1162.30 c | 2244351 | 40 100 454 | 44771 16085 41 | 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-2680694-1277458490/watcher-2680694-1277458490 -o /tmp/evaluation-result-2680694-1277458490/solver-2680694-1277458490 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680694-1277458490.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 0.92 3/105 28317 /proc/meminfo: memFree=1854412/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=2572 CPUtime=0 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 277 0 0 0 0 0 0 0 25 0 1 0 87142755 2633728 193 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 643 193 143 303 0 338 0 [startup+0.062326 s] /proc/loadavg: 1.00 1.00 0.92 3/105 28317 /proc/meminfo: memFree=1854412/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=2704 CPUtime=0.05 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 330 0 0 0 5 0 0 0 25 0 1 0 87142755 2768896 246 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 676 246 144 303 0 371 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2704 [startup+0.10125 s] /proc/loadavg: 1.00 1.00 0.92 3/105 28317 /proc/meminfo: memFree=1854412/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=2836 CPUtime=0.09 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 362 0 0 0 9 0 0 0 25 0 1 0 87142755 2904064 278 1992294400 134512640 135752675 4293405664 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 709 278 144 303 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2836 [startup+0.301272 s] /proc/loadavg: 1.00 1.00 0.92 3/105 28317 /proc/meminfo: memFree=1854412/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=3492 CPUtime=0.29 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 513 0 0 0 28 1 0 0 25 0 1 0 87142755 3575808 429 1992294400 134512640 135752675 4293405664 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 873 429 144 303 0 568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3492 [startup+0.701316 s] /proc/loadavg: 1.00 1.00 0.92 3/105 28317 /proc/meminfo: memFree=1854412/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=4536 CPUtime=0.69 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 773 0 0 0 68 1 0 0 25 0 1 0 87142755 4644864 689 1992294400 134512640 135752675 4293405664 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 1134 689 144 303 0 829 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4536 [startup+1.50141 s] /proc/loadavg: 1.00 1.00 0.92 2/106 28318 /proc/meminfo: memFree=1851428/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=6504 CPUtime=1.49 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 1264 0 0 0 146 3 0 0 18 0 1 0 87142755 6660096 1180 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 1626 1180 145 303 0 1321 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6504 [startup+3.10058 s] /proc/loadavg: 1.00 1.00 0.92 2/106 28318 /proc/meminfo: memFree=1848824/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=9532 CPUtime=3.09 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 2030 0 0 0 303 6 0 0 21 0 1 0 87142755 9760768 1946 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 2383 1946 145 303 0 2078 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9532 [startup+6.30094 s] /proc/loadavg: 1.00 1.00 0.92 2/106 28318 /proc/meminfo: memFree=1842500/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=15592 CPUtime=6.29 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 3540 0 0 0 618 11 0 0 25 0 1 0 87142755 15966208 3456 1992294400 134512640 135752675 4293405664 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 3898 3456 145 303 0 3593 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15592 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 0.92 2/106 28320 /proc/meminfo: memFree=1831464/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=25692 CPUtime=12.69 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 6055 0 0 0 1249 20 0 0 25 0 1 0 87142755 26308608 5971 1992294400 134512640 135752675 4293405664 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 6423 5971 145 303 0 6118 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25692 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.92 2/106 28320 /proc/meminfo: memFree=1814724/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=41444 CPUtime=25.48 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 10002 0 0 0 2512 36 0 0 25 0 1 0 87142755 42438656 9918 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 10361 9918 145 303 0 10056 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41444 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 0.92 2/106 28320 /proc/meminfo: memFree=1780872/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=75816 CPUtime=51.08 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 18572 0 0 0 5038 70 0 0 25 0 1 0 87142755 77635584 18488 1992294400 134512640 135752675 4293405664 18446744073709551615 134611571 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 18954 18488 145 303 0 18649 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 75816 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.92 2/106 28322 /proc/meminfo: memFree=1727428/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=128460 CPUtime=102.27 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 31742 0 0 0 10109 118 0 0 25 0 1 0 87142755 131543040 31658 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 32115 31658 145 303 0 31810 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 128460 [startup+162.301 s] /proc/loadavg: 1.04 1.01 0.93 2/106 28324 /proc/meminfo: memFree=1675968/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=180560 CPUtime=162.24 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 44739 0 0 0 16056 168 0 0 25 0 1 0 87142755 184893440 44655 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 45140 44655 145 303 0 44835 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 180560 [startup+222.301 s] /proc/loadavg: 1.01 1.01 0.93 2/106 28324 /proc/meminfo: memFree=1634800/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=220924 CPUtime=222.22 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 54894 0 0 0 21993 229 0 0 25 0 1 0 87142755 226226176 54780 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 55231 54780 146 303 0 54926 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 220924 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 28326 /proc/meminfo: memFree=1597352/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=258696 CPUtime=282.2 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 64325 0 0 0 27935 285 0 0 25 0 1 0 87142755 264904704 64211 1992294400 134512640 135752675 4293405664 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 64674 64211 146 303 0 64369 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 258696 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 28328 /proc/meminfo: memFree=1564368/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=291324 CPUtime=342.19 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 72462 0 0 0 33888 331 0 0 25 0 1 0 87142755 298315776 72348 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 72831 72348 146 303 0 72526 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 291324 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/106 28330 /proc/meminfo: memFree=1532624/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=323272 CPUtime=402.17 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 80448 0 0 0 39845 372 0 0 25 0 1 0 87142755 331030528 80334 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 80818 80334 146 303 0 80513 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 323272 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 28332 /proc/meminfo: memFree=1498400/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=356972 CPUtime=462.15 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 88872 0 0 0 45800 415 0 0 25 0 1 0 87142755 365539328 88758 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 89243 88758 146 303 0 88938 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 356972 [startup+522.301 s] /proc/loadavg: 1.04 1.01 0.93 2/106 28332 /proc/meminfo: memFree=1465292/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=390316 CPUtime=522.14 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 97194 0 0 0 51759 455 0 0 25 0 1 0 87142755 399683584 97080 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 97579 97080 146 303 0 97274 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 390316 [startup+582.302 s] /proc/loadavg: 1.01 1.01 0.93 2/106 28334 /proc/meminfo: memFree=1435036/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=420296 CPUtime=582.12 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 104688 0 0 0 57718 494 0 0 25 0 1 0 87142755 430383104 104574 1992294400 134512640 135752675 4293405664 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 105074 104574 146 303 0 104769 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 420296 [startup+642.301 s] /proc/loadavg: 1.10 1.03 0.94 2/106 28336 /proc/meminfo: memFree=1408128/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=446964 CPUtime=642.11 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 111351 0 0 0 63682 529 0 0 25 0 1 0 87142755 457691136 111237 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 111741 111237 146 303 0 111436 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 446964 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.10 1.05 0.96 2/106 28340 /proc/meminfo: memFree=1319220/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=535764 CPUtime=822.04 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 133544 0 0 0 81560 644 0 0 25 0 1 0 87142755 548622336 133430 1992294400 134512640 135752675 4293405664 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 133941 133430 146 303 0 133636 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 535764 [startup+882.302 s] /proc/loadavg: 1.08 1.05 0.96 2/106 28342 /proc/meminfo: memFree=1291692/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=562988 CPUtime=882.02 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 140356 0 0 0 87523 679 0 0 25 0 1 0 87142755 576499712 140242 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 140747 140242 146 303 0 140442 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 562988 [startup+942.302 s] /proc/loadavg: 1.08 1.06 0.97 2/106 28344 /proc/meminfo: memFree=1263792/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=591192 CPUtime=942.01 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 147386 0 0 0 93483 718 0 0 25 0 1 0 87142755 605380608 147272 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 147798 147272 146 303 0 147493 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 591192 [startup+1002.3 s] /proc/loadavg: 1.07 1.06 0.97 2/106 28346 /proc/meminfo: memFree=1235520/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=619044 CPUtime=1001.99 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 154352 0 0 0 99445 754 0 0 25 0 1 0 87142755 633901056 154238 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 154761 154238 146 303 0 154456 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 619044 [startup+1062.3 s] /proc/loadavg: 1.07 1.06 0.98 2/106 28348 /proc/meminfo: memFree=1209604/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=645400 CPUtime=1061.97 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 160937 0 0 0 105408 789 0 0 25 0 1 0 87142755 660889600 160823 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 161350 160823 146 303 0 161045 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 645400 [startup+1122.3 s] /proc/loadavg: 1.06 1.06 0.98 2/106 28348 /proc/meminfo: memFree=1181704/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=672900 CPUtime=1121.96 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 167827 0 0 0 111373 823 0 0 25 0 1 0 87142755 689049600 167713 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 168225 167713 146 303 0 167920 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 672900 [startup+1182.3 s] /proc/loadavg: 1.06 1.06 0.99 2/106 28350 /proc/meminfo: memFree=1152316/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=702476 CPUtime=1181.93 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 175186 0 0 0 117334 859 0 0 25 0 1 0 87142755 719335424 175072 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 175619 175072 146 303 0 175314 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 702476 [startup+1242.3 s] /proc/loadavg: 1.06 1.06 1.00 2/106 28352 /proc/meminfo: memFree=1127764/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=726500 CPUtime=1241.92 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 181206 0 0 0 123299 893 0 0 25 0 1 0 87142755 743936000 181092 1992294400 134512640 135752675 4293405664 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 181625 181092 146 303 0 181320 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 726500 [startup+1302.3 s] /proc/loadavg: 1.12 1.07 1.00 2/106 28354 /proc/meminfo: memFree=1105196/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=748816 CPUtime=1301.91 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 186781 0 0 0 129265 926 0 0 25 0 1 0 87142755 766787584 186667 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 187204 186667 146 303 0 186899 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 748816 [startup+1362.3 s] /proc/loadavg: 1.12 1.07 1.00 2/106 28356 /proc/meminfo: memFree=1084116/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=769936 CPUtime=1361.88 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 192059 0 0 0 135233 955 0 0 25 0 1 0 87142755 788414464 191945 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 192484 191945 146 303 0 192179 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 769936 [startup+1422.31 s] /proc/loadavg: 1.10 1.07 1.00 2/106 28356 /proc/meminfo: memFree=1059936/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=793960 CPUtime=1421.87 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 198060 0 0 0 141198 989 0 0 25 0 1 0 87142755 813015040 197946 1992294400 134512640 135752675 4293405664 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 198490 197946 146 303 0 198185 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 793960 [startup+1482.3 s] /proc/loadavg: 1.10 1.07 1.00 2/106 28358 /proc/meminfo: memFree=1036376/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=817636 CPUtime=1481.84 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 203983 0 0 0 147166 1018 0 0 25 0 1 0 87142755 837259264 203869 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 204409 203869 146 303 0 204104 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 817636 [startup+1542.3 s] /proc/loadavg: 1.16 1.09 1.01 2/106 28360 /proc/meminfo: memFree=1012196/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=841532 CPUtime=1541.83 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 209950 0 0 0 153133 1050 0 0 25 0 1 0 87142755 861728768 209836 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 210383 209836 146 303 0 210078 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 841532 [startup+1602.3 s] /proc/loadavg: 1.12 1.08 1.01 2/106 28371 /proc/meminfo: memFree=987644/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=866612 CPUtime=1601.8 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 216231 0 0 0 159097 1083 0 0 25 0 1 0 87142755 887410688 216117 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 216653 216117 146 303 0 216348 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 866612 [startup+1662.3 s] /proc/loadavg: 1.19 1.11 1.02 3/106 28373 /proc/meminfo: memFree=960240/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=893012 CPUtime=1661.78 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 222815 0 0 0 165057 1121 0 0 25 0 1 0 87142755 914444288 222701 1992294400 134512640 135752675 4293405664 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 223253 222701 146 303 0 222948 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 893012 [startup+1722.3 s] /proc/loadavg: 1.12 1.10 1.02 2/106 28373 /proc/meminfo: memFree=937424/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=916112 CPUtime=1721.76 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 228585 0 0 0 171024 1152 0 0 25 0 1 0 87142755 938098688 228471 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 229028 228471 146 303 0 228723 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 916112 [startup+1782.3 s] /proc/loadavg: 1.04 1.08 1.01 2/106 28375 /proc/meminfo: memFree=914236/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=939024 CPUtime=1781.74 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 234322 0 0 0 176990 1184 0 0 25 0 1 0 87142755 961560576 234208 1992294400 134512640 135752675 4293405664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 234756 234208 146 303 0 234451 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 939024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.03 1.08 1.01 2/106 28375 /proc/meminfo: memFree=907788/2059040 swapFree=4136664/4192956 [pid=28317] ppid=28315 vsize=945228 CPUtime=1800.05 /proc/28317/stat : 28317 (wbo1.4b) R 28315 28317 27867 0 -1 4202496 235870 0 0 0 178812 1193 0 0 25 0 1 0 87142755 967913472 235756 1992294400 134512640 135752675 4293405664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28317/statm: 236307 235756 146 303 0 236002 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 945228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.7 CPU time (s): 1800.15 CPU user time (s): 1788.12 CPU system time (s): 12.0222 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 945228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.12 system time used= 12.0222 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 235870 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= 4118 runsolver used 2.78258 second user time and 8.69868 second system time The end
Begin job on node086 at 2010-06-25 11:34:50 IDJOB=2680694 IDBENCH=2926 IDSOLVER=1190 FILE ID=node086/2680694-1277458490 PBS_JOBID= 11188104 Free space on /tmp= 62392 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680694-1277458490/watcher-2680694-1277458490 -o /tmp/evaluation-result-2680694-1277458490/solver-2680694-1277458490 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680694-1277458490.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED=1608295385 node086.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.244 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.48 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.244 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854816 kB Buffers: 44932 kB Cached: 69200 kB SwapCached: 9312 kB Active: 55284 kB Inactive: 72316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854816 kB SwapTotal: 4192956 kB SwapFree: 4136664 kB Dirty: 2608 kB Writeback: 0 kB AnonPages: 11928 kB Mapped: 8428 kB Slab: 54624 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181216 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= 62388 MiB End job on node086 at 2010-06-25 12:04:53