0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271882-1502647508.xml" -tl '2016s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4271882-1502647508.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.19 c 8 solvers in parallel
0.33/0.26 c parse instance...
792.22/171.09 c solve instance...
1071.88/215.01 o 34
1119.90/252.01 s SATISFIABLE
1119.90/252.01 v <instantiation>
1119.90/252.01 v <list>x[0][0] 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[1][0] x[1][1] 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[2][0] x[2][1] x[2][2] 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[3][0] x[3][1] x[3][2] x[3][3] 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[4][0] x[4][1] x[4][2] x[4][3] x[4][4] 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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] 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[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] 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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] 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[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] 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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] 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[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] 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[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] 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[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] 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[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] 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[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] 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[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] 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[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] 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[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] 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[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] 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[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] 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[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] 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[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] 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[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] 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[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] 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[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] 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[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] </list>
1119.90/252.01 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 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 0 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 0 1 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 0 1 2 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 0 1 2 3 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 0 1 2 3 4 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 0 1 2 3 4 5 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 0 1 2 3 4 5 6 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 0 1 2 3 4 5 6 7 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 0 1 2 3 4 5 6 7 8 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 0 1 2 3 4 5 6 7 8 9 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 0 1 2 3 4 5 6 7 8 9 10 11 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 0 1 2 3 4 5 6 7 8 9 10 11 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 22 22 22 22 22 22 22 22 22 22 22 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 23 23 23 23 23 23 23 23 23 23 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 24 24 24 24 24 24 24 24 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 25 25 25 25 25 25 25 25 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 26 26 26 26 26 26 26 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 27 27 27 27 27 27 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 28 28 28 28 28 28 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 29 29 29 29 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 30 30 30 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 31 31 31 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 32 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 </values>
1119.90/252.01 v </instantiation>
1119.90/252.01 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 (15275 MiB free)
memory of node 1: 16384 MiB (15655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271882-1502647508/watcher-4271882-1502647508 -o /tmp/evaluation-result-4271882-1502647508/solver-4271882-1502647508 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1990259559 HOME/instance-4271882-1502647508.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
solver pid=27056, runsolver pid=27053
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 5.17 5.07 5.62 2/200 27077
/proc/meminfo: memFree=31656984/32770624 swapFree=67108860/67108860
[pid=27056] ppid=27053 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27056/stat : 27056 (xcsp3-exec) S 27053 27056 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97838585 9740288 346 33554432000 4194304 5098028 140729451391600 140729451389704 140227104322172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31887360 140729451398250 140729451398460 140729451398460 140729451401195 0
/proc/27056/statm: 2378 346 289 221 0 87 0
[pid=27058] ppid=27056 vsize=25999808 memory=26264 CPUtime=0.12 cores=0-7
/proc/27058/stat : 27058 (java) S 27056 27056 7585 0 -1 1077944320 5515 0 0 0 10 2 0 0 20 0 20 0 97838585 26623803392 6566 33554432000 4194304 4196468 140725936272352 140725936254896 140158626029303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
/proc/27058/statm: 6499952 6566 2841 1 0 6488269 0
[pid=27058/tid=27059] ppid=27056 vsize=25999808 memory=7681904497038107036 CPUtime=0.09 cores=0-7
/proc/27058/task/27059/stat : 27059 (java) R 27056 27056 7585 0 -1 4202560 3512 0 0 0 8 1 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158630261552 140158626051229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27060] ppid=27056 vsize=25999808 memory=732370282874547173 CPUtime=0 cores=0-7
/proc/27058/task/27060/stat : 27060 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158548609936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27061] ppid=27056 vsize=25999808 memory=140144537093760 CPUtime=0 cores=0-7
/proc/27058/task/27061/stat : 27061 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158547557136 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27062] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27062/stat : 27062 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158546504848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27063] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27063/stat : 27063 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158545452048 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27064] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27064/stat : 27064 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158544398736 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27065] ppid=27056 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27058/task/27065/stat : 27065 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158543345936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27066] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27066/stat : 27066 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158542293648 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27067] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27067/stat : 27067 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26623803392 6566 33554432000 4194304 4196468 140725936272352 140158541240848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27068] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27068/stat : 27068 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838588 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157032614512 140158626040450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27069] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27069/stat : 27069 (java) S 27056 27056 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97838588 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157031560480 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27070] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27070/stat : 27070 (java) S 27056 27056 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97838588 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157030508144 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27071] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27071/stat : 27071 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838591 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157029456464 140158626047899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27072] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27072/stat : 27072 (java) S 27056 27056 7585 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 97838591 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157028403312 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27073] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27073/stat : 27073 (java) S 27056 27056 7585 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97838591 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157027350512 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27074] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27074/stat : 27074 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838591 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157026298224 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27075] ppid=27056 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/27058/task/27075/stat : 27075 (java) S 27056 27056 7585 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 97838591 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157025245424 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27076] ppid=27056 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27076/stat : 27076 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97838591 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157024193376 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27077] ppid=27056 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/27058/task/27077/stat : 27077 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838591 26623803392 6566 33554432000 4194304 4196468 140725936272352 140157023140656 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27648 KiB
[startup+0.209882 s]*
/proc/loadavg: 5.17 5.07 5.62 2/200 27077
/proc/meminfo: memFree=31645696/32770624 swapFree=67108860/67108860
[pid=27056] ppid=27053 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27056/stat : 27056 (xcsp3-exec) S 27053 27056 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97838585 9740288 346 33554432000 4194304 5098028 140729451391600 140729451389704 140227104322172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31887360 140729451398250 140729451398460 140729451398460 140729451401195 0
/proc/27056/statm: 2378 346 289 221 0 87 0
[pid=27058] ppid=27056 vsize=26004096 memory=39276 CPUtime=0.33 cores=0-7
/proc/27058/stat : 27058 (java) S 27056 27056 7585 0 -1 1077944320 8383 0 0 0 30 3 0 0 20 0 20 0 97838585 26628194304 9794 33554432000 4194304 4196468 140725936272352 140725936254896 140158626029303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
/proc/27058/statm: 6501024 9794 3046 1 0 6488277 0
[pid=27058/tid=27059] ppid=27056 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/27058/task/27059/stat : 27059 (java) R 27056 27056 7585 0 -1 4202560 5425 0 0 0 18 2 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158630231024 140158618746266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27060] ppid=27056 vsize=26004096 memory=280288917309176 CPUtime=0 cores=0-7
/proc/27058/task/27060/stat : 27060 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26628194304 9814 33554432000 4194304 4196468 140725936272352 140158548609936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27061] ppid=27056 vsize=26004064 memory=140144537093760 CPUtime=0 cores=0-7
/proc/27058/task/27061/stat : 27061 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158547557136 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27062] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27062/stat : 27062 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158546504848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27063] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27063/stat : 27063 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158545452048 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27064] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27064/stat : 27064 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158544398736 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27065] ppid=27056 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27058/task/27065/stat : 27065 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158543345936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27066] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27066/stat : 27066 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158542293648 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27067] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27067/stat : 27067 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 9814 33554432000 4194304 4196468 140725936272352 140158541240848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27068] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27068/stat : 27068 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838588 26628161536 9814 33554432000 4194304 4196468 140725936272352 140157032614512 140158626040450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27069] ppid=27056 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27069/stat : 27069 (java) S 27056 27056 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97838588 26628194304 9814 33554432000 4194304 4196468 140725936272352 140157031560480 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27070] ppid=27056 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27070/stat : 27070 (java) S 27056 27056 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97838588 26628194304 9814 33554432000 4194304 4196468 140725936272352 140157030508144 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27071] ppid=27056 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27071/stat : 27071 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838591 26628194304 9814 33554432000 4194304 4196468 140725936272352 140157029456464 140158626047899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27072] ppid=27056 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27058/task/27072/stat : 27072 (java) S 27056 27056 7585 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 97838591 26628161536 9814 33554432000 4194304 4196468 140725936272352 140157028403312 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27073] ppid=27056 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27058/task/27073/stat : 27073 (java) S 27056 27056 7585 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 97838591 26628161536 9814 33554432000 4194304 4196468 140725936272352 140157027350512 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27074] ppid=27056 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/27058/task/27074/stat : 27074 (java) S 27056 27056 7585 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 20 0 97838591 26628161536 9814 33554432000 4194304 4196468 140725936272352 140157026298224 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27075] ppid=27056 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/27058/task/27075/stat : 27075 (java) S 27056 27056 7585 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 97838591 26628161536 9814 33554432000 4194304 4196468 140725936272352 140157025245424 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27076] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27076/stat : 27076 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97838591 26628161536 9814 33554432000 4194304 4196468 140725936272352 140157024193376 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27077] ppid=27056 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27058/task/27077/stat : 27077 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838591 26628161536 9814 33554432000 4194304 4196468 140725936272352 140157023140656 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40660 KiB
[startup+0.309611 s]*
/proc/loadavg: 5.17 5.07 5.62 4/200 27077
/proc/meminfo: memFree=31641292/32770624 swapFree=67108860/67108860
[pid=27056] ppid=27053 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27056/stat : 27056 (xcsp3-exec) S 27053 27056 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97838585 9740288 346 33554432000 4194304 5098028 140729451391600 140729451389704 140227104322172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31887360 140729451398250 140729451398460 140729451398460 140729451401195 0
/proc/27056/statm: 2378 346 289 221 0 87 0
[pid=27058] ppid=27056 vsize=26004064 memory=45872 CPUtime=0.51 cores=0-7
/proc/27058/stat : 27058 (java) S 27056 27056 7585 0 -1 1077944320 9202 0 0 0 47 4 0 0 20 0 20 0 97838585 26628161536 11468 33554432000 4194304 4196468 140725936272352 140725936254896 140158626029303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
/proc/27058/statm: 6501016 11468 3102 1 0 6488269 0
[pid=27058/tid=27059] ppid=27056 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27058/task/27059/stat : 27059 (java) R 27056 27056 7585 0 -1 4202560 6084 0 0 0 27 2 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158630267120 140158221569037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27060] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27060/stat : 27060 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158548609936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27061] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27061/stat : 27061 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158547557136 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27062] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27062/stat : 27062 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158546504848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27063] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27063/stat : 27063 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158545452048 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27064] ppid=27056 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/27058/task/27064/stat : 27064 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158544398736 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27065] ppid=27056 vsize=26004064 memory=140144380310447 CPUtime=0 cores=0-7
/proc/27058/task/27065/stat : 27065 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158543345936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27066] ppid=27056 vsize=26004064 memory=140144380312752 CPUtime=0 cores=0-7
/proc/27058/task/27066/stat : 27066 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158542293648 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27067] ppid=27056 vsize=26004064 memory=140144380315056 CPUtime=0 cores=0-7
/proc/27058/task/27067/stat : 27067 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838586 26628161536 11468 33554432000 4194304 4196468 140725936272352 140158541240848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27068] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27068/stat : 27068 (java) S 27056 27056 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97838588 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157032614512 140158626040450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27069] ppid=27056 vsize=26004064 memory=280288760637072 CPUtime=0 cores=0-7
/proc/27058/task/27069/stat : 27069 (java) S 27056 27056 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97838588 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157031560480 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27070] ppid=27056 vsize=26004064 memory=280288760643984 CPUtime=0 cores=0-7
/proc/27058/task/27070/stat : 27070 (java) S 27056 27056 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97838588 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157030508144 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27071] ppid=27056 vsize=26004064 memory=280288760585264 CPUtime=0 cores=0-7
/proc/27058/task/27071/stat : 27071 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838591 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157029456464 140158626047899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27072] ppid=27056 vsize=26004064 memory=280288760657808 CPUtime=0.03 cores=0-7
/proc/27058/task/27072/stat : 27072 (java) R 27056 27056 7585 0 -1 4202560 494 0 0 0 3 0 0 0 20 0 20 0 97838591 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157028403312 140158618266430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27073] ppid=27056 vsize=26004064 memory=280288760664720 CPUtime=0.02 cores=0-7
/proc/27058/task/27073/stat : 27073 (java) S 27056 27056 7585 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 20 0 97838591 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157027350512 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27074] ppid=27056 vsize=26004064 memory=280288760662416 CPUtime=0.02 cores=0-7
/proc/27058/task/27074/stat : 27074 (java) S 27056 27056 7585 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 20 0 97838591 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157026298224 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27075] ppid=27056 vsize=26004064 memory=280288760678576 CPUtime=0.12 cores=0-7
/proc/27058/task/27075/stat : 27075 (java) R 27056 27056 7585 0 -1 4202560 855 0 0 0 12 0 0 0 20 0 20 0 97838591 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157025245424 140158611712455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27076] ppid=27056 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27076/stat : 27076 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97838591 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157024193376 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27077] ppid=27056 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/27058/task/27077/stat : 27077 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97838591 26628161536 11468 33554432000 4194304 4196468 140725936272352 140157023140656 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47256 KiB
[startup+0.701532 s]
/proc/loadavg: 5.17 5.07 5.62 2/200 27077
/proc/meminfo: memFree=31569188/32770624 swapFree=67108860/67108860
[pid=27056] ppid=27053 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27056/stat : 27056 (xcsp3-exec) S 27053 27056 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97838585 9740288 346 33554432000 4194304 5098028 140729451391600 140729451389704 140227104322172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31887360 140729451398250 140729451398460 140729451398460 140729451401195 0
/proc/27056/statm: 2378 346 289 221 0 87 0
[pid=27058] ppid=27056 vsize=26004064 memory=271036 CPUtime=1.78 cores=0-7
/proc/27058/stat : 27058 (java) S 27056 27056 7585 0 -1 1077944320 12088 0 0 0 152 26 0 0 20 0 20 0 97838585 26628161536 67759 33554432000 4194304 4196468 140725936272352 140725936254896 140158626029303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
/proc/27058/statm: 6501016 67759 3149 1 0 6488269 0
[pid=27058/tid=27059] ppid=27056 vsize=26004064 memory=280288760973440 CPUtime=0.6 cores=0-7
/proc/27058/task/27059/stat : 27059 (java) S 27056 27056 7585 0 -1 1077944384 6148 0 0 0 56 4 0 0 20 0 20 0 97838586 26628161536 67759 33554432000 4194304 4196468 140725936272352 140158630268480 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27060] ppid=27056 vsize=26004064 memory=5788 CPUtime=0.06 cores=0-7
/proc/27058/task/27060/stat : 27060 (java) R 27056 27056 7585 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 20 0 97838586 26628161536 67759 33554432000 4194304 4196468 140725936272352 140158548609936 140158611057480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27061] ppid=27056 vsize=26004064 memory=1228 CPUtime=0.06 cores=0-7
/proc/27058/task/27061/stat : 27061 (java) R 27056 27056 7585 0 -1 4202560 54 0 0 0 4 2 0 0 20 0 20 0 97838586 26628161536 67759 33554432000 4194304 4196468 140725936272352 140158547555112 140158611056722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27062] ppid=27056 vsize=26004064 memory=796 CPUtime=0.06 cores=0-7
/proc/27058/task/27062/stat : 27062 (java) R 27056 27056 7585 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 20 0 97838586 26628161536 67759 33554432000 4194304 4196468 140725936272352 140158546504848 140158611052981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
################
# More data... #
################
[pid=27058/tid=27077] ppid=27056 vsize=26006188 memory=2332 CPUtime=0.05 cores=0-7
/proc/27058/task/27077/stat : 27077 (java) S 27056 27056 7585 0 -1 1077944384 894 0 0 0 2 3 0 0 20 0 20 0 97838591 26630336512 4493773 33554432000 4194304 4196468 140725936272352 140157023140656 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
Current children cumulated CPU time: 768.04 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 17976476 KiB
[startup+222.301 s]
/proc/loadavg: 4.28 4.68 5.35 2/208 27093
/proc/meminfo: memFree=11268608/32770624 swapFree=67108860/67108860
[pid=27056] ppid=27053 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27056/stat : 27056 (xcsp3-exec) S 27053 27056 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97838585 9740288 346 33554432000 4194304 5098028 140729451391600 140729451389704 140227104322172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31887360 140729451398250 140729451398460 140729451398460 140729451401195 0
/proc/27056/statm: 2378 346 289 221 0 87 0
[pid=27058] ppid=27056 vsize=26538700 memory=20377332 CPUtime=1090.09 cores=0-7
/proc/27058/stat : 27058 (java) S 27056 27056 7585 0 -1 1077944320 814600 0 0 0 104827 4182 0 0 20 0 28 0 97838585 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140725936254896 140158626029303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
/proc/27058/statm: 6634675 5094333 3309 1 0 6621909 0
[pid=27058/tid=27059] ppid=27056 vsize=26538700 memory=1384 CPUtime=72.19 cores=0-7
/proc/27058/task/27059/stat : 27059 (java) S 27056 27056 7585 0 -1 1077944384 47021 0 0 0 7165 54 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158630270080 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27060] ppid=27056 vsize=26538700 memory=20377332 CPUtime=112.05 cores=0-7
/proc/27058/task/27060/stat : 27060 (java) S 27056 27056 7585 0 -1 1077944384 58689 0 0 0 10716 489 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158548609936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27061] ppid=27056 vsize=26538700 memory=20377464 CPUtime=112.86 cores=0-7
/proc/27058/task/27061/stat : 27061 (java) S 27056 27056 7585 0 -1 1077944384 87576 0 0 0 10783 503 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158547557136 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27062] ppid=27056 vsize=26538700 memory=20377524 CPUtime=112.28 cores=0-7
/proc/27058/task/27062/stat : 27062 (java) S 27056 27056 7585 0 -1 1077944384 41744 0 0 0 10788 440 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158546504848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27063] ppid=27056 vsize=26538700 memory=20377328 CPUtime=112.56 cores=0-7
/proc/27058/task/27063/stat : 27063 (java) S 27056 27056 7585 0 -1 1077944384 93347 0 0 0 10725 531 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158545452048 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27064] ppid=27056 vsize=26538700 memory=1384 CPUtime=112.12 cores=0-7
/proc/27058/task/27064/stat : 27064 (java) S 27056 27056 7585 0 -1 1077944384 58001 0 0 0 10729 483 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158544398736 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27065] ppid=27056 vsize=26538700 memory=20377332 CPUtime=112.11 cores=0-7
/proc/27058/task/27065/stat : 27065 (java) S 27056 27056 7585 0 -1 1077944384 57334 0 0 0 10712 499 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158543345936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27066] ppid=27056 vsize=26538700 memory=1384 CPUtime=112.54 cores=0-7
/proc/27058/task/27066/stat : 27066 (java) S 27056 27056 7585 0 -1 1077944384 78114 0 0 0 10779 475 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158542293648 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27067] ppid=27056 vsize=26538700 memory=20377332 CPUtime=112.45 cores=0-7
/proc/27058/task/27067/stat : 27067 (java) S 27056 27056 7585 0 -1 1077944384 49765 0 0 0 10723 522 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158541240848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27068] ppid=27056 vsize=26538700 memory=1384 CPUtime=18.6 cores=0-7
/proc/27058/task/27068/stat : 27068 (java) S 27056 27056 7585 0 -1 1077944384 72260 0 0 0 1811 49 0 0 20 0 28 0 97838588 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157032614512 140158626040450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27069] ppid=27056 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/27058/task/27069/stat : 27069 (java) S 27056 27056 7585 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 97838588 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157031560544 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27070] ppid=27056 vsize=26538700 memory=17975432 CPUtime=0 cores=0-7
/proc/27058/task/27070/stat : 27070 (java) S 27056 27056 7585 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 28 0 97838588 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157030508160 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27071] ppid=27056 vsize=26538700 memory=20377332 CPUtime=0 cores=0-7
/proc/27058/task/27071/stat : 27071 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157029456464 140158626047899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27072] ppid=27056 vsize=26538700 memory=0 CPUtime=3.13 cores=0-7
/proc/27058/task/27072/stat : 27072 (java) S 27056 27056 7585 0 -1 1077944384 14169 0 0 0 310 3 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157028403312 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27073] ppid=27056 vsize=26538700 memory=287 CPUtime=3.12 cores=0-7
/proc/27058/task/27073/stat : 27073 (java) S 27056 27056 7585 0 -1 1077944384 14903 0 0 0 309 3 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157027350512 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27074] ppid=27056 vsize=26538700 memory=1384 CPUtime=2.88 cores=0-7
/proc/27058/task/27074/stat : 27074 (java) S 27056 27056 7585 0 -1 1077944384 13825 0 0 0 286 2 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157026298224 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27075] ppid=27056 vsize=26538700 memory=20377176 CPUtime=0.96 cores=0-7
/proc/27058/task/27075/stat : 27075 (java) S 27056 27056 7585 0 -1 1077944384 10405 0 0 0 94 2 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157025245424 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27076] ppid=27056 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/27058/task/27076/stat : 27076 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157024193376 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27077] ppid=27056 vsize=26538700 memory=288230621803970871 CPUtime=0.08 cores=0-7
/proc/27058/task/27077/stat : 27077 (java) S 27056 27056 7585 0 -1 1077944384 1153 0 0 0 4 4 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157023140656 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27086] ppid=27056 vsize=26538700 memory=1948 CPUtime=1.71 cores=0-7
/proc/27058/task/27086/stat : 27086 (java) S 27056 27056 7585 0 -1 1077944384 37 0 0 0 171 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157008818416 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27087] ppid=27056 vsize=26538700 memory=8536 CPUtime=0.7 cores=0-7
/proc/27058/task/27087/stat : 27087 (java) S 27056 27056 7585 0 -1 1077944384 165 0 0 0 70 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157010925008 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27088] ppid=27056 vsize=26538700 memory=11212 CPUtime=1.71 cores=0-7
/proc/27058/task/27088/stat : 27088 (java) S 27056 27056 7585 0 -1 1077944384 22 0 0 0 171 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157015135056 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27089] ppid=27056 vsize=26538700 memory=1181 CPUtime=1.94 cores=0-7
/proc/27058/task/27089/stat : 27089 (java) S 27056 27056 7585 0 -1 1077944384 43 0 0 0 194 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157009871568 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27090] ppid=27056 vsize=26538700 memory=20377328 CPUtime=1.38 cores=0-7
/proc/27058/task/27090/stat : 27090 (java) S 27056 27056 7585 0 -1 1077944384 2181 0 0 0 135 3 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157013029968 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27091] ppid=27056 vsize=26538700 memory=4132 CPUtime=1.06 cores=0-7
/proc/27058/task/27091/stat : 27091 (java) S 27056 27056 7585 0 -1 1077944384 104 0 0 0 105 1 0 0 20 0 28 0 97860088 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157011977168 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27092] ppid=27056 vsize=26538700 memory=0 CPUtime=7.25 cores=0-7
/proc/27058/task/27092/stat : 27092 (java) R 27056 27056 7585 0 -1 4202560 1395 0 0 0 702 23 0 0 20 0 28 0 97860088 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157007761312 140158228922928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27093] ppid=27056 vsize=26538700 memory=55 CPUtime=2.06 cores=0-7
/proc/27058/task/27093/stat : 27093 (java) S 27056 27056 7585 0 -1 1077944384 43 0 0 0 206 0 0 0 20 0 28 0 97860088 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157014082768 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
Current children cumulated CPU time: 1090.09 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 20378716 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 2.99 4.32 5.21 2/208 27094
/proc/meminfo: memFree=11267396/32770624 swapFree=67108860/67108860
[pid=27056] ppid=27053 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/27056/stat : 27056 (xcsp3-exec) S 27053 27056 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97838585 9740288 346 33554432000 4194304 5098028 140729451391600 140729451389704 140227104322172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31887360 140729451398250 140729451398460 140729451398460 140729451401195 0
/proc/27056/statm: 2378 346 289 221 0 87 0
[pid=27058] ppid=27056 vsize=26538700 memory=20377332 CPUtime=1119.9 cores=0-7
/proc/27058/stat : 27058 (java) S 27056 27056 7585 0 -1 1077944320 824255 0 0 0 107797 4193 0 0 20 0 28 0 97838585 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140725936254896 140158626029303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
/proc/27058/statm: 6634675 5094333 3309 1 0 6621909 0
[pid=27058/tid=27059] ppid=27056 vsize=26538700 memory=6791534058613427641 CPUtime=72.19 cores=0-7
/proc/27058/task/27059/stat : 27059 (java) S 27056 27056 7585 0 -1 1077944384 47021 0 0 0 7165 54 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158630270080 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27060] ppid=27056 vsize=26538700 memory=-7003737579269690708 CPUtime=112.05 cores=0-7
/proc/27058/task/27060/stat : 27060 (java) S 27056 27056 7585 0 -1 1077944384 58689 0 0 0 10716 489 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158548609936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27061] ppid=27056 vsize=26538700 memory=28440 CPUtime=112.86 cores=0-7
/proc/27058/task/27061/stat : 27061 (java) S 27056 27056 7585 0 -1 1077944384 87576 0 0 0 10783 503 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158547557136 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27062] ppid=27056 vsize=26538700 memory=2332 CPUtime=112.28 cores=0-7
/proc/27058/task/27062/stat : 27062 (java) S 27056 27056 7585 0 -1 1077944384 41744 0 0 0 10788 440 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158546504848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27063] ppid=27056 vsize=26538700 memory=1292 CPUtime=112.56 cores=0-7
/proc/27058/task/27063/stat : 27063 (java) S 27056 27056 7585 0 -1 1077944384 93347 0 0 0 10725 531 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158545452048 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27064] ppid=27056 vsize=26538700 memory=1728 CPUtime=112.12 cores=0-7
/proc/27058/task/27064/stat : 27064 (java) S 27056 27056 7585 0 -1 1077944384 58001 0 0 0 10729 483 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158544398736 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27065] ppid=27056 vsize=26538700 memory=5788 CPUtime=112.11 cores=0-7
/proc/27058/task/27065/stat : 27065 (java) S 27056 27056 7585 0 -1 1077944384 57334 0 0 0 10712 499 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158543345936 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27066] ppid=27056 vsize=26538700 memory=1228 CPUtime=112.54 cores=0-7
/proc/27058/task/27066/stat : 27066 (java) S 27056 27056 7585 0 -1 1077944384 78114 0 0 0 10779 475 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158542293648 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27067] ppid=27056 vsize=26538700 memory=288230574492221466 CPUtime=112.45 cores=0-7
/proc/27058/task/27067/stat : 27067 (java) S 27056 27056 7585 0 -1 1077944384 49765 0 0 0 10723 522 0 0 20 0 28 0 97838586 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140158541240848 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27068] ppid=27056 vsize=26538700 memory=288230621803970871 CPUtime=18.6 cores=0-7
/proc/27058/task/27068/stat : 27068 (java) S 27056 27056 7585 0 -1 1077944384 72348 0 0 0 1811 49 0 0 20 0 28 0 97838588 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157032614512 140158626040450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27069] ppid=27056 vsize=26538700 memory=15540704344541588 CPUtime=0 cores=0-7
/proc/27058/task/27069/stat : 27069 (java) S 27056 27056 7585 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 97838588 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157031560544 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27070] ppid=27056 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27058/task/27070/stat : 27070 (java) S 27056 27056 7585 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 28 0 97838588 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157030508160 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27071] ppid=27056 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/27058/task/27071/stat : 27071 (java) S 27056 27056 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157029456464 140158626047899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27072] ppid=27056 vsize=26538700 memory=836 CPUtime=3.14 cores=0-7
/proc/27058/task/27072/stat : 27072 (java) S 27056 27056 7585 0 -1 1077944384 14533 0 0 0 311 3 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157028403312 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27073] ppid=27056 vsize=26538700 memory=1696 CPUtime=3.13 cores=0-7
/proc/27058/task/27073/stat : 27073 (java) S 27056 27056 7585 0 -1 1077944384 15647 0 0 0 310 3 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157027350512 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27074] ppid=27056 vsize=26538700 memory=920 CPUtime=2.91 cores=0-7
/proc/27058/task/27074/stat : 27074 (java) S 27056 27056 7585 0 -1 1077944384 15453 0 0 0 289 2 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157026298224 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27075] ppid=27056 vsize=26538700 memory=6940 CPUtime=0.96 cores=0-7
/proc/27058/task/27075/stat : 27075 (java) S 27056 27056 7585 0 -1 1077944384 11730 0 0 0 94 2 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157025245424 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27076] ppid=27056 vsize=26538700 memory=4100 CPUtime=0 cores=0-7
/proc/27058/task/27076/stat : 27076 (java) S 27056 27056 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157024193376 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27077] ppid=27056 vsize=26538700 memory=4616 CPUtime=0.1 cores=0-7
/proc/27058/task/27077/stat : 27077 (java) S 27056 27056 7585 0 -1 1077944384 1330 0 0 0 5 5 0 0 20 0 28 0 97838591 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157023140656 140158626040450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27086] ppid=27056 vsize=26538700 memory=1720 CPUtime=1.71 cores=0-7
/proc/27058/task/27086/stat : 27086 (java) S 27056 27056 7585 0 -1 1077944384 37 0 0 0 171 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157008818416 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27087] ppid=27056 vsize=26538700 memory=1004 CPUtime=0.7 cores=0-7
/proc/27058/task/27087/stat : 27087 (java) S 27056 27056 7585 0 -1 1077944384 165 0 0 0 70 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157010925008 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27088] ppid=27056 vsize=26538700 memory=1436 CPUtime=1.71 cores=0-7
/proc/27058/task/27088/stat : 27088 (java) S 27056 27056 7585 0 -1 1077944384 22 0 0 0 171 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157015135056 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27089] ppid=27056 vsize=26538700 memory=1200 CPUtime=1.94 cores=0-7
/proc/27058/task/27089/stat : 27089 (java) S 27056 27056 7585 0 -1 1077944384 43 0 0 0 194 0 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157009871568 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27090] ppid=27056 vsize=26538700 memory=15872 CPUtime=1.38 cores=0-7
/proc/27058/task/27090/stat : 27090 (java) S 27056 27056 7585 0 -1 1077944384 2181 0 0 0 135 3 0 0 20 0 28 0 97860087 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157013029968 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27091] ppid=27056 vsize=26538700 memory=4040 CPUtime=1.06 cores=0-7
/proc/27058/task/27091/stat : 27091 (java) S 27056 27056 7585 0 -1 1077944384 104 0 0 0 105 1 0 0 20 0 28 0 97860088 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157011977168 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27092] ppid=27056 vsize=26538700 memory=16800 CPUtime=36.96 cores=0-7
/proc/27058/task/27092/stat : 27092 (java) R 27056 27056 7585 0 -1 4202560 6724 0 0 0 3664 32 0 0 20 0 28 0 97860088 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157007763480 140158228922684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
[pid=27058/tid=27093] ppid=27056 vsize=26538700 memory=18292 CPUtime=2.06 cores=0-7
/proc/27058/task/27093/stat : 27093 (java) S 27056 27056 7585 0 -1 1077944384 43 0 0 0 206 0 0 0 20 0 28 0 97860088 27175628800 5094333 33554432000 4194304 4196468 140725936272352 140157014082768 140158626039509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140725936280728 140725936280904 140725936280904 140725936283599 0
Current children cumulated CPU time: 1119.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 20378716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.02 s]
# the end of solver process 27056 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000917 s, system=0.001331 s
[startup+252.125 s]
# the end of solver process 27058 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1077.99 s, system=42.0464 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.125
CPU time (s): 1120.04
CPU user time (s): 1077.99
CPU system time (s): 42.0464
CPU usage (%): 444.238
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 20378908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1077.99
system time used= 42.0464
maximum resident set size= 20377896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29585
involuntary context switches= 18293
# summary of solver processes directly reported to runsolver:
# pid: 27056,27058
# total CPU time (s): 1120.04
# total CPU user time (s): 1077.99
# total CPU system time (s): 42.0464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8854 second user time and 2.65155 second system time
The end
Begin job on node112 at 2017-08-13 19:50:49
IDJOB=4271882
IDBENCH=139738
IDSOLVER=2663
FILE ID=node112/4271882-1502647508
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61768 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-35-35.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-4271882-1502647508/watcher-4271882-1502647508 -o /tmp/evaluation-result-4271882-1502647508/solver-4271882-1502647508 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1990259559 HOME/instance-4271882-1502647508.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8013d5ca2692908d001f725061313983
RANDOM SEED=1990259559
node112.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: 31673020 kB
MemAvailable: 31978672 kB
Buffers: 132616 kB
Cached: 453592 kB
SwapCached: 0 kB
Active: 477196 kB
Inactive: 163260 kB
Active(anon): 5692 kB
Inactive(anon): 76476 kB
Active(file): 471504 kB
Inactive(file): 86784 kB
Unevictable: 6276 kB
Mlocked: 6276 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 28140 kB
Writeback: 0 kB
AnonPages: 60532 kB
Mapped: 43464 kB
Shmem: 25224 kB
Slab: 152564 kB
SReclaimable: 126396 kB
SUnreclaim: 26168 kB
KernelStack: 3152 kB
PageTables: 4648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 326952 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: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61760 MiB
End job on node112 at 2017-08-13 19:55:02