Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.15 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_1.opb |
MD5SUM | 7c4476530a00e5609896ce3ef5260c8d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1789.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2482 |
Sum of products size (including duplicates) | 4964 |
Number of different products | 2482 |
Sum of products size | 4964 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702344-1278548066.opb. 0.00/0.00 c Instance file HOME/instance-2702344-1278548066.opb 0.00/0.00 c File size is 184960 bytes. 0.00/0.03 c Highest Coefficient sum: 24 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 2682 | 0.00/0.03 c | Number Clauses: 2682 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 2482 | 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 | 2682 5164 17574 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 199 0.00/0.03 o 199 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2682 5165 17774 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 198 0.00/0.03 o 198 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2682 5166 17974 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 197 0.00/0.04 o 197 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5167 18174 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 106 0.00/0.04 o 106 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5168 18374 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 105 0.00/0.04 o 105 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5169 18574 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 104 0.00/0.04 o 104 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2682 5170 18774 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 103 0.00/0.05 o 103 0.00/0.05 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5171 18974 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 102 0.00/0.05 o 102 0.00/0.05 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5172 19174 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 101 0.00/0.05 o 101 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5173 19374 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 100 0.00/0.05 o 100 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2682 5174 19574 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 99 0.00/0.06 o 99 0.00/0.06 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2682 5175 19774 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 98 0.00/0.06 o 98 0.00/0.06 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2682 5176 19974 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 97 0.00/0.06 o 97 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 2 | 2682 5177 20174 | 5000 2 99 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 35 0.00/0.06 o 35 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 2 | 2682 5178 20374 | 5000 2 99 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 34 0.00/0.07 o 34 0.00/0.07 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 30 | 2682 5179 20574 | 5000 30 62 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 33 0.00/0.07 o 33 0.00/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 30 | 2682 5180 20774 | 5000 30 62 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 32 0.00/0.08 o 32 0.00/0.08 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 48 | 2682 5181 20974 | 5000 48 65 | 0.000 % | 0.00/0.09 c | 150 | 2682 5181 20974 | 5500 150 79 | 0.000 % | 0.10/0.11 c | 301 | 2682 5181 20974 | 6050 301 70 | 0.000 % | 0.10/0.15 c | 527 | 2682 5181 20974 | 6655 527 64 | 0.000 % | 0.10/0.19 c | 864 | 2682 5181 20974 | 7320 864 66 | 0.000 % | 0.19/0.26 c | 1370 | 2682 5181 20974 | 8052 1370 68 | 0.000 % | 0.29/0.39 c | 2130 | 2682 5181 20974 | 8857 2130 71 | 0.000 % | 0.29/0.40 c =============================================================================== 0.29/0.40 c New solution: 31 0.29/0.40 o 31 0.29/0.40 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s 0.29/0.40 c =============================================================================== 0.29/0.40 c | 2132 | 2682 5182 21174 | 5000 2132 71 | 0.000 % | 0.40/0.41 c | 2232 | 2682 5182 21174 | 5500 2232 71 | 0.000 % | 0.40/0.43 c | 2382 | 2682 5182 21174 | 6050 2382 71 | 0.000 % | 0.40/0.47 c | 2608 | 2682 5182 21174 | 6655 2608 72 | 0.000 % | 0.49/0.52 c | 2946 | 2682 5182 21174 | 7320 2946 72 | 0.000 % | 0.59/0.60 c | 3453 | 2682 5182 21174 | 8052 3453 72 | 0.000 % | 0.69/0.72 c | 4212 | 2682 5182 21174 | 8857 4212 72 | 0.000 % | 0.89/0.92 c | 5352 | 2682 5182 21174 | 9743 5352 75 | 0.000 % | 1.20/1.21 c | 7060 | 2682 5182 21174 | 10717 7060 73 | 0.000 % | 1.59/1.62 c | 9623 | 2682 5182 21174 | 11789 9623 74 | 0.000 % | 2.30/2.32 c | 13468 | 2682 5182 21174 | 12968 13468 74 | 0.000 % | 3.30/3.38 c | 19234 | 2682 5182 21174 | 14265 12500 74 | 0.000 % | 5.29/5.36 c | 27885 | 2682 5182 21174 | 15692 12884 92 | 0.000 % | 8.69/8.75 c | 40859 | 2682 5182 21174 | 17261 16945 91 | 0.000 % | 9.09/9.14 c =============================================================================== 9.09/9.14 c New solution: 30 9.09/9.14 o 30 9.09/9.14 c Elapsed CPU time: 9.00663 s Remaining CPU time: 170.993 s 9.09/9.14 c =============================================================================== 9.09/9.14 c | 43095 | 2682 5183 21374 | 5000 19181 89 | 0.000 % | 9.19/9.27 c | 43196 | 2682 5183 21374 | 5500 4897 81 | 0.000 % | 9.19/9.30 c | 43346 | 2682 5183 21374 | 6050 5047 80 | 0.000 % | 9.29/9.33 c | 43571 | 2682 5183 21374 | 6655 5272 79 | 0.000 % | 9.29/9.39 c | 43909 | 2682 5183 21374 | 7320 5610 78 | 0.000 % | 9.39/9.47 c | 44416 | 2682 5183 21374 | 8052 6117 77 | 0.000 % | 9.59/9.62 c | 45176 | 2682 5183 21374 | 8857 6877 77 | 0.000 % | 9.79/9.80 c | 46316 | 2682 5183 21374 | 9743 8017 77 | 0.000 % | 10.09/10.12 c | 48025 | 2682 5183 21374 | 10717 9726 76 | 0.000 % | 10.59/10.62 c | 50587 | 2682 5183 21374 | 11789 12288 77 | 0.000 % | 11.39/11.43 c | 54433 | 2682 5183 21374 | 12968 9990 73 | 0.000 % | 12.48/12.57 c | 60201 | 2682 5183 21374 | 14265 8197 68 | 0.000 % | 14.49/14.53 c | 68850 | 2682 5183 21374 | 15692 8705 84 | 0.000 % | 15.49/15.56 c =============================================================================== 15.49/15.56 c New solution: 29 15.49/15.56 o 29 15.49/15.56 c Elapsed CPU time: 15.3627 s Remaining CPU time: 164.637 s 15.49/15.56 c =============================================================================== 15.49/15.56 c | 74116 | 2682 5184 21574 | 5000 13971 76 | 0.000 % | 15.58/15.62 c | 74217 | 2682 5184 21574 | 5500 3594 63 | 0.000 % | 15.58/15.65 c | 74367 | 2682 5184 21574 | 6050 3744 63 | 0.000 % | 15.58/15.69 c | 74593 | 2682 5184 21574 | 6655 3970 63 | 0.000 % | 15.68/15.74 c | 74930 | 2682 5184 21574 | 7320 4307 65 | 0.000 % | 15.79/15.83 c | 75436 | 2682 5184 21574 | 8052 4813 66 | 0.000 % | 15.89/15.97 c | 76195 | 2682 5184 21574 | 8857 5572 66 | 0.000 % | 16.09/16.16 c | 77335 | 2682 5184 21574 | 9743 6712 69 | 0.000 % | 16.39/16.47 c | 79044 | 2682 5184 21574 | 10717 8421 68 | 0.000 % | 16.89/16.96 c | 81606 | 2682 5184 21574 | 11789 10983 72 | 0.000 % | 17.70/17.71 c | 85450 | 2682 5184 21574 | 12968 7878 74 | 0.000 % | 18.98/19.05 c | 91218 | 2682 5184 21574 | 14265 13646 86 | 0.000 % | 20.99/21.03 c | 99867 | 2682 5184 21574 | 15692 14103 87 | 0.000 % | 24.09/24.19 c | 112842 | 2682 5184 21574 | 17261 9220 79 | 0.000 % | 28.88/28.99 c | 132303 | 2682 5184 21574 | 18987 18971 71 | 0.000 % | 37.98/38.03 c | 161495 | 2682 5184 21574 | 20886 16423 87 | 0.000 % | 42.28/42.38 c =============================================================================== 42.28/42.38 c New solution: 28 42.28/42.38 o 28 42.28/42.38 c Elapsed CPU time: 41.8386 s Remaining CPU time: 138.161 s 42.28/42.38 c =============================================================================== 42.28/42.38 c | 178716 | 2682 5185 21774 | 5000 21760 70 | 0.000 % | 42.48/42.55 c | 178816 | 2682 5185 21774 | 5500 2802 71 | 0.000 % | 42.48/42.57 c | 178967 | 2682 5185 21774 | 6050 2953 71 | 0.000 % | 42.58/42.61 c | 179192 | 2682 5185 21774 | 6655 3178 71 | 0.000 % | 42.58/42.67 c | 179530 | 2682 5185 21774 | 7320 3516 70 | 0.000 % | 42.68/42.75 c | 180036 | 2682 5185 21774 | 8052 4022 70 | 0.000 % | 42.78/42.89 c | 180796 | 2682 5185 21774 | 8857 4782 70 | 0.000 % | 43.08/43.11 c | 181936 | 2682 5185 21774 | 9743 5922 69 | 0.000 % | 43.28/43.39 c | 183644 | 2682 5185 21774 | 10717 7630 67 | 0.000 % | 43.88/43.92 c | 186206 | 2682 5185 21774 | 11789 10192 68 | 0.000 % | 44.68/44.79 c | 190050 | 2682 5185 21774 | 12968 7155 77 | 0.000 % | 46.08/46.13 c | 195817 | 2682 5185 21774 | 14265 12922 75 | 0.000 % | 48.28/48.40 c | 204467 | 2682 5185 21774 | 15692 13384 85 | 0.000 % | 51.38/51.41 c | 217442 | 2682 5185 21774 | 17261 17444 82 | 0.000 % | 56.58/56.64 c | 236904 | 2682 5185 21774 | 18987 18494 75 | 0.000 % | 65.78/65.89 c | 266096 | 2682 5185 21774 | 20886 16100 90 | 0.000 % | 80.48/80.55 c | 309887 | 2682 5185 21774 | 22974 12700 81 | 0.000 % | 103.37/103.40 c | 375571 | 2682 5185 21774 | 25272 23670 76 | 0.000 % | 135.26/135.32 c | 474097 | 2682 5185 21774 | 27799 26254 69 | 0.000 % | 181.86/181.93 c There are 0 assigned variables. 0 in cost function. 182.66/182.74 c core #1 182.66/182.74 c core #2 182.66/182.74 c core #3 182.66/182.74 c core #4 182.66/182.74 c core #5 182.66/182.74 c core #6 182.66/182.74 c core #7 182.66/182.74 c core #8 182.66/182.74 c ============================[ Search Statistics ]============================== 182.66/182.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.66/182.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.66/182.74 c =============================================================================== 182.66/182.74 c | 0 | 1471 5394 16838 | 5000 0 nan | 0.000 % | 182.66/182.75 c =============================================================================== 182.66/182.78 c core #9 182.66/182.78 c ============================[ Search Statistics ]============================== 182.66/182.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.66/182.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.66/182.78 c =============================================================================== 182.66/182.78 c | 0 | 2657 5395 21297 | 5000 0 nan | 0.000 % | 182.75/182.82 c | 106 | 2657 5395 21297 | 5500 106 131 | 9.194 % | 182.85/182.91 c | 260 | 2657 5395 21297 | 6050 260 136 | 9.193 % | 182.85/182.95 c =============================================================================== 182.85/182.97 c core #10 182.85/182.97 c ============================[ Search Statistics ]============================== 182.85/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.85/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.85/182.97 c =============================================================================== 182.85/182.97 c | 0 | 3112 5396 23034 | 5000 0 nan | 0.000 % | 182.95/183.01 c | 100 | 3112 5396 23034 | 5500 100 137 | 0.000 % | 182.95/183.08 c | 252 | 3112 5396 23034 | 6050 252 135 | 0.000 % | 183.05/183.19 c | 477 | 3112 5396 23034 | 6655 477 129 | 0.000 % | 183.25/183.36 c | 819 | 3112 5396 23034 | 7320 819 122 | 0.000 % | 183.55/183.65 c | 1325 | 3112 5396 23034 | 8052 1325 123 | 0.000 % | 183.95/184.04 c | 2089 | 3112 5396 23034 | 8857 2089 128 | 0.000 % | 184.65/184.74 c | 3228 | 3112 5396 23034 | 9743 3228 143 | 0.000 % | 185.75/185.88 c | 4943 | 3112 5396 23034 | 10717 4943 152 | 0.000 % | 187.85/187.93 c | 7506 | 3112 5396 23034 | 11789 7506 157 | 0.000 % | 191.75/191.89 c | 11352 | 3112 5396 23034 | 12968 11352 158 | 0.000 % | 197.25/197.31 c | 17120 | 3112 5396 23034 | 14265 10440 148 | 0.000 % | 206.94/207.06 c | 25773 | 3112 5396 23034 | 15692 11745 150 | 0.000 % | 221.95/222.09 c | 38748 | 3112 5396 23034 | 17261 8767 167 | 0.000 % | 242.74/242.82 c | 58209 | 3112 5396 23034 | 18987 10512 133 | 0.000 % | 258.24/258.35 c =============================================================================== 259.64/259.74 c core #11 259.64/259.74 c ============================[ Search Statistics ]============================== 259.64/259.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 259.64/259.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 259.64/259.74 c =============================================================================== 259.64/259.74 c | 0 | 3312 5397 23434 | 5000 0 nan | 0.000 % | 259.74/259.81 c | 104 | 3312 5397 23434 | 5500 104 174 | 0.000 % | 259.74/259.87 c | 256 | 3312 5397 23434 | 6050 256 133 | 0.000 % | 259.84/259.96 c | 485 | 3312 5397 23434 | 6655 485 136 | 0.000 % | 260.03/260.13 c | 822 | 3312 5397 23434 | 7320 822 146 | 0.000 % | 260.24/260.38 c | 1328 | 3312 5397 23434 | 8052 1328 163 | 0.000 % | 260.53/260.66 c | 2092 | 3312 5397 23434 | 8857 2092 182 | 0.000 % | 261.04/261.15 c | 3235 | 3312 5397 23434 | 9743 3235 168 | 0.000 % | 262.03/262.16 c | 4944 | 3312 5397 23434 | 10717 4944 177 | 0.000 % | 263.84/263.95 c | 7509 | 3312 5397 23434 | 11789 7509 185 | 0.000 % | 266.53/266.67 c | 11354 | 3312 5397 23434 | 12968 11354 186 | 0.000 % | 271.64/271.77 c | 17121 | 3312 5397 23434 | 14265 10512 187 | 0.000 % | 282.23/282.36 c | 25772 | 3312 5397 23434 | 15692 11922 225 | 0.000 % | 297.93/298.07 c | 38750 | 3312 5397 23434 | 17261 8867 233 | 0.000 % | 322.93/323.05 c | 58212 | 3312 5397 23434 | 18987 10917 231 | 0.000 % | 361.62/361.76 c | 87408 | 3312 5397 23434 | 20886 10700 286 | 0.000 % | 429.49/429.68 c | 131199 | 3312 5397 23434 | 22974 11450 270 | 0.000 % | 520.98/521.16 c | 196885 | 3312 5397 23434 | 25272 17851 249 | 0.000 % | 668.95/669.12 c | 295411 | 3312 5397 23434 | 27799 22872 232 | 0.000 % | 907.70/907.91 c | 443204 | 3312 5397 23434 | 30579 21607 217 | 0.000 % | 1277.21/1277.51 c | 664887 | 3312 5397 23434 | 33637 14998 208 | 0.000 % |
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-2702344-1278548066/watcher-2702344-1278548066 -o /tmp/evaluation-result-2702344-1278548066/solver-2702344-1278548066 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702344-1278548066.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 0.97 0.82 3/106 29238 /proc/meminfo: memFree=1713396/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=3112 CPUtime=0 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 368 0 0 0 0 0 0 0 18 0 1 0 23018125 3186688 287 1992294400 134512640 135751879 4291400976 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 778 287 145 303 0 427 0 [startup+0.110282 s] /proc/loadavg: 1.00 0.97 0.82 3/106 29238 /proc/meminfo: memFree=1713396/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=3624 CPUtime=0.1 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 23018125 3710976 486 1992294400 134512640 135751879 4291400976 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 906 486 147 303 0 601 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3624 [startup+0.201289 s] /proc/loadavg: 1.00 0.97 0.82 3/106 29238 /proc/meminfo: memFree=1713396/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=3888 CPUtime=0.19 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 729 0 0 0 18 1 0 0 20 0 1 0 23018125 3981312 545 1992294400 134512640 135751879 4291400976 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 972 545 147 303 0 667 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3888 [startup+0.301295 s] /proc/loadavg: 1.00 0.97 0.82 3/106 29238 /proc/meminfo: memFree=1713396/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=4152 CPUtime=0.29 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 798 0 0 0 28 1 0 0 20 0 1 0 23018125 4251648 614 1992294400 134512640 135751879 4291400976 18446744073709551615 134611249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 1038 614 147 303 0 733 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4152 [startup+0.701321 s] /proc/loadavg: 1.00 0.97 0.82 3/106 29238 /proc/meminfo: memFree=1713396/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=5188 CPUtime=0.69 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 1063 0 0 0 67 2 0 0 20 0 1 0 23018125 5312512 879 1992294400 134512640 135751879 4291400976 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 1297 879 147 303 0 992 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5188 [startup+1.50037 s] /proc/loadavg: 1.00 0.97 0.82 2/107 29239 /proc/meminfo: memFree=1709792/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=7280 CPUtime=1.49 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 1566 0 0 0 146 3 0 0 23 0 1 0 23018125 7454720 1382 1992294400 134512640 135751879 4291400976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 1820 1382 147 303 0 1515 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7280 [startup+3.10048 s] /proc/loadavg: 1.00 0.97 0.82 2/107 29239 /proc/meminfo: memFree=1707064/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=10988 CPUtime=3.09 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 2494 0 0 0 304 5 0 0 25 0 1 0 23018125 11251712 2310 1992294400 134512640 135751879 4291400976 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 2747 2310 148 303 0 2442 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10988 [startup+6.30068 s] /proc/loadavg: 1.00 0.97 0.82 2/107 29239 /proc/meminfo: memFree=1699376/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=17908 CPUtime=6.29 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 4218 0 0 0 619 10 0 0 25 0 1 0 23018125 18337792 4034 1992294400 134512640 135751879 4291400976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 4477 4034 148 303 0 4172 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17908 [startup+12.7011 s] /proc/loadavg: 1.00 0.97 0.82 2/107 29239 /proc/meminfo: memFree=1687100/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=29728 CPUtime=12.69 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 7183 0 0 0 1252 17 0 0 25 0 1 0 23018125 30441472 6999 1992294400 134512640 135751879 4291400976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 7432 6999 148 303 0 7127 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29728 [startup+25.5019 s] /proc/loadavg: 1.00 0.97 0.83 2/107 29240 /proc/meminfo: memFree=1661928/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=54168 CPUtime=25.48 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 13281 0 0 0 2514 34 0 0 25 0 1 0 23018125 55468032 13097 1992294400 134512640 135751879 4291400976 18446744073709551615 134611285 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 13542 13097 148 303 0 13237 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54168 [startup+51.1016 s] /proc/loadavg: 1.00 0.97 0.83 2/107 29241 /proc/meminfo: memFree=1622124/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=94280 CPUtime=51.08 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 23300 0 0 0 5044 64 0 0 25 0 1 0 23018125 96542720 23116 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 23570 23116 148 303 0 23265 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94280 [startup+102.302 s] /proc/loadavg: 1.00 0.97 0.83 2/107 29242 /proc/meminfo: memFree=1556032/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=159412 CPUtime=102.28 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 39575 0 0 0 10113 115 0 0 25 0 1 0 23018125 163237888 39391 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 39853 39391 148 303 0 39548 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 159412 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.84 2/107 29243 /proc/meminfo: memFree=1486468/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=229476 CPUtime=162.25 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 57063 0 0 0 16053 172 0 0 25 0 1 0 23018125 234983424 56879 1992294400 134512640 135751879 4291400976 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 57369 56879 148 303 0 57064 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 229476 [startup+222.309 s] /proc/loadavg: 1.00 0.97 0.85 2/107 29245 /proc/meminfo: memFree=1452368/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=262812 CPUtime=222.25 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 65470 0 0 0 22015 210 0 0 25 0 1 0 23018125 269119488 65256 1992294400 134512640 135751879 4291400976 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 65703 65256 151 303 0 65398 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 262812 [startup+282.301 s] /proc/loadavg: 1.08 0.99 0.86 2/107 29250 /proc/meminfo: memFree=1414920/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=299904 CPUtime=282.23 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 74758 0 0 0 27976 247 0 0 25 0 1 0 23018125 307101696 74544 1992294400 134512640 135751879 4291400976 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 74976 74544 151 303 0 74671 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 299904 [startup+342.301 s] /proc/loadavg: 1.02 0.99 0.86 2/107 29252 /proc/meminfo: memFree=1363584/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=350968 CPUtime=342.21 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 87482 0 0 0 33941 280 0 0 25 0 1 0 23018125 359391232 87268 1992294400 134512640 135751879 4291400976 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 87742 87268 151 303 0 87437 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 350968 [startup+402.301 s] /proc/loadavg: 1.01 0.99 0.87 2/107 29253 /proc/meminfo: memFree=1310016/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=405236 CPUtime=402.21 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 101027 0 0 0 39910 311 0 0 25 0 1 0 23018125 414961664 100813 1992294400 134512640 135751879 4291400976 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 101309 100813 151 303 0 101004 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 405236 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.87 2/107 29254 /proc/meminfo: memFree=1259548/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=454888 CPUtime=462.19 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 113393 0 0 0 45877 342 0 0 25 0 1 0 23018125 465805312 113179 1992294400 134512640 135751879 4291400976 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 113722 113179 151 303 0 113417 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 454888 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.88 2/107 29256 /proc/meminfo: memFree=1211188/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=503752 CPUtime=522.18 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 125596 0 0 0 51848 370 0 0 25 0 1 0 23018125 515842048 125382 1992294400 134512640 135751879 4291400976 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 125938 125382 151 303 0 125633 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 503752 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.89 2/107 29258 /proc/meminfo: memFree=1160224/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=554240 CPUtime=582.17 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 138228 0 0 0 57818 399 0 0 25 0 1 0 23018125 567541760 138014 1992294400 134512640 135751879 4291400976 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 138560 138014 151 303 0 138255 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 554240 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.89 2/107 29260 /proc/meminfo: memFree=1113724/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=601164 CPUtime=642.15 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 149923 0 0 0 63787 428 0 0 25 0 1 0 23018125 615591936 149709 1992294400 134512640 135751879 4291400976 18446744073709551615 134605890 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 150291 149709 151 303 0 149986 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 601164 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.02 1.02 0.91 2/107 29266 /proc/meminfo: memFree=951780/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=762304 CPUtime=882.11 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 190170 0 0 0 87669 542 0 0 25 0 1 0 23018125 780599296 189956 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 190576 189956 151 303 0 190271 0 Current children cumulated CPU time (s) 882.11 Current children cumulated vsize (KiB) 762304 [startup+942.302 s] /proc/loadavg: 1.00 1.01 0.91 2/107 29268 /proc/meminfo: memFree=913836/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=800692 CPUtime=942.09 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 199724 0 0 0 93643 566 0 0 25 0 1 0 23018125 819908608 199510 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 200173 199510 151 303 0 199868 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 800692 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29269 /proc/meminfo: memFree=880604/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=833588 CPUtime=1002.07 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 207924 0 0 0 99618 589 0 0 25 0 1 0 23018125 853594112 207710 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 208397 207710 151 303 0 208092 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 833588 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29270 /proc/meminfo: memFree=836708/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=877944 CPUtime=1062.06 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 219012 0 0 0 105588 618 0 0 25 0 1 0 23018125 899014656 218798 1992294400 134512640 135751879 4291400976 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 219486 218798 151 303 0 219181 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 877944 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29272 /proc/meminfo: memFree=791572/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=922472 CPUtime=1122.04 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 230151 0 0 0 111558 646 0 0 25 0 1 0 23018125 944611328 229937 1992294400 134512640 135751879 4291400976 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 230618 229937 151 303 0 230313 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 922472 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29274 /proc/meminfo: memFree=749040/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=965820 CPUtime=1182.03 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 240952 0 0 0 117526 677 0 0 25 0 1 0 23018125 988999680 240738 1992294400 134512640 135751879 4291400976 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 241455 240738 151 303 0 241150 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 965820 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29276 /proc/meminfo: memFree=705020/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1009136 CPUtime=1242.02 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 251784 0 0 0 123495 707 0 0 25 0 1 0 23018125 1033355264 251570 1992294400 134512640 135751879 4291400976 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 252284 251570 151 303 0 251979 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1009136 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29277 /proc/meminfo: memFree=661620/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1052880 CPUtime=1302.01 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 262699 0 0 0 129465 736 0 0 25 0 1 0 23018125 1078149120 262485 1992294400 134512640 135751879 4291400976 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 263220 262485 151 303 0 262915 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1052880 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29278 /proc/meminfo: memFree=618096/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1095980 CPUtime=1362 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 273466 0 0 0 135441 759 0 0 25 0 1 0 23018125 1122283520 273252 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 273995 273252 151 303 0 273690 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1095980 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29280 /proc/meminfo: memFree=572092/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1141524 CPUtime=1421.99 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 284845 0 0 0 141414 785 0 0 25 0 1 0 23018125 1168920576 284631 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 285381 284631 151 303 0 285076 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1141524 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29282 /proc/meminfo: memFree=527452/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1186548 CPUtime=1481.97 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 296093 0 0 0 147385 812 0 0 25 0 1 0 23018125 1215025152 295879 1992294400 134512640 135751879 4291400976 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 296637 295879 151 303 0 296332 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1186548 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29284 /proc/meminfo: memFree=484920/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1228664 CPUtime=1541.96 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 306603 0 0 0 153358 838 0 0 25 0 1 0 23018125 1258151936 306389 1992294400 134512640 135751879 4291400976 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 307166 306389 151 303 0 306861 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1228664 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29285 /proc/meminfo: memFree=440776/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1273260 CPUtime=1601.94 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 317759 0 0 0 159330 864 0 0 25 0 1 0 23018125 1303818240 317545 1992294400 134512640 135751879 4291400976 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 318315 317545 151 303 0 318010 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1273260 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29286 /proc/meminfo: memFree=397128/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1316364 CPUtime=1661.93 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 328525 0 0 0 165300 893 0 0 25 0 1 0 23018125 1347956736 328311 1992294400 134512640 135751879 4291400976 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 329091 328311 151 303 0 328786 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1316364 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29288 /proc/meminfo: memFree=353604/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1360292 CPUtime=1721.92 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 339483 0 0 0 171269 923 0 0 25 0 1 0 23018125 1392939008 339269 1992294400 134512640 135751879 4291400976 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 340073 339269 151 303 0 339768 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1360292 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29290 /proc/meminfo: memFree=312312/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1400932 CPUtime=1781.91 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 349658 0 0 0 177244 947 0 0 25 0 1 0 23018125 1434554368 349444 1992294400 134512640 135751879 4291400976 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 350233 349444 151 303 0 349928 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1400932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29290 /proc/meminfo: memFree=298672/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=1414412 CPUtime=1800 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4202496 353000 0 0 0 179045 955 0 0 25 0 1 0 23018125 1448357888 352786 1992294400 134512640 135751879 4291400976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29238/statm: 353603 352786 151 303 0 353298 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1414412 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.51 s] /proc/loadavg: 1.00 1.00 0.91 2/107 29290 /proc/meminfo: memFree=298672/2059040 swapFree=4162804/4192956 [pid=29238] ppid=29236 vsize=0 CPUtime=1800.1 /proc/29238/stat : 29238 (wbo1.4b) R 29236 29238 28747 0 -1 4203524 353000 0 0 0 179045 965 0 0 25 0 1 0 23018125 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29238/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.54 CPU time (s): 1800.15 CPU user time (s): 1790.46 CPU system time (s): 9.68853 CPU usage (%): 99.9784 Max. virtual memory (cumulated for all children) (KiB): 1414412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.46 system time used= 9.68853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 353000 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 1431 runsolver used 2.79458 second user time and 8.68368 second system time The end
Begin job on node030 at 2010-07-08 02:14:26 IDJOB=2702344 IDBENCH=48107 IDSOLVER=1161 FILE ID=node030/2702344-1278548066 PBS_JOBID= 11239508 Free space on /tmp= 62508 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702344-1278548066/watcher-2702344-1278548066 -o /tmp/evaluation-result-2702344-1278548066/solver-2702344-1278548066 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702344-1278548066.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7c4476530a00e5609896ce3ef5260c8d RANDOM SEED=1423140774 node030.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.217 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.217 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1714544 kB Buffers: 49484 kB Cached: 188124 kB SwapCached: 1692 kB Active: 124840 kB Inactive: 144456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1714544 kB SwapTotal: 4192956 kB SwapFree: 4162804 kB Dirty: 2660 kB Writeback: 0 kB AnonPages: 29984 kB Mapped: 13040 kB Slab: 53276 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179756 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702344-1278548066.opb Free space on /tmp at the end= 62504 MiB End job on node030 at 2010-07-08 02:44:29