2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT	16.716101	2.5822201

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271000-1502822469.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271000-1502822469.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
1.49/0.63	c solve instance...
16.22/2.56	s SATISFIABLE
16.22/2.56	v <instantiation>
16.22/2.56	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>
16.22/2.56	v 	<values>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 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 0 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 0 1 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 0 1 2 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 0 1 2 3 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 0 1 2 3 4 6 7 8 9 10 11 12 13 14 15 2 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 16 3 4 5 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 0 1 2 3 4 5 6 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 0 1 2 3 4 5 6 7 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 0 1 2 3 4 5 6 7 8 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 0 1 2 3 4 5 6 7 8 9 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 20 21 22 30 24 25 26 27 28 29 16 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 23 17 18 19 21 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 22 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 23 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 24 25 26 27 28 29 30 31 32 33 34 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 25 26 27 28 29 30 31 32 33 34 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 26 27 28 29 30 31 32 33 34 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 27 28 29 23 31 32 33 34 0 1 30 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 2 24 25 26 28 29 30 31 32 33 34 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 29 30 31 32 33 34 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 30 31 32 33 34 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 31 32 33 34 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 32 33 34 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 33 34 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 34 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 </values>
16.22/2.56	v </instantiation>

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 (13510 MiB free)
  memory of node 1: 16384 MiB (14578 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271000-1502822469/watcher-4271000-1502822469 -o /tmp/evaluation-result-4271000-1502822469/solver-4271000-1502822469 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502815465-3810 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 173021392 HOME/instance-4271000-1502822469.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4893, runsolver pid=4890

[startup+0.100156 s]*
/proc/loadavg: 6.95 8.44 8.66 2/199 4914
/proc/meminfo: memFree=28747948/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3783 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115327738 9740288 346 33554432000 4194304 5098028 140725603124928 140725603123032 139913369342588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15081472 140725603128421 140725603128631 140725603128631 140725603131371 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=25999808 memory=26744 CPUtime=0.11 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3783 0 -1 1077944320 5470 0 0 0 10 1 0 0 20 0 20 0 115327739 26623803392 6686 33554432000 4194304 4196468 140729341932720 140729341915264 140478717337335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
/proc/4895/statm: 6499952 6686 2907 1 0 6488269 0
[pid=4895/tid=4896] ppid=4893 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3783 0 -1 4202560 3486 0 0 0 8 0 0 0 20 0 20 0 115327739 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478721566512 140478717359261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4897] ppid=4893 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478669957392 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4898] ppid=4893 vsize=25999808 memory=140176817100416 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478668904848 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4899] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478667852304 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4900] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478666799760 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4901] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478665747216 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4902] ppid=4893 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478664694672 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4903] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478663642128 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4904] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478662589584 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4905] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327741 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478045480944 140478717348482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4906] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115327742 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478044427168 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4907] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115327742 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478043374576 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4908] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327744 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478042323152 140478717355931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4909] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) S 4893 4893 3783 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 115327744 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478041270768 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4910] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327744 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478040218224 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4911] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327744 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478039165680 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4912] ppid=4893 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) R 4893 4893 3783 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 115327744 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478038113136 140478701417822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4913] ppid=4893 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327744 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478037059808 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4914] ppid=4893 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327745 26623803392 6686 33554432000 4194304 4196468 140729341932720 140478036007344 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28128 KiB

