2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	9900	2400.08	2386.21

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292357-1532281723.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.18	c [HOME/instance-4292357-1532281723.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.33/0.28	c parse instance...
3.89/1.42	c solve instance...
135.51/125.33	o 10342 
137.36/126.65	o 10131 
137.36/126.67	o 10030 
1590.68/1577.81	o 9900 
2400.06/2386.20	s SATISFIABLE
2400.06/2386.20	v <instantiation>
2400.06/2386.20	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>
2400.06/2386.20	v 	<values>4 0 1 2 0 1 4 1 3 1 0 0 4 4 2 0 0 1 1 4 3 0 4 4 2 4 2 4 4 4 4 0 1 2 0 1 1 1 3 1 0 0 4 4 2 0 0 1 2 1 3 0 4 1 2 2 4 3 4 4 4 1 1 2 4 4 1 1 3 1 0 0 1 0 2 0 0 1 2 2 3 0 0 1 4 4 4 4 4 4 1 4 1 2 4 4 1 1 3 4 1 0 1 0 2 0 4 1 2 2 3 0 0 4 4 4 3 4 4 1 3 4 1 2 0 0 1 1 4 4 4 3 2 0 2 0 4 4 4 2 4 0 1 4 2 4 4 3 4 1 4 0 4 4 1 0 1 4 4 2 4 4 4 0 4 4 4 4 4 2 4 4 1 1 4 4 4 4 4 2 4 0 4 4 1 0 4 4 4 2 4 4 4 1 4 4 0 4 4 2 4 4 1 3 4 4 4 4 4 4 1 0 1 2 1 3 4 0 0 2 0 0 2 4 0 4 0 4 2 4 1 4 1 4 4 4 4 4 4 4 1 3 1 2 4 4 1 1 0 2 0 0 2 4 0 4 0 1 2 4 1 4 4 4 4 4 4 4 4 4 1 4 4 2 4 4 1 1 0 2 0 4 2 0 0 1 0 1 2 4 4 4 4 4 1 4 4 4 1 4 1 4 4 2 0 0 1 1 0 4 0 4 2 0 0 1 0 1 2 4 4 4 4 4 4 2 2 4 4 4 1 0 1 4 0 1 3 4 4 4 3 3 4 1 0 1 1 1 4 4 4 0 0 4 4 2 2 4 4 4 4 0 1 4 4 4 4 4 4 1 4 3 4 4 4 4 4 4 4 0 0 0 0 1 1 2 2 4 1 4 4 0 1 4 4 4 4 0 4 1 4 3 1 4 4 4 4 4 4 1 0 0 0 3 4 4 4 4 4 4 1 0 1 4 4 1 4 0 4 1 4 4 2 4 4 4 4 4 2 1 0 0 0 4 4 4 4 4 4 2 3 0 3 2 0 3 4 0 1 1 4 4 2 2 4 1 1 4 2 1 0 1 0 4 4 2 4 4 4 4 3 4 4 2 0 3 1 4 1 1 4 4 2 2 0 1 1 1 2 1 0 1 0 1 2 3 4 4 4 4 3 4 4 2 0 3 1 4 1 4 4 1 2 2 0 1 1 1 2 1 0 4 4 1 4 4 1 4 4 4 4 4 1 2 0 4 1 0 1 4 0 1 4 2 0 1 1 1 2 4 4 4 4 4 4 4 1 0 4 4 4 4 1 2 4 4 1 0 1 4 1 1 4 3 0 1 1 1 2 4 4 4 4 4 2 4 1 2 4 4 1 4 1 4 4 0 3 0 4 4 3 1 2 4 0 4 1 1 4 4 4 4 4 4 2 4 2 2 4 4 1 0 1 4 4 0 4 0 4 4 3 1 3 4 4 4 4 1 4 0 4 4 1 4 4 4 4 2 4 4 1 0 1 4 4 0 4 0 0 1 3 4 3 2 4 0 4 4 4 1 4 0 1 4 4 2 4 4 1 4 1 0 4 1 0 0 1 4 1 1 4 4 3 2 4 0 4 4 4 1 0 1 1 4 2 2 4 4 1 4 4 0 4 1 0 0 3 4 4 1 4 0 3 2 4 4 1 4 4 1 0 2 1 4 4 2 4 0 1 2 4 1 4 1 0 4 3 4 4 1 0 1 4 2 0 4 1 1 1 1 0 2 1 4 4 3 2 0 1 2 1 4 4 4 0 4 4 4 0 4 1 4 4 4 0 0 4 1 1 4 0 2 4 1 2 4 4 0 3 2 1 4 4 4 1 4 4 4 0 4 1 4 4 4 4 0 4 1 2 4 0 2 4 1 4 4 4 0 4 4 0 13 0 4 11 14 2 0 1 11 0 16 0 1 11 0 3 14 0 11 13 4 0 0 11 9 4 0 4 11 0 13 0 4 11 9 8 0 0 11 7 6 0 4 11 0 12 5 0 11 9 4 0 4 11 7 6 0 4 11 0 3 10 4 11 6 2 8 1 11 12 0 5 0 11 9 8 0 0 11 8 9 0 0 11 0 17 0 0 11 0 3 14 0 11 2 10 5 0 11 11 2 0 4 11 10 3 4 0 11 8 9 0 0 11 0 8 0 2 18 0 2 8 0 18 0 0 8 2 18 0 3 6 1 18 5 0 3 2 18 0 6 0 1 21 0 2 5 0 21 7 6 4 2 11 7 8 5 3 7 7 8 4 2 9 5 8 4 3 10 5 5 5 3 12 3 4 3 0 20 3 3 2 1 21 7 5 4 1 13 5 6 4 1 14 5 7 4 0 14 7 5 5 0 13 5 7 2 3 13 5 5 2 1 17 5 4 0 2 19 5 5 3 0 17 5 6 5 3 11 4 9 5 3 9 3 9 4 2 12 5 8 3 0 14 2 9 4 1 14 3 5 4 2 16 4 5 1 2 18 6 6 2 2 14 5 9 3 1 12 6 6 4 2 12 5 10 4 2 9 6 5 3 1 15 4 5 2 0 19 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 2 2 3 3 0 0 0 0 0 3 3 0 0 0 0 0 0 2 0 0 0 0 2 0 1 1 2 0 0 0 0 0 0 0 0 0 0 2 2 2 2 3 3 0 3 0 0 0 2 2 0 0 1 1 1 1 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 1 3 3 3 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 3 0 0 0 0 0 1 2 0 1 0 0 0 3 0 0 0 0 3 3 3 3 3 2 2 0 0 0 0 0 0 3 3 3 1 1 1 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 300 0 0 1 3 0 0 0 2 5 0 100 0 0 2 300 0 0 0 2 100 0 0 200 0 200 500 0 200 0 300 200 0 2 1 200 300 0 1 1 100 100 0 0 0 200 300 0 1 2 0 200 0 0 2 200 0 0 0 0 300 200 0 0 0 500 0 0 0 0 200 400 0 1 1 0 0 0 1 4 0 100 0 0 3 100 100 0 100 2 0 300 0 200 2 100 200 0 200 1 300 100 0 100 0 300 100 0 1 1 200 100 0 2 4 200 200 0 3 3 200 100 0 2 5 0 200 0 1 1 100 300 0 1 3 0 200 0 </values>
2400.06/2386.20	v </instantiation>
2400.06/2386.20	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 (10918 MiB free)
  memory of node 1: 16384 MiB (6967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292357-1532281723/watcher-4292357-1532281723 -o /tmp/evaluation-result-4292357-1532281723/solver-4292357-1532281723 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532279337-4630 --watchdog 2560 HOME/xcsp3-exec -seed 637571119 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292357-1532281723.xml 

running on 4 cores: 0,2,4,6

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

solver pid=4913, runsolver pid=4910

[startup+0.100085 s]*
/proc/loadavg: 1.54 1.55 1.52 4/217 4929
/proc/meminfo: memFree=18300124/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0
[pid=4915] ppid=4913 vsize=14082840 memory=28744 CPUtime=0.12 cores=0,2,4,6
/proc/4915/stat : 4915 (java) S 4913 4913 1669 0 -1 1077944320 5451 0 0 0 11 1 0 0 20 0 15 0 45735470 14420828160 7186 33554432000 4194304 4196468 140720596758336 140720596740880 140248311398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
/proc/4915/statm: 3520710 7186 3042 1 0 3483008 0
[pid=4915/tid=4916] ppid=4913 vsize=14082840 memory=8188570651445138267 CPUtime=0.09 cores=0,2,4,6
/proc/4915/task/4916/stat : 4916 (java) R 4913 4913 1669 0 -1 4202560 3477 0 0 0 9 0 0 0 20 0 15 0 45735470 14420828160 7186 33554432000 4194304 4196468 140720596758336 140248315629824 140248311420061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4917] ppid=4913 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4917/stat : 4917 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14420828160 7186 33554432000 4194304 4196468 140720596758336 140248267950864 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4918] ppid=4913 vsize=14082840 memory=140468964677248 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4918/stat : 4918 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14420828160 7186 33554432000 4194304 4196468 140720596758336 140248266898320 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4919] ppid=4913 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4919/stat : 4919 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14420828160 7186 33554432000 4194304 4196468 140720596758336 140248265845776 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4920] ppid=4913 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4920/stat : 4920 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247904480400 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4921] ppid=4913 vsize=14082840 memory=140468964677248 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4921/stat : 4921 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735473 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247785494512 140248311409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4922] ppid=4913 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4922/stat : 4922 (java) S 4913 4913 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45735473 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247784440736 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4923] ppid=4913 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45735473 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) S 4913 4913 1669 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 45735476 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247781284336 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247780231792 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14082840 memory=140468964677248 CPUtime=0.01 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) R 4913 4913 1669 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 45735476 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247779179248 140248311419482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14082840 memory=140468964677248 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735476 14420828160 7186 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30196 KiB

