Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.09 | 1800.57 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb |
MD5SUM | b561a61efc46169e6f19abce33721598 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 235.663 |
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 | 18 |
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-2702798-1278580230.opb. 0.00/0.00 c Instance file HOME/instance-2702798-1278580230.opb 0.00/0.00 c File size is 307008 bytes. 0.00/0.05 c Highest Coefficient sum: 52 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 | 104 | 2274 5671 33371 | 5500 104 27 | 23.946 % | 0.09/0.16 c | 254 | 2274 5671 33371 | 6050 254 48 | 23.947 % | 0.19/0.26 c | 479 | 2274 5671 33371 | 6655 479 74 | 23.947 % | 0.29/0.33 c | 817 | 2274 5671 33371 | 7320 817 65 | 23.947 % | 0.48/0.52 c | 1326 | 2274 5671 33371 | 8052 1326 80 | 23.947 % | 0.79/0.83 c | 2085 | 2274 5671 33371 | 8857 2085 102 | 23.947 % | 1.29/1.32 c | 3224 | 2274 5671 33371 | 9743 3224 107 | 23.947 % | 2.09/2.15 c | 4933 | 2274 5671 33371 | 10717 4933 121 | 23.947 % | 3.49/3.58 c | 7495 | 2274 5671 33371 | 11789 7495 128 | 23.947 % | 5.49/5.57 c | 11340 | 2274 5671 33371 | 12968 11340 107 | 23.947 % | 8.39/8.40 c | 17106 | 2274 5671 33371 | 14265 10181 58 | 23.947 % | 9.39/9.41 c | 25759 | 2274 5671 33371 | 15692 11313 20 | 23.947 % | 13.09/13.20 c =============================================================================== 13.09/13.20 c New solution: 52 13.09/13.20 o 52 13.09/13.20 c Elapsed CPU time: 13.101 s Remaining CPU time: 166.899 s 13.09/13.20 c =============================================================================== 13.09/13.20 c | 37521 | 2274 5672 33553 | 5000 14172 47 | 23.947 % | 13.19/13.26 c | 37621 | 2274 5672 33553 | 5500 3643 53 | 23.947 % | 13.19/13.28 c | 37772 | 2274 5672 33553 | 6050 3794 51 | 23.947 % | 13.28/13.30 c | 37998 | 2274 5672 33553 | 6655 4020 49 | 23.947 % | 13.28/13.34 c | 38335 | 2274 5672 33553 | 7320 4357 47 | 23.947 % | 13.48/13.56 c | 38841 | 2274 5672 33553 | 8052 4863 53 | 23.947 % | 13.69/13.73 c | 39603 | 2274 5672 33553 | 8857 5625 51 | 23.947 % | 13.79/13.83 c | 40743 | 2274 5672 33553 | 9743 6765 45 | 23.947 % | 13.79/13.89 c =============================================================================== 13.79/13.89 c New solution: 44 13.79/13.89 o 44 13.79/13.89 c Elapsed CPU time: 13.7859 s Remaining CPU time: 166.214 s 13.79/13.89 c =============================================================================== 13.79/13.89 c | 41044 | 2274 5673 33735 | 5000 7066 45 | 23.947 % | 13.89/13.92 c | 41145 | 2274 5673 33735 | 5500 3634 36 | 23.947 % | 13.89/13.93 c | 41295 | 2274 5673 33735 | 6050 3784 36 | 23.947 % | 13.89/13.95 c | 41520 | 2274 5673 33735 | 6655 4009 35 | 23.947 % | 13.89/13.97 c | 41857 | 2274 5673 33735 | 7320 4346 34 | 23.947 % | 14.19/14.21 c | 42364 | 2274 5673 33735 | 8052 4853 42 | 23.947 % | 14.19/14.28 c | 43123 | 2274 5673 33735 | 8857 5612 39 | 23.947 % | 14.58/14.66 c | 44262 | 2274 5673 33735 | 9743 6751 49 | 23.947 % | 14.88/14.91 c | 45970 | 2274 5673 33735 | 10717 8459 44 | 23.947 % | 15.19/15.24 c | 48532 | 2274 5673 33735 | 11789 11021 41 | 23.947 % | 15.78/15.80 c | 52378 | 2274 5673 33735 | 12968 8580 25 | 23.947 % | 17.18/17.29 c | 58144 | 2274 5673 33735 | 14265 14346 50 | 23.947 % | 18.78/18.83 c | 66794 | 2274 5673 33735 | 15692 15286 46 | 23.947 % | 20.98/21.04 c | 79768 | 2274 5673 33735 | 17261 11805 15 | 23.947 % | 26.08/26.17 c | 99232 | 2274 5673 33735 | 18987 13128 59 | 23.947 % | 41.68/41.74 c | 128426 | 2274 5673 33735 | 20886 10914 89 | 23.947 % | 49.87/49.91 c | 172215 | 2274 5673 33735 | 22974 10959 19 | 23.947 % | 71.27/71.37 c | 237900 | 2274 5673 33735 | 25272 12824 19 | 23.947 % | 104.46/104.51 c =============================================================================== 104.46/104.51 c New solution: 43 104.46/104.51 o 43 104.46/104.51 c Elapsed CPU time: 103.741 s Remaining CPU time: 76.2588 s 104.46/104.51 c =============================================================================== 104.46/104.51 c | 283445 | 2274 5674 33917 | 5000 26352 93 | 23.947 % | 104.65/104.73 c | 283545 | 2274 5674 33917 | 5500 2898 84 | 23.947 % | 104.65/104.78 c | 283695 | 2274 5674 33917 | 6050 3048 82 | 23.947 % | 104.75/104.84 c | 283922 | 2274 5674 33917 | 6655 3275 83 | 23.947 % | 104.85/104.92 c | 284260 | 2274 5674 33917 | 7320 3613 77 | 23.947 % | 104.85/104.97 c | 284766 | 2274 5674 33917 | 8052 4119 70 | 23.947 % | 104.96/105.05 c | 285525 | 2274 5674 33917 | 8857 4878 61 | 23.947 % | 105.06/105.17 c | 286664 | 2274 5674 33917 | 9743 6017 54 | 23.947 % | 105.25/105.30 c | 288372 | 2274 5674 33917 | 10717 7725 45 | 23.947 % | 105.96/106.07 c | 290935 | 2274 5674 33917 | 11789 10288 62 | 23.947 % | 106.76/106.81 c | 294779 | 2274 5674 33917 | 12968 7827 53 | 23.947 % | 108.55/108.62 c | 300547 | 2274 5674 33917 | 14265 13595 74 | 23.947 % | 112.95/113.07 c | 309196 | 2274 5674 33917 | 15692 14683 72 | 23.947 % | 117.95/118.04 c | 322170 | 2274 5674 33917 | 17261 9784 93 | 23.947 % | 122.75/122.85 c | 341632 | 2274 5674 33917 | 18987 11216 24 | 23.947 % | 127.15/127.25 c | 370826 | 2274 5674 33917 | 20886 10784 14 | 23.947 % | 155.84/155.96 c =============================================================================== 155.84/155.96 c New solution: 42 155.84/155.96 o 42 155.84/155.96 c Elapsed CPU time: 154.814 s Remaining CPU time: 25.1855 s 155.84/155.96 c =============================================================================== 155.84/155.96 c | 411152 | 2274 5675 34099 | 5000 18417 116 | 23.947 % | 155.94/156.07 c | 411252 | 2274 5675 34099 | 5500 4705 114 | 23.947 % | 156.04/156.12 c | 411403 | 2274 5675 34099 | 6050 4856 112 | 23.947 % | 156.14/156.22 c | 411628 | 2274 5675 34099 | 6655 5081 113 | 23.947 % | 156.24/156.36 c | 411966 | 2274 5675 34099 | 7320 5419 113 | 23.947 % | 156.44/156.58 c | 412472 | 2274 5675 34099 | 8052 5925 114 | 23.947 % | 156.94/157.01 c | 413231 | 2274 5675 34099 | 8857 6684 119 | 23.947 % | 157.25/157.32 c | 414373 | 2274 5675 34099 | 9743 7826 108 | 23.947 % | 157.85/157.95 c | 416085 | 2274 5675 34099 | 10717 9538 104 | 23.947 % | 158.44/158.58 c | 418647 | 2274 5675 34099 | 11789 12100 88 | 23.947 % | 159.84/159.96 c | 422492 | 2274 5675 34099 | 12968 8991 64 | 23.947 % | 161.94/162.03 c | 428258 | 2274 5675 34099 | 14265 7869 60 | 23.947 % | 162.75/162.83 c | 436907 | 2274 5675 34099 | 15692 8992 15 | 23.947 % | 167.44/167.59 c | 449882 | 2274 5675 34099 | 17261 13051 85 | 23.947 % | 172.64/172.78 c | 469345 | 2274 5675 34099 | 18987 14469 27 | 23.947 % | 178.74/178.84 c | 498538 | 2274 5675 34099 | 20886 14013 19 | 23.947 % | 181.23/181.38 c There are 716 assigned variables. 0 in cost function. 181.74/181.82 c core #1 181.74/181.82 c ============================[ Search Statistics ]============================== 181.74/181.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.82 c =============================================================================== 181.74/181.82 c | 0 | 2102 5235 28264 | 5000 0 nan | 0.000 % | 181.74/181.82 c =============================================================================== 181.74/181.84 c core #2 181.74/181.84 c ============================[ Search Statistics ]============================== 181.74/181.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.84 c =============================================================================== 181.74/181.84 c | 0 | 2121 5236 28295 | 5000 0 nan | 0.000 % | 181.74/181.85 c =============================================================================== 181.74/181.87 c core #3 181.74/181.87 c ============================[ Search Statistics ]============================== 181.74/181.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.87 c =============================================================================== 181.74/181.87 c | 0 | 2143 5237 28334 | 5000 0 nan | 0.000 % | 181.74/181.89 c | 103 | 2143 5237 28334 | 5500 103 11 | 29.134 % | 181.84/181.92 c | 253 | 1940 5237 28334 | 6050 2 10 | 37.004 % | 181.84/181.92 c =============================================================================== 181.84/181.95 c core #4 181.84/181.95 c ============================[ Search Statistics ]============================== 181.84/181.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.95 c =============================================================================== 181.84/181.95 c | 0 | 2177 5238 28393 | 5000 0 nan | 0.000 % | 181.84/181.96 c | 100 | 2177 5238 28393 | 5500 100 16 | 28.600 % | 181.84/181.98 c | 251 | 2177 5238 28393 | 6050 251 14 | 28.600 % | 181.94/182.01 c | 476 | 2177 5238 28393 | 6655 476 13 | 28.600 % | 181.94/182.07 c | 813 | 2175 5238 28393 | 7320 657 14 | 29.518 % | 182.03/182.12 c =============================================================================== 182.03/182.14 c core #5 182.03/182.14 c ============================[ Search Statistics ]============================== 182.03/182.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.14 c =============================================================================== 182.03/182.14 c | 0 | 2233 5239 28490 | 5000 0 nan | 0.000 % | 182.03/182.16 c | 100 | 2233 5239 28490 | 5500 100 20 | 27.735 % | 182.03/182.17 c | 250 | 2233 5239 28490 | 6050 250 17 | 27.735 % | 182.13/182.20 c | 476 | 2233 5239 28490 | 6655 476 21 | 27.735 % | 182.13/182.23 c | 813 | 2233 5239 28490 | 7320 813 20 | 27.735 % | 182.13/182.28 c | 1319 | 2233 5239 28490 | 8052 1319 20 | 27.735 % | 182.24/182.38 c | 2078 | 2233 5239 28490 | 8857 2078 20 | 27.735 % | 182.43/182.50 c | 3217 | 2233 5239 28490 | 9743 3217 22 | 27.735 % | 182.64/182.70 c | 4925 | 2233 5239 28490 | 10717 4925 22 | 27.735 % | 183.03/183.11 c | 7487 | 2233 5239 28490 | 11789 7487 21 | 27.735 % | 183.74/183.82 c | 11331 | 2233 5239 28490 | 12968 11331 22 | 27.735 % | 184.94/185.08 c | 17097 | 2233 5239 28490 | 14265 10158 22 | 27.735 % | 187.24/187.36 c | 25746 | 2233 5239 28490 | 15692 11219 23 | 27.735 % | 190.73/190.88 c | 38723 | 2233 5239 28490 | 17261 15896 23 | 27.735 % | 196.43/196.56 c | 58184 | 2233 5239 28490 | 18987 17191 20 | 27.735 % | 206.12/206.26 c | 87379 | 2233 5239 28490 | 20886 16537 22 | 27.735 % | 219.94/220.04 c | 131168 | 2233 5239 28490 | 22974 15966 23 | 27.735 % | 239.62/239.74 c | 196852 | 2233 5239 28490 | 25272 16078 24 | 27.735 % | 270.61/270.71 c | 295378 | 2233 5239 28490 | 27799 22710 23 | 27.735 % | 322.20/322.40 c | 443167 | 2233 5239 28490 | 30579 28488 23 | 27.735 % | 423.87/424.04 c | 664851 | 2233 5239 28490 | 33637 25355 24 | 27.735 % | 545.04/545.22 c =============================================================================== 545.74/545.93 c core #6 545.74/545.93 c ============================[ Search Statistics ]============================== 545.74/545.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 545.74/545.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 545.74/545.93 c =============================================================================== 545.74/545.93 c | 0 | 2316 5260 29612 | 5000 0 nan | 0.000 % | 545.74/545.97 c | 100 | 2316 5260 29612 | 5500 100 22 | 26.546 % | 545.74/545.99 c | 251 | 2316 5260 29612 | 6050 251 16 | 26.547 % | 545.84/546.06 c | 477 | 2316 5260 29612 | 6655 477 18 | 26.546 % | 545.94/546.15 c | 814 | 2316 5260 29612 | 7320 814 20 | 26.546 % | 546.04/546.24 c | 1320 | 2316 5260 29612 | 8052 1320 22 | 26.546 % | 546.14/546.37 c | 2079 | 2316 5260 29612 | 8857 2079 22 | 26.546 % | 546.34/546.59 c | 3218 | 2316 5260 29612 | 9743 3218 23 | 26.546 % | 546.64/546.87 c | 4926 | 2316 5260 29612 | 10717 4926 22 | 26.546 % | 547.24/547.42 c | 7488 | 2316 5260 29612 | 11789 7488 23 | 26.546 % | 548.24/548.48 c | 11332 | 2316 5260 29612 | 12968 11332 22 | 26.546 % | 549.85/550.04 c | 17098 | 2316 5260 29612 | 14265 10171 22 | 26.546 % | 552.34/552.50 c | 25747 | 2316 5260 29612 | 15692 11243 23 | 26.546 % | 556.34/556.55 c | 38721 | 2316 5260 29612 | 17261 15916 23 | 26.546 % | 561.95/562.10 c | 58183 | 2316 5260 29612 | 18987 17144 23 | 26.546 % | 569.64/569.85 c | 87375 | 2316 5260 29612 | 20886 16503 24 | 26.546 % | 586.73/586.97 c | 131165 | 2316 5260 29612 | 22974 16220 24 | 26.546 % | 604.02/604.23 c | 196849 | 2303 5260 29612 | 25272 5672 21 | 26.959 % | 608.23/608.46 c =============================================================================== 609.13/609.31 c core #7 609.13/609.31 c ============================[ Search Statistics ]============================== 609.13/609.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 609.13/609.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 609.13/609.31 c =============================================================================== 609.13/609.31 c | 0 | 2433 5286 29906 | 5000 0 nan | 0.000 % | 609.13/609.35 c | 100 | 2433 5286 29906 | 5500 100 25 | 25.000 % | 609.23/609.41 c | 250 | 2433 5286 29906 | 6050 250 23 | 25.000 % | 609.23/609.45 c | 475 | 2433 5286 29906 | 6655 475 24 | 25.000 % | 609.33/609.52 c | 813 | 2433 5286 29906 | 7320 813 24 | 25.000 % | 609.42/609.61 c | 1319 | 2433 5286 29906 | 8052 1319 25 | 25.000 % | 609.42/609.67 c | 2078 | 2433 5286 29906 | 8857 2078 24 | 25.000 % | 609.62/609.80 c | 3218 | 2433 5286 29906 | 9743 3218 22 | 25.000 % | 609.83/610.01 c | 4926 | 2433 5286 29906 | 10717 4926 20 | 25.000 % | 610.42/610.65 c | 7488 | 2433 5286 29906 | 11789 7488 22 | 25.000 % | 611.72/611.95 c | 11332 | 2433 5286 29906 | 12968 11332 23 | 25.000 % | 613.42/613.60 c | 17100 | 2433 5286 29906 | 14265 10179 26 | 25.000 % | 615.32/615.55 c | 25753 | 2433 5286 29906 | 15692 11257 26 | 25.000 % | 619.92/620.19 c | 38728 | 2433 5286 29906 | 17261 15944 27 | 25.000 % | 626.32/626.59 c | 58190 | 2433 5286 29906 | 18987 17256 27 | 25.000 % | 636.73/636.92 c | 87383 | 2433 5286 29906 | 20886 16604 27 | 25.000 % | 652.62/652.86 c | 131172 | 2433 5286 29906 | 22974 15945 26 | 25.000 % | 678.11/678.30 c | 196856 | 2433 5286 29906 | 25272 16884 27 | 25.000 % | 722.40/722.66 c | 295382 | 2433 5286 29906 | 27799 23586 25 | 25.000 % | 799.38/799.66 c | 443172 | 2433 5286 29906 | 30579 14248 27 | 25.000 % | 917.55/917.85 c | 664855 | 2424 5286 29906 | 33637 31292 29 | 25.277 % | 1164.78/1165.16 c | 997382 | 2424 5286 29906 | 37001 13901 29 | 25.277 % | 1431.21/1431.62 c =============================================================================== 1439.21/1439.62 c core #8 1439.21/1439.62 c ============================[ Search Statistics ]============================== 1439.21/1439.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1439.21/1439.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1439.21/1439.62 c =============================================================================== 1439.21/1439.62 c | 0 | 2650 5368 30642 | 5000 0 nan | 0.000 % | 1439.21/1439.66 c | 100 | 2650 5368 30642 | 5500 100 29 | 22.424 % | 1439.21/1439.68 c | 250 | 2650 5368 30642 | 6050 250 23 | 22.424 % | 1439.31/1439.74 c | 475 | 2650 5368 30642 | 6655 475 23 | 22.424 % | 1439.41/1439.87 c | 812 | 2650 5368 30642 | 7320 812 20 | 22.424 % | 1439.51/1439.98 c | 1318 | 2650 5368 30642 | 8052 1318 21 | 22.424 % | 1439.81/1440.27 c | 2077 | 2650 5368 30642 | 8857 2077 23 | 22.424 % | 1440.01/1440.47 c | 3216 | 2650 5368 30642 | 9743 3216 23 | 22.424 % | 1440.31/1440.72 c | 4924 | 2650 5368 30642 | 10717 4924 22 | 22.424 % | 1440.71/1441.14 c | 7487 | 2650 5368 30642 | 11789 7487 23 | 22.424 % | 1441.21/1441.63 c | 11331 | 2650 5368 30642 | 12968 11331 22 | 22.424 % | 1442.31/1442.75 c | 17098 | 2650 5368 30642 | 14265 9865 28 | 22.424 % | 1444.21/1444.60 c | 25748 | 2650 5368 30642 | 15692 10641 29 | 22.424 % | 1446.21/1446.69 c | 38722 | 2650 5368 30642 | 17261 15352 21 | 22.424 % | 1451.10/1451.58 c | 58184 | 2650 5368 30642 | 18987 16010 37 | 22.424 % | 1460.01/1460.41 c | 87376 | 2650 5368 30642 | 20886 14481 28 | 22.424 % | 1470.00/1470.42 c | 131165 | 2650 5368 30642 | 22974 14328 18 | 22.424 % | 1492.10/1492.51 c | 196849 | 2650 5368 30642 | 25272 16639 26 | 22.424 % | 1524.99/1525.47 c | 295377 | 2650 5368 30642 | 27799 11675 30 | 22.424 % | 1584.07/1584.53 c | 443167 | 2650 5368 30642 | 30579 18456 27 | 22.424 % | 1717.24/1717.72 c | 664853 | 2650 5368 30642 | 33637 17195 31 | 22.424 % |
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-2702798-1278580230/watcher-2702798-1278580230 -o /tmp/evaluation-result-2702798-1278580230/solver-2702798-1278580230 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702798-1278580230.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 1.17 1.20 3/105 1103 /proc/meminfo: memFree=1940448/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=2420 CPUtime=0 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 199 0 0 0 0 0 0 0 25 0 1 0 26231177 2478080 118 1992294400 134512640 135751879 4290071360 18446744073709551615 135268782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 609 124 106 303 0 304 0 [startup+0.0933989 s] /proc/loadavg: 1.00 1.17 1.20 3/105 1103 /proc/meminfo: memFree=1940448/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=4480 CPUtime=0.08 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 815 0 0 0 8 0 0 0 25 0 1 0 26231177 4587520 658 1992294400 134512640 135751879 4290071360 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 1120 658 146 303 0 815 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4480 [startup+0.100399 s] /proc/loadavg: 1.00 1.17 1.20 3/105 1103 /proc/meminfo: memFree=1940448/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=4480 CPUtime=0.09 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 815 0 0 0 9 0 0 0 25 0 1 0 26231177 4587520 658 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 1120 658 146 303 0 815 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4480 [startup+0.300421 s] /proc/loadavg: 1.00 1.17 1.20 3/105 1103 /proc/meminfo: memFree=1940448/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=4480 CPUtime=0.29 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 820 0 0 0 29 0 0 0 25 0 1 0 26231177 4587520 663 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 1120 663 147 303 0 815 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4480 [startup+0.700462 s] /proc/loadavg: 1.00 1.17 1.20 3/105 1103 /proc/meminfo: memFree=1940448/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=4876 CPUtime=0.68 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 928 0 0 0 68 0 0 0 25 0 1 0 26231177 4993024 771 1992294400 134512640 135751879 4290071360 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 1219 771 147 303 0 914 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 4876 [startup+1.50055 s] /proc/loadavg: 1.00 1.16 1.20 2/106 1104 /proc/meminfo: memFree=1937588/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=6060 CPUtime=1.49 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 1217 0 0 0 148 1 0 0 25 0 1 0 26231177 6205440 1060 1992294400 134512640 135751879 4290071360 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 1515 1060 147 303 0 1210 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6060 [startup+3.10071 s] /proc/loadavg: 1.00 1.16 1.20 2/106 1104 /proc/meminfo: memFree=1935728/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=8160 CPUtime=3.09 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 1751 0 0 0 307 2 0 0 25 0 1 0 26231177 8355840 1594 1992294400 134512640 135751879 4290071360 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 2040 1594 147 303 0 1735 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8160 [startup+6.30105 s] /proc/loadavg: 1.00 1.16 1.19 2/106 1104 /proc/meminfo: memFree=1932628/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=10416 CPUtime=6.29 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 2327 0 0 0 625 4 0 0 25 0 1 0 26231177 10665984 2170 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 2604 2170 147 303 0 2299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10416 [startup+12.7007 s] /proc/loadavg: 1.00 1.16 1.19 2/106 1105 /proc/meminfo: memFree=1926676/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=16516 CPUtime=12.68 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 3826 0 0 0 1260 8 0 0 25 0 1 0 26231177 16912384 3669 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 4129 3669 148 303 0 3824 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16516 [startup+25.5011 s] /proc/loadavg: 1.00 1.15 1.19 2/106 1106 /proc/meminfo: memFree=1911548/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=31336 CPUtime=25.48 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 7546 0 0 0 2527 21 0 0 25 0 1 0 26231177 32088064 7389 1992294400 134512640 135751879 4290071360 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 7834 7389 148 303 0 7529 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31336 [startup+51.1008 s] /proc/loadavg: 1.00 1.14 1.18 2/106 1106 /proc/meminfo: memFree=1891212/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=52516 CPUtime=51.07 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 12818 0 0 0 5066 41 0 0 25 0 1 0 26231177 53776384 12661 1992294400 134512640 135751879 4290071360 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 13129 12661 148 303 0 12824 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52516 [startup+102.308 s] /proc/loadavg: 1.00 1.11 1.17 2/106 1108 /proc/meminfo: memFree=1859096/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=83464 CPUtime=102.26 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 20572 0 0 0 10154 72 0 0 25 0 1 0 26231177 85467136 20415 1992294400 134512640 135751879 4290071360 18446744073709551615 134616708 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 20866 20415 148 303 0 20561 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 83464 [startup+162.3 s] /proc/loadavg: 1.00 1.09 1.16 2/106 1109 /proc/meminfo: memFree=1809248/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=133892 CPUtime=162.24 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 33182 0 0 0 16109 115 0 0 25 0 1 0 26231177 137105408 33025 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 33473 33025 148 303 0 33168 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 133892 [startup+222.301 s] /proc/loadavg: 1.00 1.07 1.15 2/106 1110 /proc/meminfo: memFree=1787424/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=154728 CPUtime=222.22 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 38413 0 0 0 22059 163 0 0 25 0 1 0 26231177 158441472 38256 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 38682 38256 151 303 0 38377 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 154728 [startup+282.3 s] /proc/loadavg: 1.00 1.06 1.14 2/106 1112 /proc/meminfo: memFree=1765104/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=177376 CPUtime=282.21 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 44048 0 0 0 28007 214 0 0 25 0 1 0 26231177 181633024 43891 1992294400 134512640 135751879 4290071360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 44344 43891 151 303 0 44039 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 177376 [startup+342.3 s] /proc/loadavg: 1.00 1.04 1.12 2/106 1114 /proc/meminfo: memFree=1744024/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=198268 CPUtime=342.19 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 49239 0 0 0 33965 254 0 0 25 0 1 0 26231177 203026432 49082 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 49567 49082 151 303 0 49262 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 198268 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.11 2/106 1116 /proc/meminfo: memFree=1722324/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=220184 CPUtime=402.18 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 54734 0 0 0 39929 289 0 0 25 0 1 0 26231177 225468416 54577 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 55046 54577 151 303 0 54741 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 220184 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.10 2/106 1117 /proc/meminfo: memFree=1701988/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=240068 CPUtime=462.16 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 59686 0 0 0 45893 323 0 0 25 0 1 0 26231177 245829632 59529 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 60017 59529 151 303 0 59712 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 240068 [startup+522.3 s] /proc/loadavg: 1.00 1.02 1.09 2/106 1118 /proc/meminfo: memFree=1682768/2059040 swapFree=4135972/4192956 [pid=1103] ppid=1101 vsize=259412 CPUtime=522.15 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 64524 0 0 0 51857 358 0 0 25 0 1 0 26231177 265637888 64367 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 64853 64367 151 303 0 64548 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 259412 [startup+582.301 s] /proc/loadavg: 1.12 1.04 1.09 2/106 1123 /proc/meminfo: memFree=1605472/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=279672 CPUtime=582.13 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 69677 0 0 0 57812 401 0 0 25 0 1 0 26231177 286384128 69486 1992294400 134512640 135751879 4290071360 18446744073709551615 134610847 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 69918 69486 151 303 0 69613 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 279672 [startup+642.301 s] /proc/loadavg: 1.04 1.03 1.09 2/106 1125 /proc/meminfo: memFree=1580796/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=304132 CPUtime=642.12 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 75774 0 0 0 63758 454 0 0 25 0 1 0 26231177 311431168 75583 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 76033 75583 151 303 0 75728 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 304132 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.01 1.06 2/106 1131 /proc/meminfo: memFree=1511852/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=372912 CPUtime=882.05 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 92974 0 0 0 87611 594 0 0 25 0 1 0 26231177 381861888 92783 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 93228 92783 151 303 0 92923 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 372912 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.06 2/106 1133 /proc/meminfo: memFree=1489780/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=395276 CPUtime=942.04 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 98533 0 0 0 93575 629 0 0 25 0 1 0 26231177 404762624 98342 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 98819 98342 151 303 0 98514 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 395276 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.05 2/106 1135 /proc/meminfo: memFree=1471924/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=412908 CPUtime=1002.02 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 102946 0 0 0 99541 661 0 0 25 0 1 0 26231177 422817792 102755 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 103227 102755 151 303 0 102922 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 412908 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.04 2/106 1136 /proc/meminfo: memFree=1460144/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=424740 CPUtime=1062.01 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 105912 0 0 0 105513 688 0 0 25 0 1 0 26231177 434933760 105721 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 106185 105721 151 303 0 105880 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 424740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.04 2/106 1137 /proc/meminfo: memFree=1445884/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=438996 CPUtime=1121.99 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 109460 0 0 0 111480 719 0 0 25 0 1 0 26231177 449531904 109269 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 109749 109269 151 303 0 109444 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 438996 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.03 2/106 1139 /proc/meminfo: memFree=1431748/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=453268 CPUtime=1181.98 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 113018 0 0 0 117450 748 0 0 25 0 1 0 26231177 464146432 112827 1992294400 134512640 135751879 4290071360 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 113317 112827 151 303 0 113012 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 453268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.03 2/106 1141 /proc/meminfo: memFree=1415132/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=469672 CPUtime=1241.96 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 117128 0 0 0 123420 776 0 0 25 0 1 0 26231177 480944128 116937 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 117418 116937 151 303 0 117113 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 469672 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 1143 /proc/meminfo: memFree=1394920/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=489792 CPUtime=1301.94 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 122132 0 0 0 129385 809 0 0 25 0 1 0 26231177 501547008 121941 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 122448 121941 151 303 0 122143 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 489792 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.02 2/106 1144 /proc/meminfo: memFree=1376196/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=508752 CPUtime=1361.93 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 126877 0 0 0 135347 846 0 0 25 0 1 0 26231177 520962048 126686 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 127188 126686 151 303 0 126883 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 508752 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.01 2/106 1145 /proc/meminfo: memFree=1356480/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=528192 CPUtime=1421.92 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 131733 0 0 0 141314 878 0 0 25 0 1 0 26231177 540868608 131542 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 132048 131542 151 303 0 131743 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 528192 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1147 /proc/meminfo: memFree=1324364/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=560004 CPUtime=1481.9 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 139725 0 0 0 147264 926 0 0 25 0 1 0 26231177 573444096 139534 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 140001 139534 151 303 0 139696 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 560004 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1149 /proc/meminfo: memFree=1322380/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=561860 CPUtime=1541.88 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 140232 0 0 0 153219 969 0 0 25 0 1 0 26231177 575344640 140041 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 140465 140041 151 303 0 140160 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 561860 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1151 /proc/meminfo: memFree=1299936/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=584724 CPUtime=1601.87 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 145922 0 0 0 159177 1010 0 0 25 0 1 0 26231177 598757376 145731 1992294400 134512640 135751879 4290071360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 146181 145731 151 303 0 145876 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 584724 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1152 /proc/meminfo: memFree=1285428/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=598972 CPUtime=1661.85 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 149436 0 0 0 165144 1041 0 0 25 0 1 0 26231177 613347328 149245 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 149743 149245 151 303 0 149438 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 598972 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1153 /proc/meminfo: memFree=1272656/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=611780 CPUtime=1721.84 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 152645 0 0 0 171112 1072 0 0 25 0 1 0 26231177 626462720 152454 1992294400 134512640 135751879 4290071360 18446744073709551615 134602448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 152945 152454 151 303 0 152640 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 611780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1155 /proc/meminfo: memFree=1248600/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=635600 CPUtime=1781.82 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 158590 0 0 0 177067 1115 0 0 25 0 1 0 26231177 650854400 158399 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 158900 158399 151 303 0 158595 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 635600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1155 /proc/meminfo: memFree=1241656/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=642508 CPUtime=1800.02 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 160291 0 0 0 178873 1129 0 0 25 0 1 0 26231177 657928192 160100 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 160627 160100 151 303 0 160322 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 642508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 1155 /proc/meminfo: memFree=1241656/2059040 swapFree=4136152/4192956 [pid=1103] ppid=1101 vsize=642508 CPUtime=1800.02 /proc/1103/stat : 1103 (wbo1.4b) R 1101 1103 304 0 -1 4202496 160291 0 0 0 178873 1129 0 0 25 0 1 0 26231177 657928192 160100 1992294400 134512640 135751879 4290071360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1103/statm: 160627 160100 151 303 0 160322 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 642508 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.57 CPU time (s): 1800.09 CPU user time (s): 1788.74 CPU system time (s): 11.3513 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 642508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.74 system time used= 11.3513 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160291 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= 16374 runsolver used 2.75558 second user time and 8.72767 second system time The end
Begin job on node082 at 2010-07-08 11:10:30 IDJOB=2702798 IDBENCH=72483 IDSOLVER=1161 FILE ID=node082/2702798-1278580230 PBS_JOBID= 11240066 Free space on /tmp= 62400 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_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-2702798-1278580230/watcher-2702798-1278580230 -o /tmp/evaluation-result-2702798-1278580230/solver-2702798-1278580230 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702798-1278580230.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b561a61efc46169e6f19abce33721598 RANDOM SEED=2074526157 node082.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.260 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.52 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.260 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1943820 kB Buffers: 2404 kB Cached: 41440 kB SwapCached: 5832 kB Active: 32384 kB Inactive: 20812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1943820 kB SwapTotal: 4192956 kB SwapFree: 4135972 kB Dirty: 2700 kB Writeback: 0 kB AnonPages: 8884 kB Mapped: 6940 kB Slab: 40252 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180976 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-2702798-1278580230.opb Free space on /tmp at the end= 62396 MiB End job on node082 at 2010-07-08 11:40:33