Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.16 | 1800.68 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb |
MD5SUM | b155444c97f18a8f3025da7494a3d01e |
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 | 31 |
Best CPU time to get the best result obtained on this benchmark | 1798.05 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 584 |
Total number of constraints | 427 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 394 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
Number of terms in the objective function | 182 |
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 | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 19 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2406 |
Sum of products size (including duplicates) | 10572 |
Number of different products | 2406 |
Sum of products size | 10572 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702802-1278580252.opb. 0.00/0.00 c Instance file HOME/instance-2702802-1278580252.opb 0.00/0.00 c File size is 307008 bytes. 0.00/0.05 c Highest Coefficient sum: 53 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 2990 | 0.00/0.05 c | Number Clauses: 2742 | 0.00/0.05 c | Number Cardinality: 501 | 0.00/0.05 c | Number PB Constraints: 2406 | 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 2274 5671 33371 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 2274 5671 33371 | 5500 100 27 | 23.946 % | 0.09/0.16 c | 253 | 2274 5671 33371 | 6050 253 82 | 23.947 % | 0.19/0.21 c | 480 | 2274 5671 33371 | 6655 480 71 | 23.947 % | 0.19/0.24 c | 818 | 2274 5671 33371 | 7320 818 56 | 23.947 % | 0.19/0.30 c | 1324 | 2274 5671 33371 | 8052 1324 42 | 23.947 % | 0.29/0.38 c | 2084 | 2274 5671 33371 | 8857 2084 32 | 23.947 % | 0.48/0.53 c | 3223 | 2274 5671 33371 | 9743 3223 29 | 23.947 % | 0.69/0.71 c | 4932 | 2274 5671 33371 | 10717 4932 23 | 23.947 % | 1.09/1.15 c | 7495 | 2274 5671 33371 | 11789 7495 24 | 23.947 % | 1.89/1.95 c =============================================================================== 1.89/1.95 c New solution: 48 1.89/1.95 o 48 1.89/1.95 c Elapsed CPU time: 1.92871 s Remaining CPU time: 178.071 s 1.89/1.95 c =============================================================================== 1.89/1.95 c | 10854 | 2274 5672 33553 | 5000 10854 39 | 23.947 % | 1.98/2.02 c | 10954 | 2274 5672 33553 | 5500 5527 55 | 23.947 % | 1.98/2.06 c | 11105 | 2274 5672 33553 | 6050 5678 55 | 23.947 % | 2.09/2.13 c | 11330 | 2274 5672 33553 | 6655 5903 57 | 23.947 % | 2.09/2.20 c | 11667 | 2274 5672 33553 | 7320 6240 56 | 23.947 % | 2.19/2.23 c | 12175 | 2274 5672 33553 | 8052 6748 53 | 23.947 % | 2.19/2.28 c | 12934 | 2274 5672 33553 | 8857 7507 50 | 23.947 % | 2.58/2.60 c | 14075 | 2274 5672 33553 | 9743 8648 51 | 23.947 % | 2.69/2.79 c | 15783 | 2274 5672 33553 | 10717 10356 47 | 23.947 % | 2.98/3.09 c | 18345 | 2274 5672 33553 | 11789 7175 28 | 23.947 % | 3.79/3.80 c | 22191 | 2274 5672 33553 | 12968 11021 43 | 23.947 % | 6.08/6.19 c | 27957 | 2274 5672 33553 | 14265 9799 62 | 23.947 % | 6.89/6.99 c | 36607 | 2274 5672 33553 | 15692 10928 16 | 23.947 % | 10.89/10.94 c | 49583 | 2274 5672 33553 | 17261 14897 56 | 23.947 % | 15.68/15.78 c | 69044 | 2274 5672 33553 | 18987 16287 33 | 23.947 % | 20.98/21.06 c | 98236 | 2274 5672 33553 | 20886 15848 13 | 23.947 % | 26.08/26.18 c =============================================================================== 26.08/26.18 c New solution: 47 26.08/26.18 o 47 26.08/26.18 c Elapsed CPU time: 25.8751 s Remaining CPU time: 154.125 s 26.08/26.18 c =============================================================================== 26.08/26.18 c | 113201 | 2274 5673 33735 | 5000 18413 61 | 23.947 % | 26.18/26.26 c | 113301 | 2274 5673 33735 | 5500 4704 102 | 23.947 % | 26.18/26.29 c | 113451 | 2274 5673 33735 | 6050 4854 100 | 23.947 % | 26.28/26.32 c | 113677 | 2274 5673 33735 | 6655 5080 96 | 23.947 % | 26.28/26.36 c | 114014 | 2274 5673 33735 | 7320 5417 91 | 23.947 % | 26.48/26.54 c | 114520 | 2274 5673 33735 | 8052 5923 91 | 23.947 % | 26.48/26.59 c | 115279 | 2274 5673 33735 | 8857 6682 83 | 23.947 % | 26.68/26.70 c | 116418 | 2274 5673 33735 | 9743 7821 74 | 23.947 % | 27.08/27.15 c | 118127 | 2274 5673 33735 | 10717 9530 77 | 23.947 % | 27.68/27.74 c | 120690 | 2274 5673 33735 | 11789 6341 47 | 23.947 % | 28.38/28.50 c | 124534 | 2274 5673 33735 | 12968 10185 42 | 23.947 % | 29.08/29.16 c | 130300 | 2274 5673 33735 | 14265 9083 20 | 23.947 % | 30.98/31.09 c | 138952 | 2274 5673 33735 | 15692 9871 76 | 23.947 % | 33.57/33.60 c | 151928 | 2274 5673 33735 | 17261 14595 38 | 23.947 % | 37.97/38.07 c | 171391 | 2274 5673 33735 | 18987 16027 45 | 23.947 % | 45.78/45.88 c | 200583 | 2274 5673 33735 | 20886 15547 26 | 23.947 % | 53.37/53.44 c | 244375 | 2274 5673 33735 | 22974 15989 13 | 23.947 % | 54.07/54.14 c =============================================================================== 54.07/54.14 c New solution: 46 54.07/54.14 o 46 54.07/54.14 c Elapsed CPU time: 53.5099 s Remaining CPU time: 126.49 s 54.07/54.14 c =============================================================================== 54.07/54.14 c | 246525 | 2274 5674 33917 | 5000 18139 23 | 23.947 % | 54.37/54.47 c | 246628 | 2274 5674 33917 | 5500 4638 54 | 23.947 % | 54.37/54.49 c | 246778 | 2274 5674 33917 | 6050 4788 53 | 23.947 % | 54.47/54.52 c | 247003 | 2274 5674 33917 | 6655 5013 51 | 23.947 % | 54.47/54.54 c | 247340 | 2274 5674 33917 | 7320 5350 48 | 23.947 % | 54.57/54.60 c | 247846 | 2274 5674 33917 | 8052 5856 46 | 23.947 % | 54.67/54.76 c | 248605 | 2274 5674 33917 | 8857 6615 48 | 23.947 % | 55.17/55.23 c | 249746 | 2274 5674 33917 | 9743 7756 59 | 23.947 % | 55.98/56.05 c | 251454 | 2274 5674 33917 | 10717 9464 74 | 23.947 % | 57.37/57.40 c | 254017 | 2274 5674 33917 | 11789 12027 94 | 23.947 % | 59.57/59.64 c | 257864 | 2274 5674 33917 | 12968 9262 171 | 23.947 % | 63.17/63.21 c | 263630 | 2274 5674 33917 | 14265 8017 153 | 23.947 % | 68.77/68.89 c | 272279 | 2274 5674 33917 | 15692 8735 166 | 23.947 % | 77.27/77.34 c | 285253 | 2274 5674 33917 | 17261 13277 160 | 23.947 % | 93.47/93.55 c | 304714 | 2274 5674 33917 | 18987 14124 179 | 23.947 % | 120.35/120.41 c | 333906 | 2274 5674 33917 | 20886 13282 160 | 23.947 % | 142.35/142.48 c | 377695 | 2274 5674 33917 | 22974 13523 31 | 23.947 % | 155.54/155.62 c =============================================================================== 155.54/155.62 c New solution: 44 155.54/155.62 o 44 155.54/155.62 c Elapsed CPU time: 154.353 s Remaining CPU time: 25.6475 s 155.54/155.62 c =============================================================================== 155.54/155.62 c | 401288 | 2274 5675 34099 | 5000 23016 94 | 23.947 % | 155.74/155.80 c | 401389 | 2274 5675 34099 | 5500 2978 85 | 23.947 % | 155.74/155.82 c | 401540 | 2274 5675 34099 | 6050 3129 81 | 23.947 % | 155.74/155.84 c | 401765 | 2274 5675 34099 | 6655 3354 77 | 23.947 % | 155.74/155.87 c | 402102 | 2274 5675 34099 | 7320 3691 71 | 23.947 % | 155.84/155.94 c | 402609 | 2274 5675 34099 | 8052 4198 66 | 23.947 % | 155.94/156.03 c | 403368 | 2274 5675 34099 | 8857 4957 58 | 23.947 % | 156.24/156.36 c | 404508 | 2274 5675 34099 | 9743 6097 65 | 23.947 % | 156.44/156.50 c | 406217 | 2274 5675 34099 | 10717 7806 56 | 23.947 % | 157.15/157.23 c | 408780 | 2274 5675 34099 | 11789 10369 60 | 23.947 % | 157.74/157.88 c | 412625 | 2274 5675 34099 | 12968 7889 45 | 23.947 % | 158.64/158.71 c | 418392 | 2274 5675 34099 | 14265 13656 34 | 23.947 % | 161.04/161.12 c | 427046 | 2274 5675 34099 | 15692 14045 74 | 23.947 % | 162.54/162.66 c | 440020 | 2274 5675 34099 | 17261 10554 15 | 23.947 % | 165.64/165.71 c | 459481 | 2274 5675 34099 | 18987 11982 21 | 23.947 % | 171.24/171.32 c | 488673 | 2274 5675 34099 | 20886 11529 17 | 23.947 % | 181.44/181.56 c There are 716 assigned variables. 0 in cost function. 181.93/182.00 c core #1 181.93/182.00 c ============================[ Search Statistics ]============================== 181.93/182.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.00 c =============================================================================== 181.93/182.00 c | 0 | 2108 5233 28268 | 5000 0 nan | 0.000 % | 181.93/182.00 c =============================================================================== 181.93/182.02 c core #2 181.93/182.02 c ============================[ Search Statistics ]============================== 181.93/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.02 c =============================================================================== 181.93/182.02 c | 0 | 2138 5234 28317 | 5000 0 nan | 0.000 % | 181.93/182.04 c | 102 | 2138 5234 28317 | 5500 102 15 | 35.565 % | 181.93/182.04 c =============================================================================== 181.93/182.07 c core #3 181.93/182.07 c ============================[ Search Statistics ]============================== 181.93/182.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.07 c =============================================================================== 181.93/182.07 c | 0 | 2183 5235 28394 | 5000 0 nan | 0.000 % | 181.93/182.09 c | 103 | 2183 5235 28394 | 5500 103 20 | 28.403 % | 182.03/182.11 c | 253 | 2183 5235 28394 | 6050 253 16 | 28.403 % | 182.03/182.14 c | 481 | 2183 5235 28394 | 6655 481 16 | 28.403 % | 182.14/182.20 c | 819 | 2183 5235 28394 | 7320 819 17 | 28.403 % | 182.14/182.28 c | 1325 | 2182 5235 28394 | 8052 1271 17 | 28.440 % | 182.23/182.35 c =============================================================================== 182.23/182.38 c core #4 182.23/182.38 c ============================[ Search Statistics ]============================== 182.23/182.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.38 c =============================================================================== 182.23/182.38 c | 0 | 2239 5236 28858 | 5000 0 nan | 0.000 % | 182.33/182.40 c | 103 | 2239 5236 28858 | 5500 103 26 | 27.611 % | 182.33/182.42 c | 254 | 2239 5236 28858 | 6050 254 18 | 27.611 % | 182.33/182.44 c | 480 | 2239 5236 28858 | 6655 480 18 | 27.611 % | 182.33/182.48 c | 817 | 2239 5236 28858 | 7320 817 16 | 27.611 % | 182.44/182.58 c | 1324 | 2239 5236 28858 | 8052 1324 19 | 27.611 % | 182.63/182.73 c | 2083 | 2239 5236 28858 | 8857 2083 20 | 27.611 % | 182.83/182.96 c | 3224 | 2239 5236 28858 | 9743 3224 20 | 27.611 % | 183.03/183.11 c | 4932 | 2239 5236 28858 | 10717 4932 21 | 27.611 % | 183.33/183.40 c | 7494 | 2239 5236 28858 | 11789 7494 21 | 27.611 % | 183.83/183.92 c | 11338 | 2239 5236 28858 | 12968 11338 21 | 27.611 % | 184.93/185.02 c | 17104 | 2239 5236 28858 | 14265 10169 22 | 27.611 % | 187.33/187.42 c | 25753 | 2239 5236 28858 | 15692 11233 22 | 27.611 % | 191.53/191.63 c | 38727 | 2239 5236 28858 | 17261 15911 22 | 27.611 % | 198.23/198.31 c | 58190 | 2239 5236 28858 | 18987 17196 20 | 27.611 % | 211.72/211.84 c | 87382 | 2239 5236 28858 | 20886 16159 22 | 27.611 % | 225.82/225.95 c | 131171 | 2239 5236 28858 | 22974 15515 22 | 27.611 % | 241.51/241.60 c =============================================================================== 241.71/241.87 c core #5 241.71/241.87 c ============================[ Search Statistics ]============================== 241.71/241.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.71/241.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.71/241.87 c =============================================================================== 241.71/241.87 c | 0 | 2321 5254 29614 | 5000 0 nan | 0.000 % | 241.82/241.93 c | 101 | 2321 5254 29614 | 5500 101 28 | 26.551 % | 241.82/241.94 c | 251 | 2321 5254 29614 | 6050 251 23 | 26.551 % | 241.82/241.97 c | 477 | 2321 5254 29614 | 6655 477 18 | 26.551 % | 241.82/241.99 c | 815 | 2321 5254 29614 | 7320 815 18 | 26.551 % | 241.92/242.05 c | 1322 | 2321 5254 29614 | 8052 1322 17 | 26.551 % | 242.02/242.17 c | 2084 | 2321 5254 29614 | 8857 2084 20 | 26.551 % | 242.21/242.36 c | 3224 | 2321 5254 29614 | 9743 3224 21 | 26.551 % | 242.42/242.51 c | 4932 | 2321 5254 29614 | 10717 4932 19 | 26.551 % | 242.61/242.78 c | 7494 | 2321 5254 29614 | 11789 7494 18 | 26.551 % | 243.21/243.34 c | 11338 | 2321 5254 29614 | 12968 11338 19 | 26.551 % | 244.22/244.34 c | 17104 | 2321 5254 29614 | 14265 10170 23 | 26.551 % | 246.02/246.11 c | 25754 | 2321 5254 29614 | 15692 11241 24 | 26.551 % | 248.52/248.67 c | 38728 | 2321 5254 29614 | 17261 15918 19 | 26.551 % | 252.51/252.68 c | 58189 | 2321 5254 29614 | 18987 17229 20 | 26.551 % | 261.01/261.13 c | 87381 | 2321 5254 29614 | 20886 16606 25 | 26.551 % | 273.10/273.23 c | 131170 | 2321 5254 29614 | 22974 16137 25 | 26.551 % | 296.30/296.41 c | 196854 | 2321 5254 29614 | 25272 16398 19 | 26.551 % | 322.39/322.52 c | 295380 | 2321 5254 29614 | 27799 23234 22 | 26.551 % | 373.98/374.19 c | 443171 | 2321 5254 29614 | 30579 12389 22 | 26.551 % | 454.95/455.16 c | 664854 | 2321 5254 29614 | 33637 29915 22 | 26.551 % | 594.62/594.82 c | 997379 | 2321 5254 29614 | 37001 13053 20 | 26.551 % | 737.48/737.78 c =============================================================================== 739.37/739.60 c core #6 739.37/739.60 c ============================[ Search Statistics ]============================== 739.37/739.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 739.37/739.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 739.37/739.60 c =============================================================================== 739.37/739.60 c | 0 | 2445 5289 29955 | 5000 0 nan | 0.000 % | 739.37/739.66 c | 101 | 2445 5289 29955 | 5500 101 32 | 25.000 % | 739.47/739.71 c | 251 | 2445 5289 29955 | 6050 251 22 | 25.000 % | 739.47/739.78 c | 476 | 2445 5289 29955 | 6655 476 21 | 25.000 % | 739.67/739.91 c | 814 | 2445 5289 29955 | 7320 814 21 | 25.000 % | 739.78/740.10 c | 1321 | 2445 5289 29955 | 8052 1321 20 | 25.000 % | 739.98/740.26 c | 2081 | 2445 5289 29955 | 8857 2081 22 | 25.000 % | 740.17/740.42 c | 3220 | 2445 5289 29955 | 9743 3220 23 | 25.000 % | 740.38/740.64 c | 4929 | 2445 5289 29955 | 10717 4929 22 | 25.000 % | 740.57/740.88 c | 7491 | 2445 5289 29955 | 11789 7491 20 | 25.000 % | 741.08/741.36 c | 11335 | 2445 5289 29955 | 12968 11335 18 | 25.000 % | 741.97/742.27 c | 17101 | 2445 5289 29955 | 14265 10178 15 | 25.000 % | 743.67/743.94 c | 25751 | 2445 5289 29955 | 15692 11264 16 | 25.000 % | 747.27/747.51 c | 38727 | 2445 5289 29955 | 17261 15858 20 | 25.000 % | 753.07/753.38 c | 58188 | 2445 5289 29955 | 18987 17168 22 | 25.000 % | 761.86/762.11 c | 87381 | 2445 5289 29955 | 20886 16570 21 | 25.000 % | 776.46/776.74 c | 131170 | 2445 5289 29955 | 22974 16659 22 | 25.000 % | 798.55/798.86 c | 196854 | 2445 5289 29955 | 25272 17370 24 | 25.000 % | 822.25/822.55 c | 295380 | 2445 5289 29955 | 27799 24731 23 | 25.000 % | 867.84/868.19 c | 443170 | 2445 5289 29955 | 30579 15777 25 | 25.000 % | 947.12/947.43 c | 664854 | 2445 5289 29955 | 33637 13981 24 | 25.000 % | 1073.58/1073.95 c | 997380 | 2445 5289 29955 | 37001 22621 25 | 25.000 % | 1319.51/1319.91 c | 1496169 | 2445 5289 29955 | 40701 18184 22 | 25.000 % | 1697.51/1698.09 c | 2244352 | 2437 5289 29955 | 44771 15859 22 | 25.245 % | 1725.90/1726.42 c =============================================================================== 1733.60/1734.13 c core #7 1733.60/1734.13 c ============================[ Search Statistics ]============================== 1733.60/1734.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1733.60/1734.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1733.60/1734.13 c =============================================================================== 1733.60/1734.13 c | 0 | 2576 5349 30470 | 5000 0 nan | 0.000 % | 1733.60/1734.19 c | 103 | 2576 5349 30470 | 5500 103 42 | 23.832 % | 1733.70/1734.22 c | 253 | 2576 5349 30470 | 6050 253 27 | 23.832 % | 1733.79/1734.31 c | 480 | 2576 5349 30470 | 6655 480 24 | 23.832 % | 1733.89/1734.43 c | 818 | 2576 5349 30470 | 7320 818 20 | 23.832 % | 1733.99/1734.54 c | 1324 | 2576 5349 30470 | 8052 1324 21 | 23.832 % | 1734.10/1734.65 c | 2083 | 2576 5349 30470 | 8857 2083 19 | 23.832 % | 1734.29/1734.89 c | 3224 | 2576 5349 30470 | 9743 3224 19 | 23.832 % | 1734.70/1735.26 c | 4933 | 2576 5349 30470 | 10717 4933 19 | 23.832 % | 1735.09/1735.63 c | 7495 | 2576 5349 30470 | 11789 7495 19 | 23.832 % | 1735.50/1736.09 c | 11339 | 2576 5349 30470 | 12968 11339 18 | 23.832 % | 1736.30/1736.85 c | 17105 | 2576 5349 30470 | 14265 10187 15 | 23.832 % | 1737.89/1738.43 c | 25754 | 2576 5349 30470 | 15692 11272 18 | 23.832 % | 1741.49/1742.05 c | 38728 | 2576 5349 30470 | 17261 15965 24 | 23.832 % | 1747.08/1747.62 c | 58189 | 2576 5349 30470 | 18987 17309 23 | 23.832 % | 1755.09/1755.69 c | 87382 | 2576 5349 30470 | 20886 16360 24 | 23.832 % | 1768.08/1768.64 c | 131171 | 2576 5349 30470 | 22974 15985 25 | 23.832 % |
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-2702802-1278580252/watcher-2702802-1278580252 -o /tmp/evaluation-result-2702802-1278580252/solver-2702802-1278580252 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702802-1278580252.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: 0.92 1.30 1.26 3/105 32619 /proc/meminfo: memFree=1915276/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=3156 CPUtime=0 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 371 0 0 0 0 0 0 0 22 0 1 0 26233157 3231744 289 1992294400 134512640 135751879 4291772208 18446744073709551615 134613632 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 789 290 142 303 0 409 0 [startup+0.088282 s] /proc/loadavg: 0.92 1.30 1.26 3/105 32619 /proc/meminfo: memFree=1915276/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=4480 CPUtime=0.08 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 814 0 0 0 8 0 0 0 22 0 1 0 26233157 4587520 657 1992294400 134512640 135751879 4291772208 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 1120 657 146 303 0 815 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4480 [startup+0.101282 s] /proc/loadavg: 0.92 1.30 1.26 3/105 32619 /proc/meminfo: memFree=1915276/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=4480 CPUtime=0.09 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 814 0 0 0 9 0 0 0 22 0 1 0 26233157 4587520 657 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 1120 657 146 303 0 815 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4480 [startup+0.301306 s] /proc/loadavg: 0.92 1.30 1.26 3/105 32619 /proc/meminfo: memFree=1915276/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=4480 CPUtime=0.29 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 819 0 0 0 29 0 0 0 23 0 1 0 26233157 4587520 662 1992294400 134512640 135751879 4291772208 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 1120 662 147 303 0 815 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4480 [startup+0.701356 s] /proc/loadavg: 0.92 1.30 1.26 3/105 32619 /proc/meminfo: memFree=1915276/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=4872 CPUtime=0.69 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 942 0 0 0 68 1 0 0 25 0 1 0 26233157 4988928 785 1992294400 134512640 135751879 4291772208 18446744073709551615 134605989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 1218 785 147 303 0 913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4872 [startup+1.50046 s] /proc/loadavg: 0.92 1.30 1.26 2/106 32620 /proc/meminfo: memFree=1912540/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=5924 CPUtime=1.49 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 1198 0 0 0 147 2 0 0 25 0 1 0 26233157 6066176 1041 1992294400 134512640 135751879 4291772208 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 1481 1041 147 303 0 1176 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5924 [startup+3.10065 s] /proc/loadavg: 0.92 1.30 1.26 2/106 32620 /proc/meminfo: memFree=1910680/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=8288 CPUtime=3.08 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 1799 0 0 0 305 3 0 0 25 0 1 0 26233157 8486912 1642 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 2072 1642 148 303 0 1767 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8288 [startup+6.30104 s] /proc/loadavg: 0.93 1.30 1.25 2/106 32620 /proc/meminfo: memFree=1906588/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=11840 CPUtime=6.29 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 2668 0 0 0 622 7 0 0 25 0 1 0 26233157 12124160 2511 1992294400 134512640 135751879 4291772208 18446744073709551615 134518864 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 2960 2511 148 303 0 2655 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11840 [startup+12.7008 s] /proc/loadavg: 0.93 1.29 1.25 2/106 32620 /proc/meminfo: memFree=1899024/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=19060 CPUtime=12.68 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 4477 0 0 0 1254 14 0 0 25 0 1 0 26233157 19517440 4320 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 4765 4320 148 303 0 4460 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19060 [startup+25.5014 s] /proc/loadavg: 0.95 1.28 1.25 2/106 32622 /proc/meminfo: memFree=1887988/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=30084 CPUtime=25.48 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 7204 0 0 0 2520 28 0 0 25 0 1 0 26233157 30806016 7047 1992294400 134512640 135751879 4291772208 18446744073709551615 134604673 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 7521 7047 148 303 0 7216 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30084 [startup+51.1015 s] /proc/loadavg: 0.96 1.26 1.24 2/106 32622 /proc/meminfo: memFree=1862568/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=55524 CPUtime=51.07 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 13561 0 0 0 5050 57 0 0 25 0 1 0 26233157 56856576 13404 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 13881 13404 148 303 0 13576 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55524 [startup+102.309 s] /proc/loadavg: 0.98 1.21 1.23 2/106 32624 /proc/meminfo: memFree=1806148/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=111384 CPUtime=102.27 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 27516 0 0 0 10135 92 0 0 25 0 1 0 26233157 114057216 27359 1992294400 134512640 135751879 4291772208 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 27846 27359 148 303 0 27541 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 111384 [startup+162.301 s] /proc/loadavg: 0.99 1.17 1.21 2/106 32624 /proc/meminfo: memFree=1746752/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=171268 CPUtime=162.24 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 42499 0 0 0 16093 131 0 0 25 0 1 0 26233157 175378432 42342 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 42817 42342 148 303 0 42512 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 171268 [startup+222.302 s] /proc/loadavg: 0.99 1.14 1.19 2/106 32626 /proc/meminfo: memFree=1727408/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=189612 CPUtime=222.23 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 47141 0 0 0 22049 174 0 0 25 0 1 0 26233157 194162688 46984 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 47403 46984 151 303 0 47098 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 189612 [startup+282.301 s] /proc/loadavg: 0.99 1.11 1.18 2/106 32628 /proc/meminfo: memFree=1709304/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=208040 CPUtime=282.2 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 51705 0 0 0 27994 226 0 0 25 0 1 0 26233157 213032960 51548 1992294400 134512640 135751879 4291772208 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 52010 51548 151 303 0 51705 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 208040 [startup+342.301 s] /proc/loadavg: 0.99 1.09 1.16 2/106 32630 /proc/meminfo: memFree=1686736/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=230588 CPUtime=342.18 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 57334 0 0 0 33941 277 0 0 25 0 1 0 26233157 236122112 57177 1992294400 134512640 135751879 4291772208 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 57647 57177 151 303 0 57342 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 230588 [startup+402.302 s] /proc/loadavg: 0.99 1.07 1.15 2/106 32632 /proc/meminfo: memFree=1662556/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=254508 CPUtime=402.17 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 63320 0 0 0 39893 324 0 0 25 0 1 0 26233157 260616192 63163 1992294400 134512640 135751879 4291772208 18446744073709551615 134602409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 63627 63163 151 303 0 63322 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 254508 [startup+462.301 s] /proc/loadavg: 0.99 1.05 1.14 2/106 32632 /proc/meminfo: memFree=1637384/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=279688 CPUtime=462.15 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 69589 0 0 0 45849 366 0 0 25 0 1 0 26233157 286400512 69432 1992294400 134512640 135751879 4291772208 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 69922 69432 151 303 0 69617 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 279688 [startup+522.301 s] /proc/loadavg: 0.99 1.04 1.13 2/106 32634 /proc/meminfo: memFree=1616056/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=301580 CPUtime=522.14 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 75063 0 0 0 51811 403 0 0 25 0 1 0 26233157 308817920 74906 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 75395 74906 151 303 0 75090 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 301580 [startup+582.302 s] /proc/loadavg: 1.11 1.06 1.13 2/106 32639 /proc/meminfo: memFree=1545660/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=326404 CPUtime=582.12 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 81250 0 0 0 57769 443 0 0 25 0 1 0 26233157 334237696 81093 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 81601 81093 151 303 0 81296 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 326404 [startup+642.301 s] /proc/loadavg: 1.04 1.05 1.12 2/106 32641 /proc/meminfo: memFree=1521852/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=350004 CPUtime=642.11 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 87147 0 0 0 63728 483 0 0 25 0 1 0 26233157 358404096 86990 1992294400 134512640 135751879 4291772208 18446744073709551615 134611048 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 87501 86990 151 303 0 87196 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 350004 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.02 1.09 2/106 32645 /proc/meminfo: memFree=1462952/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=408924 CPUtime=822.04 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 101982 0 0 0 81595 609 0 0 25 0 1 0 26233157 418738176 101787 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 102231 101787 151 303 0 101926 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 408924 [startup+882.302 s] /proc/loadavg: 1.00 1.02 1.08 2/106 32647 /proc/meminfo: memFree=1440632/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=430984 CPUtime=882.03 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 107467 0 0 0 87542 661 0 0 25 0 1 0 26233157 441327616 107272 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 107746 107272 151 303 0 107441 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 430984 [startup+942.302 s] /proc/loadavg: 1.00 1.01 1.07 2/106 32649 /proc/meminfo: memFree=1420792/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=450928 CPUtime=942.01 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 112460 0 0 0 93499 702 0 0 25 0 1 0 26233157 461750272 112265 1992294400 134512640 135751879 4291772208 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 112732 112265 151 303 0 112427 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 450928 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.07 2/106 32651 /proc/meminfo: memFree=1399464/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=471984 CPUtime=1002 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 117721 0 0 0 99451 749 0 0 25 0 1 0 26233157 483311616 117526 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 117996 117526 151 303 0 117691 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 471984 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.06 2/106 32651 /proc/meminfo: memFree=1382600/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=489056 CPUtime=1061.98 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 121988 0 0 0 105409 789 0 0 25 0 1 0 26233157 500793344 121793 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 122264 121793 151 303 0 121959 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 489056 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.06 2/106 32653 /proc/meminfo: memFree=1362884/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=508604 CPUtime=1121.96 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 126871 0 0 0 111368 828 0 0 25 0 1 0 26233157 520810496 126676 1992294400 134512640 135751879 4291772208 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 127151 126676 151 303 0 126846 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 508604 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.05 2/106 32655 /proc/meminfo: memFree=1343788/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=527748 CPUtime=1181.95 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 131649 0 0 0 117330 865 0 0 25 0 1 0 26233157 540413952 131454 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 131937 131454 151 303 0 131632 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 527748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.04 2/106 32657 /proc/meminfo: memFree=1323328/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=547820 CPUtime=1241.93 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 136677 0 0 0 123292 901 0 0 25 0 1 0 26233157 560967680 136482 1992294400 134512640 135751879 4291772208 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 136955 136482 151 303 0 136650 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 547820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.04 2/106 32659 /proc/meminfo: memFree=1302744/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=568148 CPUtime=1301.92 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 141760 0 0 0 129255 937 0 0 25 0 1 0 26233157 581783552 141565 1992294400 134512640 135751879 4291772208 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 142037 141565 151 303 0 141732 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 568148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.03 2/106 32659 /proc/meminfo: memFree=1280548/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=590700 CPUtime=1361.9 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 147368 0 0 0 135218 972 0 0 25 0 1 0 26233157 604876800 147173 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 147675 147173 151 303 0 147370 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 590700 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.03 2/106 32661 /proc/meminfo: memFree=1258848/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=612084 CPUtime=1421.89 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 152725 0 0 0 141183 1006 0 0 25 0 1 0 26233157 626774016 152530 1992294400 134512640 135751879 4291772208 18446744073709551615 134616550 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 153021 152530 151 303 0 152716 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 612084 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 32663 /proc/meminfo: memFree=1238636/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=632412 CPUtime=1481.86 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 157804 0 0 0 147146 1040 0 0 25 0 1 0 26233157 647589888 157609 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 158103 157609 151 303 0 157798 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 632412 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 32665 /proc/meminfo: memFree=1216936/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=653940 CPUtime=1541.85 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 163173 0 0 0 153110 1075 0 0 25 0 1 0 26233157 669634560 162978 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 163485 162978 151 303 0 163180 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 653940 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 32667 /proc/meminfo: memFree=1198212/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=672820 CPUtime=1601.83 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 167886 0 0 0 159076 1107 0 0 25 0 1 0 26233157 688967680 167691 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 168205 167691 151 303 0 167900 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 672820 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32667 /proc/meminfo: memFree=1176884/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=693832 CPUtime=1661.81 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 173153 0 0 0 165040 1141 0 0 25 0 1 0 26233157 710483968 172958 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 173458 172958 151 303 0 173153 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 693832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32669 /proc/meminfo: memFree=1156796/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=714688 CPUtime=1721.8 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 178350 0 0 0 171007 1173 0 0 25 0 1 0 26233157 731840512 178155 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 178672 178155 151 303 0 178367 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 714688 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32671 /proc/meminfo: memFree=1130880/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=739444 CPUtime=1781.78 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 184599 0 0 0 176964 1214 0 0 25 0 1 0 26233157 757190656 184363 1992294400 134512640 135751879 4291772208 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 184861 184363 151 303 0 184556 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 739444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 32671 /proc/meminfo: memFree=1130880/2059040 swapFree=4131712/4192956 [pid=32619] ppid=32617 vsize=739444 CPUtime=1800.09 /proc/32619/stat : 32619 (wbo1.4b) R 32617 32619 31416 0 -1 4202496 184599 0 0 0 178788 1221 0 0 25 0 1 0 26233157 757190656 184363 1992294400 134512640 135751879 4291772208 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32619/statm: 184861 184363 151 303 0 184556 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 739444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.68 CPU time (s): 1800.16 CPU user time (s): 1787.89 CPU system time (s): 12.2761 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 739688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.89 system time used= 12.2761 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 184599 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= 2 involuntary context switches= 6454 runsolver used 3.08153 second user time and 8.41272 second system time The end
Begin job on node080 at 2010-07-08 11:10:52 IDJOB=2702802 IDBENCH=72485 IDSOLVER=1161 FILE ID=node080/2702802-1278580252 PBS_JOBID= 11240068 Free space on /tmp= 62544 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.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-2702802-1278580252/watcher-2702802-1278580252 -o /tmp/evaluation-result-2702802-1278580252/solver-2702802-1278580252 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702802-1278580252.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e RANDOM SEED=672901632 node080.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.255 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.51 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.255 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1918708 kB Buffers: 1800 kB Cached: 44548 kB SwapCached: 12932 kB Active: 26560 kB Inactive: 40616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1918708 kB SwapTotal: 4192956 kB SwapFree: 4131712 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 12548 kB Mapped: 11888 kB Slab: 51396 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180820 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-2702802-1278580252.opb Free space on /tmp at the end= 62544 MiB End job on node080 at 2010-07-08 11:40:55