Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-07-02 | SAT (TO) | 26020 | 2400.14 | 2361.63 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko64_c18.xml |
| MD5SUM | 0f1e7a7a7866c79e3b2a53c7bc7dd539 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 25546 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4160 |
| Number of constraints | 2017 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 64 |
| Distribution of domain sizes | [{"size":8,"count":2016},{"size":64,"count":64}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 64 |
| Distribution of variable degrees | [{"degree":0,"count":2080},{"degree":2,"count":2016},{"degree":64,"count":64}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 64 |
| Distribution of constraint arities | [{"arity":3,"count":2016},{"arity":64,"count":1}] |
| Number of extensional constraints | 2016 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2016},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.68/0.55 c version: 2018-07-02 0.68/0.55 c seed: 1563650078 0.68/0.55 c timeout: 2400 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 4 0.68/0.57 c Parsing instance... 12.50/6.04 c Parsing done, starting first complete search... 13.81/6.60 o 30291 13.81/6.61 o 30258 13.81/6.62 o 30257 13.81/6.63 o 30231 13.81/6.63 o 30224 13.81/6.68 o 30220 14.12/6.72 o 30213 16.17/7.97 o 30211 16.41/8.11 o 30195 18.67/9.74 o 30193 19.57/10.67 o 30187 21.28/12.36 o 30182 21.48/12.51 o 30180 22.38/13.45 o 30170 22.48/13.53 o 30163 24.60/15.68 o 30158 24.60/15.69 o 30135 24.60/15.69 o 30134 24.71/15.72 o 30133 24.71/15.72 o 30131 24.71/15.74 o 30123 24.81/15.89 o 30122 32.00/20.46 o 30117 32.00/20.49 o 30115 32.71/21.15 o 30114 37.93/26.31 o 30111 37.93/26.34 o 30099 37.93/26.34 o 30096 63.82/52.16 c First complete search done, starting ALNS search... 64.28/52.58 o 30084 64.28/52.58 o 30030 64.28/52.58 o 29928 64.28/52.58 o 29914 64.28/52.59 o 29893 64.28/52.59 o 29855 64.28/52.59 o 29834 64.28/52.59 o 29796 64.40/52.60 o 29782 64.40/52.61 o 29770 64.40/52.64 o 29767 64.40/52.66 o 29759 64.40/52.69 o 29745 64.83/52.97 o 29666 64.83/52.98 o 29662 65.18/53.16 o 29654 65.18/53.19 o 29621 65.28/53.22 o 29603 65.28/53.25 o 29592 65.28/53.25 o 29558 65.38/53.36 o 29522 67.38/55.15 o 29490 72.43/60.08 o 29482 72.43/60.09 o 29466 72.43/60.09 o 29462 72.54/60.14 o 29458 72.54/60.14 o 29456 72.54/60.17 o 29452 72.54/60.17 o 29434 72.54/60.17 o 29430 72.54/60.18 o 29402 72.54/60.18 o 29400 72.63/60.22 o 29366 72.63/60.23 o 29364 72.63/60.24 o 29352 72.63/60.24 o 29346 72.63/60.27 o 29328 73.03/60.62 o 29310 73.03/60.62 o 29306 73.03/60.62 o 29302 73.23/60.80 o 29300 73.23/60.80 o 29276 73.23/60.80 o 29272 73.23/60.81 o 29218 73.23/60.81 o 29208 73.44/61.02 o 29201 73.54/61.12 o 29194 73.54/61.12 o 29188 73.54/61.13 o 29182 78.36/65.99 o 29138 78.36/66.00 o 28995 78.36/66.00 o 28965 78.47/66.02 o 28934 78.47/66.04 o 28922 78.47/66.09 o 28920 78.62/66.17 o 28908 78.82/66.32 o 28845 79.12/66.64 o 28836 79.22/66.70 o 28822 98.67/85.39 o 28708 98.67/85.39 o 28683 98.67/85.39 o 28661 98.67/85.39 o 28600 98.67/85.40 o 28574 98.77/85.40 o 28569 98.77/85.43 o 28556 98.77/85.44 o 28507 99.19/85.89 o 28505 99.19/85.89 o 28495 99.29/85.91 o 28489 99.29/85.91 o 28467 99.50/86.13 o 28463 99.50/86.15 o 28457 99.89/86.51 o 28451 111.28/97.78 o 28434 111.28/97.79 o 28417 111.28/97.79 o 28395 111.38/97.89 o 28393 111.38/97.90 o 28386 111.48/97.93 o 28364 112.28/98.66 o 28344 114.59/100.90 o 28328 114.69/101.08 o 28310 115.19/101.52 o 28291 116.49/102.82 o 28280 120.49/106.76 o 28279 120.69/106.99 o 28277 120.80/107.03 o 28259 123.70/109.95 o 28247 125.41/111.69 o 28186 125.52/111.71 o 28184 125.52/111.71 o 28174 125.52/111.74 o 28155 132.06/118.14 o 28151 149.95/135.76 o 28124 149.95/135.77 o 28101 151.76/137.59 o 28070 200.20/185.28 o 28053 200.80/185.89 o 28049 201.01/186.08 o 28045 201.12/186.11 o 28029 201.12/186.14 o 28013 201.12/186.16 o 27987 205.60/190.54 o 27968 206.30/191.24 o 27937 206.50/191.47 o 27920 206.60/191.51 o 27908 284.65/268.80 o 27871 335.52/319.26 o 27859 336.02/319.77 o 27842 336.12/319.85 o 27830 336.12/319.85 o 27790 336.12/319.86 o 27784 336.12/319.90 o 27758 336.22/319.93 o 27748 336.22/319.93 o 27708 340.49/324.17 o 27686 345.83/329.47 o 27590 356.94/340.43 o 27535 356.94/340.47 o 27512 359.24/342.77 o 27489 360.34/343.81 o 27456 360.65/344.12 o 27443 379.96/363.37 o 27427 379.96/363.38 o 27306 380.06/363.44 o 27225 382.56/365.92 o 27219 384.83/368.15 o 27162 384.83/368.15 o 27058 434.75/417.73 o 27040 434.95/417.97 o 27036 435.95/418.99 o 27030 437.16/420.19 o 27026 443.41/426.34 o 27024 459.26/442.10 o 26972 460.96/443.75 o 26965 462.86/445.60 o 26957 462.86/445.65 o 26925 462.96/445.73 o 26917 463.17/445.94 o 26911 463.27/446.06 o 26847 463.37/446.19 o 26837 479.99/462.66 o 26819 516.76/499.19 o 26818 572.58/554.66 o 26802 573.28/555.37 o 26782 582.50/564.56 o 26766 582.80/564.81 o 26758 582.80/564.83 o 26724 582.80/564.83 o 26666 634.93/616.81 o 26660 722.81/704.38 o 26644 734.79/716.20 o 26628 736.09/717.58 o 26625 736.39/717.81 o 26617 738.60/720.04 o 26584 739.99/721.49 o 26574 740.19/721.64 o 26560 747.84/729.26 o 26548 831.89/812.91 o 26524 890.79/871.55 o 26520 914.90/895.57 o 26517 915.10/895.71 o 26512 918.80/899.43 o 26471 919.21/899.80 o 26470 946.10/926.62 o 26426 948.80/929.31 o 26404 972.57/953.02 o 26365 1007.78/988.18 o 26349 1086.67/1066.41 o 26343 1087.07/1066.86 o 26335 1139.80/1119.16 o 26323 1165.37/1144.53 o 26306 1227.88/1206.57 o 26304 1229.79/1208.42 o 26295 1229.79/1208.43 o 26280 1291.38/1269.47 o 26266 1291.48/1269.53 o 26246 1293.51/1271.53 o 26224 1305.33/1283.23 o 26180 1395.51/1372.42 o 26176 1452.18/1428.40 o 26168 1453.60/1429.82 o 26150 1474.43/1450.49 o 26147 1475.77/1451.75 o 26143 1475.97/1451.93 o 26123 1519.29/1494.75 o 26077 1656.27/1630.00 o 26068 1745.92/1718.37 o 26066 2058.54/2026.09 o 26056 2363.15/2325.33 o 26020 2400.09/2361.60 s SATISFIABLE 2400.09/2361.61 v <instantiation> 2400.09/2361.61 v <list> 2400.09/2361.61 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[59][60] d[59][61] d[59][62] d[59][63] d[60][61] d[60][62] d[60][63] d[61][62] d[61][63] d[62][63] 2400.09/2361.61 v </list> 2400.09/2361.61 v <values> 2400.09/2361.61 v 17 46 49 0 36 61 59 34 4 5 41 63 3 16 24 2 31 40 18 47 38 20 58 33 7 62 9 27 54 37 23 6 25 32 42 10 15 50 21 52 1 48 12 39 43 44 30 53 19 22 13 57 51 55 60 14 11 29 8 45 26 28 35 56 6 1 4 0 2 10 10 4 5 1 0 2 2 1 0 5 3 1 0 5 0 0 2 0 10 2 0 0 2 5 0 2 0 5 1 5 0 2 0 2 0 0 5 2 2 5 2 2 0 5 2 5 5 0 0 2 4 5 2 1 3 1 2 5 5 0 1 0 1 5 10 0 2 10 4 0 1 5 2 2 0 5 1 0 2 5 0 5 1 5 5 2 0 0 0 10 0 0 10 0 4 6 5 5 1 0 3 0 5 2 1 0 5 1 0 1 0 0 5 0 0 0 2 0 2 5 10 1 1 5 0 4 5 0 1 5 3 0 1 1 2 1 0 1 6 2 2 2 0 0 0 1 2 3 5 5 10 2 0 5 0 2 5 0 1 1 5 0 0 1 1 5 5 6 2 3 0 2 2 0 2 2 2 2 0 0 10 3 0 6 6 0 2 1 0 5 0 0 2 5 5 3 5 1 2 5 4 5 0 1 4 1 10 4 2 1 5 2 2 0 0 1 2 0 5 0 10 10 1 2 4 1 5 0 3 5 0 2 0 1 4 3 0 2 2 0 0 6 0 5 5 5 0 5 5 5 1 0 0 0 2 5 1 3 10 1 1 2 3 5 5 2 4 3 5 0 2 2 2 10 0 2 1 1 1 3 2 0 1 1 5 0 5 0 2 2 2 0 0 3 0 1 3 0 5 0 2 5 10 0 5 5 5 5 5 2 0 5 1 4 5 10 1 5 2 1 10 2 3 5 5 2 2 1 1 6 2 10 3 0 0 0 5 2 0 0 3 5 1 2 0 1 0 0 2 2 2 2 1 0 1 2 1 5 4 1 1 0 0 5 5 5 4 0 1 10 0 3 3 5 0 10 0 5 0 2 4 5 2 0 2 5 0 0 0 0 0 0 0 10 0 5 0 0 6 0 0 2 0 5 1 0 0 1 0 5 0 10 5 2 5 2 0 0 2 10 2 1 0 5 2 5 0 10 5 0 0 0 1 2 6 0 0 5 5 0 0 0 1 0 2 0 5 0 5 1 2 10 5 0 0 5 2 2 3 2 0 2 0 0 5 0 1 0 0 2 10 1 5 0 4 5 0 10 10 2 3 10 1 0 0 2 1 1 5 2 0 0 0 0 3 0 0 10 2 2 2 0 1 0 5 0 2 0 6 5 0 2 5 5 0 2 0 5 6 2 5 3 10 4 0 2 5 2 2 1 5 2 1 2 5 0 1 0 1 0 5 4 5 2 5 5 0 5 0 5 5 2 2 2 5 5 1 5 4 0 1 0 4 2 2 0 2 5 0 2 1 5 0 2 3 2 1 1 1 10 10 0 10 5 2 6 1 2 0 4 1 0 2 5 2 5 3 0 2 0 5 2 6 0 5 0 2 6 1 0 10 5 1 0 5 0 10 0 0 0 5 0 0 0 5 0 10 2 0 0 0 0 10 5 0 0 2 1 5 0 5 4 0 0 2 5 2 0 10 4 2 1 5 0 0 1 5 5 0 2 3 1 10 0 10 10 0 1 0 2 0 0 5 2 0 1 0 10 0 2 0 5 10 3 2 5 1 2 5 10 0 5 5 0 5 3 2 0 10 0 0 10 4 0 1 0 2 5 1 10 4 2 5 5 4 5 0 5 0 5 0 1 2 5 10 5 0 6 2 1 0 5 1 2 1 10 2 4 5 6 1 5 10 5 4 2 1 2 0 0 10 0 0 10 3 2 1 6 0 0 4 6 5 2 2 5 1 1 5 0 0 5 1 2 10 2 3 0 5 3 0 0 4 1 1 0 0 0 10 2 1 10 0 3 0 3 0 0 2 2 4 2 1 0 0 2 2 1 2 5 5 0 5 2 5 10 4 5 0 2 2 10 0 5 0 2 0 0 0 0 1 2 0 5 5 5 1 2 5 2 0 10 2 0 0 6 5 0 5 5 1 0 10 0 5 5 1 1 0 2 1 6 5 2 10 5 0 2 0 0 2 0 10 1 0 0 2 5 5 0 3 5 5 4 5 0 0 1 0 5 0 0 6 0 10 1 5 5 0 0 10 0 0 1 5 2 5 2 3 2 2 0 10 2 5 0 0 1 0 1 0 0 3 1 10 0 2 0 3 5 0 1 5 0 10 2 0 5 1 2 0 2 5 2 1 2 10 5 1 0 0 0 2 10 0 0 2 0 1 0 2 0 1 0 2 5 10 5 5 0 0 0 0 5 0 10 0 0 2 1 10 5 5 5 3 4 0 0 5 0 6 4 4 2 1 5 5 5 0 3 2 1 0 0 1 0 0 0 0 0 0 2 0 1 2 0 2 5 0 0 4 3 0 2 5 0 0 5 10 2 5 0 1 0 2 4 1 0 10 2 2 0 1 10 2 3 1 5 10 0 4 5 1 0 1 0 0 5 0 1 4 5 1 1 0 1 5 2 0 3 5 10 10 5 10 5 5 2 4 5 5 0 0 0 0 0 10 2 0 0 1 0 0 1 1 2 5 2 0 5 4 0 0 4 0 4 2 10 2 5 4 1 2 5 1 10 3 0 5 1 2 5 2 10 5 0 10 1 0 1 5 0 1 0 5 10 0 5 2 5 5 0 0 0 0 5 0 0 0 2 0 1 2 0 0 10 10 10 2 2 1 5 4 2 0 2 10 0 10 2 5 2 1 6 1 2 5 0 5 1 2 0 0 5 1 0 2 1 1 0 0 6 0 5 0 5 1 5 5 5 0 2 0 0 0 2 1 2 5 2 2 6 0 10 1 0 5 4 1 0 0 4 10 0 0 0 0 0 5 0 4 2 1 0 2 2 2 5 5 0 6 0 10 5 5 10 0 2 2 5 0 0 0 0 4 5 10 2 1 2 0 0 2 0 0 0 0 3 3 10 1 5 1 1 5 5 0 2 0 2 5 5 0 10 10 0 0 1 1 5 0 4 0 1 5 5 1 0 0 1 3 0 5 2 0 0 2 0 5 10 5 0 2 2 6 5 5 0 0 10 0 5 3 0 0 2 0 5 2 4 2 10 0 1 0 1 0 0 5 0 0 5 0 2 5 1 3 0 6 0 5 10 0 4 0 5 3 0 10 10 1 0 0 5 1 2 2 0 2 0 1 2 5 0 5 2 0 0 5 0 10 0 10 0 5 10 0 5 5 2 2 5 0 2 2 4 0 0 0 5 5 4 5 0 0 4 5 0 0 5 5 2 10 2 0 5 0 0 3 0 5 2 6 0 0 3 5 3 2 5 4 2 0 2 0 0 0 10 0 0 10 2 2 0 2 5 0 0 0 1 1 5 1 5 1 0 10 4 0 5 0 2 5 2 1 5 5 1 5 5 5 3 10 0 2 2 0 5 1 5 0 5 5 5 1 5 10 0 2 2 1 2 0 2 1 10 5 6 5 6 2 2 2 0 0 0 0 0 1 0 2 2 2 10 5 0 2 0 0 0 3 5 2 0 6 6 2 5 1 0 10 3 10 0 0 0 3 5 0 0 5 0 2 2 0 5 5 10 0 5 2 10 1 2 1 5 5 2 0 5 5 0 0 0 6 0 0 2 10 1 1 5 2 0 1 10 2 6 5 0 0 4 0 5 0 5 0 3 0 0 10 0 0 2 1 2 0 6 0 2 10 1 1 0 0 5 0 10 0 2 2 10 1 0 0 10 0 2 1 0 4 2 0 0 5 5 2 2 5 0 1 4 5 5 10 0 10 2 10 10 1 5 0 4 10 2 5 2 4 2 6 5 0 1 10 2 4 0 3 5 0 1 1 2 5 5 5 10 5 5 5 0 0 5 5 5 2 1 0 0 10 0 2 1 0 0 1 0 5 2 0 1 5 4 0 3 4 5 1 0 5 5 1 5 10 0 2 5 5 4 0 1 1 0 5 10 0 0 0 1 1 1 0 1 1 6 0 0 1 2 5 2 0 10 5 5 0 10 1 10 5 3 2 0 1 2 3 2 0 0 3 5 1 0 3 0 10 10 0 5 1 2 3 5 1 1 2 6 5 2 0 5 2 1 1 1 5 5 0 0 0 5 10 1 3 5 2 10 6 2 0 2 4 1 5 5 1 2 2 0 2 10 0 0 4 10 5 3 1 0 0 0 0 10 2 5 5 2 3 0 2 2 0 5 3 5 10 2 5 5 1 5 3 0 5 0 2 0 2 0 1 10 0 2 6 5 10 3 0 0 6 0 1 1 1 3 0 5 1 2 0 0 2 5 1 2 0 0 0 0 5 0 2 10 5 2 0 4 2 5 3 10 0 5 0 0 0 5 0 10 6 5 2 0 0 2 0 2 1 0 10 0 0 0 0 0 0 10 2 0 5 10 3 5 2 6 5 1 2 5 10 2 1 0 5 5 5 0 0 2 10 0 5 5 10 0 0 2 10 0 5 5 4 2 2 10 0 5 0 10 5 5 4 5 5 0 2 0 5 0 5 5 5 0 2 5 2 5 5 5 5 0 5 10 1 2 0 4 5 0 1 5 5 0 1 10 5 5 0 0 0 5 2 0 5 1 1 10 1 2 5 5 10 0 2 6 1 4 1 2 2400.09/2361.61 v </values> 2400.09/2361.61 v </instantiation>
OK 26020
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5424 MiB free)
memory of node 1: 16384 MiB (10548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291587-1532242421/watcher-4291587-1532242421 -o /tmp/evaluation-result-4291587-1532242421/solver-4291587-1532242421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532226016-29480 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1563650078 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291587-1532242421.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31289, runsolver pid=31286
[startup+0.100112 s]*
/proc/loadavg: 1.35 1.41 1.41 4/216 31304
/proc/meminfo: memFree=16338264/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14082740 memory=33044 CPUtime=0.11 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 7141 0 0 0 10 1 0 0 20 0 15 0 41805309 14420725760 8261 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3520685 8261 3164 1 0 3482761 0
[pid=31289/tid=31291] ppid=31286 vsize=14082740 memory=-8557575366716330371 CPUtime=0.09 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 5201 0 0 0 8 1 0 0 20 0 15 0 41805310 14420725760 8261 33554432000 4194304 4196468 140728401672432 140365412466208 140365408294045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 8261 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 8261 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 8261 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 8261 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805312 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41805312 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364588782752 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41805313 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364587729648 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0.01 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) R 31286 31289 29448 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 41805315 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364583520752 140365386792286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 8261 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33044 KiB
[startup+0.214306 s]*
/proc/loadavg: 1.35 1.41 1.41 6/216 31304
/proc/meminfo: memFree=16322060/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14082740 memory=47196 CPUtime=0.32 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 10425 0 0 0 30 2 0 0 20 0 15 0 41805309 14420725760 11799 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3520685 11799 3373 1 0 3482761 0
[pid=31289/tid=31291] ppid=31286 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 8112 0 0 0 18 2 0 0 20 0 15 0 41805310 14420725760 11799 33554432000 4194304 4196468 140728401672432 140365412495168 140365392352606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14082740 memory=342 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 11799 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14082740 memory=288370137584477824 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 11799 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 11799 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 11799 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41805312 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41805312 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364588782752 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41805313 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364587729648 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 41805315 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 41805315 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0.06 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) R 31286 31289 29448 0 -1 4202560 325 0 0 0 6 0 0 0 20 0 15 0 41805315 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364583520752 140365408284054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 11799 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47196 KiB
[startup+0.310613 s]*
/proc/loadavg: 1.35 1.41 1.41 3/216 31304
/proc/meminfo: memFree=16318524/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14082740 memory=50648 CPUtime=0.43 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 10768 0 0 0 41 2 0 0 20 0 15 0 41805309 14420725760 12662 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3520685 12662 3381 1 0 3482761 0
[pid=31289/tid=31291] ppid=31286 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 8436 0 0 0 28 2 0 0 20 0 15 0 41805310 14420725760 12662 33554432000 4194304 4196468 140728401672432 140365412482088 140365389835713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14082740 memory=4294976237 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 12662 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14082740 memory=288370137584477824 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 12662 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 12662 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14420725760 12662 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41805312 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41805312 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364588782752 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41805313 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364587729648 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 15 0 41805315 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 15 0 41805315 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0.08 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) S 31286 31289 29448 0 -1 1077944384 341 0 0 0 8 0 0 0 20 0 15 0 41805315 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364583520752 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14082740 memory=139761432766080 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805315 14420725760 12662 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50648 KiB
[startup+0.700755 s]
/proc/loadavg: 1.41 1.42 1.42 3/216 31304
/proc/meminfo: memFree=16294208/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14084808 memory=88676 CPUtime=1 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 17583 0 0 0 95 5 0 0 20 0 15 0 41805309 14422843392 22169 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3521202 22169 3499 1 0 3483273 0
[pid=31289/tid=31291] ppid=31286 vsize=14084808 memory=9484 CPUtime=0.67 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 14882 0 0 0 63 4 0 0 20 0 15 0 41805310 14422843392 22169 33554432000 4194304 4196468 140728401672432 140365412495280 140365392352606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14084808 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14422843392 22169 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14084808 memory=640 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14422843392 22169 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14084808 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805311 14422843392 22169 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14084808 memory=960 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41805311 14422843392 22169 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14084808 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41805312 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14084808 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41805312 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364588782752 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14084808 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41805313 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364587729648 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14084808 memory=7086240636212695395 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14084808 memory=7881696724453321575 CPUtime=0.08 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 586 0 0 0 8 0 0 0 20 0 15 0 41805315 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14084808 memory=7236547281622689387 CPUtime=0.07 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 326 0 0 0 7 0 0 0 20 0 15 0 41805315 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) S 31286 31289 29448 0 -1 1077944384 407 0 0 0 15 0 0 0 20 0 15 0 41805315 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364583520752 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14084808 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41805315 14422843392 22169 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88676 KiB
[startup+1.50078 s]
/proc/loadavg: 1.41 1.42 1.42 5/216 31304
/proc/meminfo: memFree=16247736/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14086856 memory=214740 CPUtime=3.26 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 23904 0 0 0 317 9 0 0 20 0 15 0 41805309 14424940544 53685 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3521714 53685 3545 1 0 3483785 0
[pid=31289/tid=31291] ppid=31286 vsize=14086856 memory=146900 CPUtime=1.46 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 16896 0 0 0 140 6 0 0 20 0 15 0 41805310 14424940544 53685 33554432000 4194304 4196468 140728401672432 140365412509104 140365050346849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14086856 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 41805311 14424940544 53685 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41805311 14424940544 53685 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 41805311 14424940544 53685 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 41805311 14424940544 53685 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 41805312 14424940544 53685 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
################
# More data... #
################
/proc/31289/task/31291/stat : 31291 (java) S 31286 31289 29448 0 -1 1077944384 218825 0 0 0 219055 56 0 0 20 0 15 0 41805310 14431232000 954272 33554432000 4194304 4196468 140728401672432 140365412509920 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14093000 memory=3821716 CPUtime=9.35 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 45013 0 0 0 857 78 0 0 20 0 15 0 41805311 14431232000 954272 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14093000 memory=3816580 CPUtime=9.38 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) R 31286 31289 29448 0 -1 4202560 42617 0 0 0 859 79 0 0 20 0 15 0 41805311 14431232000 954272 33554432000 4194304 4196468 140728401672432 140365002894480 140365387468876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14093000 memory=3817088 CPUtime=9.34 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 42180 0 0 0 850 84 0 0 20 0 15 0 41805311 14431232000 954272 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14093000 memory=3821716 CPUtime=9.36 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) R 31286 31289 29448 0 -1 4202560 40299 0 0 0 857 79 0 0 20 0 15 0 41805311 14431232000 954272 33554432000 4194304 4196468 140728401672432 140365000788880 140365387468876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14093000 memory=3817088 CPUtime=1.02 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 17156 0 0 0 86 16 0 0 20 0 15 0 41805312 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364589835040 140365408282325 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14093000 memory=137 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 41805312 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364588782816 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14093000 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41805313 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364587729664 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14093000 memory=3844820 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14093000 memory=1224 CPUtime=2.75 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 15767 0 0 0 273 2 0 0 20 0 15 0 41805315 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14093000 memory=3815040 CPUtime=2.9 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 15896 0 0 0 288 2 0 0 20 0 15 0 41805315 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14093000 memory=3816580 CPUtime=1.37 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) S 31286 31289 29448 0 -1 1077944384 46389 0 0 0 132 5 0 0 20 0 15 0 41805315 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364583520752 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14093000 memory=3818120 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14093000 memory=1928 CPUtime=1.18 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1806 0 0 0 49 69 0 0 20 0 15 0 41805315 14431232000 954272 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 2237.87 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3817088 KiB
[startup+2262.3 s]
/proc/loadavg: 1.19 1.22 1.35 3/215 31477
/proc/meminfo: memFree=11761436/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14093000 memory=3764224 CPUtime=2298.98 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 498658 0 0 0 229437 461 0 0 20 0 15 0 41805309 14431232000 941056 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3523250 941056 3616 1 0 3485321 0
[pid=31289/tid=31291] ppid=31286 vsize=14093000 memory=3805780 CPUtime=2250.65 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 222153 0 0 0 225009 56 0 0 20 0 15 0 41805310 14431232000 941056 33554432000 4194304 4196468 140728401672432 140365412509840 140365056541908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14093000 memory=3777056 CPUtime=9.73 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 46166 0 0 0 893 80 0 0 20 0 15 0 41805311 14431232000 941056 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14093000 memory=3771920 CPUtime=9.76 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 44751 0 0 0 895 81 0 0 20 0 15 0 41805311 14431232000 941056 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14093000 memory=3767816 CPUtime=9.7 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 44470 0 0 0 886 84 0 0 20 0 15 0 41805311 14431232000 941056 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14093000 memory=3763712 CPUtime=9.72 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 41302 0 0 0 892 80 0 0 20 0 15 0 41805311 14431232000 941056 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14093000 memory=3765764 CPUtime=1.07 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 17654 0 0 0 90 17 0 0 20 0 15 0 41805312 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14093000 memory=585 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 41805312 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364588782816 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14093000 memory=7884227812954628688 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41805313 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364587729664 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14093000 memory=3765764 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14093000 memory=3764224 CPUtime=2.75 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 16572 0 0 0 273 2 0 0 20 0 15 0 41805315 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14093000 memory=3762176 CPUtime=2.9 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 15902 0 0 0 288 2 0 0 20 0 15 0 41805315 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14093000 memory=3764224 CPUtime=1.37 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) S 31286 31289 29448 0 -1 1077944384 46395 0 0 0 132 5 0 0 20 0 15 0 41805315 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364583520752 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14093000 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14093000 memory=4140 CPUtime=1.21 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1856 0 0 0 50 71 0 0 20 0 15 0 41805315 14431232000 941056 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 2298.98 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3764224 KiB
[startup+2322.3 s]
/proc/loadavg: 1.44 1.29 1.36 3/216 31479
/proc/meminfo: memFree=11870304/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14093000 memory=3720584 CPUtime=2360.07 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 509666 0 0 0 235540 467 0 0 20 0 15 0 41805309 14431232000 930146 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3523250 930146 3616 1 0 3485321 0
[pid=31289/tid=31291] ppid=31286 vsize=14093000 memory=3720584 CPUtime=2310.2 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 225202 0 0 0 230963 57 0 0 20 0 15 0 41805310 14431232000 930146 33554432000 4194304 4196468 140728401672432 140365412509840 140365055541084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14093000 memory=3745736 CPUtime=10.09 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 47122 0 0 0 929 80 0 0 20 0 15 0 41805311 14431232000 930146 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14093000 memory=3745736 CPUtime=10.12 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 46335 0 0 0 931 81 0 0 20 0 15 0 41805311 14431232000 930146 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14093000 memory=3752404 CPUtime=10.07 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 47050 0 0 0 922 85 0 0 20 0 15 0 41805311 14431232000 930146 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14093000 memory=3738040 CPUtime=10.09 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 42978 0 0 0 928 81 0 0 20 0 15 0 41805311 14431232000 930146 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14093000 memory=3732392 CPUtime=1.13 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 18171 0 0 0 94 19 0 0 20 0 15 0 41805312 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14093000 memory=3729312 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 41805312 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364588782816 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14093000 memory=3723668 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41805313 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364587729664 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14093000 memory=3719564 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14093000 memory=3719564 CPUtime=2.75 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 16576 0 0 0 273 2 0 0 20 0 15 0 41805315 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14093000 memory=3720584 CPUtime=2.91 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 15908 0 0 0 289 2 0 0 20 0 15 0 41805315 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14093000 memory=3720584 CPUtime=1.37 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) S 31286 31289 29448 0 -1 1077944384 46987 0 0 0 132 5 0 0 20 0 15 0 41805315 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364583520752 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14093000 memory=3727260 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14093000 memory=3720584 CPUtime=1.25 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1900 0 0 0 51 74 0 0 20 0 15 0 41805315 14431232000 930146 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 2360.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3720584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2361.6 s]
/proc/loadavg: 1.04 1.20 1.33 3/216 31480
/proc/meminfo: memFree=11920640/32770624 swapFree=67108860/67108860
[pid=31289] ppid=31286 vsize=14093000 memory=3705164 CPUtime=2400.09 cores=1,3,5,7
/proc/31289/stat : 31289 (java) S 31286 31289 29448 0 -1 1077944320 516044 0 0 0 239537 472 0 0 20 0 15 0 41805309 14431232000 926291 33554432000 4194304 4196468 140728401672432 140728401654976 140365408272119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
/proc/31289/statm: 3523250 926291 3616 1 0 3485321 0
[pid=31289/tid=31291] ppid=31286 vsize=14093000 memory=3707732 CPUtime=2349.2 cores=1,3,5,7
/proc/31289/task/31291/stat : 31291 (java) R 31286 31289 29448 0 -1 4202560 227467 0 0 0 234863 57 0 0 20 0 15 0 41805310 14431232000 926291 33554432000 4194304 4196468 140728401672432 140365412509808 140365048796595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31292] ppid=31286 vsize=14093000 memory=2340 CPUtime=10.33 cores=1,3,5,7
/proc/31289/task/31292/stat : 31292 (java) S 31286 31289 29448 0 -1 1077944384 47944 0 0 0 952 81 0 0 20 0 15 0 41805311 14431232000 926291 33554432000 4194304 4196468 140728401672432 140365371378704 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31293] ppid=31286 vsize=14093000 memory=3707732 CPUtime=10.36 cores=1,3,5,7
/proc/31289/task/31293/stat : 31293 (java) S 31286 31289 29448 0 -1 1077944384 47034 0 0 0 954 82 0 0 20 0 15 0 41805311 14431232000 926291 33554432000 4194304 4196468 140728401672432 140365002894480 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31294] ppid=31286 vsize=14093000 memory=1296 CPUtime=10.31 cores=1,3,5,7
/proc/31289/task/31294/stat : 31294 (java) S 31286 31289 29448 0 -1 1077944384 47473 0 0 0 945 86 0 0 20 0 15 0 41805311 14431232000 926291 33554432000 4194304 4196468 140728401672432 140365001841424 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31295] ppid=31286 vsize=14093000 memory=2340 CPUtime=10.33 cores=1,3,5,7
/proc/31289/task/31295/stat : 31295 (java) S 31286 31289 29448 0 -1 1077944384 44238 0 0 0 951 82 0 0 20 0 15 0 41805311 14431232000 926291 33554432000 4194304 4196468 140728401672432 140365000788880 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31296] ppid=31286 vsize=14093000 memory=3705680 CPUtime=1.15 cores=1,3,5,7
/proc/31289/task/31296/stat : 31296 (java) S 31286 31289 29448 0 -1 1077944384 18429 0 0 0 96 19 0 0 20 0 15 0 41805312 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364589836528 140365408283266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31297] ppid=31286 vsize=14093000 memory=3705680 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31297/stat : 31297 (java) S 31286 31289 29448 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 41805312 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364588782816 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31298] ppid=31286 vsize=14093000 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31298/stat : 31298 (java) S 31286 31289 29448 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 41805313 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364587729664 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31299] ppid=31286 vsize=14093000 memory=1030 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31299/stat : 31299 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364586678224 140365408290715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31300] ppid=31286 vsize=14093000 memory=115 CPUtime=2.75 cores=1,3,5,7
/proc/31289/task/31300/stat : 31300 (java) S 31286 31289 29448 0 -1 1077944384 17199 0 0 0 273 2 0 0 20 0 15 0 41805315 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364585626352 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31301] ppid=31286 vsize=14093000 memory=0 CPUtime=2.91 cores=1,3,5,7
/proc/31289/task/31301/stat : 31301 (java) S 31286 31289 29448 0 -1 1077944384 15911 0 0 0 289 2 0 0 20 0 15 0 41805315 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364584573808 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31302] ppid=31286 vsize=14093000 memory=6791534058613427641 CPUtime=1.37 cores=1,3,5,7
/proc/31289/task/31302/stat : 31302 (java) S 31286 31289 29448 0 -1 1077944384 46990 0 0 0 132 5 0 0 20 0 15 0 41805315 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364583520752 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31303] ppid=31286 vsize=14093000 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/31289/task/31303/stat : 31303 (java) S 31286 31289 29448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41805315 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364582468448 140365408282325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
[pid=31289/tid=31304] ppid=31286 vsize=14093000 memory=3248 CPUtime=1.27 cores=1,3,5,7
/proc/31289/task/31304/stat : 31304 (java) S 31286 31289 29448 0 -1 1077944384 1922 0 0 0 52 75 0 0 20 0 15 0 41805315 14431232000 926291 33554432000 4194304 4196468 140728401672432 140364581415472 140365408283266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140728401675348 140728401675529 140728401675529 140728401678287 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3705164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2361.63 s]
# the end of solver process 31289 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.39 s, system=4.7491 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2361.63
CPU time (s): 2400.14
CPU user time (s): 2395.39
CPU system time (s): 4.7491
CPU usage (%): 101.631
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4543924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.39
system time used= 4.7491
maximum resident set size= 4543924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77106
involuntary context switches= 3008
# summary of solver processes directly reported to runsolver:
# pid: 31289
# total CPU time (s): 2400.14
# total CPU user time (s): 2395.39
# total CPU system time (s): 4.7491
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3968 second user time and 21.5467 second system time
The end
Begin job on node102 at 2018-07-22 08:53:41 IDJOB=4291587 IDBENCH=141250 IDSOLVER=2746 FILE ID=node102/4291587-1532242421 RUNJOBID= node102-1532226016-29480 PBS_JOBID= 21018947 Free space on /tmp= 53212 MiB SOLVER NAME= OscaR - Hybrid 2018-07-02 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko64_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291587-1532242421/watcher-4291587-1532242421 -o /tmp/evaluation-result-4291587-1532242421/solver-4291587-1532242421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532226016-29480 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1563650078 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291587-1532242421.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f1e7a7a7866c79e3b2a53c7bc7dd539 RANDOM SEED=1563650078 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16356624 kB MemAvailable: 31507676 kB Buffers: 228880 kB Cached: 15012260 kB SwapCached: 0 kB Active: 1938300 kB Inactive: 13789404 kB Active(anon): 489220 kB Inactive(anon): 16892 kB Active(file): 1449080 kB Inactive(file): 13772512 kB Unevictable: 6604 kB Mlocked: 6604 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35724 kB Writeback: 0 kB AnonPages: 492728 kB Mapped: 48952 kB Shmem: 17036 kB Slab: 385128 kB SReclaimable: 357920 kB SUnreclaim: 27208 kB KernelStack: 3504 kB PageTables: 6008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1081684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 415744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 53176 MiB End job on node102 at 2018-07-22 09:33:03