0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271851-1502648793.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271851-1502648793.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
14.42/4.33 c solve instance...
28.51/6.25 o 45
29.87/6.43 o 44
30.55/6.60 o 43
41.58/7.93 o 42
195.97/27.68 o 41
1592.74/252.01 s SATISFIABLE
1592.74/252.01 v <instantiation>
1592.74/252.01 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46] </list>
1592.74/252.02 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 32 32 32 32 32 32 32 32 32 32 32 32 32 32 33 33 33 33 33 33 33 33 33 33 33 33 33 34 34 34 34 34 34 34 34 34 34 34 34 35 35 35 35 35 35 35 35 35 35 35 36 36 36 36 36 36 36 36 36 36 37 37 37 37 37 37 37 37 37 38 38 38 38 38 38 38 38 39 39 39 39 39 40 40 41 40 40 41 39 39 40 41 40 39 39 41 41 39 39 40 39 39 39 39 41 </values>
1592.74/252.02 v </instantiation>
1592.74/252.02 c Unexpected resolution interruption!
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 (15331 MiB free)
memory of node 1: 16384 MiB (15438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271851-1502648793/watcher-4271851-1502648793 -o /tmp/evaluation-result-4271851-1502648793/solver-4271851-1502648793 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502647935-7298 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1066637502 HOME/instance-4271851-1502648793.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=7315, runsolver pid=7312
[startup+0.100061 s]*
/proc/loadavg: 3.58 6.22 5.97 3/200 7336
/proc/meminfo: memFree=31492924/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7315/stat : 7315 (xcsp3-exec) S 7312 7315 7271 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97967682 9740288 346 33554432000 4194304 5098028 140722420795712 140722420793816 139861233033852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24997888 140722420798570 140722420798780 140722420798780 140722420801515 0
/proc/7315/statm: 2378 346 289 221 0 87 0
[pid=7317] ppid=7315 vsize=25999808 memory=26576 CPUtime=0.11 cores=0-7
/proc/7317/stat : 7317 (java) S 7315 7315 7271 0 -1 1077944320 5584 0 0 0 10 1 0 0 20 0 20 0 97967682 26623803392 6644 33554432000 4194304 4196468 140725728673200 140725728655744 139968040255223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
/proc/7317/statm: 6499952 6644 2841 1 0 6488269 0
[pid=7317/tid=7318] ppid=7315 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7317/task/7318/stat : 7318 (java) R 7315 7315 7271 0 -1 4202560 3589 0 0 0 8 1 0 0 20 0 20 0 97967683 26623803392 6644 33554432000 4194304 4196468 140725728673200 139968044484616 139968040277149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7319] ppid=7315 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7317/task/7319/stat : 7319 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967962835472 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7320] ppid=7315 vsize=25999808 memory=139904038549120 CPUtime=0 cores=0-7
/proc/7317/task/7320/stat : 7320 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967961782928 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7321] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7321/stat : 7321 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967960729872 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7322] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7322/stat : 7322 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967959677328 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7323] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7323/stat : 7323 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967958625296 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7324] ppid=7315 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7317/task/7324/stat : 7324 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967957572752 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7325] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7325/stat : 7325 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967956519696 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7326] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7326/stat : 7326 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26623803392 6644 33554432000 4194304 4196468 140725728673200 139967955467152 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7327] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7327/stat : 7327 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967685 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966446700784 139968040266370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7328] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7328/stat : 7328 (java) S 7315 7315 7271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97967686 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966445647008 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7329] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7329/stat : 7329 (java) S 7315 7315 7271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97967686 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966444593904 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7330] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7330/stat : 7330 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967688 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966443542480 139968040273819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7331] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7331/stat : 7331 (java) S 7315 7315 7271 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 97967688 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966442490608 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7332] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7332/stat : 7332 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97967688 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966441438064 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7333] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7333/stat : 7333 (java) S 7315 7315 7271 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97967688 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966440385008 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7334] ppid=7315 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7317/task/7334/stat : 7334 (java) S 7315 7315 7271 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 97967688 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966439332464 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7335] ppid=7315 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7335/stat : 7335 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97967688 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966438279648 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7336] ppid=7315 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7317/task/7336/stat : 7336 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967689 26623803392 6644 33554432000 4194304 4196468 140725728673200 139966437227184 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27960 KiB
[startup+0.210514 s]*
/proc/loadavg: 3.58 6.22 5.97 3/200 7336
/proc/meminfo: memFree=31482068/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7315/stat : 7315 (xcsp3-exec) S 7312 7315 7271 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97967682 9740288 346 33554432000 4194304 5098028 140722420795712 140722420793816 139861233033852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24997888 140722420798570 140722420798780 140722420798780 140722420801515 0
/proc/7315/statm: 2378 346 289 221 0 87 0
[pid=7317] ppid=7315 vsize=26004064 memory=38660 CPUtime=0.33 cores=0-7
/proc/7317/stat : 7317 (java) S 7315 7315 7271 0 -1 1077944320 8231 0 0 0 30 3 0 0 20 0 20 0 97967682 26628161536 9665 33554432000 4194304 4196468 140725728673200 140725728655744 139968040255223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
/proc/7317/statm: 6501016 9665 3068 1 0 6488269 0
[pid=7317/tid=7318] ppid=7315 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7317/task/7318/stat : 7318 (java) R 7315 7315 7271 0 -1 4202560 5419 0 0 0 18 2 0 0 20 0 20 0 97967683 26628161536 9665 33554432000 4194304 4196468 140725728673200 139968044477264 139968040277149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7319] ppid=7315 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/7317/task/7319/stat : 7319 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967962835472 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7320] ppid=7315 vsize=26004064 memory=139904038948268 CPUtime=0 cores=0-7
/proc/7317/task/7320/stat : 7320 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967961782928 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7321] ppid=7315 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7317/task/7321/stat : 7321 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967960729872 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7322] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7322/stat : 7322 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967959677328 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7323] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7323/stat : 7323 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967958625296 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7324] ppid=7315 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7317/task/7324/stat : 7324 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967957572752 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7325] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7325/stat : 7325 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967956519696 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7326] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7326/stat : 7326 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 9665 33554432000 4194304 4196468 140725728673200 139967955467152 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7327] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7327/stat : 7327 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967685 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966446700784 139968040266370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7328] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7328/stat : 7328 (java) S 7315 7315 7271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97967686 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966445647008 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7329] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7329/stat : 7329 (java) S 7315 7315 7271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97967686 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966444593904 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7330] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7330/stat : 7330 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967688 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966443542480 139968040273819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7331] ppid=7315 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7317/task/7331/stat : 7331 (java) S 7315 7315 7271 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 20 0 97967688 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966442490608 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7332] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7332/stat : 7332 (java) S 7315 7315 7271 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 97967688 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966441438064 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7333] ppid=7315 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/7317/task/7333/stat : 7333 (java) R 7315 7315 7271 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 20 0 97967688 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966440385008 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7334] ppid=7315 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/7317/task/7334/stat : 7334 (java) R 7315 7315 7271 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 20 0 97967688 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966439332464 139968032972375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7335] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7335/stat : 7335 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97967688 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966438279648 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7336] ppid=7315 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7317/task/7336/stat : 7336 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967689 26628161536 9665 33554432000 4194304 4196468 140725728673200 139966437227184 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40044 KiB
[startup+0.310355 s]*
/proc/loadavg: 3.58 6.22 5.97 3/200 7336
/proc/meminfo: memFree=31477292/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7315/stat : 7315 (xcsp3-exec) S 7312 7315 7271 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97967682 9740288 346 33554432000 4194304 5098028 140722420795712 140722420793816 139861233033852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24997888 140722420798570 140722420798780 140722420798780 140722420801515 0
/proc/7315/statm: 2378 346 289 221 0 87 0
[pid=7317] ppid=7315 vsize=26004064 memory=44096 CPUtime=0.5 cores=0-7
/proc/7317/stat : 7317 (java) S 7315 7315 7271 0 -1 1077944320 9182 0 0 0 46 4 0 0 20 0 20 0 97967682 26628161536 11024 33554432000 4194304 4196468 140725728673200 140725728655744 139968040255223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
/proc/7317/statm: 6501016 11024 3089 1 0 6488269 0
[pid=7317/tid=7318] ppid=7315 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7317/task/7318/stat : 7318 (java) R 7315 7315 7271 0 -1 4202560 6087 0 0 0 27 2 0 0 20 0 20 0 97967683 26628161536 11536 33554432000 4194304 4196468 140725728673200 139968044493488 139968040267158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7319] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7319/stat : 7319 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967962835472 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7320] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7320/stat : 7320 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967961782928 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7321] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7321/stat : 7321 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967960729872 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7322] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7322/stat : 7322 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967959677328 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7323] ppid=7315 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7317/task/7323/stat : 7323 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967958625296 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7324] ppid=7315 vsize=26004064 memory=139903929250735 CPUtime=0 cores=0-7
/proc/7317/task/7324/stat : 7324 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967957572752 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7325] ppid=7315 vsize=26004064 memory=139903929253040 CPUtime=0 cores=0-7
/proc/7317/task/7325/stat : 7325 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967956519696 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7326] ppid=7315 vsize=26004064 memory=139903929255344 CPUtime=0 cores=0-7
/proc/7317/task/7326/stat : 7326 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967684 26628161536 11536 33554432000 4194304 4196468 140725728673200 139967955467152 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7327] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7327/stat : 7327 (java) S 7315 7315 7271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97967685 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966446700784 139968040266370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7328] ppid=7315 vsize=26004064 memory=279807858517648 CPUtime=0 cores=0-7
/proc/7317/task/7328/stat : 7328 (java) S 7315 7315 7271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97967686 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966445647008 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7329] ppid=7315 vsize=26004064 memory=279807858524560 CPUtime=0 cores=0-7
/proc/7317/task/7329/stat : 7329 (java) S 7315 7315 7271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97967686 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966444593904 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7330] ppid=7315 vsize=26004064 memory=279807858465840 CPUtime=0 cores=0-7
/proc/7317/task/7330/stat : 7330 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967688 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966443542480 139968040273819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7331] ppid=7315 vsize=26004064 memory=279807858538384 CPUtime=0.02 cores=0-7
/proc/7317/task/7331/stat : 7331 (java) S 7315 7315 7271 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 20 0 97967688 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966442490608 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7332] ppid=7315 vsize=26004064 memory=279807858545296 CPUtime=0.01 cores=0-7
/proc/7317/task/7332/stat : 7332 (java) R 7315 7315 7271 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 97967688 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966441428176 139968040276570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7333] ppid=7315 vsize=26004064 memory=279807858542992 CPUtime=0.02 cores=0-7
/proc/7317/task/7333/stat : 7333 (java) S 7315 7315 7271 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 20 0 97967688 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966440385008 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7334] ppid=7315 vsize=26004064 memory=279807858559152 CPUtime=0.12 cores=0-7
/proc/7317/task/7334/stat : 7334 (java) R 7315 7315 7271 0 -1 4202560 864 0 0 0 12 0 0 0 20 0 20 0 97967688 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966439332464 139968033353534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7335] ppid=7315 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7335/stat : 7335 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97967688 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966438279648 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7336] ppid=7315 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7317/task/7336/stat : 7336 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97967689 26628161536 11536 33554432000 4194304 4196468 140725728673200 139966437227184 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45480 KiB
[startup+0.70724 s]
/proc/loadavg: 3.58 6.22 5.97 4/200 7336
/proc/meminfo: memFree=31449500/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7315/stat : 7315 (xcsp3-exec) S 7312 7315 7271 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97967682 9740288 346 33554432000 4194304 5098028 140722420795712 140722420793816 139861233033852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24997888 140722420798570 140722420798780 140722420798780 140722420801515 0
/proc/7315/statm: 2378 346 289 221 0 87 0
[pid=7317] ppid=7315 vsize=26004140 memory=187644 CPUtime=2.08 cores=0-7
/proc/7317/stat : 7317 (java) S 7315 7315 7271 0 -1 1077944320 12981 0 0 0 200 8 0 0 20 0 20 0 97967682 26628239360 46911 33554432000 4194304 4196468 140725728673200 140725728655744 139968040255223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
/proc/7317/statm: 6501035 46911 3200 1 0 6488269 0
[pid=7317/tid=7318] ppid=7315 vsize=26004140 memory=279807858917040 CPUtime=0.67 cores=0-7
/proc/7317/task/7318/stat : 7318 (java) S 7315 7315 7271 0 -1 1077944384 6433 0 0 0 63 4 0 0 20 0 20 0 97967683 26628239360 46911 33554432000 4194304 4196468 140725728673200 139968044492736 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7319] ppid=7315 vsize=26004140 memory=139903929459568 CPUtime=0 cores=0-7
/proc/7317/task/7319/stat : 7319 (java) R 7315 7315 7271 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 97967684 26628239360 46911 33554432000 4194304 4196468 140725728673200 139967962835672 139968025283106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7320] ppid=7315 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7317/task/7320/stat : 7320 (java) R 7315 7315 7271 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 97967684 26628239360 46911 33554432000 4194304 4196468 140725728673200 139967961783128 139968025283088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7321] ppid=7315 vsize=26004140 memory=5672 CPUtime=0 cores=0-7
/proc/7317/task/7321/stat : 7321 (java) R 7315 7315 7271 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 97967684 26628239360 46911 33554432000 4194304 4196468 140725728673200 139967960730072 139968025283088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
################
# More data... #
################
[pid=7317/tid=7384] ppid=7315 vsize=26538700 memory=4316 CPUtime=134.27 cores=0-7
/proc/7317/task/7384/stat : 7384 (java) R 7315 7315 7271 0 -1 4202560 5438 0 0 0 13409 18 0 0 20 0 28 0 97970452 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966421848184 139967634334897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
Current children cumulated CPU time: 1270.15 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4250032 KiB
[startup+222.301 s]
/proc/loadavg: 5.56 6.57 6.20 2/207 7384
/proc/meminfo: memFree=27269512/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7315/stat : 7315 (xcsp3-exec) S 7312 7315 7271 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97967682 9740288 346 33554432000 4194304 5098028 140722420795712 140722420793816 139861233033852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24997888 140722420798570 140722420798780 140722420798780 140722420801515 0
/proc/7315/statm: 2378 346 289 221 0 87 0
[pid=7317] ppid=7315 vsize=26538700 memory=4248648 CPUtime=1563.01 cores=0-7
/proc/7317/stat : 7317 (java) S 7315 7315 7271 0 -1 1077944320 129808 0 0 0 155941 360 0 0 20 0 28 0 97967682 27175628800 1062162 33554432000 4194304 4196468 140725728673200 140725728655744 139968040255223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
/proc/7317/statm: 6634675 1062162 3294 1 0 6621909 0
[pid=7317/tid=7318] ppid=7315 vsize=26538700 memory=4248648 CPUtime=3.89 cores=0-7
/proc/7317/task/7318/stat : 7318 (java) S 7315 7315 7271 0 -1 1077944384 7934 0 0 0 372 17 0 0 20 0 28 0 97967683 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139968044496000 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7319] ppid=7315 vsize=26538700 memory=4248648 CPUtime=1.36 cores=0-7
/proc/7317/task/7319/stat : 7319 (java) S 7315 7315 7271 0 -1 1077944384 3242 0 0 0 111 25 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967962835472 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7320] ppid=7315 vsize=26538700 memory=1384 CPUtime=1.38 cores=0-7
/proc/7317/task/7320/stat : 7320 (java) S 7315 7315 7271 0 -1 1077944384 1378 0 0 0 112 26 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967961782928 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7321] ppid=7315 vsize=26538700 memory=4136 CPUtime=1.37 cores=0-7
/proc/7317/task/7321/stat : 7321 (java) S 7315 7315 7271 0 -1 1077944384 1327 0 0 0 110 27 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967960729872 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7322] ppid=7315 vsize=26538700 memory=1384 CPUtime=1.43 cores=0-7
/proc/7317/task/7322/stat : 7322 (java) S 7315 7315 7271 0 -1 1077944384 1667 0 0 0 116 27 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967959677328 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7323] ppid=7315 vsize=26538700 memory=0 CPUtime=1.4 cores=0-7
/proc/7317/task/7323/stat : 7323 (java) S 7315 7315 7271 0 -1 1077944384 1351 0 0 0 114 26 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967958625296 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7324] ppid=7315 vsize=26538700 memory=-7232618666380972590 CPUtime=1.36 cores=0-7
/proc/7317/task/7324/stat : 7324 (java) S 7315 7315 7271 0 -1 1077944384 2151 0 0 0 108 28 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967957572752 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7325] ppid=7315 vsize=26538700 memory=1384 CPUtime=1.41 cores=0-7
/proc/7317/task/7325/stat : 7325 (java) S 7315 7315 7271 0 -1 1077944384 1894 0 0 0 114 27 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967956519696 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7326] ppid=7315 vsize=26538700 memory=4248648 CPUtime=1.4 cores=0-7
/proc/7317/task/7326/stat : 7326 (java) S 7315 7315 7271 0 -1 1077944384 1746 0 0 0 114 26 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967955467152 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7327] ppid=7315 vsize=26538700 memory=1384 CPUtime=0.4 cores=0-7
/proc/7317/task/7327/stat : 7327 (java) S 7315 7315 7271 0 -1 1077944384 8477 0 0 0 38 2 0 0 20 0 28 0 97967685 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966446700784 139968040266370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7328] ppid=7315 vsize=26538700 memory=4136 CPUtime=0 cores=0-7
/proc/7317/task/7328/stat : 7328 (java) S 7315 7315 7271 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97967686 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966445647072 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7329] ppid=7315 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/7317/task/7329/stat : 7329 (java) S 7315 7315 7271 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 97967686 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966444593920 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7330] ppid=7315 vsize=26538700 memory=4248648 CPUtime=0 cores=0-7
/proc/7317/task/7330/stat : 7330 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966443542480 139968040273819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7331] ppid=7315 vsize=26538700 memory=28160 CPUtime=3.54 cores=0-7
/proc/7317/task/7331/stat : 7331 (java) S 7315 7315 7271 0 -1 1077944384 14275 0 0 0 351 3 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966442490608 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7332] ppid=7315 vsize=26538700 memory=1296 CPUtime=3.81 cores=0-7
/proc/7317/task/7332/stat : 7332 (java) S 7315 7315 7271 0 -1 1077944384 13957 0 0 0 376 5 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966441438064 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7333] ppid=7315 vsize=26538700 memory=4248648 CPUtime=3.91 cores=0-7
/proc/7317/task/7333/stat : 7333 (java) S 7315 7315 7271 0 -1 1077944384 14681 0 0 0 388 3 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966440385008 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7334] ppid=7315 vsize=26538700 memory=1384 CPUtime=0.91 cores=0-7
/proc/7317/task/7334/stat : 7334 (java) S 7315 7315 7271 0 -1 1077944384 12728 0 0 0 88 3 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966439332464 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7335] ppid=7315 vsize=26538700 memory=1724 CPUtime=0 cores=0-7
/proc/7317/task/7335/stat : 7335 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966438279648 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7336] ppid=7315 vsize=26538700 memory=11000 CPUtime=0.1 cores=0-7
/proc/7317/task/7336/stat : 7336 (java) S 7315 7315 7271 0 -1 1077944384 1159 0 0 0 5 5 0 0 20 0 28 0 97967689 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966437227184 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7377] ppid=7315 vsize=26538700 memory=1384 CPUtime=167.37 cores=0-7
/proc/7317/task/7377/stat : 7377 (java) S 7315 7315 7271 0 -1 1077944384 933 0 0 0 16735 2 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966426062256 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7378] ppid=7315 vsize=26538700 memory=1384 CPUtime=165.8 cores=0-7
/proc/7317/task/7378/stat : 7378 (java) S 7315 7315 7271 0 -1 1077944384 1577 0 0 0 16577 3 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966423958352 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7379] ppid=7315 vsize=26538700 memory=4248648 CPUtime=167.67 cores=0-7
/proc/7317/task/7379/stat : 7379 (java) S 7315 7315 7271 0 -1 1077944384 5641 0 0 0 16766 1 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966425011664 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7380] ppid=7315 vsize=26538700 memory=4248648 CPUtime=167.23 cores=0-7
/proc/7317/task/7380/stat : 7380 (java) S 7315 7315 7271 0 -1 1077944384 5741 0 0 0 16704 19 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966427117136 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7381] ppid=7315 vsize=26538700 memory=1384 CPUtime=166.99 cores=0-7
/proc/7317/task/7381/stat : 7381 (java) S 7315 7315 7271 0 -1 1077944384 6306 0 0 0 16678 21 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966428169424 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7382] ppid=7315 vsize=26538700 memory=4248648 CPUtime=194.34 cores=0-7
/proc/7317/task/7382/stat : 7382 (java) R 7315 7315 7271 0 -1 4202560 2825 0 0 0 19432 2 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966422900384 139967637247495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7383] ppid=7315 vsize=26538700 memory=5672 CPUtime=167.6 cores=0-7
/proc/7317/task/7383/stat : 7383 (java) S 7315 7315 7271 0 -1 1077944384 1227 0 0 0 16759 1 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966429221840 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7384] ppid=7315 vsize=26538700 memory=4612 CPUtime=167.65 cores=0-7
/proc/7317/task/7384/stat : 7384 (java) S 7315 7315 7271 0 -1 1077944384 5945 0 0 0 16747 18 0 0 20 0 28 0 97970452 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966421853264 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
Current children cumulated CPU time: 1563.01 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4250032 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 3.84 6.05 6.04 2/207 7384
/proc/meminfo: memFree=27269760/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7315/stat : 7315 (xcsp3-exec) S 7312 7315 7271 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97967682 9740288 346 33554432000 4194304 5098028 140722420795712 140722420793816 139861233033852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24997888 140722420798570 140722420798780 140722420798780 140722420801515 0
/proc/7315/statm: 2378 346 289 221 0 87 0
[pid=7317] ppid=7315 vsize=26538700 memory=4248648 CPUtime=1592.74 cores=0-7
/proc/7317/stat : 7317 (java) S 7315 7315 7271 0 -1 1077944320 130041 0 0 0 158913 361 0 0 20 0 28 0 97967682 27175628800 1062162 33554432000 4194304 4196468 140725728673200 140725728655744 139968040255223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
/proc/7317/statm: 6634675 1062162 3294 1 0 6621909 0
[pid=7317/tid=7318] ppid=7315 vsize=26538700 memory=8112282956445269571 CPUtime=3.89 cores=0-7
/proc/7317/task/7318/stat : 7318 (java) S 7315 7315 7271 0 -1 1077944384 7934 0 0 0 372 17 0 0 20 0 28 0 97967683 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139968044496000 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7319] ppid=7315 vsize=26538700 memory=4126316290023845779 CPUtime=1.36 cores=0-7
/proc/7317/task/7319/stat : 7319 (java) S 7315 7315 7271 0 -1 1077944384 3242 0 0 0 111 25 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967962835472 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7320] ppid=7315 vsize=26538700 memory=1692 CPUtime=1.38 cores=0-7
/proc/7317/task/7320/stat : 7320 (java) S 7315 7315 7271 0 -1 1077944384 1378 0 0 0 112 26 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967961782928 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7321] ppid=7315 vsize=26538700 memory=1384 CPUtime=1.37 cores=0-7
/proc/7317/task/7321/stat : 7321 (java) S 7315 7315 7271 0 -1 1077944384 1327 0 0 0 110 27 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967960729872 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7322] ppid=7315 vsize=26538700 memory=4248648 CPUtime=1.43 cores=0-7
/proc/7317/task/7322/stat : 7322 (java) S 7315 7315 7271 0 -1 1077944384 1667 0 0 0 116 27 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967959677328 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7323] ppid=7315 vsize=26538700 memory=4279353494069338944 CPUtime=1.4 cores=0-7
/proc/7317/task/7323/stat : 7323 (java) S 7315 7315 7271 0 -1 1077944384 1351 0 0 0 114 26 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967958625296 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7324] ppid=7315 vsize=26538700 memory=7234277854574765911 CPUtime=1.36 cores=0-7
/proc/7317/task/7324/stat : 7324 (java) S 7315 7315 7271 0 -1 1077944384 2151 0 0 0 108 28 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967957572752 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7325] ppid=7315 vsize=26538700 memory=8112282956445269571 CPUtime=1.41 cores=0-7
/proc/7317/task/7325/stat : 7325 (java) S 7315 7315 7271 0 -1 1077944384 1894 0 0 0 114 27 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967956519696 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7326] ppid=7315 vsize=26538700 memory=1384 CPUtime=1.4 cores=0-7
/proc/7317/task/7326/stat : 7326 (java) S 7315 7315 7271 0 -1 1077944384 1746 0 0 0 114 26 0 0 20 0 28 0 97967684 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139967955467152 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7327] ppid=7315 vsize=26538700 memory=4248648 CPUtime=0.4 cores=0-7
/proc/7317/task/7327/stat : 7327 (java) S 7315 7315 7271 0 -1 1077944384 8486 0 0 0 38 2 0 0 20 0 28 0 97967685 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966446700784 139968040266370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7328] ppid=7315 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/7317/task/7328/stat : 7328 (java) S 7315 7315 7271 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 97967686 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966445647072 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7329] ppid=7315 vsize=26538700 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7317/task/7329/stat : 7329 (java) S 7315 7315 7271 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 97967686 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966444593920 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7330] ppid=7315 vsize=26538700 memory=-2897801490638248215 CPUtime=0 cores=0-7
/proc/7317/task/7330/stat : 7330 (java) S 7315 7315 7271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966443542480 139968040273819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7331] ppid=7315 vsize=26538700 memory=4137291498637534088 CPUtime=3.54 cores=0-7
/proc/7317/task/7331/stat : 7331 (java) S 7315 7315 7271 0 -1 1077944384 14279 0 0 0 351 3 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966442490608 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7332] ppid=7315 vsize=26538700 memory=6655300316396806240 CPUtime=3.81 cores=0-7
/proc/7317/task/7332/stat : 7332 (java) S 7315 7315 7271 0 -1 1077944384 13969 0 0 0 376 5 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966441438064 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7333] ppid=7315 vsize=26538700 memory=0 CPUtime=3.91 cores=0-7
/proc/7317/task/7333/stat : 7333 (java) S 7315 7315 7271 0 -1 1077944384 14684 0 0 0 388 3 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966440385008 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7334] ppid=7315 vsize=26538700 memory=6944656575208382560 CPUtime=0.91 cores=0-7
/proc/7317/task/7334/stat : 7334 (java) S 7315 7315 7271 0 -1 1077944384 12734 0 0 0 88 3 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966439332464 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7335] ppid=7315 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/7317/task/7335/stat : 7335 (java) S 7315 7315 7271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97967688 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966438279648 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7336] ppid=7315 vsize=26538700 memory=8112282956445269571 CPUtime=0.1 cores=0-7
/proc/7317/task/7336/stat : 7336 (java) S 7315 7315 7271 0 -1 1077944384 1198 0 0 0 5 5 0 0 20 0 28 0 97967689 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966437227184 139968040266370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7377] ppid=7315 vsize=26538700 memory=956 CPUtime=167.37 cores=0-7
/proc/7317/task/7377/stat : 7377 (java) S 7315 7315 7271 0 -1 1077944384 933 0 0 0 16735 2 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966426062256 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7378] ppid=7315 vsize=26538700 memory=2344 CPUtime=165.8 cores=0-7
/proc/7317/task/7378/stat : 7378 (java) S 7315 7315 7271 0 -1 1077944384 1577 0 0 0 16577 3 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966423958352 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7379] ppid=7315 vsize=26538700 memory=928 CPUtime=167.67 cores=0-7
/proc/7317/task/7379/stat : 7379 (java) S 7315 7315 7271 0 -1 1077944384 5641 0 0 0 16766 1 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966425011664 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7380] ppid=7315 vsize=26538700 memory=1576 CPUtime=167.23 cores=0-7
/proc/7317/task/7380/stat : 7380 (java) S 7315 7315 7271 0 -1 1077944384 5741 0 0 0 16704 19 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966427117136 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7381] ppid=7315 vsize=26538700 memory=2236 CPUtime=166.99 cores=0-7
/proc/7317/task/7381/stat : 7381 (java) S 7315 7315 7271 0 -1 1077944384 6306 0 0 0 16678 21 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966428169424 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7382] ppid=7315 vsize=26538700 memory=4316 CPUtime=224.05 cores=0-7
/proc/7317/task/7382/stat : 7382 (java) R 7315 7315 7271 0 -1 4202560 2985 0 0 0 22403 2 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966422900384 139967641248892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7383] ppid=7315 vsize=26538700 memory=2196 CPUtime=167.6 cores=0-7
/proc/7317/task/7383/stat : 7383 (java) S 7315 7315 7271 0 -1 1077944384 1227 0 0 0 16759 1 0 0 20 0 28 0 97970451 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966429221840 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
[pid=7317/tid=7384] ppid=7315 vsize=26538700 memory=6760 CPUtime=167.65 cores=0-7
/proc/7317/task/7384/stat : 7384 (java) S 7315 7315 7271 0 -1 1077944384 5945 0 0 0 16747 18 0 0 20 0 28 0 97970452 27175628800 1062162 33554432000 4194304 4196468 140725728673200 139966421853264 139968040265429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26775552 140725728679064 140725728679240 140725728679240 140725728681935 0
Current children cumulated CPU time: 1592.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4250032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.021 s]
# the end of solver process 7315 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001937 s, system=0 s
[startup+252.046 s]
# the end of solver process 7317 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1589.15 s, system=3.63806 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): 252.046
CPU time (s): 1592.79
CPU user time (s): 1589.15
CPU system time (s): 3.63806
CPU usage (%): 631.945
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 4250032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1589.15
system time used= 3.63806
maximum resident set size= 4249224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12357
involuntary context switches= 17547
# summary of solver processes directly reported to runsolver:
# pid: 7315,7317
# total CPU time (s): 1592.79
# total CPU user time (s): 1589.15
# total CPU system time (s): 3.63806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04956 second user time and 3.10229 second system time
The end
Begin job on node102 at 2017-08-13 20:12:15
IDJOB=4271851
IDBENCH=140592
IDSOLVER=2663
FILE ID=node102/4271851-1502648793
RUNJOBID= node102-1502647935-7298
PBS_JOBID= 20628336
Free space on /tmp= 61912 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271851-1502648793/watcher-4271851-1502648793 -o /tmp/evaluation-result-4271851-1502648793/solver-4271851-1502648793 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502647935-7298 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1066637502 HOME/instance-4271851-1502648793.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=1066637502
node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
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.35
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.35
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.35
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: 31509020 kB
MemAvailable: 31984428 kB
Buffers: 120716 kB
Cached: 639364 kB
SwapCached: 0 kB
Active: 647520 kB
Inactive: 163064 kB
Active(anon): 3276 kB
Inactive(anon): 75372 kB
Active(file): 644244 kB
Inactive(file): 87692 kB
Unevictable: 6444 kB
Mlocked: 6444 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8580 kB
Writeback: 4 kB
AnonPages: 57112 kB
Mapped: 43464 kB
Shmem: 25228 kB
Slab: 145040 kB
SReclaimable: 118612 kB
SUnreclaim: 26428 kB
KernelStack: 3168 kB
PageTables: 4648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61904 MiB
End job on node102 at 2017-08-13 20:16:27