Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.16 | 1800.09 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo |
MD5SUM | 9b675eaf583b613075d5327645ad3a71 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 930.493 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1863 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 94064 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 94063 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690011-1277902788.wbo. 0.00/0.00 c Instance file HOME/instance-2690011-1277902788.wbo 0.00/0.00 c File size is 92625 bytes. 0.00/0.00 c Highest Coefficient sum: 723 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 231 2707 8338 | 5500 102 22 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 22 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 23 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 27 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 29 | 0.002 % | 0.04/0.06 c | 2082 | 231 2707 8338 | 8857 2082 30 | 0.002 % | 0.09/0.11 c | 3225 | 231 2707 8338 | 9743 3225 32 | 0.002 % | 0.09/0.19 c | 4934 | 231 2707 8338 | 10717 4934 35 | 0.002 % | 0.29/0.32 c | 7499 | 231 2707 8338 | 11789 7499 36 | 0.002 % | 0.49/0.57 c | 11343 | 231 2707 8338 | 12968 11343 35 | 0.002 % | 0.88/0.96 c | 17110 | 231 2707 8338 | 14265 10568 35 | 0.002 % | 1.48/1.55 c | 25761 | 231 2707 8338 | 15692 12041 36 | 0.002 % | 2.48/2.59 c | 38736 | 231 2707 8338 | 17261 9234 35 | 0.002 % | 3.99/4.06 c | 58197 | 231 2707 8338 | 18987 11348 38 | 0.002 % | 6.39/6.48 c | 87392 | 231 2707 8338 | 20886 11924 37 | 0.002 % | 10.79/10.81 c | 131181 | 231 2707 8338 | 22974 13736 43 | 0.002 % | 17.39/17.49 c | 196865 | 231 2707 8338 | 25272 21695 37 | 0.002 % | 27.49/27.51 c | 295393 | 231 2707 8338 | 27799 12973 35 | 0.002 % | 43.79/43.86 c | 443183 | 231 2707 8338 | 30579 18786 40 | 0.002 % | 71.69/71.73 c | 664866 | 231 2707 8338 | 33637 24887 39 | 0.002 % | 112.39/112.48 c | 997391 | 231 2707 8338 | 37001 18833 37 | 0.002 % | 178.09/178.17 c | 1496181 | 230 2707 8338 | 40701 20079 44 | 0.435 % | 201.50/201.56 c =============================================================================== 214.40/214.42 c core #1 214.40/214.42 c ============================[ Search Statistics ]============================== 214.40/214.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.40/214.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.40/214.42 c =============================================================================== 214.40/214.42 c | 0 | 1174 4482 16686 | 5000 0 nan | 0.000 % | 214.70/214.76 c | 101 | 1174 4482 16686 | 5500 101 23 | 0.000 % | 214.70/214.79 c | 252 | 1174 4482 16686 | 6050 252 26 | 0.000 % | 214.70/214.79 c | 480 | 1174 4482 16686 | 6655 480 28 | 0.000 % | 214.80/214.81 c | 818 | 1174 4482 16686 | 7320 818 29 | 0.000 % | 214.80/214.83 c | 1324 | 1174 4482 16686 | 8052 1324 28 | 0.000 % | 214.89/214.90 c | 2083 | 1174 4482 16686 | 8857 2083 28 | 0.000 % | 214.89/214.95 c | 3222 | 1174 4482 16686 | 9743 3222 28 | 0.000 % | 214.99/215.04 c | 4931 | 1174 4482 16686 | 10717 4931 29 | 0.000 % | 215.10/215.18 c | 7493 | 1174 4482 16686 | 11789 7493 30 | 0.000 % | 215.40/215.43 c | 11337 | 1174 4482 16686 | 12968 11337 31 | 0.000 % | 215.80/215.82 c | 17105 | 1174 4482 16686 | 14265 10572 33 | 0.000 % | 216.39/216.46 c | 25755 | 1174 4482 16686 | 15692 12038 32 | 0.000 % | 217.59/217.63 c | 38729 | 1174 4482 16686 | 17261 9205 38 | 0.000 % | 219.50/219.51 c | 58192 | 1174 4482 16686 | 18987 11313 36 | 0.000 % | 222.30/222.37 c | 87384 | 1174 4482 16686 | 20886 11877 35 | 0.000 % | 227.10/227.19 c | 131173 | 1174 4482 16686 | 22974 13690 36 | 0.000 % | 234.30/234.31 c | 196859 | 1174 4482 16686 | 25272 21382 36 | 0.000 % | 246.90/246.99 c | 295387 | 1174 4482 16686 | 27799 12560 36 | 0.000 % | 265.00/265.03 c | 443178 | 1174 4482 16686 | 30579 17142 37 | 0.000 % | 293.09/293.16 c | 664863 | 1174 4482 16686 | 33637 19551 38 | 0.000 % | 334.60/334.60 c | 997388 | 1174 4482 16686 | 37001 32159 36 | 0.000 % | 385.71/385.75 c =============================================================================== 397.01/397.06 c core #2 397.01/397.06 c ============================[ Search Statistics ]============================== 397.01/397.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 397.01/397.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 397.01/397.06 c =============================================================================== 397.01/397.06 c | 0 | 2113 6224 24906 | 5000 0 nan | 0.000 % | 397.11/397.14 c | 100 | 2113 6224 24906 | 5500 100 31 | 0.000 % | 397.11/397.15 c | 250 | 2113 6224 24906 | 6050 250 35 | 0.000 % | 397.11/397.18 c | 477 | 2113 6224 24906 | 6655 477 30 | 0.000 % | 397.20/397.20 c | 815 | 2113 6224 24906 | 7320 815 29 | 0.000 % | 397.20/397.23 c | 1321 | 2113 6224 24906 | 8052 1321 30 | 0.000 % | 397.20/397.28 c | 2082 | 2113 6224 24906 | 8857 2082 30 | 0.000 % | 397.30/397.35 c | 3222 | 2113 6224 24906 | 9743 3222 29 | 0.000 % | 397.40/397.43 c | 4932 | 2113 6224 24906 | 10717 4932 30 | 0.000 % | 397.50/397.58 c | 7496 | 2113 6224 24906 | 11789 7496 30 | 0.000 % | 397.81/397.85 c | 11341 | 2113 6224 24906 | 12968 11341 31 | 0.000 % | 398.30/398.33 c | 17112 | 2113 6224 24906 | 14265 10572 33 | 0.000 % | 399.10/399.12 c | 25762 | 2113 6224 24906 | 15692 12048 36 | 0.000 % | 400.41/400.49 c | 38738 | 2113 6224 24906 | 17261 9253 38 | 0.000 % | 402.31/402.33 c | 58199 | 2113 6224 24906 | 18987 11362 36 | 0.000 % | 405.20/405.21 c | 87392 | 2113 6224 24906 | 20886 11912 35 | 0.000 % | 410.41/410.42 c | 131181 | 2113 6224 24906 | 22974 13701 38 | 0.000 % | 418.80/418.88 c | 196865 | 2113 6224 24906 | 25272 21668 38 | 0.000 % | 432.31/432.39 c | 295391 | 2113 6224 24906 | 27799 15519 36 | 0.000 % | 451.91/451.98 c | 443181 | 2113 6224 24906 | 30579 23237 38 | 0.000 % | 479.21/479.30 c | 664867 | 2113 6224 24906 | 33637 23873 37 | 0.000 % | 525.01/525.04 c | 997392 | 2112 6224 24906 | 37001 15213 35 | 0.047 % | 526.81/526.82 c =============================================================================== 534.81/534.85 c core #3 534.81/534.85 c ============================[ Search Statistics ]============================== 534.81/534.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 534.81/534.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 534.81/534.85 c =============================================================================== 534.81/534.85 c | 0 | 3064 7942 33065 | 5000 0 nan | 0.000 % | 534.91/534.93 c | 100 | 3064 7942 33065 | 5500 100 23 | 0.000 % | 534.91/534.95 c | 252 | 3064 7942 33065 | 6050 252 27 | 0.000 % | 534.91/534.97 c | 479 | 3064 7942 33065 | 6655 479 29 | 0.000 % | 534.91/534.98 c | 816 | 3064 7942 33065 | 7320 816 29 | 0.000 % | 535.01/535.01 c | 1322 | 3064 7942 33065 | 8052 1322 28 | 0.000 % | 535.01/535.06 c | 2082 | 3064 7942 33065 | 8857 2082 27 | 0.000 % | 535.11/535.12 c | 3221 | 3064 7942 33065 | 9743 3221 28 | 0.000 % | 535.21/535.22 c | 4930 | 3064 7942 33065 | 10717 4930 29 | 0.000 % | 535.30/535.36 c | 7492 | 3064 7942 33065 | 11789 7492 30 | 0.000 % | 535.61/535.68 c | 11336 | 3064 7942 33065 | 12968 11336 32 | 0.000 % | 536.11/536.16 c | 17104 | 3064 7942 33065 | 14265 10581 34 | 0.000 % | 536.91/536.91 c | 25754 | 3064 7942 33065 | 15692 12039 39 | 0.000 % | 538.21/538.20 c | 38729 | 3064 7942 33065 | 17261 9214 39 | 0.000 % | 540.01/540.07 c | 58190 | 3064 7942 33065 | 18987 11315 37 | 0.000 % | 543.80/543.85 c | 87384 | 3064 7942 33065 | 20886 11878 39 | 0.000 % | 549.00/549.05 c | 131173 | 3064 7942 33065 | 22974 13711 39 | 0.000 % | 557.01/557.02 c | 196857 | 3064 7942 33065 | 25272 21682 37 | 0.000 % | 570.11/570.19 c | 295384 | 3064 7942 33065 | 27799 13830 36 | 0.000 % | 589.11/589.15 c | 443173 | 3064 7942 33065 | 30579 23548 39 | 0.000 % | 617.91/617.91 c | 664859 | 3064 7942 33065 | 33637 27574 37 | 0.000 % | 656.02/656.09 c =============================================================================== 663.51/663.52 c core #4 663.51/663.52 c ============================[ Search Statistics ]============================== 663.51/663.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 663.51/663.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 663.51/663.52 c =============================================================================== 663.51/663.52 c | 0 | 4026 9652 41230 | 5000 0 nan | 0.000 % | 663.61/663.62 c | 101 | 4026 9652 41230 | 5500 101 33 | 0.000 % | 663.61/663.63 c | 252 | 4026 9652 41230 | 6050 252 33 | 0.000 % | 663.61/663.64 c | 478 | 4026 9652 41230 | 6655 478 28 | 0.000 % | 663.61/663.66 c | 815 | 4026 9652 41230 | 7320 815 27 | 0.000 % | 663.61/663.69 c | 1322 | 4026 9652 41230 | 8052 1322 28 | 0.000 % | 663.71/663.74 c | 2081 | 4026 9652 41230 | 8857 2081 28 | 0.000 % | 663.81/663.81 c | 3220 | 4026 9652 41230 | 9743 3220 30 | 0.000 % | 663.92/663.92 c | 4930 | 4026 9652 41230 | 10717 4930 31 | 0.000 % | 664.02/664.08 c | 7493 | 4026 9652 41230 | 11789 7493 32 | 0.000 % | 664.31/664.40 c | 11337 | 4026 9652 41230 | 12968 11337 32 | 0.000 % | 664.91/664.97 c | 17103 | 4026 9652 41230 | 14265 10578 35 | 0.000 % | 665.72/665.74 c | 25754 | 4026 9652 41230 | 15692 12067 36 | 0.000 % | 667.12/667.19 c | 38729 | 4026 9652 41230 | 17261 9239 39 | 0.000 % | 669.11/669.19 c | 58190 | 4026 9652 41230 | 18987 11327 35 | 0.000 % | 672.22/672.23 c | 87382 | 4026 9652 41230 | 20886 11883 35 | 0.000 % | 677.62/677.62 c | 131171 | 4026 9652 41230 | 22974 13678 39 | 0.000 % | 686.92/686.92 c | 196856 | 4026 9652 41230 | 25272 21640 43 | 0.000 % | 699.02/699.01 c | 295382 | 4026 9652 41230 | 27799 15674 36 | 0.000 % | 715.92/715.99 c | 443171 | 4026 9652 41230 | 30579 22047 36 | 0.000 % | 745.11/745.14 c | 664861 | 4026 9652 41230 | 33637 25745 36 | 0.000 % | 785.72/785.78 c | 997386 | 4026 9652 41230 | 37001 19329 37 | 0.000 % | 806.52/806.50 c =============================================================================== 815.12/815.19 c core #5 815.12/815.19 c ============================[ Search Statistics ]============================== 815.12/815.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 815.12/815.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 815.12/815.19 c =============================================================================== 815.12/815.19 c | 0 | 5019 11347 49402 | 5000 0 nan | 0.000 % | 815.32/815.30 c | 101 | 5019 11347 49402 | 5500 101 27 | 0.000 % | 815.32/815.31 c | 252 | 5019 11347 49402 | 6050 252 30 | 0.000 % | 815.32/815.32 c | 478 | 5019 11347 49402 | 6655 478 27 | 0.000 % | 815.32/815.35 c | 816 | 5019 11347 49402 | 7320 816 27 | 0.000 % | 815.32/815.38 c | 1323 | 5019 11347 49402 | 8052 1323 28 | 0.000 % | 815.42/815.44 c | 2082 | 5019 11347 49402 | 8857 2082 27 | 0.000 % | 815.52/815.51 c | 3223 | 5019 11347 49402 | 9743 3223 27 | 0.000 % | 815.62/815.62 c | 4932 | 5019 11347 49402 | 10717 4932 28 | 0.000 % | 815.82/815.80 c | 7494 | 5019 11347 49402 | 11789 7494 29 | 0.000 % | 816.13/816.12 c | 11338 | 5019 11347 49402 | 12968 11338 30 | 0.000 % | 816.62/816.61 c | 17107 | 5019 11347 49402 | 14265 10587 33 | 0.000 % | 817.42/817.45 c | 25756 | 5019 11347 49402 | 15692 12043 34 | 0.000 % | 818.72/818.78 c | 38733 | 5019 11347 49402 | 17261 9198 33 | 0.000 % | 820.92/820.96 c | 58194 | 5019 11347 49402 | 18987 11273 37 | 0.000 % | 824.32/824.34 c | 87387 | 5019 11347 49402 | 20886 11792 36 | 0.000 % | 830.72/830.74 c | 131176 | 5019 11347 49402 | 22974 13565 43 | 0.000 % | 838.62/838.65 c | 196862 | 5019 11347 49402 | 25272 21266 39 | 0.000 % | 851.92/851.94 c | 295392 | 5019 11347 49402 | 27799 24704 45 | 0.000 % | 872.52/872.50 c | 443181 | 5019 11347 49402 | 30579 13902 44 | 0.000 % | 903.62/903.69 c | 664865 | 5019 11347 49402 | 33637 13481 39 | 0.000 % | 949.33/949.39 c | 997391 | 5019 11347 49402 | 37001 24268 38 | 0.000 % | 1025.33/1025.32 c | 1496182 | 5019 11347 49402 | 40701 35454 45 | 0.000 % | 1127.53/1127.57 c =============================================================================== 1144.03/1144.02 c core #6 1144.03/1144.02 c ============================[ Search Statistics ]============================== 1144.03/1144.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1144.03/1144.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1144.03/1144.02 c =============================================================================== 1144.03/1144.02 c | 0 | 6067 13035 57721 | 5000 0 nan | 0.000 % | 1144.13/1144.19 c | 100 | 6067 13035 57721 | 5500 100 29 | 0.000 % | 1144.23/1144.20 c | 252 | 6067 13035 57721 | 6050 252 30 | 0.000 % | 1144.23/1144.21 c | 477 | 6067 13035 57721 | 6655 477 30 | 0.000 % | 1144.23/1144.23 c | 814 | 6067 13035 57721 | 7320 814 30 | 0.000 % | 1144.23/1144.27 c | 1320 | 6067 13035 57721 | 8052 1320 29 | 0.000 % | 1144.33/1144.32 c | 2079 | 6067 13035 57721 | 8857 2079 28 | 0.000 % | 1144.43/1144.42 c | 3219 | 6067 13035 57721 | 9743 3219 28 | 0.000 % | 1144.53/1144.56 c | 4928 | 6067 13035 57721 | 10717 4928 29 | 0.000 % | 1144.74/1144.75 c | 7492 | 6067 13035 57721 | 11789 7492 32 | 0.000 % | 1145.13/1145.10 c | 11336 | 6067 13035 57721 | 12968 11336 33 | 0.000 % | 1145.64/1145.66 c | 17104 | 6067 13035 57721 | 14265 10550 37 | 0.000 % | 1146.53/1146.57 c | 25754 | 6067 13035 57721 | 15692 12002 38 | 0.000 % | 1147.83/1147.89 c | 38730 | 6067 13035 57721 | 17261 9193 33 | 0.000 % | 1150.14/1150.17 c | 58191 | 6067 13035 57721 | 18987 11304 39 | 0.000 % | 1154.03/1154.02 c | 87384 | 6067 13035 57721 | 20886 11830 45 | 0.000 % | 1159.63/1159.66 c | 131173 | 6067 13035 57721 | 22974 13591 38 | 0.000 % | 1168.73/1168.70 c | 196857 | 6067 13035 57721 | 25272 21368 46 | 0.000 % | 1181.73/1181.79 c | 295385 | 6067 13035 57721 | 27799 12931 39 | 0.000 % | 1201.94/1201.99 c | 443175 | 6067 13035 57721 | 30579 18715 39 | 0.000 % | 1235.04/1235.03 c | 664860 | 6067 13035 57721 | 33637 23453 43 | 0.000 % | 1283.14/1283.10 c | 997387 | 6067 13035 57721 | 37001 17069 40 | 0.000 % | 1350.84/1350.88 c | 1496176 | 6067 13035 57721 | 40701 24814 41 | 0.000 % | 1450.64/1450.61 c =============================================================================== 1468.04/1468.02 c core #7 1468.04/1468.02 c ============================[ Search Statistics ]============================== 1468.04/1468.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1468.04/1468.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1468.04/1468.02 c =============================================================================== 1468.04/1468.02 c | 0 | 7176 14707 66147 | 5000 0 nan | 0.000 % | 1468.25/1468.21 c | 100 | 7176 14707 66147 | 5500 100 25 | 0.000 % | 1468.25/1468.22 c | 250 | 7176 14707 66147 | 6050 250 29 | 0.000 % | 1468.25/1468.24 c | 475 | 7176 14707 66147 | 6655 475 28 | 0.000 % | 1468.25/1468.27 c | 813 | 7176 14707 66147 | 7320 813 30 | 0.000 % | 1468.34/1468.31 c | 1321 | 7176 14707 66147 | 8052 1321 31 | 0.000 % | 1468.34/1468.38 c | 2080 | 7176 14707 66147 | 8857 2080 30 | 0.000 % | 1468.55/1468.52 c | 3220 | 7176 14707 66147 | 9743 3220 30 | 0.000 % | 1468.65/1468.67 c | 4929 | 7176 14707 66147 | 10717 4929 28 | 0.000 % | 1468.84/1468.89 c | 7495 | 7176 14707 66147 | 11789 7495 30 | 0.000 % | 1469.24/1469.20 c | 11341 | 7176 14707 66147 | 12968 11341 30 | 0.000 % | 1469.74/1469.73 c | 17107 | 7176 14707 66147 | 14265 10570 33 | 0.000 % | 1470.75/1470.73 c | 25756 | 7176 14707 66147 | 15692 12034 36 | 0.000 % | 1472.24/1472.27 c | 38732 | 7176 14707 66147 | 17261 9198 37 | 0.000 % | 1474.34/1474.35 c | 58193 | 7176 14707 66147 | 18987 11296 39 | 0.000 % | 1478.25/1478.22 c | 87385 | 7176 14707 66147 | 20886 11835 42 | 0.000 % | 1484.34/1484.38 c | 131177 | 7176 14707 66147 | 22974 13608 39 | 0.000 % | 1493.34/1493.34 c | 196865 | 7176 14707 66147 | 25272 21397 40 | 0.000 % | 1507.06/1507.09 c | 295392 | 7176 14707 66147 | 27799 24316 43 | 0.000 % | 1530.15/1530.17 c | 443181 | 7176 14707 66147 | 30579 16345 39 | 0.000 % | 1560.35/1560.34 c | 664866 | 7176 14707 66147 | 33637 15849 39 | 0.000 % | 1608.05/1608.00 c | 997391 | 7176 14707 66147 | 37001 28685 39 | 0.000 % | 1688.46/1688.49 c | 1496181 | 7176 14707 66147 | 40701 15952 42 | 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-2690011-1277902788/watcher-2690011-1277902788 -o /tmp/evaluation-result-2690011-1277902788/solver-2690011-1277902788 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690011-1277902788.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.80 2.59 2.28 4/199 11789 /proc/meminfo: memFree=31597316/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2808 CPUtime=0 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 310 0 0 0 0 0 0 0 24 0 1 0 131424477 2875392 229 4089446400 134512640 135751879 4291875472 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11789/statm: 702 229 147 303 0 374 0 [startup+0.048333 s] /proc/loadavg: 2.80 2.59 2.28 4/199 11789 /proc/meminfo: memFree=31597316/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=3112 CPUtime=0.04 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 451 0 0 0 4 0 0 0 24 0 1 0 131424477 3186688 347 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11789/statm: 778 347 143 303 0 473 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3112 [startup+0.100382 s] /proc/loadavg: 2.80 2.59 2.28 4/199 11789 /proc/meminfo: memFree=31597316/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=3640 CPUtime=0.09 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 563 0 0 0 9 0 0 0 24 0 1 0 131424477 3727360 459 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11789/statm: 910 459 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300319 s] /proc/loadavg: 2.80 2.59 2.28 4/199 11789 /proc/meminfo: memFree=31597316/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=4960 CPUtime=0.29 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 910 0 0 0 28 1 0 0 25 0 1 0 131424477 5079040 806 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 1240 806 143 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.700228 s] /proc/loadavg: 2.80 2.59 2.28 4/199 11789 /proc/meminfo: memFree=31597316/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=6748 CPUtime=0.69 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 1361 0 0 0 67 2 0 0 25 0 1 0 131424477 6909952 1257 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 1687 1257 143 303 0 1382 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6748 [startup+1.50107 s] /proc/loadavg: 2.80 2.59 2.28 4/200 11790 /proc/meminfo: memFree=31591728/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=10444 CPUtime=1.48 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 2281 0 0 0 144 4 0 0 25 0 1 0 131424477 10694656 2177 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 2611 2177 143 303 0 2306 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10444 [startup+3.10075 s] /proc/loadavg: 2.80 2.59 2.28 3/200 11790 /proc/meminfo: memFree=31587320/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=16912 CPUtime=3.09 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 3898 0 0 0 301 8 0 0 25 0 1 0 131424477 17317888 3794 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 4228 3794 143 303 0 3923 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16912 [startup+6.30016 s] /proc/loadavg: 2.81 2.60 2.28 4/200 11790 /proc/meminfo: memFree=31574052/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=28860 CPUtime=6.29 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 6886 0 0 0 614 15 0 0 25 0 1 0 131424477 29552640 6782 4089446400 134512640 135751879 4291875472 18446744073709551615 134602998 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 7215 6782 143 303 0 6910 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28860 [startup+12.7009 s] /proc/loadavg: 2.75 2.58 2.28 4/200 11791 /proc/meminfo: memFree=31553168/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=49780 CPUtime=12.69 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 12102 0 0 0 1241 28 0 0 25 0 1 0 131424477 50974720 11998 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 12445 11998 143 303 0 12140 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49780 [startup+25.5005 s] /proc/loadavg: 2.80 2.60 2.29 4/200 11791 /proc/meminfo: memFree=31512020/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=89804 CPUtime=25.49 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 22120 0 0 0 2495 54 0 0 25 0 1 0 131424477 91959296 22016 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 22451 22016 143 303 0 22146 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89804 [startup+51.1006 s] /proc/loadavg: 2.88 2.64 2.31 4/200 11792 /proc/meminfo: memFree=31444596/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=159336 CPUtime=51.09 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 39499 0 0 0 5009 100 0 0 25 0 1 0 131424477 163160064 39395 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 39870 39399 143 303 0 39565 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 159336 [startup+102.306 s] /proc/loadavg: 2.88 2.67 2.34 4/200 11802 /proc/meminfo: memFree=31310172/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=288092 CPUtime=102.29 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 71646 0 0 0 10044 185 0 0 25 0 1 0 131424477 295006208 71542 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 72023 71542 143 303 0 71718 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 288092 [startup+162.3 s] /proc/loadavg: 2.90 2.72 2.37 4/200 11804 /proc/meminfo: memFree=31161676/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=434288 CPUtime=162.29 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 108197 0 0 0 15956 273 0 0 25 0 1 0 131424477 444710912 108093 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 108572 108093 143 303 0 108267 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 434288 [startup+222.301 s] /proc/loadavg: 2.89 2.74 2.40 4/200 11805 /proc/meminfo: memFree=31024192/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=566536 CPUtime=222.3 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 141278 0 0 0 21888 342 0 0 25 0 1 0 131424477 580132864 141134 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 141634 141134 146 303 0 141329 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 566536 [startup+282.3 s] /proc/loadavg: 2.96 2.78 2.43 4/200 11807 /proc/meminfo: memFree=31021536/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=566536 CPUtime=282.3 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 141331 0 0 0 27793 437 0 0 25 0 1 0 131424477 580132864 141187 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 141634 141187 146 303 0 141329 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 566536 [startup+342.301 s] /proc/loadavg: 2.85 2.77 2.45 4/200 11809 /proc/meminfo: memFree=30959088/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=625936 CPUtime=342.3 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 156168 0 0 0 33693 537 0 0 25 0 1 0 131424477 640958464 156024 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 156484 156024 146 303 0 156179 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 625936 [startup+402.3 s] /proc/loadavg: 2.81 2.77 2.47 4/200 11810 /proc/meminfo: memFree=30811344/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=769060 CPUtime=402.31 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 191957 0 0 0 39610 621 0 0 25 0 1 0 131424477 787517440 191813 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 192265 191813 146 303 0 191960 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 769060 [startup+462.301 s] /proc/loadavg: 2.77 2.76 2.48 4/200 11812 /proc/meminfo: memFree=30808664/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=769060 CPUtime=462.3 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 191983 0 0 0 45521 709 0 0 25 0 1 0 131424477 787517440 191839 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 192265 191839 146 303 0 191960 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 769060 [startup+522.3 s] /proc/loadavg: 2.67 2.73 2.48 3/200 11813 /proc/meminfo: memFree=30734336/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=841088 CPUtime=522.31 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 209974 0 0 0 51423 808 0 0 25 0 1 0 131424477 861274112 209830 4089446400 134512640 135751879 4291875472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 210272 209830 146 303 0 209967 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 841088 [startup+582.301 s] /proc/loadavg: 3.17 2.89 2.55 4/200 11815 /proc/meminfo: memFree=30690116/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=882296 CPUtime=582.31 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 220293 0 0 0 57341 890 0 0 25 0 1 0 131424477 903471104 220149 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 220574 220149 146 303 0 220269 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 882296 [startup+642.3 s] /proc/loadavg: 2.97 2.88 2.56 4/200 11817 /proc/meminfo: memFree=30589856/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=979288 CPUtime=642.32 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 244502 0 0 0 63248 984 0 0 25 0 1 0 131424477 1002790912 244358 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 244822 244358 146 303 0 244517 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 979288 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.05 2.48 2.46 3/197 11869 /proc/meminfo: memFree=30519524/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1279064 CPUtime=822.32 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 319449 0 0 0 80999 1233 0 0 25 0 1 0 131424477 1309761536 319305 4089446400 134512640 135751879 4291875472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 319766 319305 146 303 0 319461 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1279064 [startup+882.3 s] /proc/loadavg: 2.02 2.39 2.43 3/197 11871 /proc/meminfo: memFree=30501964/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1296240 CPUtime=882.32 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 323739 0 0 0 86923 1309 0 0 25 0 1 0 131424477 1327349760 323595 4089446400 134512640 135751879 4291875472 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 324060 323595 146 303 0 323755 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1296240 [startup+942.301 s] /proc/loadavg: 2.04 2.33 2.41 3/197 11873 /proc/meminfo: memFree=30400412/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1398632 CPUtime=942.33 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 349327 0 0 0 92847 1386 0 0 25 0 1 0 131424477 1432199168 349183 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 349658 349183 146 303 0 349353 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 1398632 [startup+1002.3 s] /proc/loadavg: 2.01 2.27 2.38 3/197 11874 /proc/meminfo: memFree=30272616/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1524756 CPUtime=1002.33 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 380877 0 0 0 98759 1474 0 0 25 0 1 0 131424477 1561350144 380733 4089446400 134512640 135751879 4291875472 18446744073709551615 134610859 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 381189 380733 146 303 0 380884 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1524756 [startup+1062.3 s] /proc/loadavg: 2.00 2.22 2.35 3/197 11876 /proc/meminfo: memFree=30150168/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1648624 CPUtime=1062.33 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 411828 0 0 0 104678 1555 0 0 25 0 1 0 131424477 1688190976 411684 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 412156 411684 146 303 0 411851 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1648624 [startup+1122.3 s] /proc/loadavg: 2.00 2.18 2.33 3/197 11877 /proc/meminfo: memFree=30023728/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1772816 CPUtime=1122.33 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 442847 0 0 0 110593 1640 0 0 25 0 1 0 131424477 1815363584 442703 4089446400 134512640 135751879 4291875472 18446744073709551615 134616712 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 443204 442703 146 303 0 442899 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1772816 [startup+1182.3 s] /proc/loadavg: 2.00 2.14 2.30 3/197 11879 /proc/meminfo: memFree=29949644/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1845544 CPUtime=1182.33 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 461027 0 0 0 116520 1713 0 0 25 0 1 0 131424477 1889837056 460883 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 461386 460883 146 303 0 461081 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1845544 [startup+1242.3 s] /proc/loadavg: 2.05 2.13 2.29 3/197 11881 /proc/meminfo: memFree=29948768/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1845544 CPUtime=1242.33 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 461074 0 0 0 122445 1788 0 0 25 0 1 0 131424477 1889837056 460930 4089446400 134512640 135751879 4291875472 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 461386 460930 146 303 0 461081 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1845544 [startup+1302.3 s] /proc/loadavg: 2.02 2.10 2.26 3/197 11882 /proc/meminfo: memFree=29887568/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=1905892 CPUtime=1302.35 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 476167 0 0 0 128371 1864 0 0 25 0 1 0 131424477 1951633408 476023 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 476473 476023 146 303 0 476168 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1905892 [startup+1362.3 s] /proc/loadavg: 2.00 2.08 2.25 3/197 11884 /proc/meminfo: memFree=29785304/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2009292 CPUtime=1362.34 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 502020 0 0 0 134289 1945 0 0 25 0 1 0 131424477 2057515008 501876 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 502323 501876 146 303 0 502018 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 2009292 [startup+1422.31 s] /proc/loadavg: 2.05 2.08 2.23 3/197 11885 /proc/meminfo: memFree=29652540/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2139916 CPUtime=1422.35 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 534642 0 0 0 140211 2024 0 0 25 0 1 0 131424477 2191273984 534498 4089446400 134512640 135751879 4291875472 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 534979 534498 146 303 0 534674 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 2139916 [startup+1482.3 s] /proc/loadavg: 2.02 2.06 2.22 3/197 11887 /proc/meminfo: memFree=29525120/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2267008 CPUtime=1482.35 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 566413 0 0 0 146154 2081 0 0 25 0 1 0 131424477 2321416192 566269 4089446400 134512640 135751879 4291875472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 566752 566269 146 303 0 566447 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 2267008 [startup+1542.3 s] /proc/loadavg: 2.00 2.05 2.20 3/197 11889 /proc/meminfo: memFree=29524672/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2267008 CPUtime=1542.34 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 566454 0 0 0 152083 2151 0 0 25 0 1 0 131424477 2321416192 566310 4089446400 134512640 135751879 4291875472 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 566752 566310 146 303 0 566447 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2267008 [startup+1602.3 s] /proc/loadavg: 2.05 2.05 2.19 3/197 11890 /proc/meminfo: memFree=29514708/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2277832 CPUtime=1602.35 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 569140 0 0 0 158009 2226 0 0 25 0 1 0 131424477 2332499968 568996 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 569458 568996 146 303 0 569153 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 2277832 [startup+1662.3 s] /proc/loadavg: 2.02 2.04 2.17 3/197 11892 /proc/meminfo: memFree=29443364/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2348848 CPUtime=1662.35 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 586881 0 0 0 163943 2292 0 0 25 0 1 0 131424477 2405220352 586737 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 587212 586737 146 303 0 586907 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 2348848 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.16 3/197 11893 /proc/meminfo: memFree=29334420/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2458984 CPUtime=1722.35 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 614379 0 0 0 169863 2372 0 0 25 0 1 0 131424477 2517999616 614235 4089446400 134512640 135751879 4291875472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 614746 614235 146 303 0 614441 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2458984 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.15 3/197 11895 /proc/meminfo: memFree=29205124/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2586036 CPUtime=1782.36 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 646158 0 0 0 175780 2456 0 0 25 0 1 0 131424477 2648100864 646014 4089446400 134512640 135751879 4291875472 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 646509 646014 146 303 0 646204 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2586036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.15 3/197 11895 /proc/meminfo: memFree=29167040/32950928 swapFree=67111528/67111528 [pid=11789] ppid=11787 vsize=2623416 CPUtime=1800.06 /proc/11789/stat : 11789 (wbo1.4a) R 11787 11789 10826 0 -1 4202496 655476 0 0 0 177526 2480 0 0 25 0 1 0 131424477 2686377984 655332 4089446400 134512640 135751879 4291875472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11789/statm: 655854 655332 146 303 0 655549 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2623416 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.09 CPU time (s): 1800.16 CPU user time (s): 1775.27 CPU system time (s): 24.8862 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2623416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.27 system time used= 24.8862 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 655477 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= 1435 runsolver used 2.58661 second user time and 5.66114 second system time The end
Begin job on node127 at 2010-06-30 14:59:48 IDJOB=2690011 IDBENCH=78905 IDSOLVER=1200 FILE ID=node127/2690011-1277902788 PBS_JOBID= 11197189 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690011-1277902788/watcher-2690011-1277902788 -o /tmp/evaluation-result-2690011-1277902788/solver-2690011-1277902788 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690011-1277902788.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b675eaf583b613075d5327645ad3a71 RANDOM SEED=1996819861 node127.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31598084 kB Buffers: 187432 kB Cached: 711072 kB SwapCached: 0 kB Active: 724624 kB Inactive: 487548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31598084 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 313680 kB Mapped: 20304 kB Slab: 76640 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1647192 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node127 at 2010-06-30 15:29:50