[startup+0.210657 s]*
/proc/loadavg: 1.54 1.55 1.52 5/217 4929
/proc/meminfo: memFree=18288276/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0
[pid=4915] ppid=4913 vsize=14082840 memory=40768 CPUtime=0.33 cores=0,2,4,6
/proc/4915/stat : 4915 (java) S 4913 4913 1669 0 -1 1077944320 8279 0 0 0 31 2 0 0 20 0 15 0 45735470 14420828160 10192 33554432000 4194304 4196468 140720596758336 140720596740880 140248311398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
/proc/4915/statm: 3520710 10192 3163 1 0 3483008 0
[pid=4915/tid=4916] ppid=4913 vsize=14082872 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4915/task/4916/stat : 4916 (java) R 4913 4913 1669 0 -1 4202560 5399 0 0 0 19 1 0 0 20 0 15 0 45735470 14420860928 10192 33554432000 4194304 4196468 140720596758336 140248315622304 140248304077853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4917] ppid=4913 vsize=14082872 memory=14550 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4917/stat : 4917 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14420860928 10192 33554432000 4194304 4196468 140720596758336 140248267950864 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4918] ppid=4913 vsize=14082840 memory=140468964749557 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4918/stat : 4918 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14420828160 10247 33554432000 4194304 4196468 140720596758336 140248266898320 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4919] ppid=4913 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4919/stat : 4919 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14420828160 10247 33554432000 4194304 4196468 140720596758336 140248265845776 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4920] ppid=4913 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4920/stat : 4920 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14420828160 10247 33554432000 4194304 4196468 140720596758336 140247904480400 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4921] ppid=4913 vsize=14082840 memory=140468964677248 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4921/stat : 4921 (java) S 4913 4913 1669 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45735473 14420828160 10247 33554432000 4194304 4196468 140720596758336 140247785494512 140248311409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4922] ppid=4913 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4922/stat : 4922 (java) S 4913 4913 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45735473 14420828160 10247 33554432000 4194304 4196468 140720596758336 140247784440736 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4923] ppid=4913 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45735473 14422994944 10247 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14422994944 10247 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14084956 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) S 4913 4913 1669 0 -1 1077944384 659 0 0 0 1 0 0 0 20 0 15 0 45735476 14422994944 10247 33554432000 4194304 4196468 140720596758336 140247781284336 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14084956 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) S 4913 4913 1669 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 45735476 14422994944 10247 33554432000 4194304 4196468 140720596758336 140247780231792 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14084956 memory=140468964677248 CPUtime=0.07 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) S 4913 4913 1669 0 -1 1077944384 814 0 0 0 7 0 0 0 20 0 15 0 45735476 14422994944 10247 33554432000 4194304 4196468 140720596758336 140247779179248 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14084956 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14422994944 10247 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14084956 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735476 14422994944 10247 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42220 KiB