[startup+0.210118 s]*
/proc/loadavg: 6.95 8.44 8.66 2/199 4914
/proc/meminfo: memFree=28736692/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3783 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115327738 9740288 346 33554432000 4194304 5098028 140725603124928 140725603123032 139913369342588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15081472 140725603128421 140725603128631 140725603128631 140725603131371 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26004064 memory=39084 CPUtime=0.32 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3783 0 -1 1077944320 8341 0 0 0 30 2 0 0 20 0 20 0 115327739 26628161536 9771 33554432000 4194304 4196468 140729341932720 140729341915264 140478717337335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
/proc/4895/statm: 6501016 9771 3054 1 0 6488269 0
[pid=4895/tid=4896] ppid=4893 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3783 0 -1 4202560 5396 0 0 0 18 1 0 0 20 0 20 0 115327739 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478721558328 140478710015349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4897] ppid=4893 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478669957392 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4898] ppid=4893 vsize=26004064 memory=140176817109255 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478668904848 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4899] ppid=4893 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478667852304 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4900] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478666799760 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4901] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478665747216 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4902] ppid=4893 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478664694672 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4903] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478663642128 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4904] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478662589584 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4905] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327741 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478045480944 140478717348482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4906] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115327742 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478044427168 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4907] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115327742 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478043374576 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4908] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327744 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478042323152 140478717355931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4909] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) S 4893 4893 3783 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 20 0 115327744 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478041270768 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4910] ppid=4893 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3783 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 115327744 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478040218224 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4911] ppid=4893 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3783 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 20 0 115327744 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478039165680 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4912] ppid=4893 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) S 4893 4893 3783 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 115327744 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478038113136 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4913] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327744 26628161536 9771 33554432000 4194304 4196468 140729341932720 140478037059808 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4914] ppid=4893 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327745 26628194304 9771 33554432000 4194304 4196468 140729341932720 140478036007344 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40468 KiB

[startup+0.309466 s]*
/proc/loadavg: 6.95 8.44 8.66 4/199 4914
/proc/meminfo: memFree=28729880/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3783 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115327738 9740288 346 33554432000 4194304 5098028 140725603124928 140725603123032 139913369342588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15081472 140725603128421 140725603128631 140725603128631 140725603131371 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26004064 memory=46096 CPUtime=0.49 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3783 0 -1 1077944320 9244 0 0 0 46 3 0 0 20 0 20 0 115327739 26628161536 11524 33554432000 4194304 4196468 140729341932720 140729341915264 140478717337335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
/proc/4895/statm: 6501016 11524 3089 1 0 6488269 0
[pid=4895/tid=4896] ppid=4893 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) R 4893 4893 3783 0 -1 4202560 6148 0 0 0 27 2 0 0 20 0 20 0 115327739 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478721560512 140478701915600 0 2147221247 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4897] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478669957392 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4898] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478668904848 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4899] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478667852304 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4900] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478666799760 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4901] ppid=4893 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478665747216 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4902] ppid=4893 vsize=26004064 memory=140176659674031 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478664694672 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4903] ppid=4893 vsize=26004064 memory=140176659676336 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478663642128 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4904] ppid=4893 vsize=26004064 memory=140176659678640 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327740 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478662589584 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4905] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115327741 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478045480944 140478717348482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4906] ppid=4893 vsize=26004064 memory=280353319364240 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115327742 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478044427168 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4907] ppid=4893 vsize=26004064 memory=280353319371152 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115327742 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478043374576 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4908] ppid=4893 vsize=26004064 memory=280353319312432 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327744 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478042323152 140478717355931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4909] ppid=4893 vsize=26004064 memory=280353319384976 CPUtime=0 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) S 4893 4893 3783 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 20 0 115327744 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478041270768 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4910] ppid=4893 vsize=26004064 memory=280353319391888 CPUtime=0.03 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3783 0 -1 1077944384 116 0 0 0 3 0 0 0 20 0 20 0 115327744 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478040218224 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4911] ppid=4893 vsize=26004064 memory=280353319389584 CPUtime=0.02 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) S 4893 4893 3783 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 115327744 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478039165680 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4912] ppid=4893 vsize=26004064 memory=280353319405744 CPUtime=0.11 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) R 4893 4893 3783 0 -1 4202560 840 0 0 0 11 0 0 0 20 0 20 0 115327744 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478038113136 140478717358682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4913] ppid=4893 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115327744 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478037059808 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4914] ppid=4893 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115327745 26628161536 11524 33554432000 4194304 4196468 140729341932720 140478036007344 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47480 KiB

