2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	10125	20047.1	2520.14

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297525-1532692533.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297525-1532692533.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
14.49/3.65	c solve instance...
1003.44/127.80	o 10129 
1003.44/127.84	o 10128 
1004.17/127.96	o 10125 
20046.25/2520.10	s SATISFIABLE
20046.25/2520.10	v <instantiation>
20046.25/2520.10	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] </list>
20046.25/2520.10	v 	<values>4 4 1 1 0 0 1 0 3 1 4 0 4 4 4 4 0 1 2 1 1 0 4 4 1 4 4 4 4 4 4 0 1 2 0 1 1 0 3 1 4 0 2 4 4 0 0 1 2 1 1 2 4 1 4 4 4 4 3 4 4 0 1 2 4 1 1 0 3 4 0 0 2 1 2 0 4 1 2 1 3 4 4 4 4 4 4 4 4 4 1 4 1 2 4 1 4 0 3 4 0 0 4 1 2 0 4 1 2 1 4 4 4 4 2 4 4 4 4 4 1 4 1 2 0 1 4 0 4 1 0 3 4 1 2 0 4 4 4 2 4 4 1 4 2 4 4 0 4 3 3 0 4 4 0 4 3 4 4 1 0 4 1 1 2 0 0 4 4 2 4 2 1 4 4 2 1 4 4 4 3 0 4 4 0 4 3 4 4 1 1 4 2 1 2 4 0 4 4 4 0 2 1 4 4 2 4 4 4 4 3 0 1 1 0 0 3 4 0 1 4 4 2 4 4 4 0 4 1 4 1 2 1 4 4 2 4 4 4 4 4 4 1 1 0 0 3 4 0 1 4 4 2 4 4 4 0 1 1 4 1 2 1 4 4 2 4 2 4 4 4 4 1 4 4 0 4 0 0 4 4 4 2 1 0 0 0 1 1 4 1 2 1 1 2 2 1 2 4 4 1 1 4 4 4 0 4 0 0 4 0 0 4 2 0 0 0 1 1 2 1 4 4 3 4 4 2 2 4 2 1 1 4 1 0 4 1 4 0 4 1 0 4 2 0 0 4 1 2 2 4 4 4 4 4 4 2 3 1 4 3 4 1 1 0 4 1 4 4 4 1 4 4 2 4 4 4 4 4 2 4 4 4 4 1 4 2 4 4 4 4 4 1 1 0 0 4 4 4 4 1 4 4 4 4 4 4 4 4 2 4 0 4 4 4 4 2 4 1 4 4 0 1 1 4 0 4 0 4 1 4 4 1 4 4 0 0 4 4 2 0 0 1 4 4 4 4 4 1 4 1 0 1 1 4 4 1 0 4 1 4 4 1 2 0 1 0 4 1 2 0 0 1 3 4 4 4 4 4 4 1 0 4 4 1 4 1 4 4 1 0 1 2 2 0 1 0 1 1 4 0 3 1 4 4 3 4 2 4 4 1 0 4 4 1 3 1 4 4 2 1 1 2 2 0 1 0 1 1 4 0 3 1 4 4 4 1 4 4 2 1 0 4 1 4 3 1 0 0 2 1 1 2 2 0 1 0 1 1 4 0 4 1 4 4 4 1 4 4 4 4 4 4 1 4 3 4 0 0 4 4 1 4 4 4 4 0 1 1 4 0 4 4 1 2 2 1 2 4 1 4 4 4 1 4 3 4 0 0 4 4 1 4 4 4 4 4 1 1 4 4 4 4 1 2 2 2 2 4 4 1 0 3 4 0 4 1 0 0 4 1 4 4 3 1 1 4 1 4 0 4 2 4 1 2 3 4 2 4 4 1 0 3 4 0 4 1 0 0 1 1 4 2 3 1 1 4 4 4 0 4 2 0 4 2 4 4 2 1 4 1 4 3 1 0 0 1 4 4 1 3 0 2 3 2 4 1 4 4 1 3 2 0 4 2 4 4 4 4 4 1 4 4 1 0 0 1 4 4 1 3 0 2 3 4 4 1 4 4 1 3 2 3 4 4 4 4 4 1 2 1 0 4 2 1 1 4 1 0 1 3 0 2 4 4 4 3 1 4 1 3 2 3 1 4 4 4 4 1 2 4 0 1 4 4 4 4 1 0 2 4 3 3 4 0 0 4 1 1 4 4 4 3 1 4 4 4 4 4 2 4 3 1 4 4 4 4 1 0 4 4 3 4 4 0 0 4 1 1 4 4 4 3 1 4 2 4 4 4 4 0 13 0 4 11 14 2 0 1 11 0 14 0 3 11 0 13 5 0 10 14 3 0 0 11 9 5 0 4 10 0 13 0 4 11 14 3 0 0 11 13 0 0 4 11 0 14 3 0 11 6 8 0 3 11 9 5 0 3 11 0 3 13 1 11 0 6 7 4 11 9 2 6 0 11 11 6 0 0 11 14 2 0 1 11 0 17 0 0 11 0 12 5 0 11 2 7 8 0 11 7 6 0 4 11 4 0 11 2 11 2 11 0 4 11 0 8 0 2 18 0 2 8 0 18 0 0 8 2 18 0 5 5 0 18 1 0 8 1 18 0 6 0 1 21 0 1 5 1 21 6 8 1 1 14 6 8 4 2 10 5 6 4 2 13 4 6 4 1 15 5 6 4 2 13 5 5 4 2 14 4 4 4 2 16 5 6 3 2 14 4 7 4 1 14 6 8 5 0 11 8 5 5 1 11 5 7 4 1 13 1 5 3 1 20 3 4 2 0 21 7 6 1 0 16 6 9 2 1 12 5 9 3 2 11 4 10 4 2 10 6 10 3 1 10 4 7 3 1 15 2 5 4 1 18 5 7 3 3 12 6 7 4 2 11 4 6 4 4 12 3 7 3 4 13 3 9 4 4 10 4 5 2 3 16 3 5 1 3 18 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 2 0 0 0 3 0 0 0 0 0 0 3 3 0 0 0 0 0 2 2 2 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 2 2 0 0 3 0 0 0 0 0 0 3 3 0 0 0 0 0 0 2 2 0 2 2 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 1 1 0 3 3 3 1 0 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 2 1 0 0 0 3 3 3 3 3 3 0 3 3 3 2 2 0 1 0 0 3 3 3 3 3 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 2 1 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 600 100 0 0 3 100 100 0 0 3 0 100 0 100 0 300 200 0 0 3 200 100 0 0 1 100 300 0 100 1 100 100 0 0 2 300 200 0 0 2 100 100 0 1 1 100 300 0 2 2 0 100 0 0 2 0 200 0 400 0 200 200 0 200 0 300 200 0 2 1 400 400 0 2 4 300 200 0 2 4 200 200 0 1 4 100 100 0 0 4 0 200 0 0 0 200 200 0 300 1 300 200 0 0 2 100 0 0 1 2 0 100 0 1 1 100 1 0 0 4 300 1 0 0 4 0 0 0 100 1 200 100 0 0 3 100 1 0 </values>
20046.25/2520.10	v </instantiation>
20046.25/2520.10	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 (8584 MiB free)
  memory of node 1: 16384 MiB (13544 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297525-1532692533/watcher-4297525-1532692533 -o /tmp/evaluation-result-4297525-1532692533/solver-4297525-1532692533 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532684965-11196 --watchdog 2580 HOME/xcsp3-exec -seed 1041502577 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297525-1532692533.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=12923, runsolver pid=12920

[startup+0.10011 s]*
/proc/loadavg: 8.02 8.25 8.34 2/199 12944
/proc/meminfo: memFree=22644604/32770624 swapFree=67108772/67108860
[pid=12923] ppid=12920 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12923/stat : 12923 (xcsp3-exec) S 12920 12923 11169 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86816212 115843072 363 33554432000 4194304 5098028 140722320313328 140722320311432 140621821788796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38158336 140722320315445 140722320315648 140722320315648 140722320318410 0
/proc/12923/statm: 28282 363 306 221 0 87 0
[pid=12925] ppid=12923 vsize=26104152 memory=26856 CPUtime=0.11 cores=0-7
/proc/12925/stat : 12925 (java) S 12923 12923 11169 0 -1 1077944320 5656 0 0 0 10 1 0 0 20 0 20 0 86816212 26730651648 6714 33554432000 4194304 4196468 140720897772912 140720897755456 139930777063159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
/proc/12925/statm: 6526038 6714 2998 1 0 6488315 0
[pid=12925/tid=12926] ppid=12923 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12925/task/12926/stat : 12926 (java) R 12923 12923 11169 0 -1 4202560 3659 0 0 0 8 1 0 0 20 0 20 0 86816212 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930781279312 139930761106789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12927] ppid=12923 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12925/task/12927/stat : 12927 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930729683472 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12928] ppid=12923 vsize=26104152 memory=139864397416064 CPUtime=0 cores=0-7
/proc/12925/task/12928/stat : 12928 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930728630928 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12929] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12929/stat : 12929 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930727577872 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12930] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12930/stat : 12930 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930726525328 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12931] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12931/stat : 12931 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930725473296 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12932] ppid=12923 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12925/task/12932/stat : 12932 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930724420752 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12933] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12933/stat : 12933 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930723367696 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12934] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12934/stat : 12934 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930722315152 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12935] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12935/stat : 12935 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816214 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930038655216 139930777074306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12936] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12936/stat : 12936 (java) S 12923 12923 11169 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86816215 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930037601440 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12937] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12937/stat : 12937 (java) S 12923 12923 11169 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86816215 26730651648 6714 33554432000 4194304 4196468 140720897772912 139930036548336 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12938] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12938/stat : 12938 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 6714 33554432000 4194304 4196468 140720897772912 139929967388624 139930777081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12939] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12939/stat : 12939 (java) S 12923 12923 11169 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 6714 33554432000 4194304 4196468 140720897772912 139929966336752 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12940] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12940/stat : 12940 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 6714 33554432000 4194304 4196468 140720897772912 139929965284208 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12941] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12941/stat : 12941 (java) S 12923 12923 11169 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 6714 33554432000 4194304 4196468 140720897772912 139929964231152 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12942] ppid=12923 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/12925/task/12942/stat : 12942 (java) R 12923 12923 11169 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 20 0 86816218 26730651648 6714 33554432000 4194304 4196468 140720897772912 139929963178608 139930777075094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12943] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12943/stat : 12943 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 6714 33554432000 4194304 4196468 140720897772912 139929962125792 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12944] ppid=12923 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12925/task/12944/stat : 12944 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 6714 33554432000 4194304 4196468 140720897772912 139929961073328 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28308 KiB

