Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_3.opb |
MD5SUM | 9e4e432c8df29dadb31632f81ac67b02 |
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.65 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
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 | 21 |
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) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 2488 |
Sum of products size | 4976 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702419-1278566440.opb. 0.00/0.00 c Instance file HOME/instance-2702419-1278566440.opb 0.00/0.00 c File size is 185404 bytes. 0.00/0.03 c Highest Coefficient sum: 22 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: 2688 | 0.00/0.03 c | Number Clauses: 2688 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 2488 | 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 | 2688 5176 17616 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 199 0.00/0.04 o 199 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 | 2688 5177 17816 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 191 0.00/0.04 o 191 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2688 5178 18016 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 190 0.00/0.04 o 190 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 | 2688 5179 18216 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 189 0.00/0.04 o 189 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2688 5180 18416 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 135 0.00/0.05 o 135 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 | 2688 5181 18616 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 134 0.00/0.05 o 134 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2688 5182 18816 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 133 0.00/0.05 o 133 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2688 5183 19016 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 132 0.00/0.05 o 132 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2688 5184 19216 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 131 0.00/0.05 o 131 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2688 5185 19416 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 130 0.00/0.06 o 130 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 | 0 | 2688 5186 19616 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 129 0.00/0.06 o 129 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 | 1 | 2688 5187 19816 | 5000 1 130 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 34 0.00/0.06 o 34 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 1 | 2688 5188 20016 | 5000 1 130 | 0.000 % | 0.00/0.08 c | 103 | 2688 5188 20016 | 5500 103 76 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 33 0.00/0.08 o 33 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 111 | 2688 5189 20216 | 5000 111 75 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 31 0.00/0.08 o 31 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 111 | 2688 5190 20416 | 5000 111 75 | 0.000 % | 0.00/0.10 c | 211 | 2688 5190 20416 | 5500 211 71 | 0.000 % | 0.09/0.12 c | 361 | 2688 5190 20416 | 6050 361 74 | 0.000 % | 0.09/0.15 c | 586 | 2688 5190 20416 | 6655 586 73 | 0.000 % | 0.09/0.20 c | 924 | 2688 5190 20416 | 7320 924 75 | 0.000 % | 0.20/0.25 c =============================================================================== 0.20/0.25 c New solution: 30 0.20/0.25 o 30 0.20/0.25 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s 0.20/0.25 c =============================================================================== 0.20/0.25 c | 1294 | 2688 5191 20616 | 5000 1294 75 | 0.000 % | 0.20/0.27 c | 1394 | 2688 5191 20616 | 5500 1394 75 | 0.000 % | 0.20/0.29 c | 1544 | 2688 5191 20616 | 6050 1544 75 | 0.000 % | 0.30/0.33 c | 1771 | 2688 5191 20616 | 6655 1771 73 | 0.000 % | 0.30/0.38 c | 2108 | 2688 5191 20616 | 7320 2108 74 | 0.000 % | 0.39/0.45 c | 2614 | 2688 5191 20616 | 8052 2614 72 | 0.000 % | 0.49/0.56 c | 3375 | 2688 5191 20616 | 8857 3375 71 | 0.000 % | 0.69/0.73 c | 4515 | 2688 5191 20616 | 9743 4515 72 | 0.000 % | 0.99/1.02 c | 6223 | 2688 5191 20616 | 10717 6223 71 | 0.000 % | 1.39/1.46 c | 8785 | 2688 5191 20616 | 11789 8785 75 | 0.000 % | 2.09/2.18 c | 12629 | 2688 5191 20616 | 12968 12629 73 | 0.000 % | 3.30/3.35 c | 18395 | 2688 5191 20616 | 14265 10867 75 | 0.000 % | 5.09/5.11 c | 27045 | 2688 5191 20616 | 15692 11360 66 | 0.000 % | 7.99/8.04 c | 40021 | 2688 5191 20616 | 17261 15404 97 | 0.000 % | 12.69/12.77 c | 59482 | 2688 5191 20616 | 18987 15462 71 | 0.000 % | 20.99/21.01 c | 88674 | 2688 5191 20616 | 20886 12960 97 | 0.000 % | 33.58/33.67 c | 132463 | 2688 5191 20616 | 22974 21762 84 | 0.000 % | 55.38/55.49 c | 198149 | 2688 5191 20616 | 25272 18309 90 | 0.000 % | 90.07/90.12 c | 296677 | 2688 5191 20616 | 27799 21731 69 | 0.000 % | 148.95/149.09 c | 444467 | 2688 5191 20616 | 30579 24727 90 | 0.000 % | 170.74/170.89 c =============================================================================== 170.74/170.89 c New solution: 29 170.74/170.89 o 29 170.74/170.89 c Elapsed CPU time: 169.106 s Remaining CPU time: 10.8937 s 170.74/170.89 c =============================================================================== 170.74/170.89 c | 506155 | 2688 5192 20816 | 5000 23384 86 | 0.000 % | 170.94/171.04 c | 506256 | 2688 5192 20816 | 5500 3024 81 | 0.000 % | 170.94/171.06 c | 506406 | 2688 5192 20816 | 6050 3174 81 | 0.000 % | 171.04/171.10 c | 506631 | 2688 5192 20816 | 6655 3399 80 | 0.000 % | 171.04/171.15 c | 506969 | 2688 5192 20816 | 7320 3737 78 | 0.000 % | 171.15/171.24 c | 507477 | 2688 5192 20816 | 8052 4245 76 | 0.000 % | 171.25/171.36 c | 508237 | 2688 5192 20816 | 8857 5005 75 | 0.000 % | 171.45/171.57 c | 509377 | 2688 5192 20816 | 9743 6145 75 | 0.000 % | 171.74/171.88 c | 511086 | 2688 5192 20816 | 10717 7854 75 | 0.000 % | 171.84/171.90 c =============================================================================== 171.84/171.90 c New solution: 28 171.84/171.90 o 28 171.84/171.90 c Elapsed CPU time: 170.087 s Remaining CPU time: 9.91286 s 171.84/171.90 c =============================================================================== 171.84/171.90 c | 511185 | 2688 5193 21016 | 5000 7953 75 | 0.000 % | 171.84/171.93 c | 511285 | 2688 5193 21016 | 5500 4077 72 | 0.000 % | 171.84/171.96 c | 511435 | 2688 5193 21016 | 6050 4227 72 | 0.000 % | 171.84/171.99 c | 511661 | 2688 5193 21016 | 6655 4453 71 | 0.000 % | 171.94/172.05 c | 512000 | 2688 5193 21016 | 7320 4792 72 | 0.000 % | 172.05/172.15 c | 512506 | 2688 5193 21016 | 8052 5298 73 | 0.000 % | 172.25/172.30 c | 513266 | 2688 5193 21016 | 8857 6058 71 | 0.000 % | 172.34/172.47 c | 514405 | 2688 5193 21016 | 9743 7197 70 | 0.000 % | 172.66/172.80 c | 516114 | 2688 5193 21016 | 10717 8906 70 | 0.000 % | 173.24/173.31 c | 518676 | 2688 5193 21016 | 11789 11468 70 | 0.000 % | 174.05/174.19 c | 522521 | 2688 5193 21016 | 12968 8390 65 | 0.000 % | 175.24/175.33 c | 528288 | 2688 5193 21016 | 14265 14157 66 | 0.000 % | 177.15/177.27 c | 536937 | 2688 5193 21016 | 15692 14670 69 | 0.000 % | 180.35/180.42 c | 549912 | 2688 5193 21016 | 17261 9890 80 | 0.000 % | 181.85/181.95 c There are 0 assigned variables. 0 in cost function. 182.55/182.69 c core #1 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 22 Core Weight: 1 Total Weight: 1 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #2 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 22 Core Weight: 1 Total Weight: 2 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #3 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 22 Core Weight: 1 Total Weight: 3 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #4 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 22 Core Weight: 1 Total Weight: 4 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #5 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 22 Core Weight: 1 Total Weight: 5 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #6 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 26 Core Weight: 1 Total Weight: 6 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #7 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 44 Core Weight: 1 Total Weight: 7 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c ============================[ Search Statistics ]============================== 182.55/182.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.69 c =============================================================================== 182.55/182.69 c | 0 | 1291 5400 14962 | 5000 0 nan | 0.000 % | 182.55/182.70 c =============================================================================== 182.65/182.72 c core #8 182.65/182.72 c 182.65/182.72 c 182.65/182.72 c Core size: 121 Core Weight: 1 Total Weight: 8 182.65/182.72 c 182.65/182.72 c 182.65/182.72 c ============================[ Search Statistics ]============================== 182.65/182.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.65/182.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.65/182.72 c =============================================================================== 182.65/182.72 c | 0 | 1933 5401 16943 | 5000 0 nan | 0.000 % | 182.65/182.75 c | 100 | 1933 5401 16943 | 5500 100 107 | 31.889 % | 182.65/182.76 c =============================================================================== 182.65/182.79 c core #9 182.65/182.79 c 182.65/182.79 c 182.65/182.79 c Core size: 336 Core Weight: 1 Total Weight: 9 182.65/182.79 c 182.65/182.79 c 182.65/182.79 c ============================[ Search Statistics ]============================== 182.65/182.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.65/182.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.65/182.79 c =============================================================================== 182.65/182.79 c | 0 | 2844 5402 20592 | 5000 0 nan | 0.000 % | 182.74/182.83 c | 102 | 2844 5402 20592 | 5500 102 156 | 5.389 % | 182.74/182.90 c | 257 | 2844 5402 20592 | 6050 257 182 | 5.389 % | 182.84/182.99 c | 484 | 2844 5402 20592 | 6655 484 202 | 5.389 % | 183.04/183.17 c | 826 | 2844 5402 20592 | 7320 826 202 | 5.389 % | 183.44/183.51 c | 1332 | 2844 5402 20592 | 8052 1332 207 | 5.389 % | 183.95/184.08 c | 2092 | 2844 5402 20592 | 8857 2092 212 | 5.389 % | 184.75/184.83 c | 3231 | 2844 5402 20592 | 9743 3231 207 | 5.389 % | 185.95/186.06 c | 4945 | 2844 5402 20592 | 10717 4945 183 | 5.389 % | 188.34/188.45 c | 7507 | 2844 5402 20592 | 11789 7507 170 | 5.389 % | 189.84/189.95 c =============================================================================== 189.94/190.09 c core #10 189.94/190.09 c 189.94/190.09 c 189.94/190.09 c Core size: 262 Core Weight: 1 Total Weight: 10 189.94/190.09 c 189.94/190.09 c 189.94/190.09 c ============================[ Search Statistics ]============================== 189.94/190.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.94/190.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.94/190.09 c =============================================================================== 189.94/190.09 c | 0 | 3206 5403 22252 | 5000 0 nan | 0.000 % | 190.04/190.15 c | 110 | 3206 5403 22252 | 5500 110 163 | 0.000 % | 190.14/190.23 c | 265 | 3206 5403 22252 | 6050 265 142 | 0.000 % | 190.25/190.30 c | 490 | 3206 5403 22252 | 6655 490 133 | 0.000 % | 190.35/190.43 c | 829 | 3206 5403 22252 | 7320 829 107 | 0.000 % | 190.64/190.71 c | 1338 | 3206 5403 22252 | 8052 1338 103 | 0.000 % | 190.94/191.08 c | 2097 | 3206 5403 22252 | 8857 2097 99 | 0.000 % | 191.65/191.77 c | 3236 | 3206 5403 22252 | 9743 3236 98 | 0.000 % | 192.64/192.79 c | 4947 | 3206 5403 22252 | 10717 4947 116 | 0.000 % | 194.54/194.63 c | 7509 | 3206 5403 22252 | 11789 7509 122 | 0.000 % | 197.74/197.80 c | 11354 | 3206 5403 22252 | 12968 11354 130 | 0.000 % | 202.14/202.25 c | 17133 | 3206 5403 22252 | 14265 10498 127 | 0.000 % | 210.84/210.97 c | 25782 | 3206 5403 22252 | 15692 11712 149 | 0.000 % | 226.43/226.60 c | 38757 | 3206 5403 22252 | 17261 8499 167 | 0.000 % | 253.72/253.81 c | 58218 | 3206 5403 22252 | 18987 10244 177 | 0.000 % | 296.52/296.68 c | 87417 | 3206 5403 22252 | 20886 10256 213 | 0.000 % | 356.00/356.11 c | 131206 | 3206 5403 22252 | 22974 11221 198 | 0.000 % | 459.27/459.49 c | 196890 | 3206 5403 22252 | 25272 18606 213 | 0.000 % | 514.05/514.27 c =============================================================================== 519.75/519.94 c core #11 519.75/519.94 c 519.75/519.94 c 519.75/519.94 c Core size: 422 Core Weight: 1 Total Weight: 11 519.75/519.94 c 519.75/519.94 c 519.75/519.94 c ============================[ Search Statistics ]============================== 519.75/519.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 519.75/519.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 519.75/519.94 c =============================================================================== 519.75/519.94 c | 0 | 3406 5406 22658 | 5000 0 nan | 0.000 % | 519.86/520.09 c | 101 | 3406 5406 22658 | 5500 101 115 | 0.000 % | 519.96/520.16 c | 251 | 3406 5406 22658 | 6050 251 97 | 0.000 % | 520.05/520.26 c | 478 | 3406 5406 22658 | 6655 478 103 | 0.000 % | 520.26/520.45 c | 818 | 3406 5406 22658 | 7320 818 110 | 0.000 % | 520.45/520.67 c | 1326 | 3406 5406 22658 | 8052 1326 104 | 0.000 % | 520.76/520.98 c | 2086 | 3406 5406 22658 | 8857 2086 119 | 0.000 % | 521.26/521.45 c | 3225 | 3406 5406 22658 | 9743 3225 119 | 0.000 % | 522.26/522.41 c | 4933 | 3406 5406 22658 | 10717 4933 137 | 0.000 % | 523.65/523.88 c | 7495 | 3406 5406 22658 | 11789 7495 146 | 0.000 % | 526.45/526.61 c | 11341 | 3406 5406 22658 | 12968 11341 173 | 0.000 % | 531.85/532.06 c | 17110 | 3406 5406 22658 | 14265 10429 212 | 0.000 % | 540.15/540.38 c | 25760 | 3406 5406 22658 | 15692 11699 193 | 0.000 % | 550.95/551.16 c | 38736 | 3406 5406 22658 | 17261 16413 160 | 0.000 % | 578.23/578.49 c | 58200 | 3406 5406 22658 | 18987 9096 287 | 0.000 % | 620.23/620.41 c | 87393 | 3406 5406 22658 | 20886 18873 287 | 0.000 % | 699.80/700.05 c | 131182 | 3406 5406 22658 | 22974 20135 324 | 0.000 % | 813.17/813.46 c | 196867 | 3406 5406 22658 | 25272 14874 239 | 0.000 % | 942.94/943.23 c | 295396 | 3406 5406 22658 | 27799 20015 244 | 0.000 % | 1132.69/1133.01 c | 443185 | 3406 5406 22658 | 30579 15544 209 | 0.000 % | 1495.70/1496.14 c | 664868 | 3406 5406 22658 | 33637 20426 255 | 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-2702419-1278566440/watcher-2702419-1278566440 -o /tmp/evaluation-result-2702419-1278566440/solver-2702419-1278566440 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702419-1278566440.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.01 1.01 1.00 3/106 3590 /proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=3116 CPUtime=0 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 364 0 0 0 0 0 0 0 18 0 1 0 24857804 3190784 283 1992294400 134512640 135752675 4292456096 18446744073709551615 134612635 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 779 283 140 303 0 428 0 [startup+0.107236 s] /proc/loadavg: 1.01 1.01 1.00 3/106 3590 /proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=3628 CPUtime=0.09 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 664 0 0 0 9 0 0 0 20 0 1 0 24857804 3715072 480 1992294400 134512640 135752675 4292456096 18446744073709551615 134605460 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 907 480 145 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.201248 s] /proc/loadavg: 1.01 1.01 1.00 3/106 3590 /proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=3888 CPUtime=0.2 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 736 0 0 0 19 1 0 0 20 0 1 0 24857804 3981312 552 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 972 552 145 303 0 667 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 3888 [startup+0.301259 s] /proc/loadavg: 1.01 1.01 1.00 3/106 3590 /proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=4280 CPUtime=0.3 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 804 0 0 0 29 1 0 0 20 0 1 0 24857804 4382720 620 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 1070 620 145 303 0 765 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 4280 [startup+0.701305 s] /proc/loadavg: 1.01 1.01 1.00 3/106 3590 /proc/meminfo: memFree=1562232/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=5328 CPUtime=0.69 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 1077 0 0 0 68 1 0 0 20 0 1 0 24857804 5455872 893 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 1332 893 145 303 0 1027 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5328 [startup+1.5014 s] /proc/loadavg: 1.01 1.01 1.00 2/107 3591 /proc/meminfo: memFree=1558380/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=7316 CPUtime=1.49 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 1583 0 0 0 146 3 0 0 23 0 1 0 24857804 7491584 1399 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 1829 1399 145 303 0 1524 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7316 [startup+3.10158 s] /proc/loadavg: 1.01 1.00 1.00 2/107 3591 /proc/meminfo: memFree=1555652/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=10732 CPUtime=3.09 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 2446 0 0 0 304 5 0 0 25 0 1 0 24857804 10989568 2262 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 2683 2262 145 303 0 2378 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10732 [startup+6.30096 s] /proc/loadavg: 1.01 1.00 1.00 2/107 3591 /proc/meminfo: memFree=1548832/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=17544 CPUtime=6.29 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 4149 0 0 0 619 10 0 0 25 0 1 0 24857804 17965056 3965 1992294400 134512640 135752675 4292456096 18446744073709551615 134611609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 4386 3965 145 303 0 4081 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17544 [startup+12.7007 s] /proc/loadavg: 1.01 1.00 1.00 2/107 3591 /proc/meminfo: memFree=1536308/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=28908 CPUtime=12.69 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 6970 0 0 0 1251 18 0 0 25 0 1 0 24857804 29601792 6786 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 7227 6786 145 303 0 6922 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28908 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3592 /proc/meminfo: memFree=1514112/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=50436 CPUtime=25.49 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 12345 0 0 0 2519 30 0 0 25 0 1 0 24857804 51646464 12161 1992294400 134512640 135752675 4292456096 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 12609 12161 145 303 0 12304 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50436 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3592 /proc/meminfo: memFree=1479392/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=85568 CPUtime=51.08 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 21115 0 0 0 5050 58 0 0 25 0 1 0 24857804 87621632 20931 1992294400 134512640 135752675 4292456096 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 21392 20931 145 303 0 21087 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 85568 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3594 /proc/meminfo: memFree=1415656/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=148416 CPUtime=102.27 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 36785 0 0 0 10118 109 0 0 25 0 1 0 24857804 151977984 36601 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 37104 36601 145 303 0 36799 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 148416 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3595 /proc/meminfo: memFree=1349316/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=215496 CPUtime=162.25 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 53550 0 0 0 16059 166 0 0 25 0 1 0 24857804 220667904 53366 1992294400 134512640 135752675 4292456096 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 53874 53366 145 303 0 53569 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 215496 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3597 /proc/meminfo: memFree=1303312/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=260308 CPUtime=222.24 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 64867 0 0 0 22008 216 0 0 25 0 1 0 24857804 266555392 64651 1992294400 134512640 135752675 4292456096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 65077 64651 146 303 0 64772 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 260308 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3598 /proc/meminfo: memFree=1260656/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=303504 CPUtime=282.21 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 75607 0 0 0 27972 249 0 0 25 0 1 0 24857804 310788096 75391 1992294400 134512640 135752675 4292456096 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 75876 75391 146 303 0 75571 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 303504 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 4/107 3600 /proc/meminfo: memFree=1217380/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=346340 CPUtime=342.2 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 86258 0 0 0 33942 278 0 0 25 0 1 0 24857804 354652160 86042 1992294400 134512640 135752675 4292456096 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 86585 86042 146 303 0 86280 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 346340 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3602 /proc/meminfo: memFree=1178568/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=385452 CPUtime=402.18 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 96037 0 0 0 39910 308 0 0 25 0 1 0 24857804 394702848 95821 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 96363 95821 146 303 0 96058 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 385452 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3603 /proc/meminfo: memFree=1138640/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=425216 CPUtime=462.17 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 105955 0 0 0 45878 339 0 0 25 0 1 0 24857804 435421184 105739 1992294400 134512640 135752675 4292456096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 106304 105739 146 303 0 105999 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 425216 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3605 /proc/meminfo: memFree=1101564/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=461928 CPUtime=522.15 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 115088 0 0 0 51845 370 0 0 25 0 1 0 24857804 473014272 114872 1992294400 134512640 135752675 4292456096 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 115482 114872 146 303 0 115177 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 461928 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3606 /proc/meminfo: memFree=1067464/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=495492 CPUtime=582.13 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 123644 0 0 0 57812 401 0 0 25 0 1 0 24857804 507383808 123428 1992294400 134512640 135752675 4292456096 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 123873 123428 146 303 0 123568 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 495492 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3608 /proc/meminfo: memFree=1022204/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=541136 CPUtime=642.12 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 135041 0 0 0 63780 432 0 0 25 0 1 0 24857804 554123264 134825 1992294400 134512640 135752675 4292456096 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 135284 134825 146 303 0 134979 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 541136 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3614 /proc/meminfo: memFree=836576/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=725844 CPUtime=882.06 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 181162 0 0 0 87659 547 0 0 25 0 1 0 24857804 743264256 180946 1992294400 134512640 135752675 4292456096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 181461 180946 146 303 0 181156 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 725844 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3616 /proc/meminfo: memFree=795036/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=767676 CPUtime=942.04 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 191617 0 0 0 93626 578 0 0 25 0 1 0 24857804 786100224 191401 1992294400 134512640 135752675 4292456096 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 191919 191401 146 303 0 191614 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 767676 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3618 /proc/meminfo: memFree=747792/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=814556 CPUtime=1002.02 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 203304 0 0 0 99589 613 0 0 25 0 1 0 24857804 834105344 203088 1992294400 134512640 135752675 4292456096 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 203639 203088 146 303 0 203334 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 814556 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3619 /proc/meminfo: memFree=704020/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=858744 CPUtime=1062.01 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 214348 0 0 0 105555 646 0 0 25 0 1 0 24857804 879353856 214132 1992294400 134512640 135752675 4292456096 18446744073709551615 134616158 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 214686 214132 146 303 0 214381 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 858744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3621 /proc/meminfo: memFree=657892/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=904384 CPUtime=1121.99 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 225735 0 0 0 111520 679 0 0 25 0 1 0 24857804 926089216 225519 1992294400 134512640 135752675 4292456096 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 226096 225519 146 303 0 225791 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 904384 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3622 /proc/meminfo: memFree=610400/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=952216 CPUtime=1181.98 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 237684 0 0 0 117489 709 0 0 25 0 1 0 24857804 975069184 237468 1992294400 134512640 135752675 4292456096 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 238054 237468 146 303 0 237749 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 952216 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3624 /proc/meminfo: memFree=569852/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=992184 CPUtime=1241.96 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 247632 0 0 0 123459 737 0 0 25 0 1 0 24857804 1015996416 247416 1992294400 134512640 135752675 4292456096 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 248046 247416 146 303 0 247741 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 992184 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3626 /proc/meminfo: memFree=526576/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1035956 CPUtime=1301.95 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 258592 0 0 0 129430 765 0 0 25 0 1 0 24857804 1060818944 258376 1992294400 134512640 135752675 4292456096 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 258989 258376 146 303 0 258684 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1035956 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3627 /proc/meminfo: memFree=480820/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1081200 CPUtime=1361.92 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 269880 0 0 0 135398 794 0 0 25 0 1 0 24857804 1107148800 269664 1992294400 134512640 135752675 4292456096 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 270300 269664 146 303 0 269995 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1081200 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3629 /proc/meminfo: memFree=439652/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1121904 CPUtime=1421.92 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 280065 0 0 0 141368 824 0 0 25 0 1 0 24857804 1148829696 279849 1992294400 134512640 135752675 4292456096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 280476 279849 146 303 0 280171 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1121904 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3630 /proc/meminfo: memFree=401336/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1160712 CPUtime=1481.9 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 289728 0 0 0 147339 851 0 0 25 0 1 0 24857804 1188569088 289512 1992294400 134512640 135752675 4292456096 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 290178 289512 146 303 0 289873 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1160712 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3632 /proc/meminfo: memFree=355580/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1205928 CPUtime=1541.89 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 301030 0 0 0 153307 882 0 0 25 0 1 0 24857804 1234870272 300814 1992294400 134512640 135752675 4292456096 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 301482 300814 146 303 0 301177 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1205928 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3634 /proc/meminfo: memFree=313172/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1248668 CPUtime=1601.87 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 311690 0 0 0 159277 910 0 0 25 0 1 0 24857804 1278636032 311474 1992294400 134512640 135752675 4292456096 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 312167 311474 146 303 0 311862 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1248668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3635 /proc/meminfo: memFree=277832/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1283804 CPUtime=1661.85 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 320451 0 0 0 165257 928 0 0 25 0 1 0 24857804 1314615296 320235 1992294400 134512640 135752675 4292456096 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 320951 320235 146 303 0 320646 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1283804 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3637 /proc/meminfo: memFree=246212/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1315700 CPUtime=1721.83 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 328422 0 0 0 171233 950 0 0 25 0 1 0 24857804 1347276800 328206 1992294400 134512640 135752675 4292456096 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 328925 328206 146 303 0 328620 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1315700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3638 /proc/meminfo: memFree=206656/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1354852 CPUtime=1781.82 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 338177 0 0 0 177209 973 0 0 25 0 1 0 24857804 1387368448 337961 1992294400 134512640 135752675 4292456096 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 338713 337961 146 303 0 338408 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1354852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3639 /proc/meminfo: memFree=195124/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=1366084 CPUtime=1800.02 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4202496 340966 0 0 0 179022 980 0 0 25 0 1 0 24857804 1398870016 340750 1992294400 134512640 135752675 4292456096 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3590/statm: 341521 340750 146 303 0 341216 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1366084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3639 /proc/meminfo: memFree=195124/2059040 swapFree=4139384/4192956 [pid=3590] ppid=3588 vsize=0 CPUtime=1800.12 /proc/3590/stat : 3590 (wbo1.4b) R 3588 3590 3274 0 -1 4203524 340966 0 0 0 179022 990 0 0 25 0 1 0 24857804 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/3590/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.15 CPU user time (s): 1790.22 CPU system time (s): 9.92649 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 1366084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.22 system time used= 9.92649 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340966 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= 3088 runsolver used 3.23551 second user time and 8.25174 second system time The end
Begin job on node001 at 2010-07-08 07:20:40 IDJOB=2702419 IDBENCH=48144 IDSOLVER=1190 FILE ID=node001/2702419-1278566440 PBS_JOBID= 11239541 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_3.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-2702419-1278566440/watcher-2702419-1278566440 -o /tmp/evaluation-result-2702419-1278566440/solver-2702419-1278566440 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702419-1278566440.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9e4e432c8df29dadb31632f81ac67b02 RANDOM SEED=87547996 node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1563132 kB Buffers: 86292 kB Cached: 304488 kB SwapCached: 8392 kB Active: 134612 kB Inactive: 271324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1563132 kB SwapTotal: 4192956 kB SwapFree: 4139384 kB Dirty: 2612 kB Writeback: 0 kB AnonPages: 12060 kB Mapped: 12096 kB Slab: 68040 kB PageTables: 4216 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180236 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-2702419-1278566440.opb Free space on /tmp at the end= 62500 MiB End job on node001 at 2010-07-08 07:50:43