[startup+0.700906 s]
/proc/loadavg: 6.95 8.44 8.66 6/199 4914
/proc/meminfo: memFree=28706420/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3783 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115327738 9740288 346 33554432000 4194304 5098028 140725603124928 140725603123032 139913369342588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15081472 140725603128421 140725603128631 140725603128631 140725603131371 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26538700 memory=131348 CPUtime=2.04 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3783 0 -1 1077944320 15069 0 0 0 198 6 0 0 20 0 28 0 115327739 27175628800 32837 33554432000 4194304 4196468 140729341932720 140729341915264 140478717337335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
/proc/4895/statm: 6634675 32837 3212 1 0 6621909 0
[pid=4895/tid=4896] ppid=4893 vsize=26538700 memory=280353319763632 CPUtime=0.62 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) S 4893 4893 3783 0 -1 1077944384 6751 0 0 0 59 3 0 0 20 0 28 0 115327739 27175628800 32837 33554432000 4194304 4196468 140729341932720 140478721578112 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4897] ppid=4893 vsize=26538700 memory=140176659882864 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 32837 33554432000 4194304 4196468 140729341932720 140478669957392 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4898] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 32837 33554432000 4194304 4196468 140729341932720 140478668904848 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4899] ppid=4893 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 32837 33554432000 4194304 4196468 140729341932720 140478667852304 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0

################
# More data... #
################

[pid=4895/tid=4912] ppid=4893 vsize=26538700 memory=15872 CPUtime=0.45 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) S 4893 4893 3783 0 -1 1077944384 2160 0 0 0 45 0 0 0 20 0 28 0 115327744 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478038113136 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4913] ppid=4893 vsize=26538700 memory=4052 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327744 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478037059808 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4914] ppid=4893 vsize=26538700 memory=19144 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327745 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478036007344 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4915] ppid=4893 vsize=26538700 memory=18472 CPUtime=0.75 cores=0-7
/proc/4895/task/4915/stat : 4915 (java) R 4893 4893 3783 0 -1 4202560 60 0 0 0 75 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478027998008 140478335909180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4916] ppid=4893 vsize=26538700 memory=640 CPUtime=0.61 cores=0-7
/proc/4895/task/4916/stat : 4916 (java) R 4893 4893 3783 0 -1 4202560 83 0 0 0 61 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478026944880 140478701786576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4917] ppid=4893 vsize=26538700 memory=6382321403054 CPUtime=0.83 cores=0-7
/proc/4895/task/4917/stat : 4917 (java) R 4893 4893 3783 0 -1 4202560 50 0 0 0 83 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478025894024 140478334943715 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4918] ppid=4893 vsize=26538700 memory=288230596050944315 CPUtime=0.82 cores=0-7
/proc/4895/task/4918/stat : 4918 (java) R 4893 4893 3783 0 -1 4202560 58 0 0 0 82 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478024841592 140478335994286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4919] ppid=4893 vsize=26538700 memory=13846369811040823 CPUtime=0.82 cores=0-7
/proc/4895/task/4919/stat : 4919 (java) R 4893 4893 3783 0 -1 4202560 47 0 0 0 82 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478023789264 140478330815460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4920] ppid=4893 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7
/proc/4895/task/4920/stat : 4920 (java) R 4893 4893 3783 0 -1 4202560 60 0 0 0 75 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478022736968 140478330821419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4921] ppid=4893 vsize=26538700 memory=0 CPUtime=0.84 cores=0-7
/proc/4895/task/4921/stat : 4921 (java) R 4893 4893 3783 0 -1 4202560 57 0 0 0 84 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478021680696 140478330822280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4922] ppid=4893 vsize=26538700 memory=6944656592455360604 CPUtime=0.74 cores=0-7
/proc/4895/task/4922/stat : 4922 (java) R 4893 4893 3783 0 -1 4202560 39 0 0 0 74 0 0 0 20 0 28 0 115327803 27175628800 37589 33554432000 4194304 4196468 140729341932720 140478020630392 140478330822280 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
Current children cumulated CPU time: 9.99 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 151740 KiB