[startup+0.209652 s]*
/proc/loadavg: 8.02 8.25 8.34 4/199 12944
/proc/meminfo: memFree=22632928/32770624 swapFree=67108772/67108860
[pid=12923] ppid=12920 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12923/stat : 12923 (xcsp3-exec) S 12920 12923 11169 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86816212 115843072 363 33554432000 4194304 5098028 140722320313328 140722320311432 140621821788796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38158336 140722320315445 140722320315648 140722320315648 140722320318410 0
/proc/12923/statm: 28282 363 306 221 0 87 0
[pid=12925] ppid=12923 vsize=26104152 memory=39600 CPUtime=0.33 cores=0-7
/proc/12925/stat : 12925 (java) S 12923 12923 11169 0 -1 1077944320 8476 0 0 0 31 2 0 0 20 0 20 0 86816212 26730651648 9900 33554432000 4194304 4196468 140720897772912 140720897755456 139930777063159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
/proc/12925/statm: 6526038 9900 3195 1 0 6488315 0
[pid=12925/tid=12926] ppid=12923 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12925/task/12926/stat : 12926 (java) R 12923 12923 11169 0 -1 4202560 5551 0 0 0 18 1 0 0 20 0 20 0 86816212 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930781292880 139930777085085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12927] ppid=12923 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/12925/task/12927/stat : 12927 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930729683472 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12928] ppid=12923 vsize=26104152 memory=139864397900149 CPUtime=0 cores=0-7
/proc/12925/task/12928/stat : 12928 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930728630928 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12929] ppid=12923 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12925/task/12929/stat : 12929 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930727577872 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12930] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12930/stat : 12930 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930726525328 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12931] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12931/stat : 12931 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930725473296 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12932] ppid=12923 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12925/task/12932/stat : 12932 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930724420752 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12933] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12933/stat : 12933 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930723367696 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12934] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12934/stat : 12934 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86816213 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930722315152 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12935] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12935/stat : 12935 (java) S 12923 12923 11169 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86816214 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930038655216 139930777074306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12936] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12936/stat : 12936 (java) S 12923 12923 11169 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86816215 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930037601440 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12937] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12937/stat : 12937 (java) S 12923 12923 11169 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86816215 26730651648 9900 33554432000 4194304 4196468 140720897772912 139930036548336 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12938] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12938/stat : 12938 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 9900 33554432000 4194304 4196468 140720897772912 139929967388624 139930777081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12939] ppid=12923 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/12925/task/12939/stat : 12939 (java) S 12923 12923 11169 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 20 0 86816218 26730651648 9900 33554432000 4194304 4196468 140720897772912 139929966336752 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12940] ppid=12923 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/12925/task/12940/stat : 12940 (java) S 12923 12923 11169 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 86816218 26730651648 9900 33554432000 4194304 4196468 140720897772912 139929965284208 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12941] ppid=12923 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/12925/task/12941/stat : 12941 (java) S 12923 12923 11169 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 86816218 26730651648 9900 33554432000 4194304 4196468 140720897772912 139929964231152 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12942] ppid=12923 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/12925/task/12942/stat : 12942 (java) S 12923 12923 11169 0 -1 1077944384 814 0 0 0 7 0 0 0 20 0 20 0 86816218 26730651648 9900 33554432000 4194304 4196468 140720897772912 139929963178608 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12943] ppid=12923 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12943/stat : 12943 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 9900 33554432000 4194304 4196468 140720897772912 139929962125792 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12944] ppid=12923 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/12925/task/12944/stat : 12944 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816218 26730651648 9900 33554432000 4194304 4196468 140720897772912 139929961073328 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41052 KiB

