Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.06 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb |
MD5SUM | 5c5bb330d1cbd0e2ab066594a5d2a4de |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 0.034993 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 34 |
Optimality of the best value was proved | YES |
Number of variables | 27 |
Total number of constraints | 20 |
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 | 20 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 26 |
Number of terms in the objective function | 27 |
Biggest coefficient in the objective function | 9 |
Number of bits for the biggest coefficient in the objective function | 4 |
Sum of the numbers in the objective function | 124 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 65 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
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.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461342-1307074381.opb. 0.00/0.00 c Instance file HOME/instance-3461342-1307074381.opb 0.00/0.00 c File size is 3739 bytes. 0.00/0.00 c Highest Coefficient sum: 182 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: 27 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 20 | 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 | 27 20 478 | 5000 0 -nan | 0.000 % | 0.00/0.00 c core #1 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 15 Core Weight: 3 Total Weight: 3 0.00/0.00 c Current CPU time: 0 s 0.00/0.00 c 0.00/0.00 c core #2 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 13 Core Weight: 1 Total Weight: 4 0.00/0.00 c Current CPU time: 0 s 0.00/0.00 c 0.00/0.00 c core #3 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 12 Core Weight: 1 Total Weight: 5 0.00/0.00 c Current CPU time: 0 s 0.00/0.00 c 0.00/0.00 c core #4 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 15 Core Weight: 1 Total Weight: 6 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #5 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 11 Core Weight: 1 Total Weight: 7 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #6 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 15 Core Weight: 1 Total Weight: 8 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 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 | 91 108 621 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #7 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 16 Core Weight: 1 Total Weight: 9 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 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 | 108 118 704 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #8 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 26 Core Weight: 1 Total Weight: 10 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 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 | 133 135 788 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #9 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 31 Core Weight: 1 Total Weight: 11 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 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 | 163 147 873 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #10 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 56 Core Weight: 1 Total Weight: 12 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 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 | 217 150 1005 | 5000 0 -nan | 0.000 % | 0.00/0.00 c | 100 | 217 150 1005 | 5500 100 26 | 0.461 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #11 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 95 Core Weight: 1 Total Weight: 13 0.00/0.00 c Current CPU time: 0.007998 s 0.00/0.00 c 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 | 306 152 1182 | 5000 0 -nan | 0.000 % | 0.00/0.01 c | 102 | 306 152 1182 | 5500 102 62 | 0.327 % | 0.00/0.01 c | 253 | 306 152 1182 | 6050 253 39 | 0.327 % | 0.00/0.01 c | 478 | 306 152 1182 | 6655 478 27 | 0.327 % | 0.00/0.02 c | 817 | 306 152 1182 | 7320 817 21 | 0.327 % | 0.00/0.03 c | 1323 | 301 152 1182 | 8052 1323 18 | 2.607 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #12 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 84 Core Weight: 1 Total Weight: 14 0.00/0.03 c Current CPU time: 0.033994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 385 154 1339 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 101 | 385 154 1339 | 5500 101 64 | 0.260 % | 0.00/0.04 c | 251 | 385 154 1339 | 6050 251 39 | 0.260 % | 0.00/0.04 c | 479 | 385 154 1339 | 6655 479 26 | 0.260 % | 0.00/0.05 c | 819 | 385 154 1339 | 7320 819 20 | 0.260 % | 0.04/0.06 c | 1325 | 385 154 1339 | 8052 1325 17 | 0.260 % | 0.04/0.07 c | 2084 | 385 154 1339 | 8857 2084 16 | 0.260 % | 0.09/0.10 c | 3224 | 385 154 1339 | 9743 3224 15 | 0.260 % | 0.09/0.16 c | 4934 | 385 154 1339 | 10717 4934 15 | 0.260 % | 0.19/0.26 c | 7497 | 384 154 1339 | 11789 7497 14 | 0.519 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #13 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 112 Core Weight: 1 Total Weight: 15 0.39/0.41 c Current CPU time: 0.402938 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 491 156 1550 | 5000 0 -nan | 0.000 % | 0.39/0.42 c | 105 | 491 156 1550 | 5500 105 83 | 0.204 % | 0.39/0.42 c | 255 | 491 156 1550 | 6050 255 43 | 0.204 % | 0.39/0.42 c | 480 | 491 156 1550 | 6655 480 28 | 0.204 % | 0.39/0.43 c | 817 | 491 156 1550 | 7320 817 21 | 0.204 % | 0.39/0.44 c | 1325 | 491 156 1550 | 8052 1325 18 | 0.204 % | 0.39/0.46 c | 2084 | 491 156 1550 | 8857 2084 16 | 0.204 % | 0.39/0.48 c | 3223 | 491 156 1550 | 9743 3223 15 | 0.204 % | 0.49/0.53 c | 4931 | 491 156 1550 | 10717 4931 14 | 0.204 % | 0.59/0.61 c | 7493 | 491 156 1550 | 11789 7493 14 | 0.204 % | 0.69/0.77 c | 11337 | 491 156 1550 | 12968 11337 14 | 0.204 % | 1.01/1.02 c | 17103 | 491 156 1550 | 14265 10611 14 | 0.205 % | 1.39/1.46 c | 25753 | 489 156 1550 | 15692 12121 14 | 0.611 % | 1.49/1.56 c =============================================================================== 1.59/1.60 c core #14 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 121 Core Weight: 1 Total Weight: 16 1.59/1.60 c Current CPU time: 1.55176 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 608 158 1783 | 5000 0 -nan | 0.000 % | 1.59/1.60 c | 110 | 608 158 1783 | 5500 110 110 | 0.164 % | 1.59/1.60 c | 261 | 608 158 1783 | 6050 261 60 | 0.164 % | 1.59/1.61 c | 486 | 608 158 1783 | 6655 486 40 | 0.164 % | 1.59/1.62 c | 824 | 608 158 1783 | 7320 824 29 | 0.164 % | 1.59/1.63 c | 1333 | 608 158 1783 | 8052 1333 25 | 0.164 % | 1.59/1.64 c | 2092 | 608 158 1783 | 8857 2092 20 | 0.164 % | 1.59/1.68 c | 3231 | 608 158 1783 | 9743 3231 21 | 0.164 % | 1.69/1.73 c | 4941 | 608 158 1783 | 10717 4941 20 | 0.164 % | 1.79/1.82 c | 7503 | 608 158 1783 | 11789 7503 19 | 0.164 % | 1.89/1.97 c | 11348 | 608 158 1783 | 12968 11348 19 | 0.164 % | 2.21/2.22 c | 17114 | 608 158 1783 | 14265 10620 20 | 0.164 % | 2.59/2.62 c | 25764 | 608 158 1783 | 15692 12082 18 | 0.165 % | 3.31/3.33 c | 38738 | 608 158 1783 | 17261 9318 19 | 0.165 % | 4.30/4.41 c | 58200 | 607 158 1783 | 18987 11498 21 | 0.329 % | 5.29/5.30 c =============================================================================== 5.51/5.53 c core #15 5.51/5.53 c 5.51/5.53 c 5.51/5.53 c Core size: 123 Core Weight: 1 Total Weight: 17 5.51/5.53 c Current CPU time: 5.41618 s 5.51/5.53 c 5.51/5.53 c ============================[ Search Statistics ]============================== 5.51/5.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.51/5.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.51/5.53 c =============================================================================== 5.51/5.53 c | 0 | 728 159 2032 | 5000 0 -nan | 0.000 % | 5.51/5.53 c | 103 | 728 159 2032 | 5500 103 116 | 0.000 % | 5.51/5.53 c | 258 | 728 159 2032 | 6050 258 59 | 0.000 % | 5.51/5.54 c | 483 | 728 159 2032 | 6655 483 39 | 0.000 % | 5.51/5.55 c | 821 | 728 159 2032 | 7320 821 30 | 0.000 % | 5.51/5.56 c | 1327 | 728 159 2032 | 8052 1327 29 | 0.000 % | 5.51/5.59 c | 2088 | 728 159 2032 | 8857 2088 28 | 0.000 % | 5.59/5.63 c | 3229 | 728 159 2032 | 9743 3229 31 | 0.000 % | 5.69/5.71 c | 4937 | 728 159 2032 | 10717 4937 32 | 0.000 % | 5.79/5.84 c | 7499 | 728 159 2032 | 11789 7499 32 | 0.000 % | 6.09/6.13 c | 11343 | 728 159 2032 | 12968 11343 34 | 0.000 % | 6.39/6.42 c | 17110 | 728 159 2032 | 14265 10596 30 | 0.000 % | 6.89/6.94 c | 25760 | 728 159 2032 | 15692 12006 32 | 0.000 % | 7.71/7.79 c | 38739 | 728 159 2032 | 17261 9122 35 | 0.000 % | 9.49/9.57 c | 58201 | 728 159 2032 | 18987 11157 38 | 0.000 % | 12.10/12.13 c | 87400 | 728 159 2032 | 20886 11597 37 | 0.000 % | 15.89/15.91 c | 131189 | 728 159 2032 | 22974 13347 33 | 0.000 % | 21.91/21.92 c | 196873 | 728 159 2032 | 25272 21333 33 | 0.000 % | 31.09/31.15 c | 295401 | 728 159 2032 | 27799 13116 40 | 0.001 % | 50.09/50.15 c | 443190 | 728 159 2032 | 30579 22179 43 | 0.001 % | 73.61/73.69 c =============================================================================== 75.80/75.83 c core #16 75.80/75.83 c 75.80/75.83 c 75.80/75.83 c Core size: 126 Core Weight: 1 Total Weight: 18 75.80/75.83 c Current CPU time: 74.9806 s 75.80/75.83 c 75.80/75.83 c ============================[ Search Statistics ]============================== 75.80/75.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.80/75.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.80/75.83 c =============================================================================== 75.80/75.83 c | 0 | 851 160 2278 | 5000 0 -nan | 0.000 % | 75.80/75.84 c | 103 | 851 160 2278 | 5500 103 135 | 0.000 % | 75.80/75.84 c | 255 | 851 160 2278 | 6050 255 69 | 0.000 % | 75.80/75.84 c | 481 | 851 160 2278 | 6655 481 42 | 0.000 % | 75.80/75.85 c | 819 | 851 160 2278 | 7320 819 35 | 0.000 % | 75.80/75.87 c | 1326 | 851 160 2278 | 8052 1326 34 | 0.000 % | 75.80/75.89 c | 2086 | 851 160 2278 | 8857 2086 31 | 0.000 % | 75.90/75.92 c | 3226 | 851 160 2278 | 9743 3226 28 | 0.000 % | 75.90/75.98 c | 4935 | 851 160 2278 | 10717 4935 28 | 0.000 % | 76.00/76.07 c | 7497 | 851 160 2278 | 11789 7497 26 | 0.000 % | 76.29/76.33 c | 11342 | 851 160 2278 | 12968 11342 32 | 0.000 % | 76.80/76.80 c | 17110 | 851 160 2278 | 14265 10522 43 | 0.000 % | 77.29/77.39 c | 25761 | 851 160 2278 | 15692 11953 36 | 0.000 % | 78.80/78.82 c | 38736 | 851 160 2278 | 17261 9010 48 | 0.000 % | 81.41/81.46 c | 58202 | 851 160 2278 | 18987 10809 44 | 0.000 % | 86.29/86.35 c | 87394 | 851 160 2278 | 20886 11284 49 | 0.000 % | 93.59/93.65 c | 131185 | 851 160 2278 | 22974 12851 61 | 0.000 % | 104.00/104.09 c | 196869 | 851 160 2278 | 25272 20204 53 | 0.000 % | 118.29/118.38 c | 295397 | 851 160 2278 | 27799 12966 39 | 0.000 % | 143.89/143.90 c | 443187 | 851 160 2278 | 30579 20328 49 | 0.000 % | 179.30/179.37 c | 664870 | 851 160 2278 | 33637 24564 39 | 0.000 % | 234.77/234.87 c | 997398 | 851 160 2278 | 37001 17863 47 | 0.000 % | 323.77/323.80 c | 1496186 | 851 160 2278 | 40701 34415 73 | 0.000 % | 475.08/475.12 c | 2244368 | 851 160 2278 | 44771 38465 54 | 0.000 % | 714.18/714.22 c | 3366642 | 851 160 2278 | 49248 24397 66 | 0.000 % | 1047.88/1047.95 c | 5050053 | 850 160 2278 | 54173 15048 48 | 0.118 % | 1272.79/1272.86 c =============================================================================== 1301.39/1301.40 c core #17 1301.39/1301.40 c 1301.39/1301.40 c 1301.39/1301.40 c Core size: 129 Core Weight: 1 Total Weight: 19 1301.39/1301.40 c Current CPU time: 1292.69 s 1301.39/1301.40 c 1301.39/1301.40 c ============================[ Search Statistics ]============================== 1301.39/1301.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1301.39/1301.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1301.39/1301.40 c =============================================================================== 1301.39/1301.40 c | 0 | 975 162 2528 | 5000 0 -nan | 0.000 % | 1301.39/1301.41 c | 100 | 975 162 2528 | 5500 100 153 | 0.000 % | 1301.39/1301.41 c | 251 | 975 162 2528 | 6050 251 75 | 0.000 % | 1301.39/1301.41 c | 477 | 975 162 2528 | 6655 477 50 | 0.000 % | 1301.39/1301.42 c | 815 | 975 162 2528 | 7320 815 34 | 0.000 % | 1301.39/1301.44 c | 1322 | 975 162 2528 | 8052 1322 36 | 0.000 % | 1301.39/1301.46 c | 2082 | 975 162 2528 | 8857 2082 38 | 0.000 % | 1301.49/1301.51 c | 3222 | 975 162 2528 | 9743 3222 42 | 0.000 % | 1301.49/1301.59 c | 4932 | 975 162 2528 | 10717 4932 44 | 0.000 % | 1301.69/1301.74 c | 7495 | 975 162 2528 | 11789 7495 47 | 0.000 % | 1301.99/1302.09 c | 11342 | 975 162 2528 | 12968 11342 55 | 0.000 % | 1302.49/1302.58 c | 17111 | 975 162 2528 | 14265 10441 65 | 0.000 % | 1303.59/1303.62 c | 25762 | 975 162 2528 | 15692 11844 67 | 0.000 % | 1304.99/1305.08 c | 38738 | 975 162 2528 | 17261 8923 54 | 0.000 % | 1308.09/1308.11 c | 58201 | 975 162 2528 | 18987 10774 60 | 0.000 % | 1313.59/1313.64 c | 87393 | 975 162 2528 | 20886 10937 60 | 0.000 % | 1321.00/1321.03 c | 131184 | 975 162 2528 | 22974 12325 55 | 0.000 % | 1335.59/1335.60 c | 196869 | 975 162 2528 | 25272 18907 59 | 0.000 % | 1359.89/1359.99 c | 295402 | 975 162 2528 | 27799 13715 60 | 0.000 % | 1398.99/1399.10 c | 443193 | 975 162 2528 | 30579 22156 66 | 0.000 % | 1443.49/1443.59 c | 664877 | 975 162 2528 | 33637 26145 68 | 0.000 % | 1519.89/1519.90 c | 997406 | 975 162 2528 | 37001 19968 49 | 0.000 % | 1651.80/1651.89 c | 1496194 | 975 162 2528 | 40701 14812 46 | 0.000 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461342-1307074381/watcher-3461342-1307074381 -o /tmp/evaluation-result-3461342-1307074381/solver-3461342-1307074381 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461342-1307074381.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.00 3/400 24955 /proc/meminfo: memFree=30068752/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=2104 CPUtime=0.01 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 338 0 0 0 1 0 0 0 25 0 1 0 819037823 2154496 290 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 526 290 180 372 0 151 0 [startup+0.052264 s] /proc/loadavg: 2.01 2.03 2.00 3/400 24955 /proc/meminfo: memFree=30068752/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=2500 CPUtime=0.04 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 424 0 0 0 4 0 0 0 25 0 1 0 819037823 2560000 376 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 625 376 180 372 0 250 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2500 [startup+0.100256 s] /proc/loadavg: 2.01 2.03 2.00 3/400 24955 /proc/meminfo: memFree=30068752/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=2764 CPUtime=0.09 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 484 0 0 0 9 0 0 0 25 0 1 0 819037823 2830336 436 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 691 436 180 372 0 316 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2764 [startup+0.30022 s] /proc/loadavg: 2.01 2.03 2.00 3/400 24955 /proc/meminfo: memFree=30068752/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=4132 CPUtime=0.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 806 0 0 0 28 1 0 0 25 0 1 0 819037823 4231168 758 33554432000 4194304 5714214 140733548710560 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 1033 758 180 372 0 658 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4132 [startup+0.700149 s] /proc/loadavg: 2.01 2.03 2.00 3/400 24955 /proc/meminfo: memFree=30068752/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=4928 CPUtime=0.69 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 1026 0 0 0 67 2 0 0 25 0 1 0 819037823 5046272 978 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 1232 978 180 372 0 857 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4928 [startup+1.50111 s] /proc/loadavg: 2.01 2.03 2.00 3/401 24956 /proc/meminfo: memFree=30064280/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=6824 CPUtime=1.49 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 1497 0 0 0 145 4 0 0 25 0 1 0 819037823 6987776 1449 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 1706 1449 180 372 0 1331 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6824 [startup+3.10084 s] /proc/loadavg: 2.01 2.03 2.00 3/401 24956 /proc/meminfo: memFree=30060564/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=8572 CPUtime=3.09 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 1969 0 0 0 303 6 0 0 25 0 1 0 819037823 8777728 1893 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 2143 1893 180 372 0 1768 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8572 [startup+6.30027 s] /proc/loadavg: 2.01 2.03 2.00 3/401 24956 /proc/meminfo: memFree=30051648/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=16964 CPUtime=6.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 4097 0 0 0 619 10 0 0 25 0 1 0 819037823 17371136 3983 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 4241 3983 180 372 0 3866 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16964 [startup+12.7011 s] /proc/loadavg: 2.00 2.03 2.00 3/401 24956 /proc/meminfo: memFree=30048580/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=20488 CPUtime=12.69 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 4946 0 0 0 1252 17 0 0 25 0 1 0 819037823 20979712 4832 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 5122 4832 180 372 0 4747 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20488 [startup+25.5009 s] /proc/loadavg: 2.00 2.03 2.00 3/401 24957 /proc/meminfo: memFree=30029720/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=39044 CPUtime=25.49 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 9564 0 0 0 2522 27 0 0 25 0 1 0 819037823 39981056 9450 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 9761 9450 180 372 0 9386 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39044 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 2.00 3/401 24957 /proc/meminfo: memFree=29999492/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=70264 CPUtime=51.09 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 17270 0 0 0 5062 47 0 0 25 0 1 0 819037823 71950336 17156 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 17566 17156 180 372 0 17191 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70264 [startup+102.315 s] /proc/loadavg: 2.00 2.02 2.00 3/401 24959 /proc/meminfo: memFree=29961756/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=105548 CPUtime=102.31 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 26222 0 0 0 10158 73 0 0 25 0 1 0 819037823 108081152 26047 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 26387 26047 180 372 0 26012 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 105548 [startup+162.301 s] /proc/loadavg: 2.08 2.04 2.01 3/401 24960 /proc/meminfo: memFree=29960992/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=105548 CPUtime=162.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 26299 0 0 0 16127 102 0 0 25 0 1 0 819037823 108081152 26124 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24955/statm: 26387 26124 180 372 0 26012 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 105548 [startup+222.301 s] /proc/loadavg: 2.06 2.05 2.01 3/401 24962 /proc/meminfo: memFree=29891884/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=142688 CPUtime=222.27 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 35432 0 0 0 22092 135 0 0 25 0 1 0 819037823 146112512 35257 33554432000 4194304 5714214 140733548710560 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 35672 35257 180 372 0 35297 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 142688 [startup+282.3 s] /proc/loadavg: 2.02 2.04 2.00 3/401 24963 /proc/meminfo: memFree=29816584/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=187324 CPUtime=282.26 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 46519 0 0 0 28063 163 0 0 25 0 1 0 819037823 191819776 46344 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 46831 46344 180 372 0 46456 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 187324 [startup+342.301 s] /proc/loadavg: 2.01 2.03 2.00 3/401 24965 /proc/meminfo: memFree=29737072/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=230908 CPUtime=342.26 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 57239 0 0 0 34033 193 0 0 25 0 1 0 819037823 236449792 57064 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 57727 57064 180 372 0 57352 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 230908 [startup+402.301 s] /proc/loadavg: 2.14 2.06 2.01 3/401 24967 /proc/meminfo: memFree=29668456/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=266192 CPUtime=402.27 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 65940 0 0 0 40012 215 0 0 25 0 1 0 819037823 272580608 65765 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 66548 65765 180 372 0 66173 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 266192 [startup+462.301 s] /proc/loadavg: 2.05 2.05 2.00 3/401 24968 /proc/meminfo: memFree=29597504/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=303764 CPUtime=462.27 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 75120 0 0 0 45989 238 0 0 25 0 1 0 819037823 311054336 74945 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 75941 74945 180 372 0 75566 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 303764 [startup+522.301 s] /proc/loadavg: 2.02 2.04 2.00 3/401 24970 /proc/meminfo: memFree=29527760/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=339552 CPUtime=522.27 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 84023 0 0 0 51966 261 0 0 25 0 1 0 819037823 347701248 83848 33554432000 4194304 5714214 140733548710560 18446744073709551615 4300112 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 84888 83848 180 372 0 84513 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 339552 [startup+582.301 s] /proc/loadavg: 2.00 2.03 2.00 3/401 24971 /proc/meminfo: memFree=29458120/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=376876 CPUtime=582.27 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 93196 0 0 0 57940 287 0 0 25 0 1 0 819037823 385921024 93021 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 94219 93021 180 372 0 93844 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 376876 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.02 2.03 2.00 3/401 24978 /proc/meminfo: memFree=29179880/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=520036 CPUtime=822.28 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 128819 0 0 0 81839 389 0 0 25 0 1 0 819037823 532516864 128644 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 130009 128644 180 372 0 129634 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 520036 [startup+882.3 s] /proc/loadavg: 2.01 2.02 2.00 3/401 24979 /proc/meminfo: memFree=29104212/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=565368 CPUtime=882.28 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 140104 0 0 0 87810 418 0 0 25 0 1 0 819037823 578936832 139929 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 141342 139929 180 372 0 140967 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 565368 [startup+942.301 s] /proc/loadavg: 2.09 2.05 2.01 3/401 24981 /proc/meminfo: memFree=28872736/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=597796 CPUtime=942.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 148169 0 0 0 93784 445 0 0 25 0 1 0 819037823 612143104 147994 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 149449 147994 180 372 0 149074 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 597796 [startup+1002.3 s] /proc/loadavg: 2.07 2.05 2.01 3/401 24983 /proc/meminfo: memFree=28836708/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=634164 CPUtime=1002.28 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 157200 0 0 0 99755 473 0 0 25 0 1 0 819037823 649383936 157025 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 158541 157025 180 372 0 158166 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 634164 [startup+1062.3 s] /proc/loadavg: 2.02 2.04 2.00 3/401 24984 /proc/meminfo: memFree=28803936/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=666060 CPUtime=1062.28 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 165152 0 0 0 105732 496 0 0 25 0 1 0 819037823 682045440 164977 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 166515 164977 180 372 0 166140 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 666060 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/401 24986 /proc/meminfo: memFree=28770916/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=699472 CPUtime=1122.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 173427 0 0 0 111708 521 0 0 25 0 1 0 819037823 716259328 173252 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 174868 173252 180 372 0 174493 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 699472 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/401 24987 /proc/meminfo: memFree=28735544/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=734628 CPUtime=1182.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 182098 0 0 0 117687 542 0 0 25 0 1 0 819037823 752259072 181923 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 183657 181923 180 372 0 183282 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 734628 [startup+1242.3 s] /proc/loadavg: 2.16 2.05 2.01 3/401 24989 /proc/meminfo: memFree=28706624/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=763696 CPUtime=1242.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 189319 0 0 0 123664 565 0 0 25 0 1 0 819037823 782024704 189144 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 190924 189144 180 372 0 190549 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 763696 [startup+1302.3 s] /proc/loadavg: 2.12 2.05 2.01 3/401 24991 /proc/meminfo: memFree=28527272/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1302.3 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233938 0 0 0 129645 585 0 0 25 0 1 0 819037823 964296704 233656 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233656 180 372 0 235049 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 941696 [startup+1362.3 s] /proc/loadavg: 2.05 2.04 2.00 3/401 24992 /proc/meminfo: memFree=28527104/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1362.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233938 0 0 0 135620 609 0 0 25 0 1 0 819037823 964296704 233656 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233656 180 372 0 235049 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 941696 [startup+1422.31 s] /proc/loadavg: 2.01 2.03 2.00 3/401 24994 /proc/meminfo: memFree=28527208/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1422.31 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233938 0 0 0 141602 629 0 0 25 0 1 0 819037823 964296704 233656 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233656 180 372 0 235049 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 941696 [startup+1482.3 s] /proc/loadavg: 2.13 2.06 2.01 3/401 24995 /proc/meminfo: memFree=28526552/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1482.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233938 0 0 0 147581 648 0 0 25 0 1 0 819037823 964296704 233656 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233656 180 372 0 235049 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 941696 [startup+1542.3 s] /proc/loadavg: 2.02 2.04 2.00 3/401 25025 /proc/meminfo: memFree=29262248/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1542.3 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233940 0 0 0 153558 672 0 0 25 0 1 0 819037823 964296704 233658 33554432000 4194304 5714214 140733548710560 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233658 180 372 0 235049 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 941696 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.00 3/401 25027 /proc/meminfo: memFree=29211936/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1602.29 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233940 0 0 0 159531 698 0 0 25 0 1 0 819037823 964296704 233658 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233658 180 372 0 235049 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 941696 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/401 25028 /proc/meminfo: memFree=29147276/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1662.3 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233940 0 0 0 165499 731 0 0 25 0 1 0 819037823 964296704 233658 33554432000 4194304 5714214 140733548710560 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233658 180 372 0 235049 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 941696 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/401 25030 /proc/meminfo: memFree=29104572/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1722.3 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233941 0 0 0 171479 751 0 0 25 0 1 0 819037823 964296704 233659 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233659 180 372 0 235049 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 941696 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/401 25031 /proc/meminfo: memFree=29057424/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1782.3 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233984 0 0 0 177453 777 0 0 25 0 1 0 819037823 964296704 233702 33554432000 4194304 5714214 140733548710560 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233702 180 372 0 235049 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 941696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/401 25032 /proc/meminfo: memFree=29042908/32950904 swapFree=56615552/67111528 [pid=24955] ppid=24953 vsize=941696 CPUtime=1800.02 cores=0,2,4,6 /proc/24955/stat : 24955 (wbo1.6) R 24953 24955 19672 0 -1 4202496 233996 0 0 0 179217 785 0 0 25 0 1 0 819037823 964296704 233714 33554432000 4194304 5714214 140733548710560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24955/statm: 235424 233714 180 372 0 235049 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 941696 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.05 CPU time (s): 1800.06 CPU user time (s): 1792.17 CPU system time (s): 7.8908 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 942180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.17 system time used= 7.8908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233996 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= 6 involuntary context switches= 2218 runsolver used 7.19991 second user time and 15.7296 second system time The end
Begin job on node121 at 2011-06-03 06:13:01 IDJOB=3461342 IDBENCH=1860 IDSOLVER=1953 FILE ID=node121/3461342-1307074381 RUNJOBID= node121-1307065826-20255 PBS_JOBID= 13497865 Free space on /tmp= 73948 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461342-1307074381/watcher-3461342-1307074381 -o /tmp/evaluation-result-3461342-1307074381/solver-3461342-1307074381 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461342-1307074381.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c5bb330d1cbd0e2ab066594a5d2a4de RANDOM SEED=428239956 node121.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 30068908 kB Buffers: 262484 kB Cached: 368728 kB SwapCached: 9896 kB Active: 2269444 kB Inactive: 354368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 30068908 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 4292 kB Writeback: 0 kB AnonPages: 1989840 kB Mapped: 13456 kB Slab: 139340 kB PageTables: 52152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 83675028 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73944 MiB End job on node121 at 2011-06-03 06:43:03