0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271624-1502640779.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271624-1502640779.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
14.04/2.98 c solve instance...
20.84/4.00 o 35
21.59/4.08 o 34
22.31/4.13 o 33
22.31/4.19 o 32
32.03/5.53 o 31
32.03/5.57 o 30
32.76/5.63 o 29
32.76/5.66 o 28
33.43/5.70 o 27
33.43/5.74 o 26
33.43/5.78 o 25
34.05/5.81 o 24
34.05/5.86 o 23
34.69/5.90 o 22
34.69/5.93 o 21
34.69/5.96 o 20
34.69/5.99 o 19
35.39/6.03 o 18
35.39/6.06 o 17
35.39/6.10 o 16
36.00/6.13 o 15
36.00/6.17 o 14
36.59/6.21 o 13
36.59/6.25 o 12
36.59/6.28 o 11
37.17/6.36 o 10
334.12/43.64 o 8
334.12/43.69 o 7
532.35/68.59 o 6
1268.83/160.96 o 5
1995.22/252.09 s SATISFIABLE
1995.22/252.09 v <instantiation>
1995.22/252.09 v <list>z 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] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list>
1995.22/252.09 v <values>5 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 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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 </values>
1995.22/252.09 v </instantiation>
1995.22/252.09 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 (12304 MiB free)
memory of node 1: 16384 MiB (13587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271624-1502640779/watcher-4271624-1502640779 -o /tmp/evaluation-result-4271624-1502640779/solver-4271624-1502640779 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 331552806 HOME/instance-4271624-1502640779.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=19588, runsolver pid=19585
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 7.97 7.78 6.97 2/201 19609
/proc/meminfo: memFree=26496232/32770624 swapFree=67108860/67108860
[pid=19588] ppid=19585 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19588/stat : 19588 (xcsp3-exec) S 19585 19588 6764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97149536 9740288 346 33554432000 4194304 5098028 140722050072992 140722050071096 139894828757628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17600512 140722050077803 140722050078012 140722050078012 140722050080747 0
/proc/19588/statm: 2378 346 289 221 0 87 0
[pid=19590] ppid=19588 vsize=25999808 memory=26560 CPUtime=0.11 cores=0-7
/proc/19590/stat : 19590 (java) S 19588 19588 6764 0 -1 1077944320 5595 0 0 0 10 1 0 0 20 0 20 0 97149537 26623803392 6640 33554432000 4194304 4196468 140729848446768 140729848429312 140557124222711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
/proc/19590/statm: 6499952 6640 2838 1 0 6488269 0
[pid=19590/tid=19591] ppid=19588 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19590/task/19591/stat : 19591 (java) R 19588 19588 6764 0 -1 4202560 3587 0 0 0 8 1 0 0 20 0 20 0 97149537 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557128454624 140557124244637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19592] ppid=19588 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19590/task/19592/stat : 19592 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557046802832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19593] ppid=19588 vsize=25999808 memory=140379209500288 CPUtime=0 cores=0-7
/proc/19590/task/19593/stat : 19593 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557045750032 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19594] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19594/stat : 19594 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557044697744 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19595] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19595/stat : 19595 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557043644944 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19596] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19596/stat : 19596 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557042592656 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19597] ppid=19588 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19590/task/19597/stat : 19597 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557041539856 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19598] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19598/stat : 19598 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557040487568 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19599] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19599/stat : 19599 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26623803392 6640 33554432000 4194304 4196468 140729848446768 140557039434768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19600] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19600/stat : 19600 (java) S 19588 19588 6764 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97149539 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555396466800 140557124233858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19601] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19601/stat : 19601 (java) S 19588 19588 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97149540 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555395412768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19602] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19602/stat : 19602 (java) S 19588 19588 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97149540 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555394360432 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19603] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19603/stat : 19603 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149542 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555393308752 140557124241307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19604] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19604/stat : 19604 (java) S 19588 19588 6764 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 97149542 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555392256624 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19605] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19605/stat : 19605 (java) R 19588 19588 6764 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97149542 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555391203824 140557124233858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19606] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19606/stat : 19606 (java) S 19588 19588 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97149542 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555390151536 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19607] ppid=19588 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19590/task/19607/stat : 19607 (java) R 19588 19588 6764 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 97149542 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555389096272 140557124244058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19608] ppid=19588 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19608/stat : 19608 (java) S 19588 19588 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97149543 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555388045664 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19609] ppid=19588 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19590/task/19609/stat : 19609 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149543 26623803392 6640 33554432000 4194304 4196468 140729848446768 140555386992944 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27944 KiB
[startup+0.210383 s]*
/proc/loadavg: 7.97 7.78 6.97 3/201 19609
/proc/meminfo: memFree=26484680/32770624 swapFree=67108860/67108860
[pid=19588] ppid=19585 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19588/stat : 19588 (xcsp3-exec) S 19585 19588 6764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97149536 9740288 346 33554432000 4194304 5098028 140722050072992 140722050071096 139894828757628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17600512 140722050077803 140722050078012 140722050078012 140722050080747 0
/proc/19588/statm: 2378 346 289 221 0 87 0
[pid=19590] ppid=19588 vsize=26004064 memory=38656 CPUtime=0.33 cores=0-7
/proc/19590/stat : 19590 (java) S 19588 19588 6764 0 -1 1077944320 8305 0 0 0 30 3 0 0 20 0 20 0 97149537 26628161536 9664 33554432000 4194304 4196468 140729848446768 140729848429312 140557124222711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
/proc/19590/statm: 6501016 9664 3064 1 0 6488269 0
[pid=19590/tid=19591] ppid=19588 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19590/task/19591/stat : 19591 (java) R 19588 19588 6764 0 -1 4202560 5416 0 0 0 18 2 0 0 20 0 20 0 97149537 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557128443704 140556713931048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19592] ppid=19588 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/19590/task/19592/stat : 19592 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557046802832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19593] ppid=19588 vsize=26004064 memory=140379209679874 CPUtime=0 cores=0-7
/proc/19590/task/19593/stat : 19593 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557045750032 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19594] ppid=19588 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19590/task/19594/stat : 19594 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557044697744 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19595] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19595/stat : 19595 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557043644944 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19596] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19596/stat : 19596 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557042592656 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19597] ppid=19588 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19590/task/19597/stat : 19597 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557041539856 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19598] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19598/stat : 19598 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557040487568 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19599] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19599/stat : 19599 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 9664 33554432000 4194304 4196468 140729848446768 140557039434768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19600] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19600/stat : 19600 (java) S 19588 19588 6764 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97149539 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555396466800 140557124233858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19601] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19601/stat : 19601 (java) S 19588 19588 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97149540 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555395412768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19602] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19602/stat : 19602 (java) S 19588 19588 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97149540 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555394360432 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19603] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19603/stat : 19603 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149542 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555393308752 140557124241307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19604] ppid=19588 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19590/task/19604/stat : 19604 (java) S 19588 19588 6764 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 97149542 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555392256624 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19605] ppid=19588 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/19590/task/19605/stat : 19605 (java) S 19588 19588 6764 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 97149542 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555391203824 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19606] ppid=19588 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19590/task/19606/stat : 19606 (java) S 19588 19588 6764 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 97149542 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555390151536 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19607] ppid=19588 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/19590/task/19607/stat : 19607 (java) R 19588 19588 6764 0 -1 4202560 721 0 0 0 7 0 0 0 20 0 20 0 97149542 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555389098736 140557108303198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19608] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19608/stat : 19608 (java) S 19588 19588 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97149543 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555388045664 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19609] ppid=19588 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19590/task/19609/stat : 19609 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149543 26628161536 9664 33554432000 4194304 4196468 140729848446768 140555386992944 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40040 KiB
[startup+0.31006 s]*
/proc/loadavg: 7.97 7.78 6.97 3/201 19609
/proc/meminfo: memFree=26480400/32770624 swapFree=67108860/67108860
[pid=19588] ppid=19585 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19588/stat : 19588 (xcsp3-exec) S 19585 19588 6764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97149536 9740288 346 33554432000 4194304 5098028 140722050072992 140722050071096 139894828757628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17600512 140722050077803 140722050078012 140722050078012 140722050080747 0
/proc/19588/statm: 2378 346 289 221 0 87 0
[pid=19590] ppid=19588 vsize=26004064 memory=43832 CPUtime=0.5 cores=0-7
/proc/19590/stat : 19590 (java) S 19588 19588 6764 0 -1 1077944320 9190 0 0 0 47 3 0 0 20 0 20 0 97149537 26628161536 10958 33554432000 4194304 4196468 140729848446768 140729848429312 140557124222711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
/proc/19590/statm: 6501016 10958 3116 1 0 6488269 0
[pid=19590/tid=19591] ppid=19588 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19590/task/19591/stat : 19591 (java) R 19588 19588 6764 0 -1 4202560 6087 0 0 0 27 2 0 0 20 0 20 0 97149537 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557128460368 140557124244637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19592] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19592/stat : 19592 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557046802832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19593] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19593/stat : 19593 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557045750032 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19594] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19594/stat : 19594 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557044697744 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19595] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19595/stat : 19595 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557043644944 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19596] ppid=19588 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19590/task/19596/stat : 19596 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557042592656 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19597] ppid=19588 vsize=26004064 memory=140379060007855 CPUtime=0 cores=0-7
/proc/19590/task/19597/stat : 19597 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557041539856 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19598] ppid=19588 vsize=26004064 memory=140379060010160 CPUtime=0 cores=0-7
/proc/19590/task/19598/stat : 19598 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557040487568 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19599] ppid=19588 vsize=26004064 memory=140379060012464 CPUtime=0 cores=0-7
/proc/19590/task/19599/stat : 19599 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26628161536 10958 33554432000 4194304 4196468 140729848446768 140557039434768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19600] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19600/stat : 19600 (java) S 19588 19588 6764 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 97149539 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555396466800 140557124233858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19601] ppid=19588 vsize=26004064 memory=280758120031888 CPUtime=0 cores=0-7
/proc/19590/task/19601/stat : 19601 (java) S 19588 19588 6764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97149540 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555395412768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19602] ppid=19588 vsize=26004064 memory=280758120038800 CPUtime=0 cores=0-7
/proc/19590/task/19602/stat : 19602 (java) S 19588 19588 6764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97149540 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555394360432 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19603] ppid=19588 vsize=26004064 memory=280758119980080 CPUtime=0 cores=0-7
/proc/19590/task/19603/stat : 19603 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149542 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555393308752 140557124241307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19604] ppid=19588 vsize=26004064 memory=280758120052624 CPUtime=0.02 cores=0-7
/proc/19590/task/19604/stat : 19604 (java) S 19588 19588 6764 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 20 0 97149542 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555392256624 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19605] ppid=19588 vsize=26004064 memory=280758120059536 CPUtime=0.03 cores=0-7
/proc/19590/task/19605/stat : 19605 (java) S 19588 19588 6764 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 20 0 97149542 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555391203824 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19606] ppid=19588 vsize=26004064 memory=280758120057232 CPUtime=0 cores=0-7
/proc/19590/task/19606/stat : 19606 (java) S 19588 19588 6764 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 97149542 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555390151536 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19607] ppid=19588 vsize=26004064 memory=280758120073392 CPUtime=0.12 cores=0-7
/proc/19590/task/19607/stat : 19607 (java) R 19588 19588 6764 0 -1 4202560 837 0 0 0 12 0 0 0 20 0 20 0 97149542 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555389097920 140557103357404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19608] ppid=19588 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19608/stat : 19608 (java) S 19588 19588 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97149543 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555388045664 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19609] ppid=19588 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19590/task/19609/stat : 19609 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149543 26628161536 10958 33554432000 4194304 4196468 140729848446768 140555386992944 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45216 KiB
[startup+0.700937 s]
/proc/loadavg: 7.97 7.78 6.97 5/201 19609
/proc/meminfo: memFree=26460464/32770624 swapFree=67108860/67108860
[pid=19588] ppid=19585 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19588/stat : 19588 (xcsp3-exec) S 19585 19588 6764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97149536 9740288 346 33554432000 4194304 5098028 140722050072992 140722050071096 139894828757628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17600512 140722050077803 140722050078012 140722050078012 140722050080747 0
/proc/19588/statm: 2378 346 289 221 0 87 0
[pid=19590] ppid=19588 vsize=26006188 memory=106728 CPUtime=1.73 cores=0-7
/proc/19590/stat : 19590 (java) S 19588 19588 6764 0 -1 1077944320 12720 0 0 0 168 5 0 0 20 0 20 0 97149537 26630336512 26682 33554432000 4194304 4196468 140729848446768 140729848429312 140557124222711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
/proc/19590/statm: 6501547 26682 3196 1 0 6488781 0
[pid=19590/tid=19591] ppid=19588 vsize=26006188 memory=280758120431280 CPUtime=0.67 cores=0-7
/proc/19590/task/19591/stat : 19591 (java) R 19588 19588 6764 0 -1 4202560 6727 0 0 0 64 3 0 0 20 0 20 0 97149537 26630336512 26682 33554432000 4194304 4196468 140729848446768 140557128458992 140557124234646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19592] ppid=19588 vsize=26006188 memory=140379060216688 CPUtime=0 cores=0-7
/proc/19590/task/19592/stat : 19592 (java) S 19588 19588 6764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97149538 26630336512 26682 33554432000 4194304 4196468 140729848446768 140557046802832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19593] ppid=19588 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/19590/task/19593/stat : 19593 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26630336512 26682 33554432000 4194304 4196468 140729848446768 140557045750032 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19594] ppid=19588 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/19590/task/19594/stat : 19594 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97149538 26630336512 26682 33554432000 4194304 4196468 140729848446768 140557044697744 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
################
# More data... #
################
[pid=19590/tid=19887] ppid=19588 vsize=26538700 memory=4128 CPUtime=1.31 cores=0-7
/proc/19590/task/19887/stat : 19887 (java) R 19588 19588 6764 0 -1 4202560 33 0 0 0 131 0 0 0 20 0 28 0 97165634 27175628800 379195 33554432000 4194304 4196468 140729848446768 140555376879688 140556720972448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
Current children cumulated CPU time: 1279.88 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1518164 KiB
[startup+222.302 s]
/proc/loadavg: 8.64 8.21 7.31 10/208 19887
/proc/meminfo: memFree=25007664/32770624 swapFree=67108860/67108860
[pid=19588] ppid=19585 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19588/stat : 19588 (xcsp3-exec) S 19585 19588 6764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97149536 9740288 346 33554432000 4194304 5098028 140722050072992 140722050071096 139894828757628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17600512 140722050077803 140722050078012 140722050078012 140722050080747 0
/proc/19588/statm: 2378 346 289 221 0 87 0
[pid=19590] ppid=19588 vsize=26538700 memory=1516488 CPUtime=1758.28 cores=0-7
/proc/19590/stat : 19590 (java) S 19588 19588 6764 0 -1 1077944320 189474 0 0 0 175451 377 0 0 20 0 28 0 97149537 27175628800 379122 33554432000 4194304 4196468 140729848446768 140729848429312 140557124222711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
/proc/19590/statm: 6634675 379122 3292 1 0 6621909 0
[pid=19590/tid=19591] ppid=19588 vsize=26538700 memory=1516488 CPUtime=1.87 cores=0-7
/proc/19590/task/19591/stat : 19591 (java) S 19588 19588 6764 0 -1 1077944384 7768 0 0 0 180 7 0 0 20 0 28 0 97149537 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557128463488 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19592] ppid=19588 vsize=26538700 memory=0 CPUtime=2.82 cores=0-7
/proc/19590/task/19592/stat : 19592 (java) S 19588 19588 6764 0 -1 1077944384 5598 0 0 0 256 26 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557046802832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19593] ppid=19588 vsize=26538700 memory=1384 CPUtime=2.83 cores=0-7
/proc/19590/task/19593/stat : 19593 (java) S 19588 19588 6764 0 -1 1077944384 4380 0 0 0 254 29 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557045750032 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19594] ppid=19588 vsize=26538700 memory=1384 CPUtime=2.83 cores=0-7
/proc/19590/task/19594/stat : 19594 (java) S 19588 19588 6764 0 -1 1077944384 2993 0 0 0 256 27 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557044697744 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19595] ppid=19588 vsize=26538700 memory=1384 CPUtime=2.82 cores=0-7
/proc/19590/task/19595/stat : 19595 (java) S 19588 19588 6764 0 -1 1077944384 3416 0 0 0 255 27 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557043644944 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19596] ppid=19588 vsize=26538700 memory=1516484 CPUtime=2.84 cores=0-7
/proc/19590/task/19596/stat : 19596 (java) S 19588 19588 6764 0 -1 1077944384 3447 0 0 0 257 27 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557042592656 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19597] ppid=19588 vsize=26538700 memory=12032 CPUtime=2.81 cores=0-7
/proc/19590/task/19597/stat : 19597 (java) S 19588 19588 6764 0 -1 1077944384 2899 0 0 0 254 27 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557041539856 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19598] ppid=19588 vsize=26538700 memory=1708 CPUtime=2.83 cores=0-7
/proc/19590/task/19598/stat : 19598 (java) S 19588 19588 6764 0 -1 1077944384 3773 0 0 0 256 27 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557040487568 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19599] ppid=19588 vsize=26538700 memory=1384 CPUtime=2.86 cores=0-7
/proc/19590/task/19599/stat : 19599 (java) S 19588 19588 6764 0 -1 1077944384 3486 0 0 0 257 29 0 0 20 0 28 0 97149538 27175628800 379122 33554432000 4194304 4196468 140729848446768 140557039434768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19600] ppid=19588 vsize=26538700 memory=1516484 CPUtime=0.28 cores=0-7
/proc/19590/task/19600/stat : 19600 (java) S 19588 19588 6764 0 -1 1077944384 9482 0 0 0 24 4 0 0 20 0 28 0 97149539 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555396466800 140557124233858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19601] ppid=19588 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/19590/task/19601/stat : 19601 (java) S 19588 19588 6764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 97149540 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555395412832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19602] ppid=19588 vsize=26538700 memory=1515464 CPUtime=0 cores=0-7
/proc/19590/task/19602/stat : 19602 (java) S 19588 19588 6764 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 97149540 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555394360448 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19603] ppid=19588 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/19590/task/19603/stat : 19603 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97149542 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555393308752 140557124241307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19604] ppid=19588 vsize=26538700 memory=1384 CPUtime=2.61 cores=0-7
/proc/19590/task/19604/stat : 19604 (java) S 19588 19588 6764 0 -1 1077944384 19281 0 0 0 258 3 0 0 20 0 28 0 97149542 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555392256624 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19605] ppid=19588 vsize=26538700 memory=168405667715368 CPUtime=2.84 cores=0-7
/proc/19590/task/19605/stat : 19605 (java) S 19588 19588 6764 0 -1 1077944384 18650 0 0 0 280 4 0 0 20 0 28 0 97149542 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555391203824 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19606] ppid=19588 vsize=26538700 memory=2321940104258140752 CPUtime=3.13 cores=0-7
/proc/19590/task/19606/stat : 19606 (java) S 19588 19588 6764 0 -1 1077944384 22443 0 0 0 307 6 0 0 20 0 28 0 97149542 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555390151536 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19607] ppid=19588 vsize=26538700 memory=1384 CPUtime=0.94 cores=0-7
/proc/19590/task/19607/stat : 19607 (java) S 19588 19588 6764 0 -1 1077944384 15942 0 0 0 90 4 0 0 20 0 28 0 97149542 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555389098736 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19608] ppid=19588 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/19590/task/19608/stat : 19608 (java) S 19588 19588 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97149543 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555388045664 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19609] ppid=19588 vsize=26538700 memory=56 CPUtime=0.1 cores=0-7
/proc/19590/task/19609/stat : 19609 (java) S 19588 19588 6764 0 -1 1077944384 2122 0 0 0 3 7 0 0 20 0 28 0 97149543 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555386992944 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19880] ppid=19588 vsize=26538700 memory=6943526294502006880 CPUtime=61.2 cores=0-7
/proc/19590/task/19880/stat : 19880 (java) R 19588 19588 6764 0 -1 4202560 701 0 0 0 6118 2 0 0 20 0 28 0 97165633 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555372665896 140556721884354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19881] ppid=19588 vsize=26538700 memory=170793669532500 CPUtime=61.19 cores=0-7
/proc/19590/task/19881/stat : 19881 (java) R 19588 19588 6764 0 -1 4202560 1171 0 0 0 6118 1 0 0 20 0 28 0 97165633 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555373719336 140556722110025 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19882] ppid=19588 vsize=26538700 memory=7800344859672537938 CPUtime=60.82 cores=0-7
/proc/19590/task/19882/stat : 19882 (java) R 19588 19588 6764 0 -1 4202560 851 0 0 0 6080 2 0 0 20 0 28 0 97165633 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555374772352 140556722009272 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19883] ppid=19588 vsize=26538700 memory=481 CPUtime=61.23 cores=0-7
/proc/19590/task/19883/stat : 19883 (java) R 19588 19588 6764 0 -1 4202560 4554 0 0 0 6119 4 0 0 20 0 28 0 97165633 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555378985968 140556721487943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19884] ppid=19588 vsize=26538700 memory=9051283677730746851 CPUtime=61.22 cores=0-7
/proc/19590/task/19884/stat : 19884 (java) R 19588 19588 6764 0 -1 4202560 3756 0 0 0 6118 4 0 0 20 0 28 0 97165633 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555375825576 140556721885314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19885] ppid=19588 vsize=26538700 memory=1384 CPUtime=61.18 cores=0-7
/proc/19590/task/19885/stat : 19885 (java) R 19588 19588 6764 0 -1 4202560 1173 0 0 0 6118 0 0 0 20 0 28 0 97165633 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555377930792 140556721885384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19886] ppid=19588 vsize=26538700 memory=1516488 CPUtime=60.99 cores=0-7
/proc/19590/task/19886/stat : 19886 (java) R 19588 19588 6764 0 -1 4202560 867 0 0 0 6097 2 0 0 20 0 28 0 97165633 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555371613848 140556722421892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19887] ppid=19588 vsize=26538700 memory=1384 CPUtime=60.46 cores=0-7
/proc/19590/task/19887/stat : 19887 (java) R 19588 19588 6764 0 -1 4202560 1250 0 0 0 6045 1 0 0 20 0 28 0 97165634 27175628800 379122 33554432000 4194304 4196468 140729848446768 140555376877192 140556720972524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
Current children cumulated CPU time: 1758.28 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1517872 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.44 8.21 7.34 9/208 19887
/proc/meminfo: memFree=25018824/32770624 swapFree=67108860/67108860
[pid=19588] ppid=19585 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19588/stat : 19588 (xcsp3-exec) S 19585 19588 6764 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97149536 9740288 346 33554432000 4194304 5098028 140722050072992 140722050071096 139894828757628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17600512 140722050077803 140722050078012 140722050078012 140722050080747 0
/proc/19588/statm: 2378 346 289 221 0 87 0
[pid=19590] ppid=19588 vsize=26538700 memory=1506236 CPUtime=1995.22 cores=0-7
/proc/19590/stat : 19590 (java) S 19588 19588 6764 0 -1 1077944320 198614 0 0 0 199139 383 0 0 20 0 28 0 97149537 27175628800 376559 33554432000 4194304 4196468 140729848446768 140729848429312 140557124222711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
/proc/19590/statm: 6634675 376559 3292 1 0 6621909 0
[pid=19590/tid=19591] ppid=19588 vsize=26538700 memory=6791534058613427641 CPUtime=1.87 cores=0-7
/proc/19590/task/19591/stat : 19591 (java) S 19588 19588 6764 0 -1 1077944384 7768 0 0 0 180 7 0 0 20 0 28 0 97149537 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557128463488 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19592] ppid=19588 vsize=26538700 memory=4872558044660077418 CPUtime=2.84 cores=0-7
/proc/19590/task/19592/stat : 19592 (java) S 19588 19588 6764 0 -1 1077944384 6369 0 0 0 257 27 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557046802832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19593] ppid=19588 vsize=26538700 memory=1228 CPUtime=2.86 cores=0-7
/proc/19590/task/19593/stat : 19593 (java) S 19588 19588 6764 0 -1 1077944384 5044 0 0 0 256 30 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557045750032 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19594] ppid=19588 vsize=26538700 memory=5300 CPUtime=2.84 cores=0-7
/proc/19590/task/19594/stat : 19594 (java) S 19588 19588 6764 0 -1 1077944384 3300 0 0 0 257 27 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557044697744 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19595] ppid=19588 vsize=26538700 memory=4616 CPUtime=2.84 cores=0-7
/proc/19590/task/19595/stat : 19595 (java) S 19588 19588 6764 0 -1 1077944384 3511 0 0 0 257 27 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557043644944 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19596] ppid=19588 vsize=26538700 memory=1928 CPUtime=2.85 cores=0-7
/proc/19590/task/19596/stat : 19596 (java) S 19588 19588 6764 0 -1 1077944384 3709 0 0 0 258 27 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557042592656 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19597] ppid=19588 vsize=26538700 memory=1428 CPUtime=2.84 cores=0-7
/proc/19590/task/19597/stat : 19597 (java) S 19588 19588 6764 0 -1 1077944384 3033 0 0 0 256 28 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557041539856 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19598] ppid=19588 vsize=26538700 memory=1196 CPUtime=2.84 cores=0-7
/proc/19590/task/19598/stat : 19598 (java) S 19588 19588 6764 0 -1 1077944384 3942 0 0 0 257 27 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557040487568 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19599] ppid=19588 vsize=26538700 memory=10640 CPUtime=2.87 cores=0-7
/proc/19590/task/19599/stat : 19599 (java) S 19588 19588 6764 0 -1 1077944384 3724 0 0 0 258 29 0 0 20 0 28 0 97149538 27175628800 376559 33554432000 4194304 4196468 140729848446768 140557039434768 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19600] ppid=19588 vsize=26538700 memory=15876 CPUtime=0.29 cores=0-7
/proc/19590/task/19600/stat : 19600 (java) S 19588 19588 6764 0 -1 1077944384 10002 0 0 0 25 4 0 0 20 0 28 0 97149539 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555396466800 140557124233858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19601] ppid=19588 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/19590/task/19601/stat : 19601 (java) S 19588 19588 6764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 97149540 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555395412832 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19602] ppid=19588 vsize=26538700 memory=6508 CPUtime=0 cores=0-7
/proc/19590/task/19602/stat : 19602 (java) S 19588 19588 6764 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 97149540 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555394360448 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19603] ppid=19588 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/19590/task/19603/stat : 19603 (java) S 19588 19588 6764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97149542 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555393308752 140557124241307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19604] ppid=19588 vsize=26538700 memory=6791534058613427641 CPUtime=2.61 cores=0-7
/proc/19590/task/19604/stat : 19604 (java) S 19588 19588 6764 0 -1 1077944384 19286 0 0 0 258 3 0 0 20 0 28 0 97149542 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555392256624 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19605] ppid=19588 vsize=26538700 memory=1692 CPUtime=2.84 cores=0-7
/proc/19590/task/19605/stat : 19605 (java) S 19588 19588 6764 0 -1 1077944384 19555 0 0 0 280 4 0 0 20 0 28 0 97149542 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555391203824 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19606] ppid=19588 vsize=26538700 memory=1506236 CPUtime=3.14 cores=0-7
/proc/19590/task/19606/stat : 19606 (java) S 19588 19588 6764 0 -1 1077944384 23055 0 0 0 308 6 0 0 20 0 28 0 97149542 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555390151536 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19607] ppid=19588 vsize=26538700 memory=27864 CPUtime=0.94 cores=0-7
/proc/19590/task/19607/stat : 19607 (java) S 19588 19588 6764 0 -1 1077944384 16451 0 0 0 90 4 0 0 20 0 28 0 97149542 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555389098736 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19608] ppid=19588 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/19590/task/19608/stat : 19608 (java) S 19588 19588 6764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97149543 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555388045664 140557124232917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19609] ppid=19588 vsize=26538700 memory=2400 CPUtime=0.12 cores=0-7
/proc/19590/task/19609/stat : 19609 (java) S 19588 19588 6764 0 -1 1077944384 2223 0 0 0 4 8 0 0 20 0 28 0 97149543 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555386992944 140557124233858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19880] ppid=19588 vsize=26538700 memory=4616 CPUtime=90.89 cores=0-7
/proc/19590/task/19880/stat : 19880 (java) R 19588 19588 6764 0 -1 4202560 825 0 0 0 9086 3 0 0 20 0 28 0 97165633 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555372665568 140556721235645 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19881] ppid=19588 vsize=26538700 memory=1928 CPUtime=90.88 cores=0-7
/proc/19590/task/19881/stat : 19881 (java) R 19588 19588 6764 0 -1 4202560 1381 0 0 0 9087 1 0 0 20 0 28 0 97165633 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555373719528 140556722142988 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19882] ppid=19588 vsize=26538700 memory=1428 CPUtime=90.49 cores=0-7
/proc/19590/task/19882/stat : 19882 (java) R 19588 19588 6764 0 -1 4202560 1015 0 0 0 9047 2 0 0 20 0 28 0 97165633 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555374772440 140556721521730 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19883] ppid=19588 vsize=26538700 memory=0 CPUtime=90.9 cores=0-7
/proc/19590/task/19883/stat : 19883 (java) R 19588 19588 6764 0 -1 4202560 6263 0 0 0 9085 5 0 0 20 0 28 0 97165633 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555378985968 140556721487978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19884] ppid=19588 vsize=26538700 memory=0 CPUtime=90.87 cores=0-7
/proc/19590/task/19884/stat : 19884 (java) R 19588 19588 6764 0 -1 4202560 4530 0 0 0 9082 5 0 0 20 0 28 0 97165633 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555375825448 140556721610410 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19885] ppid=19588 vsize=26538700 memory=4616 CPUtime=90.85 cores=0-7
/proc/19590/task/19885/stat : 19885 (java) R 19588 19588 6764 0 -1 4202560 1417 0 0 0 9084 1 0 0 20 0 28 0 97165633 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555377930632 140556722109905 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19886] ppid=19588 vsize=26538700 memory=1928 CPUtime=90.67 cores=0-7
/proc/19590/task/19886/stat : 19886 (java) R 19588 19588 6764 0 -1 4202560 1035 0 0 0 9065 2 0 0 20 0 28 0 97165633 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555371614712 140556723050682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
[pid=19590/tid=19887] ppid=19588 vsize=26538700 memory=1428 CPUtime=89.52 cores=0-7
/proc/19590/task/19887/stat : 19887 (java) R 19588 19588 6764 0 -1 4202560 1705 0 0 0 8951 1 0 0 20 0 28 0 97165634 27175628800 376559 33554432000 4194304 4196468 140729848446768 140555376877400 140556720972456 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36765696 140729848452248 140729848452424 140729848452424 140729848455119 0
Current children cumulated CPU time: 1995.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1507620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.042 s]
# the end of solver process 19588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000973 s, system=0.000973 s
[startup+252.128 s]
# the end of solver process 19590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1992.17 s, system=3.87256 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.128
CPU time (s): 1996.05
CPU user time (s): 1992.17
CPU system time (s): 3.87256
CPU usage (%): 791.679
Max. virtual memory (cumulated for all children) (KiB): 26552016
Max. memory (cumulated for all children) (KiB): 1521808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1992.17
system time used= 3.87256
maximum resident set size= 1525688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16974
involuntary context switches= 22598
# summary of solver processes directly reported to runsolver:
# pid: 19588,19590
# total CPU time (s): 1996.05
# total CPU user time (s): 1992.17
# total CPU system time (s): 3.87256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.18959 second user time and 3.14549 second system time
The end
Begin job on node105 at 2017-08-13 17:58:41
IDJOB=4271624
IDBENCH=122959
IDSOLVER=2663
FILE ID=node105/4271624-1502640779
RUNJOBID= node105-1502638143-6791
PBS_JOBID= 20628331
Free space on /tmp= 60664 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.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-4271624-1502640779/watcher-4271624-1502640779 -o /tmp/evaluation-result-4271624-1502640779/solver-4271624-1502640779 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502638143-6791 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 331552806 HOME/instance-4271624-1502640779.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8
RANDOM SEED=331552806
node105.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.17
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.17
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.17
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.17
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: 26513392 kB
MemAvailable: 31975864 kB
Buffers: 174528 kB
Cached: 5563160 kB
SwapCached: 0 kB
Active: 675108 kB
Inactive: 5116360 kB
Active(anon): 56564 kB
Inactive(anon): 25060 kB
Active(file): 618544 kB
Inactive(file): 5091300 kB
Unevictable: 6248 kB
Mlocked: 6248 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7792 kB
Writeback: 0 kB
AnonPages: 54876 kB
Mapped: 43648 kB
Shmem: 25228 kB
Slab: 162488 kB
SReclaimable: 136928 kB
SUnreclaim: 25560 kB
KernelStack: 3552 kB
PageTables: 5108 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 322932 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: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 60656 MiB
End job on node105 at 2017-08-13 18:02:53