[startup+0.30949 s]*
/proc/loadavg: 8.02 8.25 8.34 3/199 12944
/proc/meminfo: memFree=22626476/32770624 swapFree=67108772/67108860
[pid=12923] ppid=12920 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12923/stat : 12923 (xcsp3-exec) S 12920 12923 11169 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86816212 115843072 363 33554432000 4194304 5098028 140722320313328 140722320311432 140621821788796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38158336 140722320315445 140722320315648 140722320315648 140722320318410 0
/proc/12923/statm: 28282 363 306 221 0 87 0
[pid=12925] ppid=12923 vsize=26108408 memory=46272 CPUtime=0.51 cores=0-7
/proc/12925/stat : 12925 (java) S 12923 12923 11169 0 -1 1077944320 9308 0 0 0 48 3 0 0 20 0 20 0 86816212 26735009792 11568 33554432000 4194304 4196468 140720897772912 140720897755456 139930777063159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
/proc/12925/statm: 6527102 11568 3239 1 0 6488315 0
[pid=12925/tid=12926] ppid=12923 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12925/task/12926/stat : 12926 (java) R 12923 12923 11169 0 -1 4202560 6218 0 0 0 27 2 0 0 20 0 20 0 86816212 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930781296944 139930761143646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12927] ppid=12923 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12927/stat : 12927 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930729683472 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12928] ppid=12923 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12928/stat : 12928 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930728630928 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12929] ppid=12923 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12929/stat : 12929 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930727577872 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12930] ppid=12923 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12930/stat : 12930 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930726525328 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12931] ppid=12923 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/12925/task/12931/stat : 12931 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930725473296 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12932] ppid=12923 vsize=26108408 memory=139864267912111 CPUtime=0 cores=0-7
/proc/12925/task/12932/stat : 12932 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930724420752 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12933] ppid=12923 vsize=26108408 memory=139864267914416 CPUtime=0 cores=0-7
/proc/12925/task/12933/stat : 12933 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930723367696 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12934] ppid=12923 vsize=26108408 memory=139864267916720 CPUtime=0 cores=0-7
/proc/12925/task/12934/stat : 12934 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86816213 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930722315152 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12935] ppid=12923 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12935/stat : 12935 (java) S 12923 12923 11169 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86816214 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930038655216 139930777074306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12936] ppid=12923 vsize=26108408 memory=279728535840400 CPUtime=0 cores=0-7
/proc/12925/task/12936/stat : 12936 (java) S 12923 12923 11169 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86816215 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930037601440 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12937] ppid=12923 vsize=26108408 memory=279728535847312 CPUtime=0 cores=0-7
/proc/12925/task/12937/stat : 12937 (java) S 12923 12923 11169 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86816215 26735009792 11568 33554432000 4194304 4196468 140720897772912 139930036548336 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12938] ppid=12923 vsize=26108408 memory=279728535788464 CPUtime=0 cores=0-7
/proc/12925/task/12938/stat : 12938 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816218 26735009792 11568 33554432000 4194304 4196468 140720897772912 139929967388624 139930777081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12939] ppid=12923 vsize=26108408 memory=279728535861136 CPUtime=0.02 cores=0-7
/proc/12925/task/12939/stat : 12939 (java) S 12923 12923 11169 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 20 0 86816218 26735009792 11568 33554432000 4194304 4196468 140720897772912 139929966336752 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12940] ppid=12923 vsize=26108408 memory=279728535868048 CPUtime=0.02 cores=0-7
/proc/12925/task/12940/stat : 12940 (java) S 12923 12923 11169 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 86816218 26735009792 11568 33554432000 4194304 4196468 140720897772912 139929965284208 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12941] ppid=12923 vsize=26108408 memory=279728535865744 CPUtime=0.03 cores=0-7
/proc/12925/task/12941/stat : 12941 (java) R 12923 12923 11169 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 20 0 86816218 26735009792 11568 33554432000 4194304 4196468 140720897772912 139929964221536 139930758581515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12942] ppid=12923 vsize=26108408 memory=279728535881904 CPUtime=0.12 cores=0-7
/proc/12925/task/12942/stat : 12942 (java) S 12923 12923 11169 0 -1 1077944384 893 0 0 0 12 0 0 0 20 0 20 0 86816218 26735009792 11568 33554432000 4194304 4196468 140720897772912 139929963178608 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12943] ppid=12923 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12943/stat : 12943 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86816218 26735009792 11568 33554432000 4194304 4196468 140720897772912 139929962125792 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12944] ppid=12923 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/12925/task/12944/stat : 12944 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816218 26735009792 11568 33554432000 4194304 4196468 140720897772912 139929961073328 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47724 KiB

