Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.25 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb |
MD5SUM | 27440fbcb5a9ea2c9ae6b100e77dc1d3 |
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 | -51 |
Best CPU time to get the best result obtained on this benchmark | 1789.62 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60 |
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) | 4976 |
Sum of products size (including duplicates) | 9952 |
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-2702689-1278574705.opb. 0.00/0.00 c Instance file HOME/instance-2702689-1278574705.opb 0.00/0.00 c File size is 219296 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: 2888 | 0.00/0.04 c | Number Clauses: 2688 | 0.00/0.04 c | Number Cardinality: 402 | 0.00/0.04 c | Number PB Constraints: 2488 | 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 | 2888 5578 21104 | 5000 0 nan | 0.000 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 0 0.06/0.07 o 0 0.06/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 0 | 2888 5579 21304 | 5000 0 nan | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -1 0.06/0.08 o -1 0.06/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 1 | 2888 5580 21504 | 5000 1 201 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -2 0.06/0.08 o -2 0.06/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 1 | 2888 5581 21704 | 5000 1 201 | 0.000 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: -3 0.06/0.08 o -3 0.06/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 4 | 2888 5582 21904 | 5000 4 346 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -4 0.06/0.09 o -4 0.06/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 4 | 2888 5583 22104 | 5000 4 346 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -5 0.06/0.09 o -5 0.06/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 4 | 2888 5584 22304 | 5000 4 346 | 0.000 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: -6 0.06/0.09 o -6 0.06/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 4 | 2888 5585 22504 | 5000 4 346 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -7 0.09/0.11 o -7 0.09/0.11 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 75 | 2888 5586 22704 | 5000 75 387 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -8 0.09/0.11 o -8 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 76 | 2888 5587 22904 | 5000 76 382 | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: -9 0.09/0.12 o -9 0.09/0.12 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 105 | 2888 5588 23104 | 5000 105 329 | 0.000 % | 0.09/0.14 c | 205 | 2888 5588 23104 | 5500 205 356 | 0.000 % | 0.09/0.16 c | 355 | 2888 5588 23104 | 6050 355 367 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: -10 0.09/0.18 o -10 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 416 | 2888 5589 23304 | 5000 416 366 | 0.000 % | 0.19/0.20 c | 516 | 2888 5589 23304 | 5500 516 370 | 0.000 % | 0.19/0.23 c | 667 | 2888 5589 23304 | 6050 667 373 | 0.000 % | 0.19/0.26 c | 892 | 2888 5589 23304 | 6655 892 374 | 0.000 % | 0.29/0.32 c | 1229 | 2888 5589 23304 | 7320 1229 377 | 0.000 % | 0.39/0.41 c | 1735 | 2888 5589 23304 | 8052 1735 369 | 0.000 % | 0.49/0.58 c | 2494 | 2888 5589 23304 | 8857 2494 374 | 0.000 % | 0.79/0.87 c | 3633 | 2888 5589 23304 | 9743 3633 378 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -11 0.79/0.88 o -11 0.79/0.88 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 3636 | 2888 5590 23504 | 5000 3636 377 | 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.85487 s Remaining CPU time: 179.145 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 3636 | 2888 5591 23704 | 5000 3636 377 | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: -13 0.79/0.89 o -13 0.79/0.89 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 3643 | 2888 5592 23904 | 5000 3643 377 | 0.000 % | 0.89/0.92 c | 3743 | 2888 5592 23904 | 5500 3743 377 | 0.000 % | 0.89/0.97 c | 3893 | 2888 5592 23904 | 6050 3893 377 | 0.000 % | 0.99/1.03 c | 4118 | 2888 5592 23904 | 6655 4118 376 | 0.000 % | 0.99/1.10 c | 4456 | 2888 5592 23904 | 7320 4456 377 | 0.000 % | 1.19/1.22 c | 4962 | 2888 5592 23904 | 8052 4962 377 | 0.000 % | 1.39/1.40 c | 5721 | 2888 5592 23904 | 8857 5721 374 | 0.000 % | 1.69/1.71 c | 6860 | 2888 5592 23904 | 9743 6860 374 | 0.000 % | 2.19/2.21 c | 8568 | 2888 5592 23904 | 10717 8568 375 | 0.000 % | 3.09/3.13 c | 11132 | 2888 5592 23904 | 11789 11132 377 | 0.000 % | 4.59/4.67 c | 14976 | 2888 5592 23904 | 12968 7658 380 | 0.000 % | 6.69/6.75 c | 20742 | 2888 5592 23904 | 14265 13424 381 | 0.000 % | 10.89/10.94 c | 29391 | 2888 5592 23904 | 15692 13514 381 | 0.000 % | 10.89/10.96 c =============================================================================== 10.89/10.96 c New solution: -14 10.89/10.96 o -14 10.89/10.96 c Elapsed CPU time: 10.8174 s Remaining CPU time: 169.183 s 10.89/10.96 c =============================================================================== 10.89/10.96 c | 29418 | 2888 5593 24104 | 5000 13541 380 | 0.000 % | 10.99/11.05 c | 29518 | 2888 5593 24104 | 5500 3486 378 | 0.000 % | 11.09/11.10 c | 29668 | 2888 5593 24104 | 6050 3636 378 | 0.000 % | 11.09/11.17 c | 29893 | 2888 5593 24104 | 6655 3861 378 | 0.000 % | 11.19/11.28 c | 30230 | 2888 5593 24104 | 7320 4198 378 | 0.000 % | 11.29/11.38 c | 30737 | 2888 5593 24104 | 8052 4705 377 | 0.000 % | 11.48/11.58 c | 31497 | 2888 5593 24104 | 8857 5465 374 | 0.000 % | 11.89/11.92 c | 32636 | 2888 5593 24104 | 9743 6604 375 | 0.000 % | 11.89/11.94 c =============================================================================== 11.89/11.94 c New solution: -15 11.89/11.94 o -15 11.89/11.94 c Elapsed CPU time: 11.7722 s Remaining CPU time: 168.228 s 11.89/11.94 c =============================================================================== 11.89/11.94 c | 32661 | 2888 5594 24304 | 5000 6629 374 | 0.000 % | 11.89/11.98 c | 32762 | 2888 5594 24304 | 5500 3416 369 | 0.000 % | 11.99/12.01 c | 32912 | 2888 5594 24304 | 6050 3566 369 | 0.000 % | 11.99/12.06 c | 33137 | 2888 5594 24304 | 6655 3791 369 | 0.000 % | 12.10/12.14 c | 33474 | 2888 5594 24304 | 7320 4128 369 | 0.000 % | 12.19/12.26 c | 33980 | 2888 5594 24304 | 8052 4634 370 | 0.000 % | 12.38/12.43 c | 34739 | 2888 5594 24304 | 8857 5393 370 | 0.000 % | 12.69/12.73 c | 35878 | 2888 5594 24304 | 9743 6532 371 | 0.000 % | 13.19/13.23 c | 37586 | 2888 5594 24304 | 10717 8240 373 | 0.000 % | 13.89/13.93 c | 40148 | 2888 5594 24304 | 11789 10802 374 | 0.000 % | 15.18/15.20 c | 43992 | 2888 5594 24304 | 12968 7325 379 | 0.000 % | 15.18/15.22 c =============================================================================== 15.18/15.22 c New solution: -16 15.18/15.22 o -16 15.18/15.22 c Elapsed CPU time: 14.9967 s Remaining CPU time: 165.003 s 15.18/15.22 c =============================================================================== 15.18/15.22 c | 44018 | 2888 5595 24504 | 5000 7351 378 | 0.000 % | 15.18/15.25 c | 44118 | 2888 5595 24504 | 5500 3776 377 | 0.000 % | 15.18/15.28 c | 44268 | 2888 5595 24504 | 6050 3926 377 | 0.000 % | 15.29/15.33 c | 44493 | 2888 5595 24504 | 6655 4151 376 | 0.000 % | 15.39/15.41 c | 44830 | 2888 5595 24504 | 7320 4488 376 | 0.000 % | 15.49/15.52 c | 45336 | 2888 5595 24504 | 8052 4994 376 | 0.000 % | 15.68/15.71 c | 46095 | 2888 5595 24504 | 8857 5753 376 | 0.000 % | 15.89/15.99 c | 47234 | 2888 5595 24504 | 9743 6892 376 | 0.000 % | 16.39/16.43 c | 48942 | 2888 5595 24504 | 10717 8600 373 | 0.000 % | 17.09/17.17 c | 51504 | 2888 5595 24504 | 11789 11162 374 | 0.000 % | 17.09/17.19 c =============================================================================== 17.09/17.19 c New solution: -17 17.09/17.19 o -17 17.09/17.19 c Elapsed CPU time: 16.9324 s Remaining CPU time: 163.068 s 17.09/17.19 c =============================================================================== 17.09/17.19 c | 51515 | 2888 5596 24704 | 5000 11173 374 | 0.000 % | 17.19/17.24 c | 51615 | 2888 5596 24704 | 5500 2894 375 | 0.000 % | 17.19/17.27 c | 51765 | 2888 5596 24704 | 6050 3044 375 | 0.000 % | 17.28/17.31 c | 51990 | 2888 5596 24704 | 6655 3269 375 | 0.000 % | 17.28/17.37 c | 52327 | 2888 5596 24704 | 7320 3606 375 | 0.000 % | 17.39/17.47 c | 52833 | 2888 5596 24704 | 8052 4112 375 | 0.000 % | 17.59/17.63 c | 53592 | 2888 5596 24704 | 8857 4871 375 | 0.000 % | 17.79/17.85 c | 54731 | 2888 5596 24704 | 9743 6010 375 | 0.000 % | 18.19/18.23 c | 56440 | 2888 5596 24704 | 10717 7719 374 | 0.000 % | 18.89/18.91 c | 59003 | 2888 5596 24704 | 11789 10282 369 | 0.000 % | 20.08/20.10 c | 62848 | 2888 5596 24704 | 12968 14127 370 | 0.000 % | 21.68/21.77 c | 68616 | 2888 5596 24704 | 14265 12832 369 | 0.000 % | 24.88/24.97 c | 77265 | 2888 5596 24704 | 15692 12934 372 | 0.000 % | 29.39/29.43 c | 90240 | 2888 5596 24704 | 17261 16644 358 | 0.000 % | 37.08/37.15 c | 109701 | 2888 5596 24704 | 18987 16003 371 | 0.000 % | 49.28/49.34 c | 138893 | 2888 5596 24704 | 20886 11885 375 | 0.000 % | 74.48/74.52 c | 182684 | 2888 5596 24704 | 22974 16797 374 | 0.000 % | 114.96/115.04 c | 248368 | 2888 5596 24704 | 25272 22703 370 | 0.000 % | 169.25/169.37 c | 346894 | 2888 5596 24704 | 27799 18291 371 | 0.000 % | 181.75/181.83 c There are 0 assigned variables. 0 in cost function. 182.25/182.30 c core #1 182.25/182.30 c 182.25/182.30 c 182.25/182.30 c Core size: 401 Core Weight: 1 Total Weight: -199 182.25/182.30 c 182.25/182.30 c 182.25/182.30 c ============================[ Search Statistics ]============================== 182.25/182.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.30 c =============================================================================== 182.25/182.30 c | 0 | 3088 5805 25324 | 5000 0 nan | 0.000 % | 182.25/182.37 c | 102 | 3088 5805 25324 | 5500 102 103 | 1.069 % | 182.35/182.45 c =============================================================================== 182.35/182.48 c core #2 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c Core size: 354 Core Weight: 1 Total Weight: -198 182.35/182.48 c 182.35/182.48 c 182.35/182.48 c ============================[ Search Statistics ]============================== 182.35/182.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.35/182.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.35/182.48 c =============================================================================== 182.35/182.48 c | 0 | 3288 5814 25748 | 5000 0 nan | 0.000 % | 182.45/182.55 c | 103 | 3288 5814 25748 | 5500 103 171 | 0.000 % | 182.56/182.62 c | 253 | 3288 5814 25748 | 6050 253 120 | 0.000 % | 182.65/182.76 c | 478 | 3288 5814 25748 | 6655 478 122 | 0.002 % | 182.85/182.97 c | 815 | 3288 5814 25748 | 7320 815 121 | 0.000 % | 183.25/183.31 c | 1321 | 3276 5814 25748 | 8052 1266 135 | 0.365 % | 183.75/183.84 c | 2080 | 3263 5814 25748 | 8857 1995 146 | 0.761 % | 184.55/184.63 c | 3219 | 3260 5814 25748 | 9743 3134 148 | 1.278 % | 185.75/185.88 c | 4966 | 3239 5814 25748 | 10717 4815 154 | 2.737 % | 187.55/187.61 c | 7528 | 3171 5814 25748 | 11789 7050 158 | 9.915 % | 190.55/190.65 c | 11377 | 3169 5814 25748 | 12968 10899 162 | 10.433 % | 193.65/193.79 c =============================================================================== 193.95/194.07 c core #3 193.95/194.07 c 193.95/194.07 c 193.95/194.07 c Core size: 237 Core Weight: 1 Total Weight: -197 193.95/194.07 c 193.95/194.07 c 193.95/194.07 c ============================[ Search Statistics ]============================== 193.95/194.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.95/194.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.95/194.07 c =============================================================================== 193.95/194.07 c | 0 | 3487 5894 26373 | 5000 0 nan | 0.000 % | 194.05/194.15 c | 100 | 3487 5894 26373 | 5500 100 237 | 0.000 % | 194.15/194.22 c | 250 | 3487 5894 26373 | 6050 250 178 | 0.000 % | 194.25/194.38 c | 475 | 3487 5894 26373 | 6655 475 180 | 0.000 % | 194.54/194.66 c | 813 | 3487 5894 26373 | 7320 813 177 | 0.000 % | 194.95/195.06 c | 1319 | 3487 5894 26373 | 8052 1319 158 | 0.000 % | 195.45/195.59 c | 2079 | 3487 5894 26373 | 8857 2079 169 | 0.000 % | 196.34/196.49 c | 3296 | 3487 5894 26373 | 9743 3296 181 | 0.000 % | 197.85/197.95 c | 5004 | 3487 5894 26373 | 10717 5004 190 | 0.000 % | 200.25/200.30 c | 7566 | 3487 5894 26373 | 11789 7566 196 | 0.000 % | 203.54/203.63 c | 11411 | 3487 5894 26373 | 12968 11411 206 | 0.000 % | 208.34/208.49 c | 17177 | 3487 5894 26373 | 14265 10570 216 | 0.001 % | 215.55/215.61 c | 25826 | 3487 5894 26373 | 15692 11559 241 | 0.000 % | 227.44/227.56 c | 38814 | 3487 5894 26373 | 17261 16476 233 | 0.000 % | 244.54/244.64 c | 58276 | 3487 5894 26373 | 18987 9104 238 | 0.001 % | 270.03/270.13 c | 87468 | 3487 5894 26373 | 20886 18473 231 | 0.000 % | 311.42/311.54 c | 131258 | 3472 5894 26373 | 22974 13319 220 | 0.430 % | 372.81/372.93 c | 196947 | 3472 5894 26373 | 25272 20234 177 | 0.430 % | 475.38/475.54 c | 295475 | 3425 5894 26373 | 27799 17650 147 | 2.495 % | 566.07/566.29 c =============================================================================== 576.06/576.24 c core #4 576.06/576.24 c 576.06/576.24 c 576.06/576.24 c Core size: 225 Core Weight: 1 Total Weight: -196 576.06/576.24 c 576.06/576.24 c 576.06/576.24 c ============================[ Search Statistics ]============================== 576.06/576.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 576.06/576.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 576.06/576.24 c =============================================================================== 576.06/576.24 c | 0 | 3687 6282 27837 | 5000 0 nan | 0.000 % | 576.27/576.43 c | 100 | 3687 6282 27837 | 5500 100 295 | 0.000 % | 576.36/576.55 c | 250 | 3687 6282 27837 | 6050 250 229 | 0.000 % | 576.46/576.66 c | 476 | 3687 6282 27837 | 6655 476 134 | 0.000 % | 576.86/577.00 c | 813 | 3687 6282 27837 | 7320 813 174 | 0.000 % | 577.27/577.40 c | 1319 | 3687 6282 27837 | 8052 1319 161 | 0.000 % | 577.86/578.02 c | 2078 | 3687 6282 27837 | 8857 2078 168 | 0.000 % | 578.67/578.87 c | 3217 | 3687 6282 27837 | 9743 3217 189 | 0.000 % | 580.17/580.33 c | 4925 | 3687 6282 27837 | 10717 4925 211 | 0.000 % | 582.36/582.52 c | 7495 | 3687 6282 27837 | 11789 7495 233 | 0.000 % | 586.07/586.22 c | 11342 | 3687 6282 27837 | 12968 11342 240 | 0.000 % | 591.46/591.65 c | 17118 | 3687 6282 27837 | 14265 10430 262 | 0.000 % | 600.36/600.58 c | 25768 | 3687 6282 27837 | 15692 11656 261 | 0.000 % | 613.45/613.63 c | 38742 | 3687 6282 27837 | 17261 16453 352 | 0.000 % | 633.05/633.28 c | 58203 | 3687 6282 27837 | 18987 18110 340 | 0.000 % | 663.94/664.19 c | 87401 | 3687 6282 27837 | 20886 17381 358 | 0.000 % | 711.04/711.24 c | 131190 | 3687 6282 27837 | 22974 17303 300 | 0.000 % | 789.41/789.69 c | 196875 | 3687 6282 27837 | 25272 23450 320 | 0.000 % | 898.89/899.10 c | 295401 | 3687 6282 27837 | 27799 23546 257 | 0.000 % | 1078.45/1078.71 c | 443193 | 3687 6282 27837 | 30579 27299 278 | 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-2702689-1278574705/watcher-2702689-1278574705 -o /tmp/evaluation-result-2702689-1278574705/solver-2702689-1278574705 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702689-1278574705.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.88 3/106 308 /proc/meminfo: memFree=1779872/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=2800 CPUtime=0 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 276 0 0 0 0 0 0 0 18 0 1 0 25681770 2867200 195 1992294400 134512640 135752675 4291454384 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 700 195 131 303 0 341 0 [startup+0.0742689 s] /proc/loadavg: 1.00 0.97 0.88 3/106 308 /proc/meminfo: memFree=1779872/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=4504 CPUtime=0.06 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 791 0 0 0 6 0 0 0 20 0 1 0 25681770 4612096 656 1992294400 134512640 135752675 4291454384 18446744073709551615 134599067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 1126 656 143 303 0 821 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4504 [startup+0.100271 s] /proc/loadavg: 1.00 0.97 0.88 3/106 308 /proc/meminfo: memFree=1779872/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=4504 CPUtime=0.09 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 792 0 0 0 9 0 0 0 20 0 1 0 25681770 4612096 657 1992294400 134512640 135752675 4291454384 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 1126 657 144 303 0 821 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4504 [startup+0.300283 s] /proc/loadavg: 1.00 0.97 0.88 3/106 308 /proc/meminfo: memFree=1779872/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=5528 CPUtime=0.29 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 1069 0 0 0 28 1 0 0 20 0 1 0 25681770 5660672 934 1992294400 134512640 135752675 4291454384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 1382 934 145 303 0 1077 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5528 [startup+0.700311 s] /proc/loadavg: 1.00 0.97 0.88 3/106 308 /proc/meminfo: memFree=1779872/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=8664 CPUtime=0.69 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 1841 0 0 0 67 2 0 0 21 0 1 0 25681770 8871936 1706 1992294400 134512640 135752675 4291454384 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 2166 1706 145 303 0 1861 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8664 [startup+1.50037 s] /proc/loadavg: 1.00 0.97 0.88 2/107 309 /proc/meminfo: memFree=1772052/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=13604 CPUtime=1.49 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 3090 0 0 0 144 5 0 0 23 0 1 0 25681770 13930496 2955 1992294400 134512640 135752675 4291454384 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 3401 2955 145 303 0 3096 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13604 [startup+3.10048 s] /proc/loadavg: 1.00 0.97 0.88 2/107 309 /proc/meminfo: memFree=1765108/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=21716 CPUtime=3.09 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 5116 0 0 0 303 6 0 0 25 0 1 0 25681770 22237184 4981 1992294400 134512640 135752675 4291454384 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 5429 4981 145 303 0 5124 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21716 [startup+6.3017 s] /proc/loadavg: 1.00 0.97 0.88 2/107 309 /proc/meminfo: memFree=1750484/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=35724 CPUtime=6.29 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 8600 0 0 0 619 10 0 0 25 0 1 0 25681770 36581376 8465 1992294400 134512640 135752675 4291454384 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 8931 8465 145 303 0 8626 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35724 [startup+12.7011 s] /proc/loadavg: 1.00 0.97 0.88 2/107 309 /proc/meminfo: memFree=1725188/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=61552 CPUtime=12.69 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 15055 0 0 0 1251 18 0 0 25 0 1 0 25681770 63029248 14920 1992294400 134512640 135752675 4291454384 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 15388 14920 145 303 0 15083 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61552 [startup+25.502 s] /proc/loadavg: 1.00 0.97 0.88 2/107 309 /proc/meminfo: memFree=1653888/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=129540 CPUtime=25.49 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 32079 0 0 0 2513 36 0 0 25 0 1 0 25681770 132648960 31944 1992294400 134512640 135752675 4291454384 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 32385 31944 145 303 0 32080 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 129540 [startup+51.1018 s] /proc/loadavg: 1.00 0.97 0.88 2/107 309 /proc/meminfo: memFree=1553944/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=229716 CPUtime=51.07 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 57096 0 0 0 5044 63 0 0 25 0 1 0 25681770 235229184 56961 1992294400 134512640 135752675 4291454384 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 57429 56961 145 303 0 57124 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 229716 [startup+102.309 s] /proc/loadavg: 1.00 0.97 0.89 2/107 311 /proc/meminfo: memFree=1419900/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=361944 CPUtime=102.27 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 90139 0 0 0 10120 107 0 0 25 0 1 0 25681770 370630656 90004 1992294400 134512640 135752675 4291454384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 90486 90004 145 303 0 90181 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 361944 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.89 2/107 313 /proc/meminfo: memFree=1256096/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=526948 CPUtime=162.25 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 131390 0 0 0 16065 160 0 0 25 0 1 0 25681770 539594752 131255 1992294400 134512640 135752675 4291454384 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 131737 131255 145 303 0 131432 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 526948 [startup+222.302 s] /proc/loadavg: 1.00 0.97 0.90 2/107 315 /proc/meminfo: memFree=1189384/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=591684 CPUtime=222.25 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 147641 0 0 0 22022 203 0 0 25 0 1 0 25681770 605884416 147476 1992294400 134512640 135752675 4291454384 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 147921 147476 146 303 0 147616 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 591684 [startup+282.302 s] /proc/loadavg: 1.00 0.97 0.91 2/107 315 /proc/meminfo: memFree=1097500/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=684124 CPUtime=282.23 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 170743 0 0 0 27975 248 0 0 25 0 1 0 25681770 700542976 170578 1992294400 134512640 135752675 4291454384 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 171031 170578 146 303 0 170726 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 684124 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.91 2/107 317 /proc/meminfo: memFree=1014420/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=766268 CPUtime=342.22 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 191291 0 0 0 33930 292 0 0 25 0 1 0 25681770 784658432 191126 1992294400 134512640 135752675 4291454384 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 191567 191126 146 303 0 191262 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 766268 [startup+402.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 319 /proc/meminfo: memFree=941632/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=839688 CPUtime=402.2 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 209660 0 0 0 39887 333 0 0 25 0 1 0 25681770 859840512 209495 1992294400 134512640 135752675 4291454384 18446744073709551615 134638800 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 209922 209495 146 303 0 209617 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 839688 [startup+462.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 321 /proc/meminfo: memFree=878516/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=902028 CPUtime=462.19 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 225218 0 0 0 45849 370 0 0 25 0 1 0 25681770 923676672 225053 1992294400 134512640 135752675 4291454384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 225507 225053 146 303 0 225202 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 902028 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 323 /proc/meminfo: memFree=852228/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=928276 CPUtime=522.17 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 231780 0 0 0 51826 391 0 0 25 0 1 0 25681770 950554624 231615 1992294400 134512640 135752675 4291454384 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 232069 231615 146 303 0 231764 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 928276 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 323 /proc/meminfo: memFree=823708/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=956164 CPUtime=582.16 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 238725 0 0 0 57803 413 0 0 25 0 1 0 25681770 979111936 238560 1992294400 134512640 135752675 4291454384 18446744073709551615 134638766 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 239041 238560 146 303 0 238736 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 956164 [startup+642.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 325 /proc/meminfo: memFree=761708/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1017960 CPUtime=642.15 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 254213 0 0 0 63763 452 0 0 25 0 1 0 25681770 1042391040 254048 1992294400 134512640 135752675 4291454384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 254490 254048 146 303 0 254185 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 1017960 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 332 /proc/meminfo: memFree=468200/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1311068 CPUtime=882.1 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 327456 0 0 0 87611 599 0 0 25 0 1 0 25681770 1342533632 327291 1992294400 134512640 135752675 4291454384 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 327767 327291 146 303 0 327462 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 1311068 [startup+942.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 334 /proc/meminfo: memFree=389088/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1390804 CPUtime=942.08 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 347372 0 0 0 93570 638 0 0 25 0 1 0 25681770 1424183296 347207 1992294400 134512640 135752675 4291454384 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 347701 347207 146 303 0 347396 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 1390804 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 336 /proc/meminfo: memFree=333908/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1445236 CPUtime=1002.06 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 360977 0 0 0 99540 666 0 0 25 0 1 0 25681770 1479921664 360812 1992294400 134512640 135752675 4291454384 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 361309 360812 146 303 0 361004 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 1445236 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 338 /proc/meminfo: memFree=279472/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1500216 CPUtime=1062.05 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 374733 0 0 0 105508 697 0 0 25 0 1 0 25681770 1536221184 374568 1992294400 134512640 135752675 4291454384 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 375054 374568 146 303 0 374749 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 1500216 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 340 /proc/meminfo: memFree=204948/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1573768 CPUtime=1122.04 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 393109 0 0 0 111467 737 0 0 25 0 1 0 25681770 1611538432 392944 1992294400 134512640 135752675 4291454384 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 393442 392944 146 303 0 393137 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 1573768 [startup+1182.3 s] /proc/loadavg: 1.04 0.99 0.91 2/107 340 /proc/meminfo: memFree=183496/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1595020 CPUtime=1182.02 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 398421 0 0 0 117449 753 0 0 25 0 1 0 25681770 1633300480 398256 1992294400 134512640 135752675 4291454384 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 398755 398256 146 303 0 398450 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 1595020 [startup+1242.3 s] /proc/loadavg: 1.05 1.00 0.92 2/107 342 /proc/meminfo: memFree=175560/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1602680 CPUtime=1242.02 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 400338 0 0 0 123438 764 0 0 25 0 1 0 25681770 1641144320 400173 1992294400 134512640 135752675 4291454384 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 400670 400173 146 303 0 400365 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1602680 [startup+1302.3 s] /proc/loadavg: 1.02 1.00 0.92 2/107 344 /proc/meminfo: memFree=171716/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1606380 CPUtime=1302.01 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 401273 0 0 0 129432 769 0 0 25 0 1 0 25681770 1644933120 401108 1992294400 134512640 135752675 4291454384 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 401595 401108 146 303 0 401290 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1606380 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 355 /proc/meminfo: memFree=165888/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1611716 CPUtime=1361.98 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 402592 0 0 0 135423 775 0 0 25 0 1 0 25681770 1650397184 402427 1992294400 134512640 135752675 4291454384 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 402929 402427 146 303 0 402624 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1611716 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 357 /proc/meminfo: memFree=160184/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1617284 CPUtime=1421.97 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 403988 0 0 0 141416 781 0 0 25 0 1 0 25681770 1656098816 403823 1992294400 134512640 135752675 4291454384 18446744073709551615 134640701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 404321 403823 146 303 0 404016 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1617284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 357 /proc/meminfo: memFree=155844/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1621712 CPUtime=1481.95 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 405079 0 0 0 147409 786 0 0 25 0 1 0 25681770 1660633088 404914 1992294400 134512640 135752675 4291454384 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 405428 404914 146 303 0 405123 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1621712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 362 /proc/meminfo: memFree=151876/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1625936 CPUtime=1541.94 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 406134 0 0 0 153403 791 0 0 25 0 1 0 25681770 1664958464 405969 1992294400 134512640 135752675 4291454384 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 406484 405969 146 303 0 406179 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1625936 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 366 /proc/meminfo: memFree=147784/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1629944 CPUtime=1601.93 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 407154 0 0 0 159397 796 0 0 25 0 1 0 25681770 1669062656 406989 1992294400 134512640 135752675 4291454384 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 407486 406989 146 303 0 407181 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1629944 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 368 /proc/meminfo: memFree=143444/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1634300 CPUtime=1661.92 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 408235 0 0 0 165390 802 0 0 25 0 1 0 25681770 1673523200 408070 1992294400 134512640 135752675 4291454384 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 408575 408070 146 303 0 408270 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1634300 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 370 /proc/meminfo: memFree=139104/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1638564 CPUtime=1721.9 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 409307 0 0 0 171381 809 0 0 25 0 1 0 25681770 1677889536 409142 1992294400 134512640 135752675 4291454384 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 409641 409142 146 303 0 409336 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1638564 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 370 /proc/meminfo: memFree=136128/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1641616 CPUtime=1781.89 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 410052 0 0 0 177375 814 0 0 25 0 1 0 25681770 1681014784 409887 1992294400 134512640 135752675 4291454384 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 410404 409887 146 303 0 410099 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1641616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 373 /proc/meminfo: memFree=135012/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=1642720 CPUtime=1800.09 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4202496 410336 0 0 0 179194 815 0 0 25 0 1 0 25681770 1682145280 410171 1992294400 134512640 135752675 4291454384 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/308/statm: 410680 410171 146 303 0 410375 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1642720 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 0.92 2/108 374 /proc/meminfo: memFree=1226328/2059040 swapFree=4109596/4192956 [pid=308] ppid=306 vsize=0 CPUtime=1800.19 /proc/308/stat : 308 (wbo1.4b) R 306 308 32560 0 -1 4203524 410336 0 0 0 179194 825 0 0 25 0 1 0 25681770 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/308/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.66 CPU time (s): 1800.25 CPU user time (s): 1791.95 CPU system time (s): 8.30274 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 1642720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.95 system time used= 8.30274 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 410336 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= 9 involuntary context switches= 4930 runsolver used 2.85556 second user time and 8.63369 second system time The end
Begin job on node034 at 2010-07-08 09:38:25 IDJOB=2702689 IDBENCH=48279 IDSOLVER=1190 FILE ID=node034/2702689-1278574705 PBS_JOBID= 11240090 Free space on /tmp= 62400 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_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-2702689-1278574705/watcher-2702689-1278574705 -o /tmp/evaluation-result-2702689-1278574705/solver-2702689-1278574705 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702689-1278574705.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED=592976631 node034.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.216 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.216 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: 1780896 kB Buffers: 47756 kB Cached: 119600 kB SwapCached: 41404 kB Active: 110492 kB Inactive: 101364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1780896 kB SwapTotal: 4192956 kB SwapFree: 4109596 kB Dirty: 2696 kB Writeback: 0 kB AnonPages: 11776 kB Mapped: 8508 kB Slab: 44432 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184116 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-2702689-1278574705.opb Free space on /tmp at the end= 62400 MiB End job on node034 at 2010-07-08 10:08:28