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-08-14 | SAT (TO) | 25546 | 2520.1 | 2483.34 |
| 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.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 176577189 0.67/0.56 c timeout: 2520 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 12.65/6.13 c Parsing done, starting first complete search... 13.75/6.69 o 30291 13.75/6.69 o 30258 13.97/6.70 o 30257 13.97/6.71 o 30231 13.97/6.71 o 30224 13.97/6.77 o 30220 14.28/6.82 o 30213 16.60/8.17 o 30211 16.92/8.31 o 30195 18.49/9.78 o 30193 19.50/10.73 o 30187 21.20/12.45 o 30182 21.40/12.60 o 30180 22.98/13.72 o 30170 23.09/13.80 o 30163 25.20/16.00 o 30158 25.32/16.01 o 30135 25.32/16.01 o 30134 25.32/16.04 o 30133 25.32/16.05 o 30131 25.32/16.06 o 30123 25.51/16.21 o 30122 29.14/19.89 o 30117 29.24/19.92 o 30115 29.84/20.59 o 30114 37.39/26.44 o 30111 37.39/26.47 o 30099 37.39/26.48 o 30096 63.46/52.42 c First complete search done, starting ALNS search... 65.61/54.38 o 30079 65.61/54.38 o 29903 65.61/54.39 o 29873 65.61/54.40 o 29851 65.76/54.42 o 29775 66.19/54.87 o 29670 66.19/54.87 o 29437 66.19/54.88 o 29416 66.62/55.20 o 29398 66.62/55.20 o 29362 66.72/55.31 o 29319 66.72/55.40 o 29302 70.96/59.36 o 29291 84.80/72.73 o 29271 84.90/72.86 o 29205 85.21/73.13 o 29187 85.92/73.80 o 29108 85.92/73.81 o 29068 85.92/73.84 o 29021 85.92/73.84 o 29010 86.02/73.91 o 29006 86.02/73.94 o 28903 86.42/74.32 o 28901 92.06/80.00 o 28889 94.90/82.69 o 28854 95.00/82.70 o 28818 96.75/84.45 o 28736 96.75/84.46 o 28688 96.75/84.47 o 28625 96.75/84.48 o 28597 97.75/85.43 o 28596 97.75/85.46 o 28566 97.96/85.66 o 28513 97.96/85.67 o 28492 98.16/85.82 o 28468 98.56/86.21 o 28422 109.08/96.65 o 28367 109.08/96.65 o 28363 109.08/96.69 o 28347 109.18/96.75 o 28337 109.18/96.79 o 28336 109.28/96.80 o 28304 109.28/96.80 o 28302 109.28/96.81 o 28299 109.28/96.82 o 28296 109.28/96.86 o 28293 109.49/97.05 o 28286 109.59/97.16 o 28241 109.59/97.19 o 28229 109.73/97.20 o 28217 109.93/97.44 o 28212 109.93/97.44 o 28208 154.71/141.77 o 28138 155.21/142.22 o 28064 157.03/144.09 o 28024 158.52/145.57 o 28000 161.43/148.39 o 27935 161.74/148.69 o 27934 167.15/154.09 o 27894 176.76/163.50 o 27873 182.86/169.66 o 27839 197.69/184.20 o 27833 200.50/187.06 o 27827 200.89/187.50 o 27809 200.99/187.54 o 27805 201.09/187.65 o 27770 202.60/189.19 o 27752 239.84/226.04 o 27734 239.84/226.08 o 27722 240.03/226.22 o 27715 241.13/227.33 o 27714 241.13/227.39 o 27702 245.55/231.63 o 27700 245.96/232.05 o 27695 245.96/232.07 o 27682 248.55/234.66 o 27679 258.53/244.57 o 27674 260.23/246.27 o 27668 265.94/251.93 o 27618 265.94/251.98 o 27564 269.45/255.31 o 27448 273.26/259.12 o 27436 273.36/259.21 o 27428 273.56/259.45 o 27418 273.56/259.45 o 27410 296.50/282.17 o 27395 296.70/282.33 o 27375 297.10/282.70 o 27332 297.80/283.40 o 27312 297.80/283.40 o 27269 297.80/283.45 o 27258 297.80/283.48 o 27256 297.90/283.52 o 27252 297.90/283.59 o 27229 297.90/283.59 o 27203 310.18/295.70 o 27177 348.83/334.09 o 27159 349.02/334.21 o 27113 351.33/336.56 o 27109 351.33/336.56 o 27095 351.33/336.57 o 27083 351.64/336.86 o 27047 352.04/337.26 o 27033 353.64/338.82 o 27000 357.60/342.79 o 26998 357.70/342.85 o 26988 357.70/342.85 o 26950 357.80/342.90 o 26937 361.45/346.54 o 26883 364.25/349.35 o 26869 393.31/378.26 o 26823 393.41/378.36 o 26821 393.91/378.84 o 26811 396.91/381.80 o 26754 396.91/381.88 o 26746 401.67/386.57 o 26701 406.57/391.49 o 26689 407.07/392.00 o 26681 409.58/394.46 o 26631 436.51/421.30 o 26621 470.29/454.91 o 26591 470.29/454.98 o 26546 480.93/465.57 o 26531 481.03/465.66 o 26526 533.83/518.23 o 26521 534.13/518.59 o 26497 534.43/518.88 o 26492 534.53/518.91 o 26487 541.09/525.42 o 26476 541.80/526.12 o 26469 595.28/579.45 o 26397 595.28/579.46 o 26361 613.64/597.74 o 26353 613.74/597.81 o 26349 614.14/598.26 o 26311 614.14/598.27 o 26267 625.60/609.65 o 26242 666.22/650.04 o 26218 734.05/717.66 o 26212 775.41/758.98 o 26187 775.52/759.02 o 26177 802.16/785.60 o 26175 802.16/785.63 o 26147 845.54/829.00 o 26117 896.23/879.51 o 26095 898.84/882.19 o 26049 901.06/884.33 o 26037 901.26/884.52 o 26017 939.13/922.35 o 26012 965.80/948.97 o 25987 968.20/951.35 o 25969 997.98/981.02 o 25964 1001.89/984.94 o 25938 1001.89/984.97 o 25924 1028.15/1011.19 o 25892 1031.66/1014.69 o 25878 1100.67/1083.44 o 25834 1170.03/1152.36 o 25833 1173.15/1155.41 o 25827 1181.10/1163.40 o 25818 1181.32/1163.59 o 25794 1313.45/1294.40 o 25776 1334.45/1315.21 o 25753 1420.30/1400.17 o 25745 1452.95/1432.48 o 25715 1467.72/1447.02 o 25675 1582.83/1560.79 o 25669 1683.07/1659.60 o 25635 1711.53/1687.73 o 25629 1753.93/1729.55 o 25611 1753.93/1729.58 o 25603 1767.82/1743.26 o 25599 1767.82/1743.28 o 25589 1780.81/1756.06 o 25587 2324.70/2291.47 o 25551 2396.45/2361.94 o 25546 2520.04/2483.30 s SATISFIABLE 2520.04/2483.31 v <instantiation> 2520.04/2483.31 v <list> 2520.04/2483.31 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] 2520.04/2483.31 v </list> 2520.04/2483.31 v <values> 2520.04/2483.31 v 49 7 24 18 0 8 13 47 25 1 34 36 57 21 28 4 58 16 20 43 22 12 11 29 31 53 32 33 23 61 5 39 52 10 48 15 3 44 63 27 9 37 41 40 51 38 35 17 14 62 6 50 54 46 42 19 56 30 55 45 60 2 26 59 2 3 2 5 2 5 1 5 5 5 10 6 0 2 0 6 5 1 5 5 1 2 0 1 1 5 2 2 1 4 1 2 2 0 0 1 0 0 0 0 1 5 1 2 0 0 1 2 2 3 5 0 5 10 1 0 0 3 2 0 0 2 1 0 10 4 0 5 5 5 10 0 1 10 5 0 2 0 2 5 5 4 2 0 2 5 0 5 0 2 5 0 2 5 6 0 0 3 0 2 1 2 2 2 2 2 2 3 0 0 4 2 10 0 5 0 0 3 0 1 0 2 2 0 0 10 0 0 2 2 1 5 2 5 10 2 2 5 0 10 10 5 2 5 0 0 0 5 0 3 4 5 1 2 5 2 0 2 5 10 0 0 0 2 10 0 0 1 0 1 2 3 2 1 2 0 0 0 5 4 5 0 0 0 1 5 5 2 0 10 5 5 2 0 0 1 5 2 2 6 0 2 0 0 0 1 4 0 0 1 0 5 2 3 5 4 5 4 10 1 5 5 5 4 1 5 0 0 0 1 2 5 0 2 3 2 6 1 0 0 0 0 0 1 2 1 4 5 3 2 2 6 10 0 0 2 6 2 5 1 10 1 5 0 1 2 2 1 5 10 3 0 0 1 2 0 2 0 10 1 1 0 1 2 5 3 5 2 4 2 5 4 0 4 5 5 4 0 1 5 3 0 0 0 0 5 0 0 5 5 3 10 10 10 2 1 3 0 0 5 5 0 0 1 0 1 0 0 2 2 2 1 2 1 1 1 0 0 5 5 0 10 0 10 0 1 5 0 0 1 0 5 0 0 0 2 0 0 1 5 2 1 0 4 3 0 2 0 5 4 2 2 5 5 10 5 0 2 5 5 0 0 0 5 5 2 0 5 1 1 1 2 1 2 0 2 2 0 0 0 10 1 10 5 0 1 2 0 4 0 10 5 0 0 2 0 1 0 0 0 1 2 5 2 5 10 5 3 0 1 3 2 0 1 0 5 5 5 0 2 5 1 5 10 2 4 0 1 0 3 0 5 0 2 2 0 1 4 1 0 0 0 0 0 10 0 2 10 1 1 0 1 1 2 4 10 5 5 3 10 0 2 0 2 10 0 6 10 0 5 0 5 1 5 5 1 2 5 6 3 2 2 0 0 2 5 6 2 0 5 2 0 5 2 2 3 5 5 0 0 0 0 0 0 5 0 5 0 1 0 2 5 2 1 1 3 0 10 6 0 10 2 5 0 3 2 5 10 1 0 0 5 0 0 0 5 0 2 1 3 3 0 3 1 0 2 0 0 2 0 10 1 1 5 6 0 3 10 10 3 1 2 0 0 0 0 2 2 0 5 5 10 10 2 5 5 0 0 0 0 0 0 0 2 2 1 0 0 0 1 2 10 0 2 1 0 0 5 3 0 0 10 2 0 5 0 6 1 0 0 2 5 2 0 0 1 1 5 5 10 3 5 3 5 1 3 5 1 0 0 0 1 5 10 2 0 5 1 0 2 1 2 5 2 0 3 2 5 5 0 0 5 0 0 2 1 4 2 5 0 0 1 5 0 2 0 2 1 1 6 5 5 5 0 1 0 10 0 10 0 2 0 4 0 4 5 0 2 3 1 0 2 5 2 6 0 0 10 0 0 1 5 1 4 2 0 5 2 0 5 5 0 2 2 0 5 0 10 0 5 2 5 2 0 0 10 0 3 5 1 5 1 4 5 0 10 10 2 2 0 0 0 5 10 1 0 0 0 0 2 0 1 0 5 2 5 5 2 5 2 0 5 0 4 5 0 0 5 1 2 0 10 1 4 0 2 5 2 5 2 2 5 2 0 5 1 1 2 2 0 5 4 1 1 5 0 5 0 0 0 4 0 4 3 0 0 2 2 10 2 1 0 1 0 5 5 0 0 2 10 0 4 1 0 0 0 5 6 10 6 3 0 0 5 10 5 2 0 1 10 0 2 5 5 1 0 1 10 5 10 4 4 0 1 0 2 2 5 0 5 0 0 0 5 2 0 3 4 5 10 5 2 10 0 5 1 6 2 2 10 10 0 2 2 5 0 4 0 2 0 0 2 10 1 0 5 1 1 0 0 1 10 2 0 0 1 1 0 1 1 0 2 0 2 3 10 5 0 2 0 5 4 5 3 4 0 5 2 2 4 1 5 6 2 1 5 0 2 10 0 5 2 5 1 2 3 1 0 0 0 4 2 0 1 1 10 0 2 2 0 5 1 5 1 0 0 0 1 5 2 10 5 1 0 5 2 10 5 5 5 4 2 1 1 4 5 5 0 0 0 5 4 3 2 5 1 1 0 0 0 2 0 5 2 5 3 3 0 5 3 2 0 5 2 5 2 0 2 5 1 5 10 5 2 10 1 0 5 1 0 2 2 0 2 1 1 1 5 4 0 0 5 2 2 5 5 5 5 0 0 5 10 3 5 2 5 0 1 1 2 10 1 2 1 10 0 0 2 2 4 0 0 2 10 0 1 0 5 0 6 5 5 1 0 6 2 2 2 2 0 2 6 0 4 1 2 1 2 5 0 0 5 0 1 2 10 2 5 5 10 10 3 3 10 10 6 0 2 0 2 0 0 2 2 5 0 3 0 10 2 5 0 1 1 0 5 0 0 2 10 2 2 5 0 0 5 5 5 6 0 0 5 0 2 5 5 5 5 5 2 1 1 0 1 0 0 0 2 0 0 0 1 2 0 10 0 3 5 10 0 2 2 0 10 0 5 2 0 2 6 10 0 0 2 0 5 0 4 0 4 2 3 0 0 0 5 6 1 5 0 5 0 5 0 5 1 10 0 0 1 2 2 3 5 10 5 0 2 2 2 6 0 10 2 5 1 0 0 5 0 0 5 0 0 5 0 2 3 0 0 10 1 5 0 4 0 10 5 3 4 0 0 10 3 0 0 1 1 5 5 0 0 1 2 1 0 2 10 0 6 5 0 5 3 5 10 5 5 0 3 5 0 0 5 5 2 0 1 2 5 1 10 1 5 0 0 2 3 2 1 0 5 0 0 0 0 5 0 5 0 5 5 1 2 6 1 0 0 5 0 1 1 1 2 2 2 2 0 5 6 0 5 0 5 0 10 1 5 5 2 4 6 5 0 0 2 0 1 0 0 0 0 0 10 0 5 5 5 2 4 5 5 1 10 2 2 3 5 5 2 2 5 5 0 5 0 1 1 0 0 2 1 5 5 1 3 5 10 5 1 4 10 5 3 1 0 6 5 0 5 10 1 3 0 0 1 4 2 2 2 2 5 2 2 1 1 5 1 0 0 1 0 5 0 0 4 5 5 1 2 2 1 5 5 4 5 2 1 5 0 1 5 1 5 0 2 2 10 5 2 1 0 0 3 2 5 2 1 0 10 0 10 4 10 0 10 0 2 5 0 1 10 3 5 0 0 2 5 2 1 5 4 0 0 0 5 0 6 5 10 10 1 10 4 10 2 5 10 0 6 0 0 0 0 0 6 0 2 0 2 4 0 0 10 0 1 2 1 1 5 0 2 0 2 0 1 10 5 5 0 10 4 4 1 1 0 0 5 5 0 0 10 0 4 0 2 2 0 0 5 5 10 5 1 1 0 5 5 0 2 6 0 5 0 0 10 2 1 0 5 4 5 0 2 5 1 2 2 1 0 5 1 5 0 5 2 5 5 2 5 0 5 6 2 10 5 5 0 2 4 3 5 4 10 2 5 2 0 0 10 10 0 0 10 5 5 5 2 2 0 2 4 1 0 10 0 5 1 5 10 0 5 1 5 0 10 0 2 4 0 2 5 0 3 2 0 1 10 5 0 3 5 10 0 0 10 1 3 2 1 5 0 2 4 10 1 5 5 10 0 1 5 1 5 10 2 0 0 3 0 2 2 0 0 0 0 0 1 5 1 2 5 5 0 2 1 0 4 5 1 5 1 0 0 0 2 1 6 0 5 10 2 5 0 3 0 2 1 10 0 0 5 5 6 2 2 0 1 0 0 0 0 0 0 0 10 10 0 2 10 1 0 6 10 5 0 2 0 2 0 2 0 0 5 2 6 5 0 0 1 0 5 0 0 3 0 6 10 0 5 0 2 0 5 0 1 0 1 5 3 10 0 5 1 2 2 2 0 0 0 2 0 5 5 0 0 2 5 5 0 5 2 5 0 1 0 0 5 2 2 5 10 2 5 0 4 5 0 0 10 5 10 5 2 0 2 0 5 0 2 5 4 0 1 1 0 2 1 2 0 1 0 2 2 0 10 5 3 6 5 0 10 0 0 0 6 5 2 2 5 5 2 0 0 1 10 0 0 2 5 0 2 0 5 2 2 4 5 1 5 0 5 5 5 0 2 4 2 5 1 5 0 0 2 10 0 10 0 1 5 10 5 0 0 0 5 2 5 5 10 6 5 0 10 5 10 5 5 0 0 5 10 5 0 0 0 5 4 5 2 0 10 2 2 0 0 0 1 1 0 0 0 0 0 2 2 1 10 10 2 0 1 0 10 2 0 0 6 10 2 0 10 5 1 2 5 0 1 10 5 0 5 0 0 5 5 5 5 5 5 10 5 1 5 5 0 2520.04/2483.31 v </values> 2520.04/2483.31 v </instantiation>
OK 25546
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 (11974 MiB free)
memory of node 1: 16384 MiB (11627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308519-1534295930/watcher-4308519-1534295930 -o /tmp/evaluation-result-4308519-1534295930/solver-4308519-1534295930 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21973 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 176577189 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308519-1534295930.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=22270, runsolver pid=22267
Current StackSize limit: 8192 KiB
[startup+0.100144 s]*
/proc/loadavg: 1.33 1.39 1.46 3/216 22285
/proc/meminfo: memFree=24153808/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14082736 memory=33444 CPUtime=0.12 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 7285 0 0 0 11 1 0 0 20 0 15 0 247156200 14420721664 8361 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3520684 8361 3136 1 0 3482761 0
[pid=22270/tid=22272] ppid=22267 vsize=14082736 memory=-6966717417093883519 CPUtime=0.08 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 5431 0 0 0 8 0 0 0 20 0 15 0 247156201 14420721664 8427 33554432000 4194304 4196468 140724911496096 139908507204208 139908487143160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14082736 memory=5793854901432220089 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 8427 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 8427 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 8427 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 8427 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247156203 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247156203 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907414598944 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247156204 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907413546608 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) S 22267 22270 21941 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907411441776 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0.01 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 247156206 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156207 14420721664 8427 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33444 KiB
[startup+0.210479 s]*
/proc/loadavg: 1.33 1.39 1.46 4/216 22285
/proc/meminfo: memFree=24138552/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14082736 memory=47360 CPUtime=0.3 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 10379 0 0 0 28 2 0 0 20 0 15 0 247156200 14420721664 11840 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3520684 11840 3414 1 0 3482761 0
[pid=22270/tid=22272] ppid=22267 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 1077944384 8121 0 0 0 18 1 0 0 20 0 15 0 247156201 14420721664 11840 33554432000 4194304 4196468 140724911496096 139908507246448 139908503029461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14082736 memory=4211973376627117450 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 11840 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 11840 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 11840 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 11840 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247156203 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247156203 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907414598944 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247156204 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907413546608 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) R 22267 22270 21941 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 247156206 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907411422792 139908482266041 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 247156206 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0.06 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 15 0 247156206 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156207 14420721664 11840 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47360 KiB
[startup+0.310563 s]*
/proc/loadavg: 1.33 1.39 1.46 3/216 22285
/proc/meminfo: memFree=24134272/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14082736 memory=50844 CPUtime=0.43 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 10757 0 0 0 40 3 0 0 20 0 15 0 247156200 14420721664 12711 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3520684 12711 3417 1 0 3482761 0
[pid=22270/tid=22272] ppid=22267 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 8479 0 0 0 27 2 0 0 20 0 15 0 247156201 14420721664 12711 33554432000 4194304 4196468 140724911496096 139908507201552 139908483294642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14082736 memory=4211973376627117450 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 12711 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14082736 memory=139650422348714 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 12711 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14082736 memory=139650324891845 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 12711 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14082736 memory=139650324872143 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14420721664 12711 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14082736 memory=139650422348880 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247156203 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14082736 memory=139650324881359 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247156203 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907414598944 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14082736 memory=279300649760400 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247156204 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907413546608 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14082736 memory=279300649767312 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) S 22267 22270 21941 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 247156206 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907411441776 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 247156206 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0.08 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 287 0 0 0 8 0 0 0 20 0 15 0 247156206 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14082736 memory=139650422326912 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156207 14420721664 12711 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50844 KiB
[startup+0.700945 s]
/proc/loadavg: 1.33 1.39 1.46 5/216 22285
/proc/meminfo: memFree=24116052/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14084804 memory=88864 CPUtime=1 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 17580 0 0 0 95 5 0 0 20 0 15 0 247156200 14422839296 22216 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3521201 22216 3499 1 0 3483273 0
[pid=22270/tid=22272] ppid=22267 vsize=14084804 memory=1220 CPUtime=0.66 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 14876 0 0 0 63 3 0 0 20 0 15 0 247156201 14422839296 22216 33554432000 4194304 4196468 140724911496096 139908507243312 139908487099742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 247156202 14422839296 22216 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14084804 memory=868 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14422839296 22216 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14422839296 22216 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156202 14422839296 22216 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14084804 memory=6370994028255662167 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 247156203 14422839296 22216 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247156203 14422839296 22216 33554432000 4194304 4196468 140724911496096 139907414598944 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 247156204 14422839296 22257 33554432000 4194304 4196468 140724911496096 139907413546608 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14422839296 22257 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14084804 memory=229 CPUtime=0.08 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) S 22267 22270 21941 0 -1 1077944384 559 0 0 0 8 0 0 0 20 0 15 0 247156206 14422839296 22257 33554432000 4194304 4196468 140724911496096 139907411441776 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14084804 memory=7 CPUtime=0.06 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 366 0 0 0 6 0 0 0 20 0 15 0 247156206 14422839296 22257 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14084804 memory=704 CPUtime=0.15 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 398 0 0 0 15 0 0 0 20 0 15 0 247156206 14422839296 22257 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14084804 memory=279300649951216 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14422839296 22257 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 247156207 14422839296 22257 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88864 KiB
[startup+1.50081 s]
/proc/loadavg: 1.33 1.39 1.46 6/216 22285
/proc/meminfo: memFree=24069884/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14086852 memory=217144 CPUtime=3.17 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 24552 0 0 0 308 9 0 0 20 0 15 0 247156200 14424936448 54286 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3521713 54286 3568 1 0 3483785 0
[pid=22270/tid=22272] ppid=22267 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 17370 0 0 0 139 6 0 0 20 0 15 0 247156201 14424936448 54286 33554432000 4194304 4196468 140724911496096 139908507256192 139908112682572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 247156202 14424936448 54286 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14086852 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 247156202 14424936448 54286 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14086852 memory=-7966001967407402336 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 247156202 14424936448 54286 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14086852 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 247156202 14424936448 54286 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14086852 memory=6944613755395144096 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 247156203 14424936448 54286 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
################
# More data... #
################
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 235955 0 0 0 237026 59 0 0 20 0 15 0 247156201 14431227904 872220 33554432000 4194304 4196468 140724911496096 139908507256768 139908118588372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14092996 memory=3488880 CPUtime=9.18 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 42250 0 0 0 845 73 0 0 20 0 15 0 247156202 14431227904 872220 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14092996 memory=3506844 CPUtime=9.17 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 46697 0 0 0 845 72 0 0 20 0 15 0 247156202 14431227904 872220 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14092996 memory=3503764 CPUtime=9.15 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 44384 0 0 0 842 73 0 0 20 0 15 0 247156202 14431227904 872220 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14092996 memory=3491448 CPUtime=9.18 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 44933 0 0 0 849 69 0 0 20 0 15 0 247156202 14431227904 872220 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14092996 memory=3490936 CPUtime=1.31 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 24078 0 0 0 113 18 0 0 20 0 15 0 247156203 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14092996 memory=3495040 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 247156203 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907414599008 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14092996 memory=3490420 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 247156204 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907413546624 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14092996 memory=14884 CPUtime=2.86 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) S 22267 22270 21941 0 -1 1077944384 19808 0 0 0 284 2 0 0 20 0 15 0 247156206 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907411441776 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14092996 memory=37172 CPUtime=2.75 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 22092 0 0 0 272 3 0 0 20 0 15 0 247156206 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14092996 memory=3488880 CPUtime=1.37 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 53695 0 0 0 132 5 0 0 20 0 15 0 247156206 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14092996 memory=7595428873444288367 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14092996 memory=6791534058613427641 CPUtime=1.28 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1849 0 0 0 58 70 0 0 20 0 15 0 247156207 14431227904 872220 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 2417.22 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3488880 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.49 1.47 3/215 22394
/proc/meminfo: memFree=20622628/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14092996 memory=3447312 CPUtime=2478.31 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 548736 0 0 0 247403 428 0 0 20 0 15 0 247156200 14431227904 861828 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3523249 861828 3626 1 0 3485321 0
[pid=22270/tid=22272] ppid=22267 vsize=14092996 memory=3474512 CPUtime=2430.42 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 239327 0 0 0 242983 59 0 0 20 0 15 0 247156201 14431227904 861828 33554432000 4194304 4196468 140724911496096 139908507256880 139908118587805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14092996 memory=3461172 CPUtime=9.53 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 44206 0 0 0 880 73 0 0 20 0 15 0 247156202 14431227904 861828 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14092996 memory=3468868 CPUtime=9.52 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 48243 0 0 0 880 72 0 0 20 0 15 0 247156202 14431227904 861828 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14092996 memory=3453468 CPUtime=9.51 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 45680 0 0 0 877 74 0 0 20 0 15 0 247156202 14431227904 861828 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14092996 memory=3452444 CPUtime=9.54 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 46304 0 0 0 884 70 0 0 20 0 15 0 247156202 14431227904 861828 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14092996 memory=11628 CPUtime=1.37 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 24604 0 0 0 118 19 0 0 20 0 15 0 247156203 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14092996 memory=3447312 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 247156203 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907414599008 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14092996 memory=3448340 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 247156204 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907413546624 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14092996 memory=3449876 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14092996 memory=3453468 CPUtime=2.86 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) S 22267 22270 21941 0 -1 1077944384 20572 0 0 0 284 2 0 0 20 0 15 0 247156206 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907411441776 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14092996 memory=6791534058613427641 CPUtime=2.75 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 22753 0 0 0 272 3 0 0 20 0 15 0 247156206 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14092996 memory=3447312 CPUtime=1.37 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 53701 0 0 0 132 5 0 0 20 0 15 0 247156206 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14092996 memory=7532 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14092996 memory=3452444 CPUtime=1.31 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1901 0 0 0 59 72 0 0 20 0 15 0 247156207 14431227904 861828 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 2478.31 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3447312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.3 s]
/proc/loadavg: 1.49 1.49 1.47 3/216 22482
/proc/meminfo: memFree=20809880/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14092996 memory=3432408 CPUtime=2520.04 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 557696 0 0 0 251571 433 0 0 20 0 15 0 247156200 14431227904 858102 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3523249 858102 3626 1 0 3485321 0
[pid=22270/tid=22272] ppid=22267 vsize=14092996 memory=3433972 CPUtime=2471.1 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 241453 0 0 0 247050 60 0 0 20 0 15 0 247156201 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908507256880 139908112814976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14092996 memory=0 CPUtime=9.78 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 45571 0 0 0 904 74 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14092996 memory=3430360 CPUtime=9.77 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 50097 0 0 0 904 73 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14092996 memory=3431388 CPUtime=9.76 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 47281 0 0 0 901 75 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14092996 memory=3433448 CPUtime=9.79 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 47741 0 0 0 908 71 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14092996 memory=3432408 CPUtime=1.42 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 25124 0 0 0 122 20 0 0 20 0 15 0 247156203 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14092996 memory=3432940 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 247156203 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907414599008 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14092996 memory=3434480 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 247156204 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907413546624 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14092996 memory=3434988 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14092996 memory=279300651481568 CPUtime=2.86 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) S 22267 22270 21941 0 -1 1077944384 20578 0 0 0 284 2 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907411441776 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14092996 memory=3432420 CPUtime=2.75 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 22757 0 0 0 272 3 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14092996 memory=3433960 CPUtime=1.37 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 53707 0 0 0 132 5 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14092996 memory=67284 CPUtime=1.33 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1942 0 0 0 60 73 0 0 20 0 15 0 247156207 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3432408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.34 s]
# the end of solver process 22270 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.74 s, system=4.35737 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.3 s]
/proc/loadavg: 1.49 1.49 1.47 3/216 22482
/proc/meminfo: memFree=20809880/32770624 swapFree=67108372/67108860
[pid=22270] ppid=22267 vsize=14092996 memory=3432408 CPUtime=2520.04 cores=1,3,5,7
/proc/22270/stat : 22270 (java) S 22267 22270 21941 0 -1 1077944320 557696 0 0 0 251571 433 0 0 20 0 15 0 247156200 14431227904 858102 33554432000 4194304 4196468 140724911496096 140724911478640 139908503019255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
/proc/22270/statm: 3523249 858102 3626 1 0 3485321 0
[pid=22270/tid=22272] ppid=22267 vsize=14092996 memory=3433972 CPUtime=2471.1 cores=1,3,5,7
/proc/22270/task/22272/stat : 22272 (java) R 22267 22270 21941 0 -1 4202560 241453 0 0 0 247050 60 0 0 20 0 15 0 247156201 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908507256880 139908112814976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22273] ppid=22267 vsize=14092996 memory=0 CPUtime=9.78 cores=1,3,5,7
/proc/22270/task/22273/stat : 22273 (java) S 22267 22270 21941 0 -1 1077944384 45571 0 0 0 904 74 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908433107344 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22274] ppid=22267 vsize=14092996 memory=3430360 CPUtime=9.77 cores=1,3,5,7
/proc/22270/task/22274/stat : 22274 (java) S 22267 22270 21941 0 -1 1077944384 50097 0 0 0 904 73 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908432054544 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22275] ppid=22267 vsize=14092996 memory=3431388 CPUtime=9.76 cores=1,3,5,7
/proc/22270/task/22275/stat : 22275 (java) S 22267 22270 21941 0 -1 1077944384 47281 0 0 0 901 75 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908431002256 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22276] ppid=22267 vsize=14092996 memory=3433448 CPUtime=9.79 cores=1,3,5,7
/proc/22270/task/22276/stat : 22276 (java) S 22267 22270 21941 0 -1 1077944384 47741 0 0 0 908 71 0 0 20 0 15 0 247156202 14431227904 858102 33554432000 4194304 4196468 140724911496096 139908429949456 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22277] ppid=22267 vsize=14092996 memory=3432408 CPUtime=1.42 cores=1,3,5,7
/proc/22270/task/22277/stat : 22277 (java) S 22267 22270 21941 0 -1 1077944384 25124 0 0 0 122 20 0 0 20 0 15 0 247156203 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907415652976 139908503030402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22278] ppid=22267 vsize=14092996 memory=3432940 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22278/stat : 22278 (java) S 22267 22270 21941 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 247156203 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907414599008 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22279] ppid=22267 vsize=14092996 memory=3434480 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22279/stat : 22279 (java) S 22267 22270 21941 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 247156204 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907413546624 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22280] ppid=22267 vsize=14092996 memory=3434988 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22280/stat : 22280 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907412494928 139908503037851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22281] ppid=22267 vsize=14092996 memory=279300651481568 CPUtime=2.86 cores=1,3,5,7
/proc/22270/task/22281/stat : 22281 (java) S 22267 22270 21941 0 -1 1077944384 20578 0 0 0 284 2 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907411441776 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22282] ppid=22267 vsize=14092996 memory=3432420 CPUtime=2.75 cores=1,3,5,7
/proc/22270/task/22282/stat : 22282 (java) S 22267 22270 21941 0 -1 1077944384 22757 0 0 0 272 3 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907410388976 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22283] ppid=22267 vsize=14092996 memory=3433960 CPUtime=1.37 cores=1,3,5,7
/proc/22270/task/22283/stat : 22283 (java) S 22267 22270 21941 0 -1 1077944384 53707 0 0 0 132 5 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907409336688 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22284] ppid=22267 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/22270/task/22284/stat : 22284 (java) S 22267 22270 21941 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 247156206 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907408284128 139908503029461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
[pid=22270/tid=22285] ppid=22267 vsize=14092996 memory=67284 CPUtime=1.33 cores=1,3,5,7
/proc/22270/task/22285/stat : 22285 (java) S 22267 22270 21941 0 -1 1077944384 1942 0 0 0 60 73 0 0 20 0 15 0 247156207 14431227904 858102 33554432000 4194304 4196468 140724911496096 139907407231920 139908503030402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 25948160 140724911498325 140724911498505 140724911498505 140724911501263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3432408 KiB
Child status: 143
Real time (s): 2483.34
CPU time (s): 2520.1
CPU user time (s): 2515.74
CPU system time (s): 4.35737
CPU usage (%): 101.48
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4264700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.74
system time used= 4.35737
maximum resident set size= 4264700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 559587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84283
involuntary context switches= 2253
# summary of solver processes directly reported to runsolver:
# pid: 22270
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.74
# total CPU system time (s): 4.35737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1163 second user time and 18.2804 second system time
The end
Begin job on node137 at 2018-08-15 03:18:50 IDJOB=4308519 IDBENCH=141250 IDSOLVER=2792 FILE ID=node137/4308519-1534295930 RUNJOBID= node137-1534293443-21973 PBS_JOBID= 21038143 Free space on /tmp= 29252 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 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-4308519-1534295930/watcher-4308519-1534295930 -o /tmp/evaluation-result-4308519-1534295930/solver-4308519-1534295930 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534293443-21973 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 176577189 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308519-1534295930.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f1e7a7a7866c79e3b2a53c7bc7dd539 RANDOM SEED=176577189 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24167572 kB MemAvailable: 31658028 kB Buffers: 151168 kB Cached: 7556780 kB SwapCached: 8 kB Active: 4234412 kB Inactive: 3765096 kB Active(anon): 238480 kB Inactive(anon): 113368 kB Active(file): 3995932 kB Inactive(file): 3651728 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108372 kB Dirty: 35984 kB Writeback: 20 kB AnonPages: 306828 kB Mapped: 69060 kB Shmem: 57848 kB Slab: 300204 kB SReclaimable: 271256 kB SUnreclaim: 28948 kB KernelStack: 3536 kB PageTables: 5728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1310692 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 29220 MiB End job on node137 at 2018-08-15 04:00:14