[startup+2.11444 s]*
/proc/loadavg: 6.95 8.44 8.66 12/207 4922
/proc/meminfo: memFree=28624068/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3783 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115327738 9740288 346 33554432000 4194304 5098028 140725603124928 140725603123032 139913369342588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15081472 140725603128421 140725603128631 140725603128631 140725603131371 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26538700 memory=152316 CPUtime=13.23 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3783 0 -1 1077944320 23476 0 0 0 1311 12 0 0 20 0 28 0 115327739 27175628800 38079 33554432000 4194304 4196468 140729341932720 140729341915264 140478717337335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
/proc/4895/statm: 6634675 38079 3245 1 0 6621909 0
[pid=4895/tid=4896] ppid=4893 vsize=26538700 memory=8112282956445269571 CPUtime=0.62 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) S 4893 4893 3783 0 -1 1077944384 6751 0 0 0 59 3 0 0 20 0 28 0 115327739 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478721578112 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4897] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478669957392 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4898] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478668904848 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4899] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478667852304 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4900] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478666799760 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4901] ppid=4893 vsize=26538700 memory=3544385890265608239 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478665747216 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4902] ppid=4893 vsize=26538700 memory=7378661388463573605 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478664694672 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4903] ppid=4893 vsize=26538700 memory=-2605811476043407915 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478663642128 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4904] ppid=4893 vsize=26538700 memory=-8535548867823629504 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478662589584 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4905] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3783 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 115327741 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478045480944 140478717348482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4906] ppid=4893 vsize=26538700 memory=3472328296227680303 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 115327742 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478044427168 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4907] ppid=4893 vsize=26538700 memory=4279073127177347648 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 115327742 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478043374576 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4908] ppid=4893 vsize=26538700 memory=-7029379521810568556 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327744 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478042323152 140478717355931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4909] ppid=4893 vsize=26538700 memory=-7246659158121525826 CPUtime=1.17 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) S 4893 4893 3783 0 -1 1077944384 4577 0 0 0 115 2 0 0 20 0 28 0 115327744 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478041270768 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4910] ppid=4893 vsize=26538700 memory=1384 CPUtime=1.02 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) S 4893 4893 3783 0 -1 1077944384 4149 0 0 0 101 1 0 0 20 0 28 0 115327744 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478040218224 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4911] ppid=4893 vsize=26538700 memory=149676 CPUtime=1.08 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) R 4893 4893 3783 0 -1 4202560 3303 0 0 0 107 1 0 0 20 0 28 0 115327744 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478039155600 140478698037632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4912] ppid=4893 vsize=26538700 memory=0 CPUtime=0.47 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) R 4893 4893 3783 0 -1 1077944384 2320 0 0 0 47 0 0 0 20 0 28 0 115327744 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478038113136 140478717348482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4913] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327744 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478037059808 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4914] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327745 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478036007344 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4915] ppid=4893 vsize=26538700 memory=0 CPUtime=1.07 cores=0-7
/proc/4895/task/4915/stat : 4915 (java) R 4893 4893 3783 0 -1 4202560 158 0 0 0 107 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478027992160 140478336434324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4916] ppid=4893 vsize=26538700 memory=0 CPUtime=1.01 cores=0-7
/proc/4895/task/4916/stat : 4916 (java) R 4893 4893 3783 0 -1 4202560 150 0 0 0 101 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478026944240 140478336432697 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4917] ppid=4893 vsize=26538700 memory=0 CPUtime=1.13 cores=0-7
/proc/4895/task/4917/stat : 4917 (java) R 4893 4893 3783 0 -1 4202560 281 0 0 0 113 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478025891024 140478336432321 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4918] ppid=4893 vsize=26538700 memory=0 CPUtime=1.22 cores=0-7
/proc/4895/task/4918/stat : 4918 (java) R 4893 4893 3783 0 -1 4202560 92 0 0 0 122 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478024839840 140478336431280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4919] ppid=4893 vsize=26538700 memory=0 CPUtime=1.09 cores=0-7
/proc/4895/task/4919/stat : 4919 (java) R 4893 4893 3783 0 -1 4202560 103 0 0 0 109 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478023789176 140478335698014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4920] ppid=4893 vsize=26538700 memory=0 CPUtime=1.06 cores=0-7
/proc/4895/task/4920/stat : 4920 (java) R 4893 4893 3783 0 -1 4202560 106 0 0 0 106 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478022733528 140478336432321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4921] ppid=4893 vsize=26538700 memory=3763099673816014896 CPUtime=1.12 cores=0-7
/proc/4895/task/4921/stat : 4921 (java) R 4893 4893 3783 0 -1 4202560 110 0 0 0 112 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478021681184 140478336431660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4922] ppid=4893 vsize=26538700 memory=6083078207406957925 CPUtime=1.05 cores=0-7
/proc/4895/task/4922/stat : 4922 (java) R 4893 4893 3783 0 -1 4202560 77 0 0 0 105 0 0 0 20 0 28 0 115327803 27175628800 38079 33554432000 4194304 4196468 140729341932720 140478020624448 140478336431100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
Current children cumulated CPU time: 13.23 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 153700 KiB

