Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.1 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb |
MD5SUM | 642c38c9f16ba47e1145e44f5259b53a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 268 |
Best CPU time to get the best result obtained on this benchmark | 1800.34 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262 |
Optimality of the best value was proved | NO |
Number of variables | 7089 |
Total number of constraints | 13888 |
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 | 13888 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2621 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680597-1277456346.opb. 0.00/0.00 c Instance file HOME/instance-2680597-1277456346.opb 0.00/0.00 c File size is 3969913 bytes. 0.69/0.75 c Highest Coefficient sum: 2621 0.69/0.75 c ============================[ Problem Statistics ]============================= 0.69/0.75 c | | 0.69/0.75 c | Parsing time: 0.73 s | 0.69/0.75 c | Number Variables: 7089 | 0.69/0.75 c | Number Clauses: 0 | 0.69/0.75 c | Number Cardinality: 0 | 0.69/0.75 c | Number PB Constraints: 13888 | 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 7089 13888 471936 | 5000 0 nan | 0.000 % | 2.49/2.51 c | 100 | 7089 13888 471936 | 5500 100 35 | 0.000 % | 3.89/3.93 c | 251 | 7089 13888 471936 | 6050 251 35 | 0.000 % | 5.40/5.41 c | 477 | 7089 13888 471936 | 6655 477 33 | 0.000 % | 7.29/7.33 c | 814 | 7089 13888 471936 | 7320 814 34 | 0.000 % | 9.80/9.87 c | 1320 | 7089 13888 471936 | 8052 1320 35 | 0.000 % | 14.78/14.85 c | 2080 | 7089 13888 471936 | 8857 2080 34 | 0.000 % | 22.48/22.57 c | 3222 | 7089 13888 471936 | 9743 3222 36 | 0.000 % | 36.08/36.16 c | 4931 | 7089 13888 471936 | 10717 4931 38 | 0.000 % | 56.58/56.66 c | 7498 | 7089 13888 471936 | 11789 7498 41 | 0.000 % | 78.57/78.68 c | 11342 | 7089 13888 471936 | 12968 11342 44 | 0.000 % | 127.94/128.07 c | 17108 | 7089 13888 471936 | 14265 8651 49 | 0.000 % | 177.43/177.55 c | 25757 | 7089 13888 471936 | 15692 8880 52 | 0.000 % | 180.23/180.34 c There are 0 assigned variables. 0 in cost function. 181.13/181.26 c core #1 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c Core size: 10 Core Weight: 1 Total Weight: 1 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c core #2 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c Core size: 12 Core Weight: 1 Total Weight: 2 181.13/181.26 c 181.13/181.26 c 181.13/181.26 c ============================[ Search Statistics ]============================== 181.13/181.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.26 c =============================================================================== 181.13/181.26 c | 0 | 6987 13914 471959 | 5000 0 nan | 0.000 % | 181.13/181.28 c =============================================================================== 181.53/181.62 c core #3 181.53/181.62 c 181.53/181.62 c 181.53/181.62 c Core size: 16 Core Weight: 1 Total Weight: 3 181.53/181.62 c 181.53/181.62 c 181.53/181.62 c ============================[ Search Statistics ]============================== 181.53/181.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.53/181.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.53/181.62 c =============================================================================== 181.53/181.62 c | 0 | 6996 13922 471970 | 5000 0 nan | 0.000 % | 181.53/181.63 c =============================================================================== 181.83/181.98 c core #4 181.83/181.98 c 181.83/181.98 c 181.83/181.98 c Core size: 15 Core Weight: 1 Total Weight: 4 181.83/181.98 c 181.83/181.98 c 181.83/181.98 c ============================[ Search Statistics ]============================== 181.83/181.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.98 c =============================================================================== 181.83/181.98 c | 0 | 7020 13929 471985 | 5000 0 nan | 0.000 % | 181.93/182.03 c =============================================================================== 182.23/182.37 c core #5 182.23/182.37 c 182.23/182.37 c 182.23/182.37 c Core size: 17 Core Weight: 1 Total Weight: 5 182.23/182.37 c 182.23/182.37 c 182.23/182.37 c ============================[ Search Statistics ]============================== 182.23/182.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.37 c =============================================================================== 182.23/182.37 c | 0 | 7031 13936 472001 | 5000 0 nan | 0.000 % | 182.44/182.51 c =============================================================================== 182.73/182.86 c core #6 182.73/182.86 c 182.73/182.86 c 182.73/182.86 c Core size: 16 Core Weight: 3 Total Weight: 8 182.73/182.86 c 182.73/182.86 c 182.73/182.86 c ============================[ Search Statistics ]============================== 182.73/182.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.86 c =============================================================================== 182.73/182.86 c | 0 | 7054 13942 472019 | 5000 0 nan | 0.000 % | 183.03/183.11 c =============================================================================== 183.33/183.45 c core #7 183.33/183.45 c 183.33/183.45 c 183.33/183.45 c Core size: 20 Core Weight: 1 Total Weight: 9 183.33/183.45 c 183.33/183.45 c 183.33/183.45 c ============================[ Search Statistics ]============================== 183.33/183.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.45 c =============================================================================== 183.33/183.45 c | 0 | 7066 13948 472038 | 5000 0 nan | 0.000 % | 183.83/183.93 c =============================================================================== 184.12/184.27 c core #8 184.12/184.27 c 184.12/184.27 c 184.12/184.27 c Core size: 21 Core Weight: 1 Total Weight: 10 184.12/184.27 c 184.12/184.27 c 184.12/184.27 c ============================[ Search Statistics ]============================== 184.12/184.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.12/184.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.12/184.27 c =============================================================================== 184.12/184.27 c | 0 | 7079 13954 472059 | 5000 0 nan | 0.000 % | 185.13/185.29 c | 100 | 7079 13954 472059 | 5500 100 25 | 1.187 % | 186.33/186.41 c | 251 | 7074 13954 472059 | 6050 251 26 | 1.410 % | 186.43/186.54 c =============================================================================== 186.73/186.89 c core #9 186.73/186.89 c 186.73/186.89 c 186.73/186.89 c Core size: 26 Core Weight: 6 Total Weight: 16 186.73/186.89 c 186.73/186.89 c 186.73/186.89 c ============================[ Search Statistics ]============================== 186.73/186.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.73/186.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.73/186.89 c =============================================================================== 186.73/186.89 c | 0 | 7101 13959 472082 | 5000 0 nan | 0.000 % | 187.93/188.09 c | 100 | 7101 13959 472082 | 5500 100 26 | 0.949 % | 189.42/189.53 c | 250 | 7091 13959 472082 | 6050 250 28 | 1.465 % | 189.52/189.61 c =============================================================================== 189.82/189.96 c core #10 189.82/189.96 c 189.82/189.96 c 189.82/189.96 c Core size: 35 Core Weight: 1 Total Weight: 17 189.82/189.96 c 189.82/189.96 c 189.82/189.96 c ============================[ Search Statistics ]============================== 189.82/189.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.82/189.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.82/189.96 c =============================================================================== 189.82/189.96 c | 0 | 7115 13966 472110 | 5000 0 nan | 0.000 % | 191.03/191.16 c | 100 | 7115 13966 472110 | 5500 100 26 | 0.947 % | 192.33/192.48 c | 250 | 7114 13966 472110 | 6050 250 27 | 0.961 % | 194.32/194.45 c | 478 | 7107 13966 472110 | 6655 478 30 | 1.169 % | 196.33/196.40 c =============================================================================== 196.63/196.75 c core #11 196.63/196.75 c 196.63/196.75 c 196.63/196.75 c Core size: 46 Core Weight: 1 Total Weight: 18 196.63/196.75 c 196.63/196.75 c 196.63/196.75 c ============================[ Search Statistics ]============================== 196.63/196.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.63/196.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.63/196.75 c =============================================================================== 196.63/196.75 c | 0 | 7128 13973 472136 | 5000 0 nan | 0.000 % | 197.73/197.89 c | 101 | 7128 13973 472136 | 5500 101 27 | 0.945 % | 198.82/198.94 c | 251 | 7128 13973 472136 | 6050 251 29 | 0.945 % | 200.32/200.49 c | 477 | 7123 13973 472136 | 6655 477 30 | 1.320 % | 201.52/201.63 c =============================================================================== 201.82/201.98 c core #12 201.82/201.98 c 201.82/201.98 c 201.82/201.98 c Core size: 38 Core Weight: 1 Total Weight: 19 201.82/201.98 c 201.82/201.98 c 201.82/201.98 c ============================[ Search Statistics ]============================== 201.82/201.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.82/201.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.82/201.98 c =============================================================================== 201.82/201.98 c | 0 | 7134 13978 472144 | 5000 0 nan | 0.000 % | 203.02/203.17 c | 101 | 7134 13978 472144 | 5500 101 26 | 0.944 % | 204.02/204.13 c | 251 | 7134 13978 472144 | 6050 251 29 | 0.944 % | 205.72/205.87 c | 476 | 7134 13978 472144 | 6655 476 32 | 0.944 % | 208.02/208.20 c | 813 | 7134 13978 472144 | 7320 813 35 | 0.944 % | 211.62/211.74 c | 1319 | 7133 13978 472144 | 8052 1319 37 | 0.958 % | 214.32/214.46 c =============================================================================== 214.72/214.81 c core #13 214.72/214.81 c 214.72/214.81 c 214.72/214.81 c Core size: 59 Core Weight: 1 Total Weight: 20 214.72/214.81 c 214.72/214.81 c 214.72/214.81 c ============================[ Search Statistics ]============================== 214.72/214.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.72/214.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.72/214.81 c =============================================================================== 214.72/214.81 c | 0 | 7150 13983 472172 | 5000 0 nan | 0.000 % | 215.82/215.96 c | 100 | 7150 13983 472172 | 5500 100 25 | 0.942 % | 217.21/217.39 c | 250 | 7150 13983 472172 | 6050 250 26 | 0.942 % | 219.51/219.68 c | 476 | 7150 13983 472172 | 6655 476 30 | 0.942 % | 221.82/221.90 c | 814 | 7150 13983 472172 | 7320 814 31 | 0.942 % | 225.43/225.57 c | 1322 | 7150 13983 472172 | 8052 1322 31 | 0.942 % | 230.71/230.84 c | 2081 | 7150 13983 472172 | 8857 2081 31 | 0.942 % | 240.31/240.43 c | 3220 | 7150 13983 472172 | 9743 3220 32 | 0.942 % | 256.50/256.66 c | 4929 | 7150 13983 472172 | 10717 4929 33 | 0.942 % | 278.90/279.09 c | 7492 | 7109 13983 472172 | 11789 4203 34 | 1.510 % | 281.10/281.20 c =============================================================================== 281.40/281.56 c core #14 281.40/281.56 c 281.40/281.56 c 281.40/281.56 c Core size: 39 Core Weight: 12 Total Weight: 32 281.40/281.56 c 281.40/281.56 c 281.40/281.56 c ============================[ Search Statistics ]============================== 281.40/281.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 281.40/281.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 281.40/281.56 c =============================================================================== 281.40/281.56 c | 0 | 7171 13987 472204 | 5000 0 nan | 0.000 % | 282.50/282.68 c | 101 | 7171 13987 472204 | 5500 101 26 | 0.706 % | 284.09/284.27 c | 251 | 7164 13987 472204 | 6050 251 24 | 0.928 % | 285.81/285.91 c | 476 | 7162 13987 472204 | 6655 476 27 | 0.928 % | 288.50/288.69 c | 813 | 7161 13987 472204 | 7320 813 28 | 0.928 % | 292.89/293.07 c | 1320 | 7161 13987 472204 | 8052 1320 30 | 0.928 % | 298.80/298.99 c | 2079 | 7155 13987 472204 | 8857 2078 31 | 0.928 % | 306.39/306.51 c =============================================================================== 306.70/306.86 c core #15 306.70/306.86 c 306.70/306.86 c 306.70/306.86 c Core size: 49 Core Weight: 1 Total Weight: 33 306.70/306.86 c 306.70/306.86 c 306.70/306.86 c ============================[ Search Statistics ]============================== 306.70/306.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 306.70/306.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 306.70/306.86 c =============================================================================== 306.70/306.86 c | 0 | 7189 13992 472239 | 5000 0 nan | 0.000 % | 307.79/307.98 c | 102 | 7189 13992 472239 | 5500 102 25 | 0.704 % | 309.19/309.36 c | 252 | 7189 13992 472239 | 6050 252 24 | 0.704 % | 311.79/311.99 c | 478 | 7189 13992 472239 | 6655 478 27 | 0.704 % | 315.09/315.24 c | 817 | 7189 13992 472239 | 7320 817 29 | 0.704 % | 319.18/319.31 c | 1324 | 7189 13992 472239 | 8052 1324 29 | 0.704 % | 325.29/325.46 c | 2084 | 7174 13992 472239 | 8857 2062 32 | 0.912 % | 333.58/333.72 c | 3225 | 7174 13992 472239 | 9743 3203 32 | 0.912 % | 348.68/348.86 c | 4933 | 7174 13992 472239 | 10717 4911 35 | 0.912 % | 362.48/362.62 c =============================================================================== 362.78/363.00 c core #16 362.78/363.00 c 362.78/363.00 c 362.78/363.00 c Core size: 53 Core Weight: 1 Total Weight: 34 362.78/363.00 c 362.78/363.00 c 362.78/363.00 c ============================[ Search Statistics ]============================== 362.78/363.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 362.78/363.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 362.78/363.00 c =============================================================================== 362.78/363.00 c | 0 | 7216 13999 472296 | 5000 0 nan | 0.000 % | 364.38/364.54 c | 101 | 7216 13999 472296 | 5500 101 37 | 0.702 % | 365.88/366.04 c | 251 | 7216 13999 472296 | 6050 251 30 | 0.702 % | 367.67/367.80 c | 477 | 7216 13999 472296 | 6655 477 33 | 0.702 % | 370.58/370.74 c | 816 | 7216 13999 472296 | 7320 816 33 | 0.702 % | 374.77/374.94 c | 1322 | 7216 13999 472296 | 8052 1322 33 | 0.702 % | 380.67/380.81 c | 2083 | 7216 13999 472296 | 8857 2083 31 | 0.702 % | 390.07/390.26 c | 3223 | 7216 13999 472296 | 9743 3223 33 | 0.702 % | 401.28/401.47 c | 4931 | 7216 13999 472296 | 10717 4931 34 | 0.702 % | 418.16/418.38 c | 7494 | 7216 13999 472296 | 11789 7494 35 | 0.702 % | 447.95/448.14 c | 11338 | 7216 13999 472296 | 12968 11338 37 | 0.702 % | 492.24/492.41 c | 17104 | 7216 13999 472296 | 14265 10414 37 | 0.702 % | 563.32/563.51 c | 25754 | 7216 13999 472296 | 15692 11874 39 | 0.702 % | 612.21/612.50 c =============================================================================== 612.60/612.88 c core #17 612.60/612.88 c 612.60/612.88 c 612.60/612.88 c Core size: 37 Core Weight: 5 Total Weight: 39 612.60/612.88 c 612.60/612.88 c 612.60/612.88 c ============================[ Search Statistics ]============================== 612.60/612.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 612.60/612.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 612.60/612.88 c =============================================================================== 612.60/612.88 c | 0 | 7221 14003 472303 | 5000 0 nan | 0.000 % | 613.70/613.93 c | 102 | 7221 14003 472303 | 5500 102 25 | 0.701 % | 615.01/615.22 c | 252 | 7221 14003 472303 | 6050 252 24 | 0.701 % | 617.01/617.23 c | 477 | 7221 14003 472303 | 6655 477 26 | 0.701 % | 619.60/619.81 c | 814 | 7221 14003 472303 | 7320 814 31 | 0.701 % | 622.60/622.86 c | 1321 | 7221 14003 472303 | 8052 1321 32 | 0.701 % | 626.11/626.36 c | 2080 | 7221 14003 472303 | 8857 2080 32 | 0.701 % | 631.90/632.17 c | 3219 | 7221 14003 472303 | 9743 3219 33 | 0.701 % | 641.20/641.40 c | 4927 | 7221 14003 472303 | 10717 4927 35 | 0.701 % | 655.99/656.25 c | 7489 | 7221 14003 472303 | 11789 7489 37 | 0.701 % | 684.28/684.58 c | 11333 | 7221 14003 472303 | 12968 11333 39 | 0.701 % | 715.79/716.06 c | 17099 | 7221 14003 472303 | 14265 10558 40 | 0.701 % | 793.56/793.85 c | 25748 | 7221 14003 472303 | 15692 11821 47 | 0.701 % | 872.53/872.84 c | 38722 | 7221 14003 472303 | 17261 16571 51 | 0.702 % | 990.20/990.58 c | 58185 | 6908 14003 472303 | 18987 11005 45 | 5.006 % | 1231.73/1232.17 c | 87377 | 6908 14003 472303 | 20886 9983 57 | 5.006 % | 1269.81/1270.29 c =============================================================================== 1270.31/1270.78 c core #18 1270.31/1270.78 c 1270.31/1270.78 c 1270.31/1270.78 c Core size: 51 Core Weight: 1 Total Weight: 40 1270.31/1270.78 c 1270.31/1270.78 c 1270.31/1270.78 c ============================[ Search Statistics ]============================== 1270.31/1270.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1270.31/1270.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1270.31/1270.78 c =============================================================================== 1270.31/1270.78 c | 0 | 7233 14007 472324 | 5000 0 nan | 0.000 % | 1271.71/1272.12 c | 103 | 7233 14007 472324 | 5500 103 43 | 0.700 % | 1273.32/1273.74 c | 254 | 7233 14007 472324 | 6050 254 40 | 0.700 % | 1275.21/1275.65 c | 479 | 7233 14007 472324 | 6655 479 42 | 0.700 % | 1277.21/1277.66 c | 818 | 7233 14007 472324 | 7320 818 37 | 0.701 % | 1279.61/1280.09 c | 1324 | 7233 14007 472324 | 8052 1324 36 | 0.700 % | 1287.81/1288.21 c | 2084 | 7233 14007 472324 | 8857 2084 40 | 0.700 % | 1293.31/1293.72 c | 3224 | 7233 14007 472324 | 9743 3224 39 | 0.700 % | 1306.91/1307.40 c | 4933 | 7233 14007 472324 | 10717 4933 39 | 0.700 % | 1328.70/1329.11 c | 7495 | 7233 14007 472324 | 11789 7495 41 | 0.700 % | 1350.69/1351.12 c | 11339 | 7233 14007 472324 | 12968 11339 40 | 0.700 % | 1382.88/1383.37 c | 17105 | 7233 14007 472324 | 14265 10085 38 | 0.700 % | 1428.27/1428.74 c | 25754 | 7233 14007 472324 | 15692 11445 38 | 0.700 % | 1517.45/1517.92 c | 38729 | 7233 14007 472324 | 17261 8370 45 | 0.700 % | 1624.22/1624.76 c | 58191 | 7233 14007 472324 | 18987 9691 45 | 0.700 % | 1791.67/1792.24 c | 87384 | 7233 14007 472324 | 20886 9808 39 | 0.700 % |
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-2680597-1277456346/watcher-2680597-1277456346 -o /tmp/evaluation-result-2680597-1277456346/solver-2680597-1277456346 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680597-1277456346.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.91 3/106 27120 /proc/meminfo: memFree=1807016/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=6452 CPUtime=0 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 86926277 6606848 212 1992294400 134512640 135752675 4291387744 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 1613 212 140 303 0 338 0 [startup+0.065352 s] /proc/loadavg: 1.00 1.00 0.91 3/106 27120 /proc/meminfo: memFree=1807016/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=7640 CPUtime=0.06 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 654 0 0 0 6 0 0 0 20 0 1 0 86926277 7823360 572 1992294400 134512640 135752675 4291387744 18446744073709551615 135010129 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 1910 572 214 303 0 635 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7640 [startup+0.100319 s] /proc/loadavg: 1.00 1.00 0.91 3/106 27120 /proc/meminfo: memFree=1807016/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=8324 CPUtime=0.09 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 865 0 0 0 9 0 0 0 20 0 1 0 86926277 8523776 783 1992294400 134512640 135752675 4291387744 18446744073709551615 135188643 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 2081 784 259 303 0 806 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8324 [startup+0.300336 s] /proc/loadavg: 1.00 1.00 0.91 3/106 27120 /proc/meminfo: memFree=1807016/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=12496 CPUtime=0.29 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 2165 0 0 0 29 0 0 0 20 0 1 0 86926277 12795904 2083 1992294400 134512640 135752675 4291387744 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 3124 2084 519 303 0 1849 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12496 [startup+0.700372 s] /proc/loadavg: 1.00 1.00 0.91 3/106 27120 /proc/meminfo: memFree=1807016/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=20548 CPUtime=0.69 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 4643 0 0 0 68 1 0 0 20 0 1 0 86926277 21041152 4561 1992294400 134512640 135752675 4291387744 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 5137 4561 1028 303 0 3862 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20548 [startup+1.50044 s] /proc/loadavg: 1.00 1.00 0.91 2/107 27121 /proc/meminfo: memFree=1790756/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=17796 CPUtime=1.49 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 5256 0 0 0 147 2 0 0 22 0 1 0 86926277 18223104 3998 1992294400 134512640 135752675 4291387744 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 4449 3998 143 303 0 4144 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17796 [startup+3.10058 s] /proc/loadavg: 1.00 1.00 0.91 2/107 27121 /proc/meminfo: memFree=1790508/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=17796 CPUtime=3.09 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 5257 0 0 0 307 2 0 0 25 0 1 0 86926277 18223104 3999 1992294400 134512640 135752675 4291387744 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 4449 3999 144 303 0 4144 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17796 [startup+6.30186 s] /proc/loadavg: 1.00 1.00 0.91 2/107 27121 /proc/meminfo: memFree=1790260/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=17928 CPUtime=6.29 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 5270 0 0 0 627 2 0 0 25 0 1 0 86926277 18358272 4012 1992294400 134512640 135752675 4291387744 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 4482 4012 144 303 0 4177 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17928 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.91 2/107 27121 /proc/meminfo: memFree=1790268/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=18192 CPUtime=12.69 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 5339 0 0 0 1266 3 0 0 25 0 1 0 86926277 18628608 4081 1992294400 134512640 135752675 4291387744 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 4548 4081 144 303 0 4243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18192 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 0.91 2/107 27123 /proc/meminfo: memFree=1790144/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=18736 CPUtime=25.49 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 5459 0 0 0 2544 5 0 0 25 0 1 0 86926277 19185664 4201 1992294400 134512640 135752675 4291387744 18446744073709551615 134638986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 4684 4201 144 303 0 4379 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18736 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 0.91 2/107 27123 /proc/meminfo: memFree=1789276/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=19528 CPUtime=51.07 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 5675 0 0 0 5100 7 0 0 25 0 1 0 86926277 19996672 4417 1992294400 134512640 135752675 4291387744 18446744073709551615 134605498 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 4882 4417 144 303 0 4577 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19528 [startup+102.308 s] /proc/loadavg: 1.05 1.01 0.92 2/107 27125 /proc/meminfo: memFree=1787044/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=21640 CPUtime=102.27 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 6197 0 0 0 10213 14 0 0 25 0 1 0 86926277 22159360 4939 1992294400 134512640 135752675 4291387744 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 5410 4939 144 303 0 5105 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21640 [startup+162.3 s] /proc/loadavg: 1.05 1.02 0.93 2/107 27134 /proc/meminfo: memFree=1784192/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=24148 CPUtime=162.23 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 6843 0 0 0 16201 22 0 0 25 0 1 0 86926277 24727552 5585 1992294400 134512640 135752675 4291387744 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 6037 5585 145 303 0 5732 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 24148 [startup+222.301 s] /proc/loadavg: 1.05 1.03 0.93 2/107 27136 /proc/meminfo: memFree=1746620/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=61456 CPUtime=222.22 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 16361 0 0 0 22188 34 0 0 25 0 1 0 86926277 62930944 14935 1992294400 134512640 135752675 4291387744 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 15364 14935 146 303 0 15059 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 61456 [startup+282.301 s] /proc/loadavg: 1.13 1.05 0.94 2/107 27138 /proc/meminfo: memFree=1743148/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=64816 CPUtime=282.2 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 17207 0 0 0 28180 40 0 0 25 0 1 0 86926277 66371584 15781 1992294400 134512640 135752675 4291387744 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 16204 15781 146 303 0 15899 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 64816 [startup+342.3 s] /proc/loadavg: 1.09 1.05 0.95 2/107 27140 /proc/meminfo: memFree=1741784/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=66324 CPUtime=342.18 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 17558 0 0 0 34172 46 0 0 25 0 1 0 86926277 67915776 16132 1992294400 134512640 135752675 4291387744 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 16581 16132 146 303 0 16276 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 66324 [startup+402.3 s] /proc/loadavg: 1.03 1.04 0.95 2/107 27142 /proc/meminfo: memFree=1738684/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=69176 CPUtime=402.17 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 18297 0 0 0 40165 52 0 0 25 0 1 0 86926277 70836224 16871 1992294400 134512640 135752675 4291387744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 17294 16871 146 303 0 16989 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 69176 [startup+462.301 s] /proc/loadavg: 1.01 1.03 0.95 2/107 27142 /proc/meminfo: memFree=1738684/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=69176 CPUtime=462.15 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 18297 0 0 0 46157 58 0 0 25 0 1 0 86926277 70836224 16871 1992294400 134512640 135752675 4291387744 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 17294 16871 146 303 0 16989 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 69176 [startup+522.301 s] /proc/loadavg: 1.00 1.02 0.95 2/107 27144 /proc/meminfo: memFree=1738560/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=69176 CPUtime=522.13 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 18297 0 0 0 52147 66 0 0 25 0 1 0 86926277 70836224 16871 1992294400 134512640 135752675 4291387744 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 17294 16871 146 303 0 16989 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 69176 [startup+582.301 s] /proc/loadavg: 1.00 1.02 0.95 2/107 27146 /proc/meminfo: memFree=1738560/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=69176 CPUtime=582.11 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 18297 0 0 0 58138 73 0 0 25 0 1 0 86926277 70836224 16871 1992294400 134512640 135752675 4291387744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 17294 16871 146 303 0 16989 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 69176 [startup+642.3 s] /proc/loadavg: 1.00 1.01 0.95 2/107 27148 /proc/meminfo: memFree=1730004/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=77684 CPUtime=642.1 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 20410 0 0 0 64129 81 0 0 25 0 1 0 86926277 79548416 18984 1992294400 134512640 135752675 4291387744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 19421 18984 146 303 0 19116 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 77684 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27152 /proc/meminfo: memFree=1729880/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=77684 CPUtime=822.05 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 20412 0 0 0 82098 107 0 0 25 0 1 0 86926277 79548416 18986 1992294400 134512640 135752675 4291387744 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 19421 18986 146 303 0 19116 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 77684 [startup+882.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27154 /proc/meminfo: memFree=1729880/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=77684 CPUtime=882.03 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 20413 0 0 0 88087 116 0 0 25 0 1 0 86926277 79548416 18987 1992294400 134512640 135752675 4291387744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 19421 18987 146 303 0 19116 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 77684 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27156 /proc/meminfo: memFree=1729756/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=77684 CPUtime=942.01 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 20413 0 0 0 94074 127 0 0 25 0 1 0 86926277 79548416 18987 1992294400 134512640 135752675 4291387744 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 19421 18987 146 303 0 19116 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 77684 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27158 /proc/meminfo: memFree=1728392/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=79136 CPUtime=1002 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 20771 0 0 0 100064 136 0 0 25 0 1 0 86926277 81035264 19345 1992294400 134512640 135752675 4291387744 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 19784 19345 146 303 0 19479 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 79136 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27158 /proc/meminfo: memFree=1726408/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=80996 CPUtime=1061.98 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 21239 0 0 0 106055 143 0 0 25 0 1 0 86926277 82939904 19813 1992294400 134512640 135752675 4291387744 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 20249 19813 146 303 0 19944 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 80996 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27160 /proc/meminfo: memFree=1724548/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=82860 CPUtime=1121.96 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 21699 0 0 0 112042 154 0 0 25 0 1 0 86926277 84848640 20273 1992294400 134512640 135752675 4291387744 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 20715 20273 146 303 0 20410 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 82860 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27162 /proc/meminfo: memFree=1722936/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=84444 CPUtime=1181.94 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 22103 0 0 0 118034 160 0 0 25 0 1 0 86926277 86470656 20677 1992294400 134512640 135752675 4291387744 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 21111 20677 146 303 0 20806 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 84444 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27164 /proc/meminfo: memFree=1721324/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=86168 CPUtime=1241.92 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 22513 0 0 0 124023 169 0 0 25 0 1 0 86926277 88236032 21087 1992294400 134512640 135752675 4291387744 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 21542 21087 146 303 0 21237 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 86168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27166 /proc/meminfo: memFree=1705824/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=101512 CPUtime=1301.91 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 26341 0 0 0 130013 178 0 0 25 0 1 0 86926277 103948288 24915 1992294400 134512640 135752675 4291387744 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 25378 24915 146 303 0 25073 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 101512 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27166 /proc/meminfo: memFree=1705824/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=101512 CPUtime=1361.88 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 26341 0 0 0 136001 187 0 0 25 0 1 0 86926277 103948288 24915 1992294400 134512640 135752675 4291387744 18446744073709551615 134605327 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 25378 24915 146 303 0 25073 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 101512 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27168 /proc/meminfo: memFree=1705824/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=101512 CPUtime=1421.88 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 26342 0 0 0 141990 198 0 0 25 0 1 0 86926277 103948288 24916 1992294400 134512640 135752675 4291387744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 25378 24916 146 303 0 25073 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 101512 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27170 /proc/meminfo: memFree=1705824/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=101512 CPUtime=1481.86 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 26343 0 0 0 147980 206 0 0 25 0 1 0 86926277 103948288 24917 1992294400 134512640 135752675 4291387744 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 25378 24917 146 303 0 25073 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 101512 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27172 /proc/meminfo: memFree=1705700/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=101512 CPUtime=1541.84 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 26343 0 0 0 153969 215 0 0 25 0 1 0 86926277 103948288 24917 1992294400 134512640 135752675 4291387744 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 25378 24917 146 303 0 25073 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 101512 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27174 /proc/meminfo: memFree=1705700/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=101512 CPUtime=1601.82 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 26346 0 0 0 159958 224 0 0 25 0 1 0 86926277 103948288 24920 1992294400 134512640 135752675 4291387744 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 25378 24920 146 303 0 25073 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 101512 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27174 /proc/meminfo: memFree=1704212/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=103096 CPUtime=1661.8 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 26749 0 0 0 165946 234 0 0 25 0 1 0 86926277 105570304 25323 1992294400 134512640 135752675 4291387744 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 25774 25323 146 303 0 25469 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 103096 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27176 /proc/meminfo: memFree=1702104/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=105076 CPUtime=1721.78 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 27248 0 0 0 171935 243 0 0 25 0 1 0 86926277 107597824 25822 1992294400 134512640 135752675 4291387744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 26269 25822 146 303 0 25964 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 105076 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27178 /proc/meminfo: memFree=1699748/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=107204 CPUtime=1781.76 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 27772 0 0 0 177923 253 0 0 25 0 1 0 86926277 109776896 26346 1992294400 134512640 135752675 4291387744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 26801 26346 146 303 0 26496 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 107204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/107 27178 /proc/meminfo: memFree=1699004/2059040 swapFree=4140528/4192956 [pid=27120] ppid=27118 vsize=107864 CPUtime=1800.08 /proc/27120/stat : 27120 (wbo1.4b) R 27118 27120 26738 0 -1 4202496 27935 0 0 0 179752 256 0 0 25 0 1 0 86926277 110452736 26509 1992294400 134512640 135752675 4291387744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27120/statm: 26966 26509 146 303 0 26661 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 107864 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.63 CPU time (s): 1800.1 CPU user time (s): 1797.52 CPU system time (s): 2.57661 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 107864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.52 system time used= 2.57661 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27935 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= 15 involuntary context switches= 4360 runsolver used 3.16152 second user time and 8.32973 second system time The end
Begin job on node050 at 2010-06-25 10:59:07 IDJOB=2680597 IDBENCH=2635 IDSOLVER=1190 FILE ID=node050/2680597-1277456346 PBS_JOBID= 11188118 Free space on /tmp= 62412 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680597-1277456346/watcher-2680597-1277456346 -o /tmp/evaluation-result-2680597-1277456346/solver-2680597-1277456346 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680597-1277456346.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 642c38c9f16ba47e1145e44f5259b53a RANDOM SEED=1215198665 node050.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1807544 kB Buffers: 41820 kB Cached: 109544 kB SwapCached: 5664 kB Active: 27216 kB Inactive: 137780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1807544 kB SwapTotal: 4192956 kB SwapFree: 4140528 kB Dirty: 6580 kB Writeback: 0 kB AnonPages: 12244 kB Mapped: 11876 kB Slab: 64544 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181060 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= 62408 MiB End job on node050 at 2010-06-25 11:29:09