[startup+0.700925 s]
/proc/loadavg: 8.02 8.25 8.34 5/199 12944
/proc/meminfo: memFree=22605356/32770624 swapFree=67108772/67108860
[pid=12923] ppid=12920 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12923/stat : 12923 (xcsp3-exec) S 12920 12923 11169 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86816212 115843072 363 33554432000 4194304 5098028 140722320313328 140722320311432 140621821788796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38158336 140722320315445 140722320315648 140722320315648 140722320318410 0
/proc/12923/statm: 28282 363 306 221 0 87 0
[pid=12925] ppid=12923 vsize=26110532 memory=99128 CPUtime=1.88 cores=0-7
/proc/12925/stat : 12925 (java) S 12923 12923 11169 0 -1 1077944320 14288 0 0 0 183 5 0 0 20 0 20 0 86816212 26737184768 24782 33554432000 4194304 4196468 140720897772912 140720897755456 139930777063159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
/proc/12925/statm: 6527633 24782 3353 1 0 6488827 0
[pid=12925/tid=12926] ppid=12923 vsize=26110532 memory=279728536239792 CPUtime=0.67 cores=0-7
/proc/12925/task/12926/stat : 12926 (java) R 12923 12923 11169 0 -1 4202560 6863 0 0 0 65 2 0 0 20 0 20 0 86816212 26737184768 24782 33554432000 4194304 4196468 140720897772912 139930781299808 139930389555839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12927] ppid=12923 vsize=26110532 memory=139864268120944 CPUtime=0 cores=0-7
/proc/12925/task/12927/stat : 12927 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26737184768 24782 33554432000 4194304 4196468 140720897772912 139930729683472 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12928] ppid=12923 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/12925/task/12928/stat : 12928 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86816213 26737184768 24782 33554432000 4194304 4196468 140720897772912 139930728630928 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12929] ppid=12923 vsize=26110532 memory=4616 CPUtime=0 cores=0-7
/proc/12925/task/12929/stat : 12929 (java) S 12923 12923 11169 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86816213 26737184768 24782 33554432000 4194304 4196468 140720897772912 139930727577872 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0

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

