Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1579.11 | 1579.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_5.opb |
MD5SUM | 996170804397234947041ed4d87d3aa0 |
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 | -48 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5056 |
Sum of products size (including duplicates) | 10112 |
Number of different products | 2528 |
Sum of products size | 5056 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702663-1278573457.opb. 0.00/0.00 c Instance file HOME/instance-2702663-1278573457.opb 0.00/0.00 c File size is 222618 bytes. 0.00/0.04 c Highest Coefficient sum: 400 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 2928 | 0.00/0.04 c | Number Clauses: 2728 | 0.00/0.04 c | Number Cardinality: 402 | 0.00/0.04 c | Number PB Constraints: 2528 | 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 2928 5658 21424 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 0 0.00/0.07 o 0 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 2928 5659 21624 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: -1 0.00/0.08 o -1 0.00/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 1 | 2928 5660 21824 | 5000 1 201 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: -2 0.00/0.08 o -2 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 1 | 2928 5661 22024 | 5000 1 201 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: -3 0.00/0.08 o -3 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 1 | 2928 5662 22224 | 5000 1 201 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: -4 0.00/0.09 o -4 0.00/0.09 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 1 | 2928 5663 22424 | 5000 1 201 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: -5 0.00/0.09 o -5 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 17 | 2928 5664 22624 | 5000 17 381 | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c New solution: -6 0.00/0.10 o -6 0.00/0.10 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.00/0.10 c =============================================================================== 0.00/0.10 c | 18 | 2928 5665 22824 | 5000 18 371 | 0.000 % | 0.10/0.11 c | 118 | 2928 5665 22824 | 5500 118 385 | 0.000 % | 0.10/0.12 c =============================================================================== 0.10/0.12 c New solution: -7 0.10/0.12 o -7 0.10/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s 0.10/0.12 c =============================================================================== 0.10/0.12 c | 118 | 2928 5666 23024 | 5000 118 385 | 0.000 % | 0.10/0.14 c | 218 | 2928 5666 23024 | 5500 218 387 | 0.000 % | 0.10/0.16 c | 368 | 2928 5666 23024 | 6050 368 388 | 0.000 % | 0.19/0.20 c | 593 | 2928 5666 23024 | 6655 593 388 | 0.000 % | 0.19/0.27 c | 930 | 2928 5666 23024 | 7320 930 388 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -8 0.19/0.28 o -8 0.19/0.28 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 931 | 2928 5667 23224 | 5000 931 388 | 0.000 % | 0.29/0.30 c | 1031 | 2928 5667 23224 | 5500 1031 388 | 0.000 % | 0.29/0.33 c | 1181 | 2928 5667 23224 | 6050 1181 388 | 0.000 % | 0.29/0.38 c | 1407 | 2928 5667 23224 | 6655 1407 388 | 0.000 % | 0.39/0.45 c | 1744 | 2928 5667 23224 | 7320 1744 388 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -9 0.39/0.46 o -9 0.39/0.46 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 1750 | 2928 5668 23424 | 5000 1750 387 | 0.000 % | 0.39/0.49 c | 1850 | 2928 5668 23424 | 5500 1850 387 | 0.000 % | 0.49/0.53 c | 2000 | 2928 5668 23424 | 6050 2000 387 | 0.000 % | 0.49/0.58 c | 2225 | 2928 5668 23424 | 6655 2225 387 | 0.000 % | 0.59/0.66 c | 2562 | 2928 5668 23424 | 7320 2562 387 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: -10 0.59/0.66 o -10 0.59/0.66 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 2563 | 2928 5669 23624 | 5000 2563 387 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: -11 0.59/0.67 o -11 0.59/0.67 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 2573 | 2928 5670 23824 | 5000 2573 386 | 0.000 % | 0.69/0.71 c | 2673 | 2928 5670 23824 | 5500 2673 386 | 0.000 % | 0.69/0.74 c | 2824 | 2928 5670 23824 | 6050 2824 386 | 0.000 % | 0.69/0.79 c | 3050 | 2928 5670 23824 | 6655 3050 386 | 0.000 % | 0.79/0.87 c | 3388 | 2928 5670 23824 | 7320 3388 385 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -12 0.79/0.88 o -12 0.79/0.88 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 3395 | 2928 5671 24024 | 5000 3395 385 | 0.000 % | 0.89/0.91 c | 3495 | 2928 5671 24024 | 5500 3495 385 | 0.000 % | 0.89/0.94 c | 3645 | 2928 5671 24024 | 6050 3645 384 | 0.000 % | 0.89/0.99 c | 3870 | 2928 5671 24024 | 6655 3870 384 | 0.000 % | 0.99/1.07 c | 4207 | 2928 5671 24024 | 7320 4207 384 | 0.000 % | 1.20/1.23 c | 4713 | 2928 5671 24024 | 8052 4713 384 | 0.000 % | 1.20/1.24 c =============================================================================== 1.20/1.24 c New solution: -13 1.20/1.24 o -13 1.20/1.24 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s 1.20/1.24 c =============================================================================== 1.20/1.24 c | 4720 | 2928 5672 24224 | 5000 4720 383 | 0.000 % | 1.20/1.27 c | 4820 | 2928 5672 24224 | 5500 4820 383 | 0.000 % | 1.29/1.30 c | 4970 | 2928 5672 24224 | 6050 4970 383 | 0.000 % | 1.29/1.38 c | 5196 | 2928 5672 24224 | 6655 5196 383 | 0.000 % | 1.39/1.46 c | 5533 | 2928 5672 24224 | 7320 5533 382 | 0.000 % | 1.49/1.60 c | 6039 | 2928 5672 24224 | 8052 6039 382 | 0.000 % | 1.79/1.84 c | 6799 | 2928 5672 24224 | 8857 6799 382 | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: -14 1.79/1.84 o -14 1.79/1.84 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 6799 | 2928 5673 24424 | 5000 6799 382 | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: -15 1.79/1.86 o -15 1.79/1.86 c Elapsed CPU time: 1.80673 s Remaining CPU time: 178.193 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 6803 | 2928 5674 24624 | 5000 3404 378 | 0.000 % | 1.79/1.89 c | 6903 | 2928 5674 24624 | 5500 3504 378 | 0.000 % | 1.89/1.92 c | 7053 | 2928 5674 24624 | 6050 3654 377 | 0.000 % | 1.89/1.96 c | 7279 | 2928 5674 24624 | 6655 3880 377 | 0.000 % | 2.00/2.04 c | 7616 | 2928 5674 24624 | 7320 4217 377 | 0.000 % | 2.09/2.14 c | 8122 | 2928 5674 24624 | 8052 4723 377 | 0.000 % | 2.30/2.31 c | 8882 | 2928 5674 24624 | 8857 5483 377 | 0.000 % | 2.49/2.60 c | 10022 | 2928 5674 24624 | 9743 6623 377 | 0.000 % | 2.99/3.01 c | 11730 | 2928 5674 24624 | 10717 8331 376 | 0.000 % | 3.69/3.72 c | 14293 | 2928 5674 24624 | 11789 10894 373 | 0.000 % | 4.99/5.07 c | 18137 | 2928 5674 24624 | 12968 7402 371 | 0.000 % | 6.89/6.96 c | 23903 | 2928 5674 24624 | 14265 13168 374 | 0.000 % | 10.89/10.92 c | 32552 | 2928 5674 24624 | 15692 13242 368 | 0.000 % | 16.18/16.27 c | 45526 | 2928 5674 24624 | 17261 16929 364 | 0.000 % | 26.29/26.38 c | 64987 | 2928 5674 24624 | 18987 16248 379 | 0.000 % | 40.79/40.84 c | 94179 | 2928 5674 24624 | 20886 11880 380 | 0.000 % | 40.79/40.85 c =============================================================================== 40.79/40.85 c New solution: -16 40.79/40.85 o -16 40.79/40.85 c Elapsed CPU time: 40.3999 s Remaining CPU time: 139.6 s 40.79/40.85 c =============================================================================== 40.79/40.85 c | 94186 | 2928 5675 24824 | 5000 11887 380 | 0.000 % | 40.88/40.91 c =============================================================================== 40.88/40.91 c New solution: -17 40.88/40.91 o -17 40.88/40.91 c Elapsed CPU time: 40.4618 s Remaining CPU time: 139.538 s 40.88/40.91 c =============================================================================== 40.88/40.91 c | 94190 | 2928 5676 25024 | 5000 2976 379 | 0.000 % | 40.88/40.94 c | 94290 | 2928 5676 25024 | 5500 3076 379 | 0.000 % | 40.88/40.97 c | 94440 | 2928 5676 25024 | 6050 3226 378 | 0.000 % | 40.98/41.03 c | 94665 | 2928 5676 25024 | 6655 3451 378 | 0.000 % | 40.98/41.09 c | 95002 | 2928 5676 25024 | 7320 3788 376 | 0.000 % | 41.08/41.18 c | 95508 | 2928 5676 25024 | 8052 4294 376 | 0.000 % | 41.28/41.35 c | 96267 | 2928 5676 25024 | 8857 5053 376 | 0.000 % | 41.57/41.64 c | 97406 | 2928 5676 25024 | 9743 6192 376 | 0.000 % | 41.98/42.06 c | 99114 | 2928 5676 25024 | 10717 7900 375 | 0.000 % | 42.68/42.75 c | 101676 | 2928 5676 25024 | 11789 10462 375 | 0.000 % | 43.88/43.98 c | 105520 | 2928 5676 25024 | 12968 14306 370 | 0.000 % | 45.78/45.81 c | 111286 | 2928 5676 25024 | 14265 12919 369 | 0.000 % | 48.38/48.43 c | 119936 | 2928 5676 25024 | 15692 12996 370 | 0.000 % | 53.89/53.99 c | 132910 | 2928 5676 25024 | 17261 16686 372 | 0.000 % | 62.68/62.76 c | 152371 | 2928 5676 25024 | 18987 16008 358 | 0.000 % | 77.87/77.91 c | 181563 | 2928 5676 25024 | 20886 11680 375 | 0.000 % | 97.26/97.32 c | 225352 | 2928 5676 25024 | 22974 16527 375 | 0.000 % | 137.65/137.72 c | 291036 | 2928 5676 25024 | 25272 22260 374 | 0.000 % | 181.74/181.81 c There are 0 assigned variables. 0 in cost function. 182.14/182.27 c core #1 182.14/182.27 c 182.14/182.27 c 182.14/182.27 c Core size: 401 Core Weight: 1 Total Weight: -199 182.14/182.27 c 182.14/182.27 c 182.14/182.27 c ============================[ Search Statistics ]============================== 182.14/182.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.27 c =============================================================================== 182.14/182.27 c | 0 | 3128 5885 25643 | 5000 0 nan | 0.000 % | 182.24/182.34 c | 100 | 3128 5885 25643 | 5500 100 102 | 1.247 % | 182.34/182.41 c =============================================================================== 182.34/182.44 c core #2 182.34/182.44 c 182.34/182.44 c 182.34/182.44 c Core size: 175 Core Weight: 1 Total Weight: -198 182.34/182.44 c 182.34/182.44 c 182.34/182.44 c ============================[ Search Statistics ]============================== 182.34/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.44 c =============================================================================== 182.34/182.44 c | 0 | 3291 5894 25993 | 5000 0 nan | 0.000 % | 182.44/182.50 c | 101 | 3291 5894 25993 | 5500 101 169 | 0.000 % | 182.44/182.56 c | 251 | 3291 5894 25993 | 6050 251 119 | 0.000 % | 182.64/182.71 c | 476 | 3291 5894 25993 | 6655 476 122 | 0.000 % | 182.83/182.96 c | 813 | 3279 5894 25993 | 7320 765 140 | 0.365 % | 183.23/183.30 c | 1319 | 3275 5894 25993 | 8052 1271 136 | 1.124 % | 183.64/183.80 c | 2078 | 3249 5894 25993 | 8857 1929 145 | 2.370 % | 184.43/184.55 c | 3217 | 3201 5894 25993 | 9743 2994 149 | 4.801 % | 185.53/185.67 c | 4925 | 3121 5894 25993 | 10717 4372 150 | 8.023 % | 187.24/187.31 c | 7489 | 3016 5894 25993 | 11789 6455 153 | 10.180 % | 187.93/188.00 c =============================================================================== 188.04/188.18 c core #3 188.04/188.18 c 188.04/188.18 c 188.04/188.18 c Core size: 227 Core Weight: 1 Total Weight: -197 188.04/188.18 c 188.04/188.18 c 188.04/188.18 c ============================[ Search Statistics ]============================== 188.04/188.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.04/188.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.04/188.18 c =============================================================================== 188.04/188.18 c | 0 | 3491 5925 26479 | 5000 0 nan | 0.000 % | 188.14/188.25 c | 100 | 3491 5925 26479 | 5500 100 240 | 0.000 % | 188.23/188.30 c | 251 | 3491 5925 26479 | 6050 251 100 | 0.000 % | 188.43/188.51 c | 477 | 3491 5925 26479 | 6655 477 169 | 0.000 % | 188.63/188.71 c | 814 | 3491 5925 26479 | 7320 814 187 | 0.000 % | 188.93/189.04 c | 1337 | 3491 5925 26479 | 8052 1337 193 | 0.000 % | 189.53/189.69 c | 2097 | 3491 5925 26479 | 8857 2097 182 | 0.000 % | 190.44/190.56 c | 3238 | 3491 5925 26479 | 9743 3238 192 | 0.000 % | 191.73/191.81 c | 4946 | 3491 5925 26479 | 10717 4946 200 | 0.000 % | 193.64/193.78 c | 7508 | 3491 5925 26479 | 11789 7508 203 | 0.000 % | 196.64/196.72 c | 11352 | 3491 5925 26479 | 12968 11352 219 | 0.000 % | 201.73/201.88 c | 17144 | 3491 5925 26479 | 14265 10539 223 | 0.000 % | 208.94/209.06 c | 25793 | 3491 5925 26479 | 15692 11723 222 | 0.000 % | 219.52/219.69 c | 38767 | 3491 5925 26479 | 17261 16507 226 | 0.000 % | 236.32/236.44 c | 58228 | 3479 5925 26479 | 18987 9132 235 | 0.344 % | 261.11/261.27 c | 87439 | 3479 5925 26479 | 20886 18544 227 | 0.344 % | 296.51/296.62 c | 131229 | 3424 5925 26479 | 22974 14413 182 | 4.441 % | 330.49/330.66 c =============================================================================== 334.50/334.60 c core #4 334.50/334.60 c 334.50/334.60 c 334.50/334.60 c Core size: 241 Core Weight: 1 Total Weight: -196 334.50/334.60 c 334.50/334.60 c 334.50/334.60 c ============================[ Search Statistics ]============================== 334.50/334.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 334.50/334.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 334.50/334.60 c =============================================================================== 334.50/334.60 c | 0 | 3691 6169 27555 | 5000 0 nan | 0.000 % | 334.60/334.78 c | 100 | 3691 6169 27555 | 5500 100 338 | 0.000 % | 334.69/334.80 c | 250 | 3691 6169 27555 | 6050 250 141 | 0.000 % | 334.79/334.98 c | 475 | 3691 6169 27555 | 6655 475 228 | 0.000 % | 335.50/335.66 c | 814 | 3691 6169 27555 | 7320 814 201 | 0.000 % | 336.09/336.25 c | 1367 | 3691 6169 27555 | 8052 1367 241 | 0.000 % | 336.80/336.90 c | 2127 | 3691 6169 27555 | 8857 2127 211 | 0.000 % | 337.79/337.94 c | 3270 | 3691 6169 27555 | 9743 3270 236 | 0.000 % | 339.39/339.57 c | 4978 | 3691 6169 27555 | 10717 4978 207 | 0.000 % | 341.89/342.09 c | 7542 | 3691 6169 27555 | 11789 7542 236 | 0.000 % | 347.09/347.21 c | 11394 | 3691 6169 27555 | 12968 11394 247 | 0.000 % | 352.49/352.60 c | 17160 | 3691 6169 27555 | 14265 10570 242 | 0.000 % | 362.78/362.96 c | 25809 | 3691 6169 27555 | 15692 11917 263 | 0.000 % | 376.18/376.31 c | 38783 | 3691 6169 27555 | 17261 8478 293 | 0.000 % | 396.57/396.77 c | 58245 | 3691 6169 27555 | 18987 9943 313 | 0.000 % | 427.67/427.86 c | 87437 | 3691 6169 27555 | 20886 19161 270 | 0.000 % | 471.86/472.02 c | 131227 | 3691 6169 27555 | 22974 19507 289 | 0.000 % | 547.13/547.38 c | 196913 | 3691 6169 27555 | 25272 24416 179 | 0.000 % | 665.70/665.98 c | 295439 | 3691 6169 27555 | 27799 17602 162 | 0.000 % | 936.71/937.06 c | 443228 | 3691 6169 27555 | 30579 19219 211 | 0.000 % | 1175.84/1176.26 c | 664912 | 3691 6169 27555 | 33637 20301 217 | 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-2702663-1278573457/watcher-2702663-1278573457 -o /tmp/evaluation-result-2702663-1278573457/solver-2702663-1278573457 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702663-1278573457.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.86 0.61 3/106 31256 /proc/meminfo: memFree=1572376/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=3212 CPUtime=0 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 382 0 0 0 0 0 0 0 18 0 1 0 25549052 3289088 300 1992294400 134512640 135752675 4290676624 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 803 300 137 303 0 443 0 [startup+0.109285 s] /proc/loadavg: 1.00 0.86 0.61 3/106 31256 /proc/meminfo: memFree=1572376/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=4500 CPUtime=0.1 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 802 0 0 0 10 0 0 0 21 0 1 0 25549052 4608000 665 1992294400 134512640 135752675 4290676624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 1125 665 144 303 0 820 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4500 [startup+0.201296 s] /proc/loadavg: 1.00 0.86 0.61 3/106 31256 /proc/meminfo: memFree=1572376/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=4764 CPUtime=0.19 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 867 0 0 0 18 1 0 0 21 0 1 0 25549052 4878336 730 1992294400 134512640 135752675 4290676624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 1191 730 145 303 0 886 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4764 [startup+0.301311 s] /proc/loadavg: 1.00 0.86 0.61 3/106 31256 /proc/meminfo: memFree=1572376/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=5548 CPUtime=0.29 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 1068 0 0 0 28 1 0 0 21 0 1 0 25549052 5681152 931 1992294400 134512640 135752675 4290676624 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 1387 932 145 303 0 1082 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5548 [startup+0.701367 s] /proc/loadavg: 1.00 0.86 0.61 3/106 31256 /proc/meminfo: memFree=1572376/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=8272 CPUtime=0.69 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 1748 0 0 0 67 2 0 0 22 0 1 0 25549052 8470528 1611 1992294400 134512640 135752675 4290676624 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 2068 1612 145 303 0 1763 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8272 [startup+1.50148 s] /proc/loadavg: 1.00 0.87 0.61 2/107 31257 /proc/meminfo: memFree=1564060/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=13212 CPUtime=1.49 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 2998 0 0 0 144 5 0 0 25 0 1 0 25549052 13529088 2861 1992294400 134512640 135752675 4290676624 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 3303 2861 145 303 0 2998 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13212 [startup+3.10071 s] /proc/loadavg: 1.00 0.87 0.61 2/107 31257 /proc/meminfo: memFree=1557116/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=23536 CPUtime=3.09 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 5565 0 0 0 301 8 0 0 25 0 1 0 25549052 24100864 5428 1992294400 134512640 135752675 4290676624 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 5884 5428 145 303 0 5579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23536 [startup+6.30116 s] /proc/loadavg: 1.00 0.87 0.61 2/107 31257 /proc/meminfo: memFree=1539012/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=39580 CPUtime=6.29 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 9581 0 0 0 617 12 0 0 25 0 1 0 25549052 40529920 9444 1992294400 134512640 135752675 4290676624 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 9895 9444 145 303 0 9590 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39580 [startup+12.7011 s] /proc/loadavg: 1.00 0.87 0.62 2/107 31257 /proc/meminfo: memFree=1513344/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=63504 CPUtime=12.69 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 15550 0 0 0 1251 18 0 0 25 0 1 0 25549052 65028096 15413 1992294400 134512640 135752675 4290676624 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 15876 15413 145 303 0 15571 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63504 [startup+25.5009 s] /proc/loadavg: 1.00 0.87 0.62 2/107 31257 /proc/meminfo: memFree=1470564/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=104616 CPUtime=25.49 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 25835 0 0 0 2519 30 0 0 25 0 1 0 25549052 107126784 25698 1992294400 134512640 135752675 4290676624 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 26154 25698 145 303 0 25849 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 104616 [startup+51.1015 s] /proc/loadavg: 1.00 0.88 0.63 2/107 31258 /proc/meminfo: memFree=1371116/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=205104 CPUtime=51.07 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 50961 0 0 0 5049 58 0 0 25 0 1 0 25549052 210026496 50824 1992294400 134512640 135752675 4290676624 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 51276 50824 145 303 0 50971 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 205104 [startup+102.302 s] /proc/loadavg: 1.00 0.90 0.65 2/107 31259 /proc/meminfo: memFree=1198260/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=375608 CPUtime=102.27 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 93546 0 0 0 10116 111 0 0 25 0 1 0 25549052 384622592 93409 1992294400 134512640 135752675 4290676624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 93902 93409 145 303 0 93597 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 375608 [startup+162.301 s] /proc/loadavg: 1.00 0.92 0.67 2/107 31263 /proc/meminfo: memFree=1047972/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=526092 CPUtime=162.24 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 131150 0 0 0 16063 161 0 0 25 0 1 0 25549052 538718208 131013 1992294400 134512640 135752675 4290676624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 131523 131013 145 303 0 131218 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 526092 [startup+222.309 s] /proc/loadavg: 1.00 0.93 0.68 2/107 31266 /proc/meminfo: memFree=982872/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=589920 CPUtime=222.23 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 147212 0 0 0 22019 204 0 0 25 0 1 0 25549052 604078080 147047 1992294400 134512640 135752675 4290676624 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 147480 147047 146 303 0 147175 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 589920 [startup+282.301 s] /proc/loadavg: 1.00 0.94 0.70 2/107 31267 /proc/meminfo: memFree=891608/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=681820 CPUtime=282.21 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 170196 0 0 0 27968 253 0 0 25 0 1 0 25549052 698183680 170031 1992294400 134512640 135752675 4290676624 18446744073709551615 134638986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 170455 170031 146 303 0 170150 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 681820 [startup+342.302 s] /proc/loadavg: 1.08 0.96 0.72 2/107 31269 /proc/meminfo: memFree=824400/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=747880 CPUtime=342.19 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 186686 0 0 0 33918 301 0 0 25 0 1 0 25549052 765829120 186521 1992294400 134512640 135752675 4290676624 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 186970 186521 146 303 0 186665 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 747880 [startup+402.301 s] /proc/loadavg: 1.03 0.97 0.74 2/107 31270 /proc/meminfo: memFree=771452/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=801216 CPUtime=402.17 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 200041 0 0 0 39878 339 0 0 25 0 1 0 25549052 820445184 199876 1992294400 134512640 135752675 4290676624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 200304 199876 146 303 0 199999 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 801216 [startup+462.301 s] /proc/loadavg: 1.01 0.97 0.75 2/107 31272 /proc/meminfo: memFree=700648/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=871612 CPUtime=462.15 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 217622 0 0 0 45835 380 0 0 25 0 1 0 25549052 892530688 217457 1992294400 134512640 135752675 4290676624 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 217903 217457 146 303 0 217598 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 871612 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.76 2/107 31274 /proc/meminfo: memFree=633316/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=939084 CPUtime=522.13 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 234504 0 0 0 51790 423 0 0 25 0 1 0 25549052 961622016 234339 1992294400 134512640 135752675 4290676624 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 234771 234339 146 303 0 234466 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 939084 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.77 2/107 31275 /proc/meminfo: memFree=594380/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=977820 CPUtime=582.11 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 244162 0 0 0 57756 455 0 0 25 0 1 0 25549052 1001287680 243997 1992294400 134512640 135752675 4290676624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 244455 243997 146 303 0 244150 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 977820 [startup+642.301 s] /proc/loadavg: 1.00 0.97 0.78 2/107 31277 /proc/meminfo: memFree=555320/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1016516 CPUtime=642.1 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 253841 0 0 0 63726 484 0 0 25 0 1 0 25549052 1040912384 253676 1992294400 134512640 135752675 4290676624 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 254129 253676 146 303 0 253824 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1016516 [startup+702.302 s] /proc/loadavg: 1.04 0.99 0.80 2/107 31278 /proc/meminfo: memFree=524940/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1046688 CPUtime=702.08 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 261379 0 0 0 69700 508 0 0 25 0 1 0 25549052 1071808512 261214 1992294400 134512640 135752675 4290676624 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 261672 261214 146 303 0 261367 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1046688 [startup+762.301 s] /proc/loadavg: 1.01 0.99 0.81 2/107 31280 /proc/meminfo: memFree=499768/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1071720 CPUtime=762.07 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 267630 0 0 0 75683 524 0 0 25 0 1 0 25549052 1097441280 267465 1992294400 134512640 135752675 4290676624 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 267930 267465 146 303 0 267625 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1071720 [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.82 2/107 31282 /proc/meminfo: memFree=469512/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1102300 CPUtime=822.05 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 275246 0 0 0 81663 542 0 0 25 0 1 0 25549052 1128755200 275081 1992294400 134512640 135752675 4290676624 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 275575 275081 146 303 0 275270 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1102300 [startup+882.308 s] /proc/loadavg: 1.00 0.99 0.83 2/107 31283 /proc/meminfo: memFree=434172/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1137272 CPUtime=882.04 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 283992 0 0 0 87642 562 0 0 25 0 1 0 25549052 1164566528 283827 1992294400 134512640 135752675 4290676624 18446744073709551615 134611506 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 284318 283827 146 303 0 284013 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1137272 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.83 2/107 31285 /proc/meminfo: memFree=392880/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1179760 CPUtime=942.01 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 294574 0 0 0 93616 585 0 0 25 0 1 0 25549052 1208074240 294409 1992294400 134512640 135752675 4290676624 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 294940 294409 146 303 0 294635 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1179760 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.84 2/107 31286 /proc/meminfo: memFree=293680/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1277716 CPUtime=1001.99 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 319087 0 0 0 99566 633 0 0 25 0 1 0 25549052 1308381184 318922 1992294400 134512640 135752675 4290676624 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 319429 318922 146 303 0 319124 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1277716 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.85 2/107 31288 /proc/meminfo: memFree=209980/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1362080 CPUtime=1061.97 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 340183 0 0 0 105517 680 0 0 25 0 1 0 25549052 1394769920 340018 1992294400 134512640 135752675 4290676624 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 340520 340018 146 303 0 340215 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1362080 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.85 2/107 31290 /proc/meminfo: memFree=121816/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1449340 CPUtime=1121.95 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 361969 0 0 0 111473 722 0 0 25 0 1 0 25549052 1484124160 361804 1992294400 134512640 135752675 4290676624 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 362335 361804 146 303 0 362030 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1449340 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.86 2/107 31291 /proc/meminfo: memFree=62668/2059040 swapFree=4165008/4192956 [pid=31256] ppid=31254 vsize=1509420 CPUtime=1181.94 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 377013 0 0 0 117442 752 0 0 25 0 1 0 25549052 1545646080 376848 1992294400 134512640 135752675 4290676624 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 377355 376848 146 303 0 377050 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1509420 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.86 2/107 31293 /proc/meminfo: memFree=10344/2059040 swapFree=4142408/4192956 [pid=31256] ppid=31254 vsize=1587048 CPUtime=1241.93 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 396403 0 0 0 123403 790 0 0 25 0 1 0 25549052 1625137152 396238 1992294400 134512640 135752675 4290676624 18446744073709551615 134612014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 396762 396238 146 303 0 396457 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1587048 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 0.87 2/107 31294 /proc/meminfo: memFree=10120/2059040 swapFree=4140568/4192956 [pid=31256] ppid=31254 vsize=1630548 CPUtime=1301.9 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 407282 0 0 0 129372 818 0 0 25 0 1 0 25549052 1669681152 407117 1992294400 134512640 135752675 4290676624 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 407637 407117 146 303 0 407332 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1630548 [startup+1362.3 s] /proc/loadavg: 1.02 1.00 0.88 2/107 31296 /proc/meminfo: memFree=10412/2059040 swapFree=4140568/4192956 [pid=31256] ppid=31254 vsize=1679596 CPUtime=1361.89 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 419515 0 0 0 135339 850 0 0 25 0 1 0 25549052 1719906304 419350 1992294400 134512640 135752675 4290676624 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 419899 419350 146 303 0 419594 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1679596 [startup+1422.3 s] /proc/loadavg: 1.01 1.00 0.89 2/107 31298 /proc/meminfo: memFree=10224/2059040 swapFree=4140568/4192956 [pid=31256] ppid=31254 vsize=1719832 CPUtime=1421.87 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 429554 0 0 0 141314 873 0 0 25 0 1 0 25549052 1761107968 429389 1992294400 134512640 135752675 4290676624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 429958 429389 146 303 0 429653 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1719832 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 31299 /proc/meminfo: memFree=9760/2059040 swapFree=4140568/4192956 [pid=31256] ppid=31254 vsize=1755236 CPUtime=1481.86 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 438406 0 0 0 147294 892 0 0 25 0 1 0 25549052 1797361664 438241 1992294400 134512640 135752675 4290676624 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 438809 438241 146 303 0 438504 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1755236 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.90 2/107 31301 /proc/meminfo: memFree=9712/2059040 swapFree=4140568/4192956 [pid=31256] ppid=31254 vsize=1789508 CPUtime=1541.84 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 446969 0 0 0 153274 910 0 0 25 0 1 0 25549052 1832456192 446804 1992294400 134512640 135752675 4290676624 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 447377 446804 146 303 0 447072 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1789508 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1579.4 s] /proc/loadavg: 1.00 1.00 0.90 2/107 31302 /proc/meminfo: memFree=9712/2059040 swapFree=4140568/4192956 [pid=31256] ppid=31254 vsize=1843232 CPUtime=1578.93 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4202496 460409 0 0 0 156956 937 0 0 25 0 1 0 25549052 1887469568 460244 1992294400 134512640 135752675 4290676624 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31256/statm: 460808 460244 146 303 0 460503 0 Current children cumulated CPU time (s) 1578.93 Current children cumulated vsize (KiB) 1843232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1579.51 s] /proc/loadavg: 1.00 1.00 0.90 2/107 31302 /proc/meminfo: memFree=9712/2059040 swapFree=4140568/4192956 [pid=31256] ppid=31254 vsize=0 CPUtime=1579.03 /proc/31256/stat : 31256 (wbo1.4b) R 31254 31256 31092 0 -1 4203524 460409 0 0 0 156956 947 0 0 25 0 1 0 25549052 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31256/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1579.03 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1579.58 CPU time (s): 1579.11 CPU user time (s): 1569.56 CPU system time (s): 9.55055 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1843232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1569.56 system time used= 9.55055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460409 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= 8 involuntary context switches= 1086 runsolver used 2.51262 second user time and 7.57285 second system time The end
Begin job on node049 at 2010-07-08 09:17:37 IDJOB=2702663 IDBENCH=48266 IDSOLVER=1190 FILE ID=node049/2702663-1278573457 PBS_JOBID= 11240077 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.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-2702663-1278573457/watcher-2702663-1278573457 -o /tmp/evaluation-result-2702663-1278573457/solver-2702663-1278573457 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702663-1278573457.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 996170804397234947041ed4d87d3aa0 RANDOM SEED=1159803550 node049.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.266 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.53 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.266 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: 1573524 kB Buffers: 82112 kB Cached: 278884 kB SwapCached: 1172 kB Active: 154524 kB Inactive: 239480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1573524 kB SwapTotal: 4192956 kB SwapFree: 4165008 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 31936 kB Mapped: 14412 kB Slab: 69436 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181532 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702663-1278573457.opb Free space on /tmp at the end= 62480 MiB End job on node049 at 2010-07-08 09:43:59