[startup+0.310744 s]*
/proc/loadavg: 1.54 1.55 1.52 3/217 4929
/proc/meminfo: memFree=18281824/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0
[pid=4915] ppid=4913 vsize=14087096 memory=47612 CPUtime=0.5 cores=0,2,4,6
/proc/4915/stat : 4915 (java) S 4913 4913 1669 0 -1 1077944320 9091 0 0 0 48 2 0 0 20 0 15 0 45735470 14425186304 11903 33554432000 4194304 4196468 140720596758336 140720596740880 140248311398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
/proc/4915/statm: 3521774 11903 3216 1 0 3483008 0
[pid=4915/tid=4916] ppid=4913 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4915/task/4916/stat : 4916 (java) R 4913 4913 1669 0 -1 4202560 6122 0 0 0 28 1 0 0 20 0 15 0 45735470 14425186304 11977 33554432000 4194304 4196468 140720596758336 140248315631920 140248304115098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4917] ppid=4913 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4917/stat : 4917 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14425186304 11977 33554432000 4194304 4196468 140720596758336 140248267950864 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4918] ppid=4913 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4918/stat : 4918 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14425186304 11977 33554432000 4194304 4196468 140720596758336 140248266898320 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4919] ppid=4913 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4919/stat : 4919 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14425186304 11977 33554432000 4194304 4196468 140720596758336 140248265845776 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4920] ppid=4913 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4920/stat : 4920 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247904480400 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4921] ppid=4913 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4921/stat : 4921 (java) S 4913 4913 1669 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45735473 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247785494512 140248311409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4922] ppid=4913 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4922/stat : 4922 (java) S 4913 4913 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45735473 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247784440736 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4923] ppid=4913 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45735473 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14087096 memory=-8412654372440273311 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14087096 memory=-7384621950708166502 CPUtime=0.02 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) S 4913 4913 1669 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 15 0 45735476 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247781284336 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) S 4913 4913 1669 0 -1 1077944384 121 0 0 0 4 0 0 0 20 0 15 0 45735476 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247780231792 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) S 4913 4913 1669 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 15 0 45735476 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247779179248 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735476 14425186304 11977 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49064 KiB