/proc/meminfo: memFree=17674904/32770624 swapFree=67108772/67108860
[pid=12923] ppid=12920 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12923/stat : 12923 (xcsp3-exec) S 12920 12923 11169 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86816212 115843072 363 33554432000 4194304 5098028 140722320313328 140722320311432 140621821788796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38158336 140722320315445 140722320315648 140722320315648 140722320318410 0
/proc/12923/statm: 28282 363 306 221 0 87 0
[pid=12925] ppid=12923 vsize=26645092 memory=4987756 CPUtime=19905.2 cores=0-7
/proc/12925/stat : 12925 (java) S 12923 12923 11169 0 -1 1077944320 817907 0 0 0 1989840 679 0 0 20 0 28 0 86816212 27284574208 1246939 33554432000 4194304 4196468 140720897772912 140720897755456 139930777063159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
/proc/12925/statm: 6661273 1246939 3469 1 0 6622467 0
[pid=12925/tid=12926] ppid=12923 vsize=26645092 memory=4997048 CPUtime=3.4 cores=0-7
/proc/12925/task/12926/stat : 12926 (java) S 12923 12923 11169 0 -1 1077944384 10847 0 0 0 334 6 0 0 20 0 28 0 86816212 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930781303936 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12927] ppid=12923 vsize=26645092 memory=4997048 CPUtime=9.22 cores=0-7
/proc/12925/task/12927/stat : 12927 (java) S 12923 12923 11169 0 -1 1077944384 27510 0 0 0 903 19 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930729683472 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12928] ppid=12923 vsize=26645092 memory=4987748 CPUtime=9.22 cores=0-7
/proc/12925/task/12928/stat : 12928 (java) S 12923 12923 11169 0 -1 1077944384 29241 0 0 0 902 20 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930728630928 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12929] ppid=12923 vsize=26645092 memory=4987748 CPUtime=9.29 cores=0-7
/proc/12925/task/12929/stat : 12929 (java) S 12923 12923 11169 0 -1 1077944384 29509 0 0 0 910 19 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930727577872 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12930] ppid=12923 vsize=26645092 memory=279728537592960 CPUtime=9.24 cores=0-7
/proc/12925/task/12930/stat : 12930 (java) S 12923 12923 11169 0 -1 1077944384 25489 0 0 0 906 18 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930726525328 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12931] ppid=12923 vsize=26645092 memory=1452 CPUtime=9.23 cores=0-7
/proc/12925/task/12931/stat : 12931 (java) S 12923 12923 11169 0 -1 1077944384 23781 0 0 0 905 18 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930725473296 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12932] ppid=12923 vsize=26645092 memory=1452 CPUtime=9.28 cores=0-7
/proc/12925/task/12932/stat : 12932 (java) S 12923 12923 11169 0 -1 1077944384 21826 0 0 0 911 17 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930724420752 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12933] ppid=12923 vsize=26645092 memory=4997016 CPUtime=9.3 cores=0-7
/proc/12925/task/12933/stat : 12933 (java) S 12923 12923 11169 0 -1 1077944384 30695 0 0 0 909 21 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930723367696 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12934] ppid=12923 vsize=26645092 memory=4140 CPUtime=9.19 cores=0-7
/proc/12925/task/12934/stat : 12934 (java) S 12923 12923 11169 0 -1 1077944384 28222 0 0 0 902 17 0 0 20 0 28 0 86816213 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930722315152 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12935] ppid=12923 vsize=26645092 memory=1576 CPUtime=2.66 cores=0-7
/proc/12925/task/12935/stat : 12935 (java) S 12923 12923 11169 0 -1 1077944384 137997 0 0 0 186 80 0 0 20 0 28 0 86816214 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930038655216 139930777074306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12936] ppid=12923 vsize=26645092 memory=928 CPUtime=0 cores=0-7
/proc/12925/task/12936/stat : 12936 (java) S 12923 12923 11169 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 86816215 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930037601504 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12937] ppid=12923 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12925/task/12937/stat : 12937 (java) S 12923 12923 11169 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 86816215 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139930036548352 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12938] ppid=12923 vsize=26645092 memory=4124 CPUtime=0 cores=0-7
/proc/12925/task/12938/stat : 12938 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86816218 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929967388624 139930777081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12939] ppid=12923 vsize=26645092 memory=1452 CPUtime=6.65 cores=0-7
/proc/12925/task/12939/stat : 12939 (java) S 12923 12923 11169 0 -1 1077944384 38977 0 0 0 657 8 0 0 20 0 28 0 86816218 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929966336752 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12940] ppid=12923 vsize=26645092 memory=4997048 CPUtime=6.5 cores=0-7
/proc/12925/task/12940/stat : 12940 (java) S 12923 12923 11169 0 -1 1077944384 35211 0 0 0 644 6 0 0 20 0 28 0 86816218 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929965284208 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12941] ppid=12923 vsize=26645092 memory=1452 CPUtime=6.26 cores=0-7
/proc/12925/task/12941/stat : 12941 (java) S 12923 12923 11169 0 -1 1077944384 29582 0 0 0 623 3 0 0 20 0 28 0 86816218 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929964231152 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12942] ppid=12923 vsize=26645092 memory=4140 CPUtime=1.41 cores=0-7
/proc/12925/task/12942/stat : 12942 (java) S 12923 12923 11169 0 -1 1077944384 23709 0 0 0 135 6 0 0 20 0 28 0 86816218 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929963178608 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12943] ppid=12923 vsize=26645092 memory=25308 CPUtime=0 cores=0-7
/proc/12925/task/12943/stat : 12943 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86816218 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929962125792 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12944] ppid=12923 vsize=26645092 memory=1296 CPUtime=1 cores=0-7
/proc/12925/task/12944/stat : 12944 (java) S 12923 12923 11169 0 -1 1077944384 6888 0 0 0 20 80 0 0 20 0 28 0 86816218 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929961073328 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12969] ppid=12923 vsize=26645092 memory=4997048 CPUtime=2353.03 cores=0-7
/proc/12925/task/12969/stat : 12969 (java) R 12923 12923 11169 0 -1 4202560 23558 0 0 0 235291 12 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929944062944 139930393571356 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12970] ppid=12923 vsize=26645092 memory=1452 CPUtime=2348.29 cores=0-7
/proc/12925/task/12970/stat : 12970 (java) R 12923 12923 11169 0 -1 4202560 21394 0 0 0 234816 13 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929945116440 139930399011297 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12971] ppid=12923 vsize=26645092 memory=4997048 CPUtime=2356.86 cores=0-7
/proc/12925/task/12971/stat : 12971 (java) R 12923 12923 11169 0 -1 4202560 31991 0 0 0 235658 28 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929947222744 139930398865354 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12972] ppid=12923 vsize=26645092 memory=1452 CPUtime=2356.21 cores=0-7
/proc/12925/task/12972/stat : 12972 (java) R 12923 12923 11169 0 -1 4202560 83009 0 0 0 235464 157 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929943012008 139930398826697 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12973] ppid=12923 vsize=26645092 memory=1452 CPUtime=2351.99 cores=0-7
/proc/12925/task/12973/stat : 12973 (java) R 12923 12923 11169 0 -1 4202560 33288 0 0 0 235178 21 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929948274576 139930390635886 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12974] ppid=12923 vsize=26645092 memory=1452 CPUtime=2352.94 cores=0-7
/proc/12925/task/12974/stat : 12974 (java) R 12923 12923 11169 0 -1 4202560 16700 0 0 0 235283 11 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929949327720 139930398868315 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12975] ppid=12923 vsize=26645092 memory=4997048 CPUtime=2359.43 cores=0-7
/proc/12925/task/12975/stat : 12975 (java) R 12923 12923 11169 0 -1 4202560 58164 0 0 0 235915 28 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929950379792 139930399422087 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12976] ppid=12923 vsize=26645092 memory=1452 CPUtime=2346.35 cores=0-7
/proc/12925/task/12976/stat : 12976 (java) R 12923 12923 11169 0 -1 4202560 18060 0 0 0 234620 15 0 0 20 0 28 0 86829008 27284574208 1246939 33554432000 4194304 4196468 140720897772912 139929946172560 139930397133216 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
Current children cumulated CPU time: 19905.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4989208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.03 8.22 8.26 10/206 13031
/proc/meminfo: memFree=17675368/32770624 swapFree=67108772/67108860
[pid=12923] ppid=12920 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12923/stat : 12923 (xcsp3-exec) S 12920 12923 11169 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86816212 115843072 363 33554432000 4194304 5098028 140722320313328 140722320311432 140621821788796 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38158336 140722320315445 140722320315648 140722320315648 140722320318410 0
/proc/12923/statm: 28282 363 306 221 0 87 0
[pid=12925] ppid=12923 vsize=26645092 memory=4987792 CPUtime=20046.2 cores=0-7
/proc/12925/stat : 12925 (java) S 12923 12923 11169 0 -1 1077944320 824432 0 0 0 2003944 681 0 0 20 0 28 0 86816212 27284574208 1246948 33554432000 4194304 4196468 140720897772912 140720897755456 139930777063159 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
/proc/12925/statm: 6661273 1246948 3469 1 0 6622467 0
[pid=12925/tid=12926] ppid=12923 vsize=26645092 memory=952 CPUtime=3.4 cores=0-7
/proc/12925/task/12926/stat : 12926 (java) S 12923 12923 11169 0 -1 1077944384 10847 0 0 0 334 6 0 0 20 0 28 0 86816212 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930781303936 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12927] ppid=12923 vsize=26645092 memory=1232 CPUtime=9.27 cores=0-7
/proc/12925/task/12927/stat : 12927 (java) S 12923 12923 11169 0 -1 1077944384 27686 0 0 0 908 19 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930729683472 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12928] ppid=12923 vsize=26645092 memory=4872558044660077418 CPUtime=9.27 cores=0-7
/proc/12925/task/12928/stat : 12928 (java) S 12923 12923 11169 0 -1 1077944384 29395 0 0 0 907 20 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930728630928 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12929] ppid=12923 vsize=26645092 memory=5668 CPUtime=9.34 cores=0-7
/proc/12925/task/12929/stat : 12929 (java) S 12923 12923 11169 0 -1 1077944384 29695 0 0 0 915 19 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930727577872 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12930] ppid=12923 vsize=26645092 memory=4616 CPUtime=9.29 cores=0-7
/proc/12925/task/12930/stat : 12930 (java) S 12923 12923 11169 0 -1 1077944384 26149 0 0 0 911 18 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930726525328 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12931] ppid=12923 vsize=26645092 memory=14076 CPUtime=9.28 cores=0-7
/proc/12925/task/12931/stat : 12931 (java) S 12923 12923 11169 0 -1 1077944384 24619 0 0 0 910 18 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930725473296 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12932] ppid=12923 vsize=26645092 memory=1204 CPUtime=9.33 cores=0-7
/proc/12925/task/12932/stat : 12932 (java) S 12923 12923 11169 0 -1 1077944384 21976 0 0 0 916 17 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930724420752 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12933] ppid=12923 vsize=26645092 memory=15872 CPUtime=9.36 cores=0-7
/proc/12925/task/12933/stat : 12933 (java) S 12923 12923 11169 0 -1 1077944384 30874 0 0 0 914 22 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930723367696 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12934] ppid=12923 vsize=26645092 memory=4008 CPUtime=9.24 cores=0-7
/proc/12925/task/12934/stat : 12934 (java) S 12923 12923 11169 0 -1 1077944384 28669 0 0 0 907 17 0 0 20 0 28 0 86816213 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930722315152 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12935] ppid=12923 vsize=26645092 memory=18264 CPUtime=2.68 cores=0-7
/proc/12925/task/12935/stat : 12935 (java) S 12923 12923 11169 0 -1 1077944384 138881 0 0 0 187 81 0 0 20 0 28 0 86816214 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930038655216 139930777074306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12936] ppid=12923 vsize=26645092 memory=4140 CPUtime=0 cores=0-7
/proc/12925/task/12936/stat : 12936 (java) S 12923 12923 11169 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 86816215 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930037601504 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12937] ppid=12923 vsize=26645092 memory=25308 CPUtime=0 cores=0-7
/proc/12925/task/12937/stat : 12937 (java) S 12923 12923 11169 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 86816215 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139930036548352 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12938] ppid=12923 vsize=26645092 memory=1296 CPUtime=0 cores=0-7
/proc/12925/task/12938/stat : 12938 (java) S 12923 12923 11169 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86816218 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929967388624 139930777081755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12939] ppid=12923 vsize=26645092 memory=6791534058613427641 CPUtime=6.65 cores=0-7
/proc/12925/task/12939/stat : 12939 (java) S 12923 12923 11169 0 -1 1077944384 38981 0 0 0 657 8 0 0 20 0 28 0 86816218 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929966336752 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12940] ppid=12923 vsize=26645092 memory=288230583166042425 CPUtime=6.5 cores=0-7
/proc/12925/task/12940/stat : 12940 (java) S 12923 12923 11169 0 -1 1077944384 35215 0 0 0 644 6 0 0 20 0 28 0 86816218 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929965284208 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12941] ppid=12923 vsize=26645092 memory=16104758104558012 CPUtime=6.26 cores=0-7
/proc/12925/task/12941/stat : 12941 (java) S 12923 12923 11169 0 -1 1077944384 29586 0 0 0 623 3 0 0 20 0 28 0 86816218 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929964231152 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12942] ppid=12923 vsize=26645092 memory=1408 CPUtime=1.41 cores=0-7
/proc/12925/task/12942/stat : 12942 (java) S 12923 12923 11169 0 -1 1077944384 23715 0 0 0 135 6 0 0 20 0 28 0 86816218 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929963178608 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12943] ppid=12923 vsize=26645092 memory=3856 CPUtime=0 cores=0-7
/proc/12925/task/12943/stat : 12943 (java) S 12923 12923 11169 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86816218 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929962125792 139930777073365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12944] ppid=12923 vsize=26645092 memory=6791534058613427641 CPUtime=1.01 cores=0-7
/proc/12925/task/12944/stat : 12944 (java) S 12923 12923 11169 0 -1 1077944384 6954 0 0 0 20 81 0 0 20 0 28 0 86816218 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929961073328 139930777074306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12969] ppid=12923 vsize=26645092 memory=4987768 CPUtime=2370.62 cores=0-7
/proc/12925/task/12969/stat : 12969 (java) R 12923 12923 11169 0 -1 4202560 23798 0 0 0 237050 12 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929944062600 139930400585527 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12970] ppid=12923 vsize=26645092 memory=6791534058613427641 CPUtime=2365.61 cores=0-7
/proc/12925/task/12970/stat : 12970 (java) R 12923 12923 11169 0 -1 4202560 21592 0 0 0 236547 14 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929945116520 139930398264857 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12971] ppid=12923 vsize=26645092 memory=4872558044660077418 CPUtime=2374.49 cores=0-7
/proc/12925/task/12971/stat : 12971 (java) R 12923 12923 11169 0 -1 4202560 32380 0 0 0 237421 28 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929947222440 139930398866000 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12972] ppid=12923 vsize=26645092 memory=928 CPUtime=2373.83 cores=0-7
/proc/12925/task/12972/stat : 12972 (java) R 12923 12923 11169 0 -1 4202560 83445 0 0 0 237226 157 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929943011896 139930396945104 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12973] ppid=12923 vsize=26645092 memory=2240 CPUtime=2369.61 cores=0-7
/proc/12925/task/12973/stat : 12973 (java) R 12923 12923 11169 0 -1 4202560 33668 0 0 0 236940 21 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929948274840 139930399011047 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12974] ppid=12923 vsize=26645092 memory=4124 CPUtime=2370.54 cores=0-7
/proc/12925/task/12974/stat : 12974 (java) R 12923 12923 11169 0 -1 4202560 16869 0 0 0 237043 11 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929949327656 139930398265385 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12975] ppid=12923 vsize=26645092 memory=2200 CPUtime=2377.06 cores=0-7
/proc/12925/task/12975/stat : 12975 (java) R 12923 12923 11169 0 -1 4202560 58838 0 0 0 237678 28 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929950379408 139930399422322 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
[pid=12925/tid=12976] ppid=12923 vsize=26645092 memory=28868 CPUtime=2363.97 cores=0-7
/proc/12925/task/12976/stat : 12976 (java) R 12923 12923 11169 0 -1 4202560 18341 0 0 0 236382 15 0 0 20 0 28 0 86829008 27284574208 1246948 33554432000 4194304 4196468 140720897772912 139929946172448 139930399530510 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 8273920 140720897778817 140720897778989 140720897778989 140720897781711 0
Current children cumulated CPU time: 20046.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 4989244 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 12923 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002331 s, system=0 s