[startup+2.50113 s]
/proc/loadavg: 6.95 8.44 8.66 12/207 4922
/proc/meminfo: memFree=28624068/32770624 swapFree=67108860/67108860
[pid=4893] ppid=4890 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4893/stat : 4893 (xcsp3-exec) S 4890 4893 3783 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115327738 9740288 346 33554432000 4194304 5098028 140725603124928 140725603123032 139913369342588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15081472 140725603128421 140725603128631 140725603128631 140725603131371 0
/proc/4893/statm: 2378 346 289 221 0 87 0
[pid=4895] ppid=4893 vsize=26538700 memory=153052 CPUtime=16.22 cores=0-7
/proc/4895/stat : 4895 (java) S 4893 4893 3783 0 -1 1077944320 24075 0 0 0 1610 12 0 0 20 0 28 0 115327739 27175628800 38263 33554432000 4194304 4196468 140729341932720 140729341915264 140478717337335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
/proc/4895/statm: 6634675 38263 3250 1 0 6621909 0
[pid=4895/tid=4896] ppid=4893 vsize=26538700 memory=7302420028229511276 CPUtime=0.62 cores=0-7
/proc/4895/task/4896/stat : 4896 (java) S 4893 4893 3783 0 -1 1077944384 6751 0 0 0 59 3 0 0 20 0 28 0 115327739 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478721578112 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4897] ppid=4893 vsize=26538700 memory=7518304742558623827 CPUtime=0 cores=0-7
/proc/4895/task/4897/stat : 4897 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478669957392 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4898] ppid=4893 vsize=26538700 memory=7518304742558623827 CPUtime=0 cores=0-7
/proc/4895/task/4898/stat : 4898 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478668904848 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4899] ppid=4893 vsize=26538700 memory=7518304742558623827 CPUtime=0 cores=0-7
/proc/4895/task/4899/stat : 4899 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478667852304 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4900] ppid=4893 vsize=26538700 memory=7235385076339992434 CPUtime=0 cores=0-7
/proc/4895/task/4900/stat : 4900 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478666799760 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4901] ppid=4893 vsize=26538700 memory=7085400742490366829 CPUtime=0 cores=0-7
/proc/4895/task/4901/stat : 4901 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478665747216 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4902] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4902/stat : 4902 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478664694672 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4903] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4903/stat : 4903 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478663642128 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4904] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4904/stat : 4904 (java) S 4893 4893 3783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115327740 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478662589584 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4905] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4905/stat : 4905 (java) S 4893 4893 3783 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 115327741 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478045480944 140478717348482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4906] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4906/stat : 4906 (java) S 4893 4893 3783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 115327742 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478044427168 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4907] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4907/stat : 4907 (java) S 4893 4893 3783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 115327742 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478043374576 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4908] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4908/stat : 4908 (java) S 4893 4893 3783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115327744 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478042323152 140478717355931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4909] ppid=4893 vsize=26538700 memory=0 CPUtime=1.25 cores=0-7
/proc/4895/task/4909/stat : 4909 (java) R 4893 4893 3783 0 -1 4202560 4727 0 0 0 123 2 0 0 20 0 28 0 115327744 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478041257312 140478702447384 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4910] ppid=4893 vsize=26538700 memory=0 CPUtime=1.09 cores=0-7
/proc/4895/task/4910/stat : 4910 (java) R 4893 4893 3783 0 -1 4202560 4240 0 0 0 108 1 0 0 20 0 28 0 115327744 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478040207632 140478700823227 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4911] ppid=4893 vsize=26538700 memory=0 CPUtime=1.23 cores=0-7
/proc/4895/task/4911/stat : 4911 (java) R 4893 4893 3783 0 -1 4202560 3515 0 0 0 122 1 0 0 20 0 28 0 115327744 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478039158872 140478696775629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4912] ppid=4893 vsize=26538700 memory=0 CPUtime=0.52 cores=0-7
/proc/4895/task/4912/stat : 4912 (java) R 4893 4893 3783 0 -1 1077944384 2417 0 0 0 52 0 0 0 20 0 28 0 115327744 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478038113136 140478717348482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4913] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4913/stat : 4913 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327744 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478037059808 140478717347541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4914] ppid=4893 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4895/task/4914/stat : 4914 (java) S 4893 4893 3783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115327745 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478036007344 140478717348482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4915] ppid=4893 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7
/proc/4895/task/4915/stat : 4915 (java) R 4893 4893 3783 0 -1 4202560 158 0 0 0 143 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478027996744 140478330995200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4916] ppid=4893 vsize=26538700 memory=0 CPUtime=1.38 cores=0-7
/proc/4895/task/4916/stat : 4916 (java) R 4893 4893 3783 0 -1 4202560 150 0 0 0 138 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478026943952 140478336237299 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4917] ppid=4893 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7
/proc/4895/task/4917/stat : 4917 (java) R 4893 4893 3783 0 -1 4202560 282 0 0 0 142 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478025893688 140478335697986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4918] ppid=4893 vsize=26538700 memory=0 CPUtime=1.58 cores=0-7
/proc/4895/task/4918/stat : 4918 (java) R 4893 4893 3783 0 -1 4202560 93 0 0 0 158 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478024839720 140478335911130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4919] ppid=4893 vsize=26538700 memory=0 CPUtime=1.47 cores=0-7
/proc/4895/task/4919/stat : 4919 (java) R 4893 4893 3783 0 -1 4202560 103 0 0 0 147 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478023786904 140478335698411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4920] ppid=4893 vsize=26538700 memory=0 CPUtime=1.34 cores=0-7
/proc/4895/task/4920/stat : 4920 (java) R 4893 4893 3783 0 -1 4202560 107 0 0 0 134 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478022734984 140478335663810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4921] ppid=4893 vsize=26538700 memory=0 CPUtime=1.38 cores=0-7
/proc/4895/task/4921/stat : 4921 (java) R 4893 4893 3783 0 -1 4202560 110 0 0 0 138 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478021680552 140478336674243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
[pid=4895/tid=4922] ppid=4893 vsize=26538700 memory=5937503940875993185 CPUtime=1.41 cores=0-7
/proc/4895/task/4922/stat : 4922 (java) R 4893 4893 3783 0 -1 4202560 77 0 0 0 141 0 0 0 20 0 28 0 115327803 27175628800 38263 33554432000 4194304 4196468 140729341932720 140478020628744 140478336674950 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32571392 140729341936786 140729341936963 140729341936963 140729341939663 0
Current children cumulated CPU time: 16.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 154436 KiB

Child status: 0
Real time (s): 2.58222
CPU time (s): 16.7161
CPU user time (s): 16.5763
CPU system time (s): 0.139829
CPU usage (%): 647.354
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 154436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5763
system time used= 0.139829
maximum resident set size= 155160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3049
involuntary context switches= 527


# summary of solver processes directly reported to runsolver:
#   pid: 4893
#   total CPU time (s): 16.7161
#   total CPU user time (s): 16.5763
#   total CPU system time (s): 0.139829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051349 second user time and 0.057539 second system time

The end

Name	LatinSquare/LatinSquare-m1-gs/ qwh-o035-h405.xml
MD5SUM	3223705abdf773009dcd28d689e47bd8
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	12.0507
Satisfiable
(Un)Satisfiability was proved
Number of variables	1225
Number of constraints	2
Number of domains	1
Minimum domain size	35
Maximum domain size	35
Distribution of domain sizes	[{"size":35,"count":1225}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":405},{"degree":2,"count":820}]
Minimum constraint arity	820
Maximum constraint arity	1225
Distribution of constraint arities	[{"arity":820,"count":1},{"arity":1225,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problem	NO
Type of objective

Trace number 4271000

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data