[startup+0.701787 s]
/proc/loadavg: 1.54 1.55 1.52 6/217 4929
/proc/meminfo: memFree=18260176/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0
[pid=4915] ppid=4913 vsize=14089220 memory=94848 CPUtime=1.71 cores=0,2,4,6
/proc/4915/stat : 4915 (java) S 4913 4913 1669 0 -1 1077944320 12749 0 0 0 168 3 0 0 20 0 15 0 45735470 14427361280 23712 33554432000 4194304 4196468 140720596758336 140720596740880 140248311398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
/proc/4915/statm: 3522305 23712 3326 1 0 3483520 0
[pid=4915/tid=4916] ppid=4913 vsize=14089220 memory=3472328296227679313 CPUtime=0.68 cores=0,2,4,6
/proc/4915/task/4916/stat : 4916 (java) R 4913 4913 1669 0 -1 4202560 6665 0 0 0 66 2 0 0 20 0 15 0 45735470 14427361280 23712 33554432000 4194304 4196468 140720596758336 140248315634816 140247947102896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4917] ppid=4913 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4917/stat : 4917 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14427361280 23712 33554432000 4194304 4196468 140720596758336 140248267950864 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4918] ppid=4913 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4918/stat : 4918 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735471 14427361280 23712 33554432000 4194304 4196468 140720596758336 140248266898320 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4919] ppid=4913 vsize=14089220 memory=15324 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4919/stat : 4919 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14427361280 23712 33554432000 4194304 4196468 140720596758336 140248265845776 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4920] ppid=4913 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4920/stat : 4920 (java) S 4913 4913 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45735471 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247904480400 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4921] ppid=4913 vsize=14089220 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4921/stat : 4921 (java) S 4913 4913 1669 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 45735473 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247785494512 140248311409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4922] ppid=4913 vsize=14089220 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4922/stat : 4922 (java) S 4913 4913 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45735473 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247784440736 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4923] ppid=4913 vsize=14089220 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45735473 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14089220 memory=11956 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14089220 memory=5520 CPUtime=0.31 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) R 4913 4913 1669 0 -1 4202560 1631 0 0 0 31 0 0 0 20 0 15 0 45735476 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247781265352 140248294898518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14089220 memory=792 CPUtime=0.33 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) R 4913 4913 1669 0 -1 4202560 1040 0 0 0 33 0 0 0 20 0 15 0 45735476 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247780214704 140248294808928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14089220 memory=1228 CPUtime=0.37 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) S 4913 4913 1669 0 -1 1077944384 2104 0 0 0 37 0 0 0 20 0 15 0 45735476 14427361280 23712 33554432000 4194304 4196468 140720596758336 140247779179248 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14089220 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14427361280 23777 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14089220 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45735476 14427361280 23777 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 96300 KiB

