Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 19322 | 19929.6 | 2520.13 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml |
| MD5SUM | 870d89fd5d4ada0d2442065415f88ba8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 19322 |
| Best CPU time to get the best result obtained on this benchmark | 19929.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3192 |
| Number of constraints | 1541 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 56 |
| Distribution of domain sizes | [{"size":8,"count":1540},{"size":56,"count":56}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 56 |
| Distribution of variable degrees | [{"degree":0,"count":1596},{"degree":2,"count":1540},{"degree":56,"count":56}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 56 |
| Distribution of constraint arities | [{"arity":3,"count":1540},{"arity":56,"count":1}] |
| Number of extensional constraints | 1540 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1540},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297512-1532710291.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297512-1532710291.xml, -tl, 20160s, -p, 8] 0.12/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 44.19/17.02 c solve instance... 62.26/19.65 o 21325 63.74/19.86 o 21317 65.37/20.12 o 21291 65.37/20.15 o 21279 65.37/20.18 o 21241 65.37/20.20 o 21237 65.74/20.22 o 21231 65.74/20.28 o 21215 67.87/21.70 o 21201 67.98/21.74 o 21193 67.98/21.74 o 21069 115.90/27.93 o 20997 120.42/28.57 o 20929 148.00/32.54 o 20812 179.21/36.97 o 20808 179.21/37.00 o 20768 179.38/37.03 o 20766 180.84/38.32 o 20740 181.37/38.43 o 20702 181.37/38.46 o 20700 181.63/38.54 o 20650 181.98/38.67 o 20636 182.30/38.76 o 20513 182.30/38.79 o 20477 435.30/71.39 o 20459 435.96/71.81 o 20450 436.46/72.20 o 20419 1542.64/211.47 o 20415 1569.57/215.12 o 20326 2958.87/389.72 o 19845 2958.87/389.74 o 19801 2958.87/389.78 o 19775 2959.37/389.85 o 19743 2960.09/389.93 o 19692 2960.92/390.09 o 19680 2961.62/390.12 o 19654 3099.37/407.42 o 19623 3656.81/477.65 o 19557 3656.81/477.67 o 19533 3656.81/477.68 o 19509 3657.11/477.70 o 19461 3657.11/477.77 o 19448 3657.83/477.81 o 19437 3657.83/477.82 o 19419 3660.22/478.13 o 19408 3665.43/480.04 o 19407 9933.74/1265.92 o 19400 9937.26/1267.27 o 19392 9937.26/1267.28 o 19322 19928.78/2520.09 s SATISFIABLE 19928.78/2520.09 v <instantiation> 19928.78/2520.09 v <list>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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[51][52] d[51][53] d[51][54] d[51][55] d[52][53] d[52][54] d[52][55] d[53][54] d[53][55] d[54][55] </list> 19928.78/2520.09 v <values>27 14 17 8 18 13 35 23 37 34 16 22 25 5 52 21 1 48 32 40 42 26 36 49 11 29 9 50 28 30 53 7 46 41 38 39 44 51 6 10 2 33 47 45 12 19 20 0 54 31 43 55 4 3 24 15 5 0 2 0 10 2 10 0 0 5 6 5 5 0 5 5 5 0 5 2 0 5 5 3 5 0 0 5 0 0 2 10 1 0 6 0 0 0 0 5 1 0 1 1 0 5 10 2 10 5 5 6 0 0 1 10 0 0 1 2 2 1 2 10 0 6 0 0 5 1 2 0 1 0 0 2 1 3 0 5 0 2 5 5 2 0 4 0 5 0 0 4 0 1 0 0 10 0 0 2 1 1 2 0 1 5 10 5 0 2 6 2 6 2 0 10 1 10 4 0 1 0 5 5 3 1 3 0 5 0 5 3 0 1 0 5 0 0 10 2 5 5 1 1 0 5 0 0 5 0 10 0 0 2 2 6 10 2 5 2 2 0 1 5 5 10 4 2 0 5 1 0 0 0 10 0 10 1 1 5 5 10 5 10 4 6 1 1 0 5 0 10 3 10 0 5 2 0 2 1 0 1 0 2 0 4 2 0 5 5 2 3 10 2 1 0 4 0 10 5 0 2 5 2 5 0 6 5 0 0 5 0 1 1 0 0 2 0 1 10 5 5 2 2 1 1 2 1 1 2 5 0 0 1 2 0 0 5 0 1 1 5 2 1 0 10 10 1 5 0 2 2 0 10 2 0 10 2 10 0 4 3 0 10 0 0 1 2 4 5 0 5 5 0 2 0 5 2 5 0 0 2 2 1 1 2 0 5 0 5 0 5 0 4 2 3 5 10 3 0 2 5 10 0 1 1 1 1 2 5 1 1 0 2 10 10 10 5 5 5 2 3 0 0 4 1 5 5 0 0 0 0 5 2 2 5 0 5 5 5 2 5 2 1 5 0 6 10 10 10 5 2 1 1 5 0 2 2 0 10 0 2 0 0 2 1 10 5 0 2 0 0 2 2 5 0 2 0 2 2 5 0 3 0 10 0 2 5 1 0 5 2 2 2 10 2 10 10 4 5 0 5 0 0 0 5 3 1 0 0 1 5 0 3 0 1 0 2 0 4 0 2 0 5 0 0 0 5 0 0 0 5 2 1 1 2 0 2 1 1 5 0 1 1 0 0 0 1 0 4 0 0 0 2 0 5 1 10 2 1 0 5 1 0 5 6 2 0 1 0 5 2 0 5 5 0 0 5 5 4 4 1 2 0 0 10 5 1 1 5 0 2 4 1 1 10 1 0 1 5 1 10 0 5 2 0 1 3 5 2 5 0 0 0 1 0 10 6 2 10 1 2 0 0 1 0 0 0 0 0 5 1 0 10 2 0 5 1 0 1 2 1 0 10 0 10 10 0 1 2 1 2 0 5 2 5 5 4 1 2 5 0 2 0 2 0 4 1 0 2 2 2 2 2 10 3 0 2 0 2 2 10 5 2 2 0 1 2 2 5 0 2 0 0 0 5 0 0 1 1 2 3 4 0 5 0 10 5 1 2 1 0 2 2 0 0 4 2 10 10 5 1 1 1 2 5 0 2 0 0 0 5 2 5 1 0 2 0 2 10 1 1 2 0 0 0 10 0 10 5 3 10 2 1 1 1 4 2 0 10 0 4 5 0 0 10 5 6 5 0 2 2 3 1 1 5 0 5 0 5 5 2 0 2 0 6 0 0 1 5 4 1 1 4 0 0 0 10 1 3 0 5 5 5 5 5 0 5 1 5 3 1 2 5 0 5 0 0 0 0 10 10 2 10 1 5 0 0 0 2 0 0 2 5 0 2 1 1 4 2 0 3 0 1 10 2 0 10 10 5 0 0 1 0 5 3 1 2 1 5 0 0 5 0 0 2 6 0 0 2 1 0 0 1 5 0 5 1 2 5 2 1 10 0 0 0 6 6 5 1 0 0 0 3 6 2 5 0 0 1 10 10 0 0 1 0 0 1 5 0 0 0 5 0 0 0 2 0 10 2 1 5 5 5 5 1 10 2 10 0 5 5 2 2 0 1 2 0 0 0 6 2 2 0 0 2 1 4 0 2 10 1 2 4 2 6 0 5 5 0 0 10 4 2 3 3 5 5 3 5 2 0 2 1 3 5 5 5 2 0 0 2 1 0 5 0 4 2 0 0 5 1 2 0 0 0 1 3 10 2 1 4 0 0 5 10 0 1 2 0 2 0 5 0 0 0 2 10 2 0 3 0 0 0 2 5 2 10 1 3 0 3 1 0 0 6 0 6 0 10 5 0 5 2 1 0 1 5 10 0 5 2 5 5 0 5 1 0 10 2 6 4 0 5 10 5 2 5 5 3 3 0 5 5 4 10 0 10 0 0 5 4 5 10 2 0 0 1 2 1 2 0 5 0 10 6 1 3 0 10 2 2 2 2 3 5 0 5 0 6 2 5 0 5 0 10 5 5 0 3 5 0 5 5 1 2 2 0 5 0 5 1 5 5 0 5 1 2 0 6 2 10 3 10 5 2 1 5 1 0 5 5 5 1 0 2 2 10 0 1 5 0 10 1 0 0 3 2 10 10 5 0 0 4 5 1 1 1 10 0 5 2 2 0 0 5 3 0 2 0 2 2 5 10 2 6 2 0 0 3 1 2 5 10 1 0 1 0 5 0 0 5 0 0 5 0 4 0 0 2 0 2 1 5 2 1 2 2 2 6 2 0 2 0 2 1 0 2 5 0 0 2 0 2 2 10 1 3 0 0 5 10 4 0 0 5 0 2 10 0 5 3 0 10 1 10 6 1 0 1 1 5 5 0 2 10 0 6 0 2 3 0 0 0 0 5 0 0 1 10 0 5 0 5 2 5 0 2 0 2 3 0 0 1 0 1 5 5 0 0 3 0 1 1 0 5 2 1 10 1 2 0 1 1 2 4 6 10 0 0 5 3 0 5 2 2 5 0 5 10 1 4 5 4 2 2 0 0 2 2 0 5 5 2 5 0 5 0 5 1 0 2 1 5 0 0 5 0 0 0 2 0 1 5 3 2 0 5 0 1 1 5 2 5 10 0 2 5 1 5 2 4 0 0 1 5 5 2 0 1 0 4 5 2 0 5 2 1 2 0 2 10 2 2 0 0 2 2 10 2 0 5 0 0 5 0 5 0 0 0 0 2 2 0 0 2 10 0 4 3 5 0 1 0 10 5 4 5 0 10 0 5 0 5 0 0 5 0 2 5 0 10 5 5 2 3 1 10 0 6 0 0 10 4 4 5 0 2 5 0 1 10 2 6 0 0 1 1 1 1 10 0 4 5 5 5 10 0 0 0 0 0 5 1 0 2 0 10 10 5 2 5 1 1 1 10 10 6 5 1 0 4 2 3 0 10 5 5 2 2 4 5 0 10 0 5 1 0 10 5 2 2 1 0 5 2 1 5 5 2 2 10 5 4 1 5 0 5 2 10 10 2 0 5 0 1 5 1 10 0 0 10 10 0 5 4 2 0 1 5 0 2 10 10 1 5 1 1 0 4 0 5 5 2 5 3 10 0 5 2 0 10 5 4 3 2 5 0 5 5 10 5 1 5 5 2 2 10 5 5 </values> 19928.78/2520.09 v </instantiation> 19928.78/2520.09 c Unexpected resolution interruption!
OK 19322
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 (13154 MiB free)
memory of node 1: 16384 MiB (13711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297512-1532710291/watcher-4297512-1532710291 -o /tmp/evaluation-result-4297512-1532710291/solver-4297512-1532710291 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532702492-14629 --watchdog 2580 HOME/xcsp3-exec -seed 1997452006 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297512-1532710291.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17266, runsolver pid=17263
Current StackSize limit: 8192 KiB
[startup+0.100114 s]*
/proc/loadavg: 7.33 8.04 8.24 3/205 17287
/proc/meminfo: memFree=27494704/32770624 swapFree=67108856/67108860
[pid=17266] ppid=17263 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17266/stat : 17266 (xcsp3-exec) S 17263 17266 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88592298 115843072 363 33554432000 4194304 5098028 140723263361152 140723263359256 140441114063484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21012480 140723263366197 140723263366400 140723263366400 140723263369162 0
/proc/17266/statm: 28282 363 305 221 0 87 0
[pid=17268] ppid=17266 vsize=26104152 memory=27548 CPUtime=0.12 cores=0-7
/proc/17268/stat : 17268 (java) S 17266 17266 14602 0 -1 1077944320 5821 0 0 0 10 2 0 0 20 0 20 0 88592299 26730651648 6887 33554432000 4194304 4196468 140732064584224 140732064566768 140467237392119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
/proc/17268/statm: 6526038 6887 3002 1 0 6488315 0
[pid=17268/tid=17269] ppid=17266 vsize=26104152 memory=7826018585602335133 CPUtime=0.09 cores=0-7
/proc/17268/task/17269/stat : 17269 (java) R 17266 17266 14602 0 -1 4202560 3832 0 0 0 8 1 0 0 20 0 20 0 88592299 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467241611096 140467237404054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17270] ppid=17266 vsize=26104152 memory=732369788715723749 CPUtime=0 cores=0-7
/proc/17268/task/17270/stat : 17270 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467190012560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17271] ppid=17266 vsize=26104152 memory=139650378270336 CPUtime=0 cores=0-7
/proc/17268/task/17271/stat : 17271 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467188959760 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17272] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17272/stat : 17272 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467187906960 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17273] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17273/stat : 17273 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467186854160 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17274] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17274/stat : 17274 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467185802384 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17275] ppid=17266 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17268/task/17275/stat : 17275 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467184749584 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17276] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17276/stat : 17276 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467183696784 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17277] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17277/stat : 17277 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 6887 33554432000 4194304 4196468 140732064584224 140467182643984 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17278] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17278/stat : 17278 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592301 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466297219440 140467237403266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17279] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17279/stat : 17279 (java) S 17266 17266 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88592302 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466296165408 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17280] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17280/stat : 17280 (java) S 17266 17266 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88592302 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466295112560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17281] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17281/stat : 17281 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592304 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466294060880 140467237410715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17282] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17282/stat : 17282 (java) S 17266 17266 14602 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 88592304 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466293009264 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17283] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17283/stat : 17283 (java) S 17266 17266 14602 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88592304 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466291956464 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17284] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17284/stat : 17284 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592304 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466290903664 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17285] ppid=17266 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17268/task/17285/stat : 17285 (java) S 17266 17266 14602 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 88592304 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466289850864 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17286] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17286/stat : 17286 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88592305 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466288798304 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17287] ppid=17266 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17268/task/17287/stat : 17287 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592305 26730651648 6887 33554432000 4194304 4196468 140732064584224 140466287745584 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29000 KiB
[startup+0.210862 s]*
/proc/loadavg: 7.33 8.04 8.24 3/205 17287
/proc/meminfo: memFree=27484488/32770624 swapFree=67108856/67108860
[pid=17266] ppid=17263 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17266/stat : 17266 (xcsp3-exec) S 17263 17266 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88592298 115843072 363 33554432000 4194304 5098028 140723263361152 140723263359256 140441114063484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21012480 140723263366197 140723263366400 140723263366400 140723263369162 0
/proc/17266/statm: 28282 363 305 221 0 87 0
[pid=17268] ppid=17266 vsize=26104152 memory=39032 CPUtime=0.34 cores=0-7
/proc/17268/stat : 17268 (java) S 17266 17266 14602 0 -1 1077944320 8378 0 0 0 31 3 0 0 20 0 20 0 88592299 26730651648 9758 33554432000 4194304 4196468 140732064584224 140732064566768 140467237392119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
/proc/17268/statm: 6526038 9758 3184 1 0 6488315 0
[pid=17268/tid=17269] ppid=17266 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/17268/task/17269/stat : 17269 (java) R 17266 17266 14602 0 -1 4202560 5600 0 0 0 18 1 0 0 20 0 20 0 88592299 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467241626656 140467221472606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17270] ppid=17266 vsize=26104152 memory=279300635920120 CPUtime=0 cores=0-7
/proc/17268/task/17270/stat : 17270 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467190012560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17271] ppid=17266 vsize=26104152 memory=139650378270336 CPUtime=0 cores=0-7
/proc/17268/task/17271/stat : 17271 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467188959760 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17272] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17272/stat : 17272 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467187906960 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17273] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17273/stat : 17273 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467186854160 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17274] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17274/stat : 17274 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467185802384 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17275] ppid=17266 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17268/task/17275/stat : 17275 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467184749584 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17276] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17276/stat : 17276 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467183696784 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17277] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17277/stat : 17277 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26730651648 9758 33554432000 4194304 4196468 140732064584224 140467182643984 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17278] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17278/stat : 17278 (java) S 17266 17266 14602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88592301 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466297219440 140467237403266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17279] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17279/stat : 17279 (java) S 17266 17266 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88592302 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466296165408 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17280] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17280/stat : 17280 (java) S 17266 17266 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88592302 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466295112560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17281] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17281/stat : 17281 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592304 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466294060880 140467237410715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17282] ppid=17266 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17268/task/17282/stat : 17282 (java) S 17266 17266 14602 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 20 0 88592304 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466293009264 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17283] ppid=17266 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/17268/task/17283/stat : 17283 (java) S 17266 17266 14602 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 20 0 88592304 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466291956464 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17284] ppid=17266 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/17268/task/17284/stat : 17284 (java) S 17266 17266 14602 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 88592304 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466290903664 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17285] ppid=17266 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/17268/task/17285/stat : 17285 (java) S 17266 17266 14602 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 20 0 88592304 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466289850864 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17286] ppid=17266 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17286/stat : 17286 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88592305 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466288798304 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17287] ppid=17266 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/17268/task/17287/stat : 17287 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592305 26730651648 9758 33554432000 4194304 4196468 140732064584224 140466287745584 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40484 KiB
[startup+0.312174 s]*
/proc/loadavg: 7.33 8.04 8.24 3/205 17287
/proc/meminfo: memFree=27477664/32770624 swapFree=67108856/67108860
[pid=17266] ppid=17263 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17266/stat : 17266 (xcsp3-exec) S 17263 17266 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88592298 115843072 363 33554432000 4194304 5098028 140723263361152 140723263359256 140441114063484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21012480 140723263366197 140723263366400 140723263366400 140723263369162 0
/proc/17266/statm: 28282 363 305 221 0 87 0
[pid=17268] ppid=17266 vsize=26108408 memory=46360 CPUtime=0.53 cores=0-7
/proc/17268/stat : 17268 (java) S 17266 17266 14602 0 -1 1077944320 9349 0 0 0 49 4 0 0 20 0 20 0 88592299 26735009792 11590 33554432000 4194304 4196468 140732064584224 140732064566768 140467237392119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
/proc/17268/statm: 6527102 11590 3223 1 0 6488315 0
[pid=17268/tid=17269] ppid=17266 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17268/task/17269/stat : 17269 (java) R 17266 17266 14602 0 -1 4202560 6319 0 0 0 27 2 0 0 20 0 20 0 88592299 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467241625904 140467221472606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17270] ppid=17266 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17270/stat : 17270 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467190012560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17271] ppid=17266 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17271/stat : 17271 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467188959760 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17272] ppid=17266 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17272/stat : 17272 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467187906960 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17273] ppid=17266 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17273/stat : 17273 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467186854160 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17274] ppid=17266 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/17268/task/17274/stat : 17274 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467185802384 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17275] ppid=17266 vsize=26108408 memory=139650257744815 CPUtime=0 cores=0-7
/proc/17268/task/17275/stat : 17275 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467184749584 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17276] ppid=17266 vsize=26108408 memory=139650257747120 CPUtime=0 cores=0-7
/proc/17268/task/17276/stat : 17276 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467183696784 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17277] ppid=17266 vsize=26108408 memory=139650257749424 CPUtime=0 cores=0-7
/proc/17268/task/17277/stat : 17277 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26735009792 11590 33554432000 4194304 4196468 140732064584224 140467182643984 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17278] ppid=17266 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17278/stat : 17278 (java) S 17266 17266 14602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88592301 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466297219440 140467237403266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17279] ppid=17266 vsize=26108408 memory=279300515505808 CPUtime=0 cores=0-7
/proc/17268/task/17279/stat : 17279 (java) S 17266 17266 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88592302 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466296165408 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17280] ppid=17266 vsize=26108408 memory=279300515512720 CPUtime=0 cores=0-7
/proc/17268/task/17280/stat : 17280 (java) S 17266 17266 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88592302 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466295112560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17281] ppid=17266 vsize=26108408 memory=279300515454000 CPUtime=0 cores=0-7
/proc/17268/task/17281/stat : 17281 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592304 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466294060880 140467237410715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17282] ppid=17266 vsize=26108408 memory=279300515526544 CPUtime=0.03 cores=0-7
/proc/17268/task/17282/stat : 17282 (java) S 17266 17266 14602 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 20 0 88592304 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466293009264 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17283] ppid=17266 vsize=26108408 memory=279300515533456 CPUtime=0.03 cores=0-7
/proc/17268/task/17283/stat : 17283 (java) S 17266 17266 14602 0 -1 1077944384 252 0 0 0 3 0 0 0 20 0 20 0 88592304 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466291956464 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17284] ppid=17266 vsize=26108408 memory=279300515531152 CPUtime=0.02 cores=0-7
/proc/17268/task/17284/stat : 17284 (java) S 17266 17266 14602 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 88592304 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466290903664 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17285] ppid=17266 vsize=26108408 memory=279300515547312 CPUtime=0.12 cores=0-7
/proc/17268/task/17285/stat : 17285 (java) S 17266 17266 14602 0 -1 1077944384 904 0 0 0 12 0 0 0 20 0 20 0 88592304 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466289850864 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17286] ppid=17266 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/17268/task/17286/stat : 17286 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88592305 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466288798304 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17287] ppid=17266 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/17268/task/17287/stat : 17287 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592305 26735009792 11590 33554432000 4194304 4196468 140732064584224 140466287745584 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47812 KiB
[startup+0.700982 s]
/proc/loadavg: 7.33 8.04 8.24 4/205 17287
/proc/meminfo: memFree=27453532/32770624 swapFree=67108856/67108860
[pid=17266] ppid=17263 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17266/stat : 17266 (xcsp3-exec) S 17263 17266 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88592298 115843072 363 33554432000 4194304 5098028 140723263361152 140723263359256 140441114063484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21012480 140723263366197 140723263366400 140723263366400 140723263369162 0
/proc/17266/statm: 28282 363 305 221 0 87 0
[pid=17268] ppid=17266 vsize=26110532 memory=95532 CPUtime=1.95 cores=0-7
/proc/17268/stat : 17268 (java) S 17266 17266 14602 0 -1 1077944320 14395 0 0 0 189 6 0 0 20 0 20 0 88592299 26737184768 23883 33554432000 4194304 4196468 140732064584224 140732064566768 140467237392119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
/proc/17268/statm: 6527633 23883 3353 1 0 6488827 0
[pid=17268/tid=17269] ppid=17266 vsize=26110532 memory=279300515842176 CPUtime=0.67 cores=0-7
/proc/17268/task/17269/stat : 17269 (java) R 17266 17266 14602 0 -1 4202560 6958 0 0 0 64 3 0 0 20 0 20 0 88592299 26737184768 23883 33554432000 4194304 4196468 140732064584224 140467241614208 140466859679876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17270] ppid=17266 vsize=26110532 memory=796 CPUtime=0 cores=0-7
/proc/17268/task/17270/stat : 17270 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26737184768 23883 33554432000 4194304 4196468 140732064584224 140467190012560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17271] ppid=17266 vsize=26110532 memory=1712 CPUtime=0 cores=0-7
/proc/17268/task/17271/stat : 17271 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88592300 26737184768 23883 33554432000 4194304 4196468 140732064584224 140467188959760 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17272] ppid=17266 vsize=26110532 memory=11860 CPUtime=0 cores=0-7
/proc/17268/task/17272/stat : 17272 (java) S 17266 17266 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88592300 26737184768 23883 33554432000 4194304 4196468 140732064584224 140467187906960 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
################
# More data... #
################
[pid=17268/tid=17732] ppid=17266 vsize=26645092 memory=1452 CPUtime=1167.83 cores=0-7
/proc/17268/task/17732/stat : 17732 (java) R 17266 17266 14602 0 -1 4202560 10200 0 0 0 116778 5 0 0 20 0 28 0 88719027 27284574208 676998 33554432000 4194304 4196468 140732064584224 140466277043992 140466863165209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
Current children cumulated CPU time: 19309.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 2709444 KiB
[startup+2502.3 s]
/proc/loadavg: 8.06 8.25 8.30 9/213 17753
/proc/meminfo: memFree=24816064/32770624 swapFree=67108856/67108860
[pid=17266] ppid=17263 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17266/stat : 17266 (xcsp3-exec) S 17263 17266 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88592298 115843072 363 33554432000 4194304 5098028 140723263361152 140723263359256 140441114063484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21012480 140723263366197 140723263366400 140723263366400 140723263369162 0
/proc/17266/statm: 28282 363 305 221 0 87 0
[pid=17268] ppid=17266 vsize=26645092 memory=2700928 CPUtime=19787.5 cores=0-7
/proc/17268/stat : 17268 (java) S 17266 17266 14602 0 -1 1077944320 769492 0 0 0 1976960 1793 0 0 20 0 28 0 88592299 27284574208 675232 33554432000 4194304 4196468 140732064584224 140732064566768 140467237392119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
/proc/17268/statm: 6661273 675232 3468 1 0 6622467 0
[pid=17268/tid=17269] ppid=17266 vsize=26645092 memory=2702464 CPUtime=13.49 cores=0-7
/proc/17268/task/17269/stat : 17269 (java) S 17266 17266 14602 0 -1 1077944384 13186 0 0 0 1337 12 0 0 20 0 28 0 88592299 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467241632896 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17270] ppid=17266 vsize=26645092 memory=2706008 CPUtime=9.29 cores=0-7
/proc/17268/task/17270/stat : 17270 (java) S 17266 17266 14602 0 -1 1077944384 19239 0 0 0 795 134 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467190012560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17271] ppid=17266 vsize=26645092 memory=2702468 CPUtime=9.22 cores=0-7
/proc/17268/task/17271/stat : 17271 (java) S 17266 17266 14602 0 -1 1077944384 19051 0 0 0 790 132 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467188959760 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17272] ppid=17266 vsize=26645092 memory=2702468 CPUtime=9.24 cores=0-7
/proc/17268/task/17272/stat : 17272 (java) S 17266 17266 14602 0 -1 1077944384 19048 0 0 0 802 122 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467187906960 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17273] ppid=17266 vsize=26645092 memory=2700932 CPUtime=9.3 cores=0-7
/proc/17268/task/17273/stat : 17273 (java) S 17266 17266 14602 0 -1 1077944384 19761 0 0 0 809 121 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467186854160 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17274] ppid=17266 vsize=26645092 memory=2702464 CPUtime=9.17 cores=0-7
/proc/17268/task/17274/stat : 17274 (java) S 17266 17266 14602 0 -1 1077944384 19962 0 0 0 793 124 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467185802384 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17275] ppid=17266 vsize=26645092 memory=2702464 CPUtime=9.28 cores=0-7
/proc/17268/task/17275/stat : 17275 (java) S 17266 17266 14602 0 -1 1077944384 18690 0 0 0 806 122 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467184749584 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17276] ppid=17266 vsize=26645092 memory=2700928 CPUtime=9.31 cores=0-7
/proc/17268/task/17276/stat : 17276 (java) S 17266 17266 14602 0 -1 1077944384 17315 0 0 0 803 128 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467183696784 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17277] ppid=17266 vsize=26645092 memory=2700928 CPUtime=9.3 cores=0-7
/proc/17268/task/17277/stat : 17277 (java) S 17266 17266 14602 0 -1 1077944384 19721 0 0 0 796 134 0 0 20 0 28 0 88592300 27284574208 675232 33554432000 4194304 4196468 140732064584224 140467182643984 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17278] ppid=17266 vsize=26645092 memory=1452 CPUtime=0.77 cores=0-7
/proc/17268/task/17278/stat : 17278 (java) S 17266 17266 14602 0 -1 1077944384 23261 0 0 0 63 14 0 0 20 0 28 0 88592301 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466297219440 140467237403266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17279] ppid=17266 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/17268/task/17279/stat : 17279 (java) S 17266 17266 14602 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88592302 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466296165472 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17280] ppid=17266 vsize=26645092 memory=4036 CPUtime=0 cores=0-7
/proc/17268/task/17280/stat : 17280 (java) S 17266 17266 14602 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 88592302 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466295112576 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17281] ppid=17266 vsize=26645092 memory=2700928 CPUtime=0 cores=0-7
/proc/17268/task/17281/stat : 17281 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88592304 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466294060880 140467237410715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17282] ppid=17266 vsize=26645092 memory=1452 CPUtime=3.99 cores=0-7
/proc/17268/task/17282/stat : 17282 (java) S 17266 17266 14602 0 -1 1077944384 38731 0 0 0 390 9 0 0 20 0 28 0 88592304 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466293009264 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17283] ppid=17266 vsize=26645092 memory=1452 CPUtime=4.48 cores=0-7
/proc/17268/task/17283/stat : 17283 (java) S 17266 17266 14602 0 -1 1077944384 42318 0 0 0 440 8 0 0 20 0 28 0 88592304 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466291956464 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17284] ppid=17266 vsize=26645092 memory=1452 CPUtime=4.37 cores=0-7
/proc/17268/task/17284/stat : 17284 (java) S 17266 17266 14602 0 -1 1077944384 38971 0 0 0 431 6 0 0 20 0 28 0 88592304 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466290903664 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17285] ppid=17266 vsize=26645092 memory=2702464 CPUtime=1.17 cores=0-7
/proc/17268/task/17285/stat : 17285 (java) S 17266 17266 14602 0 -1 1077944384 31264 0 0 0 111 6 0 0 20 0 28 0 88592304 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466289850864 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17286] ppid=17266 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/17268/task/17286/stat : 17286 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88592305 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466288798304 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17287] ppid=17266 vsize=26645092 memory=2700928 CPUtime=1.11 cores=0-7
/proc/17268/task/17287/stat : 17287 (java) S 17266 17266 14602 0 -1 1077944384 4458 0 0 0 30 81 0 0 20 0 28 0 88592305 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466287745584 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17725] ppid=17266 vsize=26645092 memory=4036 CPUtime=1232.21 cores=0-7
/proc/17268/task/17725/stat : 17725 (java) R 17266 17266 14602 0 -1 4202560 8520 0 0 0 123219 2 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466274938120 140466862450218 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17726] ppid=17266 vsize=26645092 memory=2092 CPUtime=1226.53 cores=0-7
/proc/17268/task/17726/stat : 17726 (java) R 17266 17266 14602 0 -1 4202560 11296 0 0 0 122647 6 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466279149240 140466863163997 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17727] ppid=17266 vsize=26645092 memory=7380 CPUtime=1232.8 cores=0-7
/proc/17268/task/17727/stat : 17727 (java) R 17266 17266 14602 0 -1 4202560 11913 0 0 0 123270 10 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466272833856 140466862863920 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17728] ppid=17266 vsize=26645092 memory=1388 CPUtime=1227.84 cores=0-7
/proc/17268/task/17728/stat : 17728 (java) R 17266 17266 14602 0 -1 4202560 12258 0 0 0 122768 16 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466275992088 140466863163243 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17729] ppid=17266 vsize=26645092 memory=1232 CPUtime=1232.69 cores=0-7
/proc/17268/task/17729/stat : 17729 (java) R 17266 17266 14602 0 -1 4202560 10402 0 0 0 123265 4 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466273889216 140466863600991 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17730] ppid=17266 vsize=26645092 memory=1452 CPUtime=1224.37 cores=0-7
/proc/17268/task/17730/stat : 17730 (java) R 17266 17266 14602 0 -1 4202560 7997 0 0 0 122427 10 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466271781144 140466862450241 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17731] ppid=17266 vsize=26645092 memory=1452 CPUtime=1232.93 cores=0-7
/proc/17268/task/17731/stat : 17731 (java) R 17266 17266 14602 0 -1 4202560 20988 0 0 0 123259 34 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466278096696 140466863162409 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17732] ppid=17266 vsize=26645092 memory=2700928 CPUtime=1227.65 cores=0-7
/proc/17268/task/17732/stat : 17732 (java) R 17266 17266 14602 0 -1 4202560 10477 0 0 0 122760 5 0 0 20 0 28 0 88719027 27284574208 675232 33554432000 4194304 4196468 140732064584224 140466277043992 140466862450311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
Current children cumulated CPU time: 19787.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 2702380 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.05 8.24 8.29 9/213 17753
/proc/meminfo: memFree=24819272/32770624 swapFree=67108856/67108860
[pid=17266] ppid=17263 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/17266/stat : 17266 (xcsp3-exec) S 17263 17266 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88592298 115843072 363 33554432000 4194304 5098028 140723263361152 140723263359256 140441114063484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21012480 140723263366197 140723263366400 140723263366400 140723263369162 0
/proc/17266/statm: 28282 363 305 221 0 87 0
[pid=17268] ppid=17266 vsize=26645092 memory=2698540 CPUtime=19928.8 cores=0-7
/proc/17268/stat : 17268 (java) S 17266 17266 14602 0 -1 1077944320 772039 0 0 0 1991083 1795 0 0 20 0 28 0 88592299 27284574208 674635 33554432000 4194304 4196468 140732064584224 140732064566768 140467237392119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
/proc/17268/statm: 6661273 674635 3468 1 0 6622467 0
[pid=17268/tid=17269] ppid=17266 vsize=26645092 memory=6791534058613427641 CPUtime=13.49 cores=0-7
/proc/17268/task/17269/stat : 17269 (java) S 17266 17266 14602 0 -1 1077944384 13186 0 0 0 1337 12 0 0 20 0 28 0 88592299 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467241632896 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17270] ppid=17266 vsize=26645092 memory=-7003737579269690708 CPUtime=9.33 cores=0-7
/proc/17268/task/17270/stat : 17270 (java) S 17266 17266 14602 0 -1 1077944384 19733 0 0 0 799 134 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467190012560 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17271] ppid=17266 vsize=26645092 memory=1012 CPUtime=9.27 cores=0-7
/proc/17268/task/17271/stat : 17271 (java) S 17266 17266 14602 0 -1 1077944384 19125 0 0 0 795 132 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467188959760 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17272] ppid=17266 vsize=26645092 memory=1452 CPUtime=9.28 cores=0-7
/proc/17268/task/17272/stat : 17272 (java) S 17266 17266 14602 0 -1 1077944384 19156 0 0 0 806 122 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467187906960 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17273] ppid=17266 vsize=26645092 memory=1452 CPUtime=9.34 cores=0-7
/proc/17268/task/17273/stat : 17273 (java) S 17266 17266 14602 0 -1 1077944384 19845 0 0 0 813 121 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467186854160 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17274] ppid=17266 vsize=26645092 memory=2699052 CPUtime=9.21 cores=0-7
/proc/17268/task/17274/stat : 17274 (java) S 17266 17266 14602 0 -1 1077944384 20012 0 0 0 797 124 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467185802384 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17275] ppid=17266 vsize=26645092 memory=644 CPUtime=9.32 cores=0-7
/proc/17268/task/17275/stat : 17275 (java) S 17266 17266 14602 0 -1 1077944384 19070 0 0 0 810 122 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467184749584 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17276] ppid=17266 vsize=26645092 memory=956 CPUtime=9.35 cores=0-7
/proc/17268/task/17276/stat : 17276 (java) S 17266 17266 14602 0 -1 1077944384 17358 0 0 0 807 128 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467183696784 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17277] ppid=17266 vsize=26645092 memory=2320 CPUtime=9.35 cores=0-7
/proc/17268/task/17277/stat : 17277 (java) S 17266 17266 14602 0 -1 1077944384 19786 0 0 0 801 134 0 0 20 0 28 0 88592300 27284574208 674635 33554432000 4194304 4196468 140732064584224 140467182643984 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17278] ppid=17266 vsize=26645092 memory=1572 CPUtime=0.77 cores=0-7
/proc/17268/task/17278/stat : 17278 (java) S 17266 17266 14602 0 -1 1077944384 23454 0 0 0 63 14 0 0 20 0 28 0 88592301 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466297219440 140467237403266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17279] ppid=17266 vsize=26645092 memory=928 CPUtime=0 cores=0-7
/proc/17268/task/17279/stat : 17279 (java) S 17266 17266 14602 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88592302 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466296165472 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17280] ppid=17266 vsize=26645092 memory=2244 CPUtime=0 cores=0-7
/proc/17268/task/17280/stat : 17280 (java) S 17266 17266 14602 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 88592302 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466295112576 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17281] ppid=17266 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/17268/task/17281/stat : 17281 (java) S 17266 17266 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88592304 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466294060880 140467237410715 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17282] ppid=17266 vsize=26645092 memory=1012 CPUtime=3.99 cores=0-7
/proc/17268/task/17282/stat : 17282 (java) S 17266 17266 14602 0 -1 1077944384 38733 0 0 0 390 9 0 0 20 0 28 0 88592304 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466293009264 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17283] ppid=17266 vsize=26645092 memory=1948 CPUtime=4.48 cores=0-7
/proc/17268/task/17283/stat : 17283 (java) S 17266 17266 14602 0 -1 1077944384 42320 0 0 0 440 8 0 0 20 0 28 0 88592304 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466291956464 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17284] ppid=17266 vsize=26645092 memory=1188 CPUtime=4.37 cores=0-7
/proc/17268/task/17284/stat : 17284 (java) S 17266 17266 14602 0 -1 1077944384 38973 0 0 0 431 6 0 0 20 0 28 0 88592304 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466290903664 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17285] ppid=17266 vsize=26645092 memory=1452 CPUtime=1.17 cores=0-7
/proc/17268/task/17285/stat : 17285 (java) S 17266 17266 14602 0 -1 1077944384 31266 0 0 0 111 6 0 0 20 0 28 0 88592304 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466289850864 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17286] ppid=17266 vsize=26645092 memory=2698540 CPUtime=0 cores=0-7
/proc/17268/task/17286/stat : 17286 (java) S 17266 17266 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88592305 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466288798304 140467237402325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17287] ppid=17266 vsize=26645092 memory=2699052 CPUtime=1.12 cores=0-7
/proc/17268/task/17287/stat : 17287 (java) S 17266 17266 14602 0 -1 1077944384 4471 0 0 0 30 82 0 0 20 0 28 0 88592305 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466287745584 140467237403266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17725] ppid=17266 vsize=26645092 memory=6791534058613427641 CPUtime=1249.87 cores=0-7
/proc/17268/task/17725/stat : 17725 (java) R 17266 17266 14602 0 -1 4202560 8549 0 0 0 124985 2 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466274937640 140466862450306 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17726] ppid=17266 vsize=26645092 memory=-7003737579269690708 CPUtime=1244.18 cores=0-7
/proc/17268/task/17726/stat : 17726 (java) R 17266 17266 14602 0 -1 4202560 11387 0 0 0 124412 6 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466279149912 140466863163012 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17727] ppid=17266 vsize=26645092 memory=1452 CPUtime=1250.45 cores=0-7
/proc/17268/task/17727/stat : 17727 (java) R 17266 17266 14602 0 -1 4202560 11939 0 0 0 125035 10 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466272834088 140466862450186 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17728] ppid=17266 vsize=26645092 memory=2700480 CPUtime=1245.11 cores=0-7
/proc/17268/task/17728/stat : 17728 (java) R 17266 17266 14602 0 -1 4202560 12518 0 0 0 124495 16 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466275991744 140466859187111 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17729] ppid=17266 vsize=26645092 memory=6791534058613427641 CPUtime=1250.35 cores=0-7
/proc/17268/task/17729/stat : 17729 (java) R 17266 17266 14602 0 -1 4202560 10427 0 0 0 125031 4 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466273886504 140466862450186 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17730] ppid=17266 vsize=26645092 memory=836 CPUtime=1242.03 cores=0-7
/proc/17268/task/17730/stat : 17730 (java) R 17266 17266 14602 0 -1 4202560 8007 0 0 0 124193 10 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466271783920 140466863163866 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17731] ppid=17266 vsize=26645092 memory=1800 CPUtime=1250.59 cores=0-7
/proc/17268/task/17731/stat : 17731 (java) R 17266 17266 14602 0 -1 4202560 21336 0 0 0 125024 35 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466278096696 140466863163421 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
[pid=17268/tid=17732] ppid=17266 vsize=26645092 memory=2699052 CPUtime=1245.3 cores=0-7
/proc/17268/task/17732/stat : 17732 (java) R 17266 17266 14602 0 -1 4202560 10723 0 0 0 124525 5 0 0 20 0 28 0 88719027 27284574208 674635 33554432000 4194304 4196468 140732064584224 140466277043992 140466862450311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24350720 140732064588929 140732064589101 140732064589101 140732064591823 0
Current children cumulated CPU time: 19928.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 2699992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 17266 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00223 s, system=0 s
[startup+2520.13 s]
# the end of solver process 17268 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19911.7 s, system=17.9678 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.13
CPU time (s): 19929.6
CPU user time (s): 19911.7
CPU system time (s): 17.9678
CPU usage (%): 790.818
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 4650772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19911.7
system time used= 17.9678
maximum resident set size= 4649444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 773057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78111
involuntary context switches= 235217
# summary of solver processes directly reported to runsolver:
# pid: 17266,17268
# total CPU time (s): 19929.6
# total CPU user time (s): 19911.7
# total CPU system time (s): 17.9678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7028 second user time and 32.5697 second system time
The end
Begin job on node133 at 2018-07-27 18:51:31 IDJOB=4297512 IDBENCH=141242 IDSOLVER=2760 FILE ID=node133/4297512-1532710291 RUNJOBID= node133-1532702492-14629 PBS_JOBID= 21022300 Free space on /tmp= 48252 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko56_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297512-1532710291/watcher-4297512-1532710291 -o /tmp/evaluation-result-4297512-1532710291/solver-4297512-1532710291 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532702492-14629 --watchdog 2580 HOME/xcsp3-exec -seed 1997452006 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297512-1532710291.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 870d89fd5d4ada0d2442065415f88ba8 RANDOM SEED=1997452006 node133.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.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27511780 kB MemAvailable: 31947796 kB Buffers: 155792 kB Cached: 4528632 kB SwapCached: 0 kB Active: 2138660 kB Inactive: 2598548 kB Active(anon): 3956 kB Inactive(anon): 76692 kB Active(file): 2134704 kB Inactive(file): 2521856 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 21892 kB Writeback: 4 kB AnonPages: 58480 kB Mapped: 39852 kB Shmem: 25244 kB Slab: 217816 kB SReclaimable: 190584 kB SUnreclaim: 27232 kB KernelStack: 3264 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48228 MiB End job on node133 at 2018-07-27 19:33:32