[startup+2520.14 s]
# the end of solver process 12925 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20040.3 s, system=6.84882 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

[startup+2520.13 s]*
/proc/loadavg: 8.03 8.22 8.26 2/179 13033
/proc/meminfo: memFree=22117284/32770624 swapFree=67108772/67108860
Current cumulated CPU time of completed processes: 0.002331 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20047.1
CPU user time (s): 20040.3
CPU system time (s): 6.84882
CPU usage (%): 795.476
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 5575548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20040.3
system time used= 6.84882
maximum resident set size= 5575172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188324
involuntary context switches= 211104


# summary of solver processes directly reported to runsolver:
#   pid: 12923,12925
#   total CPU time (s): 20047.1
#   total CPU user time (s): 20040.3
#   total CPU system time (s): 6.84882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6506 second user time and 30.5454 second system time

The end

Name	NurseRostering/ NurseRostering-08_c18.xml
MD5SUM	d61cb971f7c35e7f42e62a62e90db6df
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	10125
Best CPU time to get the best result obtained on this benchmark	20047.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	1615
Number of constraints	4057
Number of domains	17
Minimum domain size	1
Maximum domain size	31
Distribution of domain sizes	[{"size":1,"count":65},{"size":2,"count":347},{"size":3,"count":4},{"size":5,"count":856},{"size":6,"count":1},{"size":9,"count":6},{"size":15,"count":24},{"size":29,"count":60},{"size":31,"count":252}]
Minimum variable degree	2
Maximum variable degree	27
Distribution of variable degrees	[{"degree":2,"count":655},{"degree":3,"count":120},{"degree":14,"count":3},{"degree":15,"count":26},{"degree":16,"count":25},{"degree":17,"count":11},{"degree":18,"count":21},{"degree":19,"count":40},{"degree":20,"count":52},{"degree":21,"count":62},{"degree":22,"count":101},{"degree":23,"count":201},{"degree":24,"count":145},{"degree":25,"count":88},{"degree":26,"count":52},{"degree":27,"count":13}]
Minimum constraint arity	2
Maximum constraint arity	60
Distribution of constraint arities	[{"arity":2,"count":1704},{"arity":3,"count":1144},{"arity":4,"count":205},{"arity":5,"count":30},{"arity":6,"count":529},{"arity":7,"count":154},{"arity":29,"count":150},{"arity":31,"count":140},{"arity":60,"count":1}]
Number of extensional constraints	950
Number of intensional constraints	511
Distribution of constraint types	[{"type":"extension","count":950},{"type":"intension","count":511},{"type":"regular","count":1562},{"type":"sum","count":60},{"type":"count","count":973},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297525

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data