[startup+1.5015 s]
/proc/loadavg: 1.54 1.55 1.52 3/217 4929
/proc/meminfo: memFree=18199552/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0

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

/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 45735473 14429458432 62592 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 62592 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14091268 memory=1452 CPUtime=5.51 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) S 4913 4913 1669 0 -1 1077944384 29125 0 0 0 548 3 0 0 20 0 15 0 45735476 14429458432 62592 33554432000 4194304 4196468 140720596758336 140247781284336 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14091268 memory=250368 CPUtime=5.11 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) S 4913 4913 1669 0 -1 1077944384 22142 0 0 0 507 4 0 0 20 0 15 0 45735476 14429458432 62592 33554432000 4194304 4196468 140720596758336 140247780231792 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14091268 memory=1452 CPUtime=1.02 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) S 4913 4913 1669 0 -1 1077944384 13140 0 0 0 101 1 0 0 20 0 15 0 45735476 14429458432 62592 33554432000 4194304 4196468 140720596758336 140247779179248 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14091268 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 62592 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14091268 memory=15408 CPUtime=0.58 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1046 0 0 0 26 32 0 0 20 0 15 0 45735476 14429458432 62592 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 2276.11 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 251820 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.01 1.94 4/217 5126
/proc/meminfo: memFree=18060292/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0
[pid=4915] ppid=4913 vsize=14091268 memory=270848 CPUtime=2336.13 cores=0,2,4,6
/proc/4915/stat : 4915 (java) S 4913 4913 1669 0 -1 1077944320 116001 0 0 0 233548 65 0 0 20 0 15 0 45735470 14429458432 67712 33554432000 4194304 4196468 140720596758336 140720596740880 140248311398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
/proc/4915/statm: 3522817 67712 3403 1 0 3484032 0
[pid=4915/tid=4916] ppid=4913 vsize=14091268 memory=270848 CPUtime=2320.64 cores=0,2,4,6
/proc/4915/task/4916/stat : 4916 (java) R 4913 4913 1669 0 -1 4202560 26619 0 0 0 232055 9 0 0 20 0 15 0 45735470 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248315637840 140247953713943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4917] ppid=4913 vsize=14091268 memory=270848 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4917/stat : 4917 (java) S 4913 4913 1669 0 -1 1077944384 3762 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248267950864 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4918] ppid=4913 vsize=14091268 memory=270848 CPUtime=0.7 cores=0,2,4,6
/proc/4915/task/4918/stat : 4918 (java) S 4913 4913 1669 0 -1 1077944384 4422 0 0 0 65 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248266898320 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4919] ppid=4913 vsize=14091268 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4919/stat : 4919 (java) S 4913 4913 1669 0 -1 1077944384 4021 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248265845776 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4920] ppid=4913 vsize=14091268 memory=270848 CPUtime=0.7 cores=0,2,4,6
/proc/4915/task/4920/stat : 4920 (java) S 4913 4913 1669 0 -1 1077944384 4963 0 0 0 66 4 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247904480400 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4921] ppid=4913 vsize=14091268 memory=270848 CPUtime=0.35 cores=0,2,4,6
/proc/4915/task/4921/stat : 4921 (java) S 4913 4913 1669 0 -1 1077944384 5399 0 0 0 31 4 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247785494512 140248311409282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4922] ppid=4913 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4922/stat : 4922 (java) S 4913 4913 1669 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247784440736 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4923] ppid=4913 vsize=14091268 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14091268 memory=270848 CPUtime=5.51 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) S 4913 4913 1669 0 -1 1077944384 29128 0 0 0 548 3 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247781284336 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14091268 memory=4028 CPUtime=5.11 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) S 4913 4913 1669 0 -1 1077944384 22144 0 0 0 507 4 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247780231792 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14091268 memory=1728 CPUtime=1.02 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) S 4913 4913 1669 0 -1 1077944384 13142 0 0 0 101 1 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247779179248 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14091268 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14091268 memory=8112282956445269571 CPUtime=0.59 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1062 0 0 0 27 32 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 2336.13 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 272300 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/217 5128
/proc/meminfo: memFree=18050676/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0
[pid=4915] ppid=4913 vsize=14091268 memory=270848 CPUtime=2396.16 cores=0,2,4,6
/proc/4915/stat : 4915 (java) S 4913 4913 1669 0 -1 1077944320 116055 0 0 0 239550 66 0 0 20 0 15 0 45735470 14429458432 67712 33554432000 4194304 4196468 140720596758336 140720596740880 140248311398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
/proc/4915/statm: 3522817 67712 3403 1 0 3484032 0
[pid=4915/tid=4916] ppid=4913 vsize=14091268 memory=270848 CPUtime=2380.63 cores=0,2,4,6
/proc/4915/task/4916/stat : 4916 (java) R 4913 4913 1669 0 -1 4202560 26657 0 0 0 238054 9 0 0 20 0 15 0 45735470 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248315637616 140247953713663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4917] ppid=4913 vsize=14091268 memory=270848 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4917/stat : 4917 (java) S 4913 4913 1669 0 -1 1077944384 3766 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248267950864 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4918] ppid=4913 vsize=14091268 memory=270848 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4918/stat : 4918 (java) S 4913 4913 1669 0 -1 1077944384 4423 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248266898320 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4919] ppid=4913 vsize=14091268 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4919/stat : 4919 (java) S 4913 4913 1669 0 -1 1077944384 4021 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248265845776 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4920] ppid=4913 vsize=14091268 memory=270848 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4920/stat : 4920 (java) S 4913 4913 1669 0 -1 1077944384 4963 0 0 0 67 4 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247904480400 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4921] ppid=4913 vsize=14091268 memory=1452 CPUtime=0.35 cores=0,2,4,6
/proc/4915/task/4921/stat : 4921 (java) S 4913 4913 1669 0 -1 1077944384 5406 0 0 0 31 4 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247785494512 140248311409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4922] ppid=4913 vsize=14091268 memory=270848 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4922/stat : 4922 (java) S 4913 4913 1669 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247784440736 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4923] ppid=4913 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14091268 memory=1452 CPUtime=5.51 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) S 4913 4913 1669 0 -1 1077944384 29128 0 0 0 548 3 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247781284336 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14091268 memory=270848 CPUtime=5.11 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) S 4913 4913 1669 0 -1 1077944384 22144 0 0 0 507 4 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247780231792 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14091268 memory=1452 CPUtime=1.02 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) S 4913 4913 1669 0 -1 1077944384 13142 0 0 0 101 1 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247779179248 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14091268 memory=270848 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14091268 memory=3296 CPUtime=0.6 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1066 0 0 0 27 33 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 2396.16 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 272300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2386.2 s]
/proc/loadavg: 2.02 2.01 1.95 3/217 5128
/proc/meminfo: memFree=18050752/32770624 swapFree=67108860/67108860
[pid=4913] ppid=4910 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4913/stat : 4913 (xcsp3-exec) S 4910 4913 1669 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 45735470 115843072 363 33554432000 4194304 5098028 140727818243856 140727818241960 140499987501692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10346496 140727818245179 140727818245380 140727818245380 140727818248138 0
/proc/4913/statm: 28282 363 306 221 0 87 0
[pid=4915] ppid=4913 vsize=14091268 memory=270848 CPUtime=2400.06 cores=0,2,4,6
/proc/4915/stat : 4915 (java) S 4913 4913 1669 0 -1 1077944320 116055 0 0 0 239940 66 0 0 20 0 15 0 45735470 14429458432 67712 33554432000 4194304 4196468 140720596758336 140720596740880 140248311398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
/proc/4915/statm: 3522817 67712 3403 1 0 3484032 0
[pid=4915/tid=4916] ppid=4913 vsize=14091268 memory=15817781274741050 CPUtime=2384.53 cores=0,2,4,6
/proc/4915/task/4916/stat : 4916 (java) R 4913 4913 1669 0 -1 4202560 26657 0 0 0 238444 9 0 0 20 0 15 0 45735470 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248315637616 140247953714018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4917] ppid=4913 vsize=14091268 memory=1944 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4917/stat : 4917 (java) S 4913 4913 1669 0 -1 1077944384 3766 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248267950864 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4918] ppid=4913 vsize=14091268 memory=1424 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4918/stat : 4918 (java) S 4913 4913 1669 0 -1 1077944384 4423 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248266898320 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4919] ppid=4913 vsize=14091268 memory=4612 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4919/stat : 4919 (java) S 4913 4913 1669 0 -1 1077944384 4021 0 0 0 66 5 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140248265845776 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4920] ppid=4913 vsize=14091268 memory=8112282956445269571 CPUtime=0.71 cores=0,2,4,6
/proc/4915/task/4920/stat : 4920 (java) S 4913 4913 1669 0 -1 1077944384 4963 0 0 0 67 4 0 0 20 0 15 0 45735471 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247904480400 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4921] ppid=4913 vsize=14091268 memory=1712 CPUtime=0.35 cores=0,2,4,6
/proc/4915/task/4921/stat : 4921 (java) S 4913 4913 1669 0 -1 1077944384 5406 0 0 0 31 4 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247785494512 140248311409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4922] ppid=4913 vsize=14091268 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4922/stat : 4922 (java) S 4913 4913 1669 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247784440736 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4923] ppid=4913 vsize=14091268 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4923/stat : 4923 (java) S 4913 4913 1669 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 45735473 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247783388144 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4924] ppid=4913 vsize=14091268 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4924/stat : 4924 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247782336720 140248311416731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4925] ppid=4913 vsize=14091268 memory=288230621803970871 CPUtime=5.51 cores=0,2,4,6
/proc/4915/task/4925/stat : 4925 (java) S 4913 4913 1669 0 -1 1077944384 29128 0 0 0 548 3 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247781284336 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4926] ppid=4913 vsize=14091268 memory=15817781274741050 CPUtime=5.11 cores=0,2,4,6
/proc/4915/task/4926/stat : 4926 (java) S 4913 4913 1669 0 -1 1077944384 22144 0 0 0 507 4 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247780231792 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4927] ppid=4913 vsize=14091268 memory=4126316290023845779 CPUtime=1.02 cores=0,2,4,6
/proc/4915/task/4927/stat : 4927 (java) S 4913 4913 1669 0 -1 1077944384 13142 0 0 0 101 1 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247779179248 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4928] ppid=4913 vsize=14091268 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/4915/task/4928/stat : 4928 (java) S 4913 4913 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247778126944 140248311408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
[pid=4915/tid=4929] ppid=4913 vsize=14091268 memory=2244 CPUtime=0.6 cores=0,2,4,6
/proc/4915/task/4929/stat : 4929 (java) S 4913 4913 1669 0 -1 1077944384 1066 0 0 0 27 33 0 0 20 0 15 0 45735476 14429458432 67712 33554432000 4194304 4196468 140720596758336 140247777073456 140248311409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 9695232 140720596763777 140720596763953 140720596763953 140720596766671 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 272300 KiB

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

[startup+2386.21 s]
# the end of solver process 4913 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001144 s, system=0.001144 s

[startup+2386.21 s]
# the end of solver process 4915 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.42 s, system=0.666218 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2386.21
CPU time (s): 2400.08
CPU user time (s): 2399.42
CPU system time (s): 0.666218
CPU usage (%): 100.581
Max. virtual memory (cumulated for all children) (KiB): 14207320
Max. memory (cumulated for all children) (KiB): 441652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.42
system time used= 0.666218
maximum resident set size= 440200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63082
involuntary context switches= 2361


# summary of solver processes directly reported to runsolver:
#   pid: 4913,4915
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2399.42
#   total CPU system time (s): 0.666218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1202 second user time and 23.534 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	9900
Best CPU time to get the best result obtained on this benchmark	2520.05
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 4292357

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