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)	2750	2400.08	2385.81

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292358-1532281315.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292358-1532281315.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.27	c parse instance...
3.91/1.48	c solve instance...
18.67/10.26	o 6173 
18.67/10.28	o 6072 
18.67/10.28	o 5971 
35.71/26.18	o 3982 
63.93/54.16	o 3460 
64.03/54.21	o 3360 
64.03/54.23	o 3260 
117.94/108.10	o 3157 
118.04/108.11	o 3057 
118.14/108.22	o 3056 
118.14/108.23	o 2956 
122.06/112.14	o 2955 
160.25/150.36	o 2850 
426.18/415.99	o 2750 
2400.06/2385.80	s SATISFIABLE
2400.06/2385.80	v <instantiation>
2400.06/2385.80	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] 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] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][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] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][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] cn[139] cn[140] cn[141] cn[142] cn[143] 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] cf[86] cf[87] 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/2385.80	v 	<values>4 1 4 1 1 3 0 4 4 3 4 2 2 2 2 4 4 4 1 4 4 4 4 4 4 4 4 4 1 4 4 4 4 0 4 4 1 1 4 2 1 3 1 0 0 3 4 2 2 2 2 4 4 4 4 4 4 4 2 4 4 1 4 4 1 4 4 4 4 0 4 4 1 1 2 4 1 4 4 0 0 3 2 2 4 2 4 4 4 4 4 4 4 4 2 4 0 1 4 4 4 4 4 4 4 0 4 4 2 1 2 4 1 4 4 0 0 4 2 2 4 4 4 4 4 3 4 4 4 1 2 4 0 1 4 4 4 4 4 4 0 4 1 4 3 2 2 4 1 4 4 2 1 4 2 4 4 4 4 4 4 3 4 4 4 4 4 4 0 1 4 4 4 0 4 4 0 4 4 4 3 4 4 4 4 4 4 4 2 4 4 4 2 4 4 4 2 4 0 4 4 4 4 2 0 1 4 1 4 0 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 4 1 4 2 4 0 4 4 0 4 2 4 4 4 4 3 0 1 4 4 4 4 2 4 0 1 2 4 0 4 4 4 4 4 4 4 4 2 4 2 3 4 4 3 1 4 2 4 4 4 4 4 0 4 4 4 4 4 4 2 1 1 2 4 0 4 1 4 4 4 4 4 0 4 1 4 4 4 3 3 4 4 2 4 4 4 4 4 0 4 4 4 4 4 4 2 4 1 2 4 0 0 1 1 2 4 4 4 0 4 3 4 4 0 4 4 4 4 2 4 4 3 4 4 4 1 4 4 4 4 4 2 4 2 3 4 0 1 4 1 2 4 4 2 0 4 3 4 4 4 4 4 4 4 4 4 0 3 4 4 4 4 4 4 0 1 4 2 4 2 3 0 4 1 4 1 2 2 3 2 1 4 4 4 4 4 1 1 4 4 4 4 0 4 4 4 4 4 0 4 0 1 4 3 4 4 4 0 4 4 4 2 2 2 3 4 4 4 4 4 0 0 1 2 4 4 4 4 4 4 4 4 4 4 0 4 0 1 4 4 4 4 4 0 4 4 3 3 2 2 4 4 4 0 4 4 4 1 1 3 4 2 4 4 4 2 1 4 4 4 0 4 0 4 4 4 4 2 4 1 4 0 3 4 4 2 4 4 4 1 0 4 4 4 4 4 0 4 3 4 4 4 4 4 4 4 0 4 4 4 2 4 0 2 4 1 4 0 3 4 4 4 4 4 4 1 0 1 4 4 4 4 0 4 3 2 4 4 4 4 4 4 4 2 4 4 4 3 1 2 4 4 0 0 3 2 2 4 4 1 4 1 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 1 4 2 4 0 1 3 2 2 4 2 1 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 0 4 4 4 4 2 4 1 4 2 4 0 4 4 4 2 4 2 1 0 4 4 1 2 1 4 0 4 4 4 4 4 4 4 4 4 3 4 4 4 4 2 4 1 4 2 4 0 4 4 4 4 4 2 4 1 4 1 1 4 4 4 0 4 2 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 2 4 3 0 2 4 4 4 3 4 1 4 3 1 4 4 1 0 4 2 4 0 4 4 4 1 4 4 4 0 4 4 4 4 4 0 2 0 4 0 2 4 4 0 4 4 2 4 3 1 2 3 1 4 3 2 4 0 4 2 1 1 4 4 4 0 4 1 4 4 4 1 4 0 4 4 4 0 4 3 4 4 4 3 4 4 2 3 2 4 4 2 0 1 4 4 4 4 4 4 2 0 4 1 2 2 0 1 4 4 1 4 4 0 0 4 4 4 4 3 4 4 2 4 3 4 4 2 0 1 4 2 3 4 4 4 2 4 4 4 4 2 0 4 1 4 1 0 0 1 0 4 2 1 4 3 4 4 2 4 3 4 0 4 4 1 4 4 4 4 4 4 2 4 4 4 2 4 2 4 1 0 3 0 1 4 0 4 2 2 4 3 0 4 2 4 4 4 0 4 4 4 1 4 1 4 4 3 4 4 4 4 2 4 2 2 1 0 3 0 4 4 0 2 4 3 1 4 1 1 4 4 4 4 1 4 4 4 1 4 3 3 4 4 4 4 4 4 4 4 2 2 1 0 4 0 4 4 0 2 4 3 2 4 1 1 4 3 1 4 1 2 4 4 1 2 4 4 3 0 4 4 4 1 4 0 2 7 5 14 4 9 4 0 11 2 5 10 0 11 0 5 9 2 12 8 7 0 0 13 8 2 0 5 13 11 4 0 0 13 4 3 3 5 13 5 5 4 1 13 5 0 8 3 12 1 0 9 1 17 0 0 9 3 16 0 4 7 2 15 4 4 5 0 15 1 4 3 4 16 3 4 0 4 17 0 7 3 0 18 1 0 6 3 18 4 3 0 3 18 0 6 1 3 18 5 1 1 3 18 5 4 0 1 18 0 0 10 0 18 2 0 6 2 18 6 3 1 0 18 2 8 0 0 18 0 0 4 2 22 0 4 0 2 22 0 4 0 2 22 5 0 0 1 22 2 2 0 2 22 4 0 3 0 21 6 0 1 0 21 7 0 0 0 21 0 7 0 0 21 0 0 7 0 21 2 5 4 2 23 3 6 6 2 19 4 4 5 1 22 4 5 5 1 21 3 3 4 2 24 4 2 4 1 25 3 2 4 1 26 3 2 4 2 25 3 4 3 2 24 4 4 4 2 22 4 3 4 3 22 4 6 5 2 19 5 2 4 2 23 4 3 4 3 22 4 2 3 2 25 4 3 3 2 24 3 3 3 2 25 3 3 5 2 23 3 4 5 1 23 2 4 4 0 26 5 4 3 3 21 6 5 6 3 16 4 3 5 3 21 4 3 5 3 21 5 5 5 2 19 5 4 5 3 19 3 6 3 4 20 4 7 6 3 16 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 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 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 3 3 0 1 0 0 0 0 0 2 2 0 2 3 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 2 0 0 3 0 3 3 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 3 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 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 200 0 0 0 0 2 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 200 0 0 0 0 200 0 100 0 0 0 0 100 0 0 0 0 100 0 0 1 2 100 0 0 0 0 0 0 0 0 0 200 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 1 0 100 100 0 0 0 0 0 0 0 0 0 200 0 0 0 0 200 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 200 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 </values>
2400.06/2385.80	v </instantiation>
2400.06/2385.80	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 (12988 MiB free)
  memory of node 1: 16384 MiB (13779 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292358-1532281315/watcher-4292358-1532281315 -o /tmp/evaluation-result-4292358-1532281315/solver-4292358-1532281315 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532278925-8558 --watchdog 2560 HOME/xcsp3-exec -seed 225760536 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292358-1532281315.xml 

running on 4 cores: 1,3,5,7

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=8843, runsolver pid=8840

[startup+0.100778 s]*
/proc/loadavg: 2.11 1.87 1.80 7/222 8859
/proc/meminfo: memFree=27384920/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0
[pid=8845] ppid=8843 vsize=14082840 memory=28704 CPUtime=0.12 cores=1,3,5,7
/proc/8845/stat : 8845 (java) S 8843 8843 5960 0 -1 1077944320 5606 0 0 0 11 1 0 0 20 0 15 0 45694727 14420828160 7176 33554432000 4194304 4196468 140727779327056 140727779309600 139918399794935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
/proc/8845/statm: 3520710 7176 2973 1 0 3483008 0
[pid=8845/tid=8846] ppid=8843 vsize=14082840 memory=7757069512147702619 CPUtime=0.09 cores=1,3,5,7
/proc/8845/task/8846/stat : 8846 (java) R 8843 8843 5960 0 -1 4202560 3612 0 0 0 9 0 0 0 20 0 15 0 45694728 14420828160 7176 33554432000 4194304 4196468 140727779327056 139918404027040 139918036663432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8847] ppid=8843 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8847/stat : 8847 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14420828160 7176 33554432000 4194304 4196468 140727779327056 139917995096592 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8848] ppid=8843 vsize=14082840 memory=140435726087808 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8848/stat : 8848 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14420828160 7176 33554432000 4194304 4196468 140727779327056 139917994044048 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8849] ppid=8843 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8849/stat : 8849 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14420828160 7176 33554432000 4194304 4196468 140727779327056 139917992990992 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8850] ppid=8843 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8850/stat : 8850 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14420828160 7176 33554432000 4194304 4196468 140727779327056 139917991938448 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8851] ppid=8843 vsize=14082840 memory=140435726087808 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8851/stat : 8851 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694730 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917312334576 139918399806082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8852] ppid=8843 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8852/stat : 8852 (java) S 8843 8843 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45694730 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917311280800 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8853] ppid=8843 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45694730 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917310227696 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) S 8843 8843 5960 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 45694733 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917308123376 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) S 8843 8843 5960 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 45694733 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917307070832 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14082840 memory=140435726087808 CPUtime=0.01 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) R 8843 8843 5960 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 15 0 45694733 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917306017776 139918378720646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14082840 memory=140435726087808 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694733 14420828160 7241 33554432000 4194304 4196468 140727779327056 139917303913520 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30160 KiB

[startup+0.210912 s]*
/proc/loadavg: 2.11 1.87 1.80 5/222 8859
/proc/meminfo: memFree=27359856/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0
[pid=8845] ppid=8843 vsize=14087096 memory=41228 CPUtime=0.34 cores=1,3,5,7
/proc/8845/stat : 8845 (java) S 8843 8843 5960 0 -1 1077944320 8350 0 0 0 32 2 0 0 20 0 15 0 45694727 14425186304 10307 33554432000 4194304 4196468 140727779327056 140727779309600 139918399794935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
/proc/8845/statm: 3521774 10307 3177 1 0 3483008 0
[pid=8845/tid=8846] ppid=8843 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8845/task/8846/stat : 8846 (java) R 8843 8843 5960 0 -1 4202560 5490 0 0 0 19 1 0 0 20 0 15 0 45694728 14425186304 10307 33554432000 4194304 4196468 140727779327056 139918404015928 139918383875422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8847] ppid=8843 vsize=14087096 memory=13660 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8847/stat : 8847 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917995096592 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8848] ppid=8843 vsize=14087096 memory=140435726357215 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8848/stat : 8848 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917994044048 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8849] ppid=8843 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8849/stat : 8849 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917992990992 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8850] ppid=8843 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8850/stat : 8850 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917991938448 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8851] ppid=8843 vsize=14087096 memory=140435726087808 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8851/stat : 8851 (java) S 8843 8843 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45694730 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917312334576 139918399806082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8852] ppid=8843 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8852/stat : 8852 (java) S 8843 8843 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45694730 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917311280800 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8853] ppid=8843 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45694730 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917310227696 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) S 8843 8843 5960 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 45694733 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917308123376 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) S 8843 8843 5960 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 45694733 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917307070832 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14087096 memory=140435726087808 CPUtime=0.07 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) S 8843 8843 5960 0 -1 1077944384 779 0 0 0 7 0 0 0 20 0 15 0 45694733 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917306017776 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694733 14425186304 10307 33554432000 4194304 4196468 140727779327056 139917303913520 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42684 KiB

[startup+0.310825 s]*
/proc/loadavg: 2.11 1.87 1.80 5/222 8859
/proc/meminfo: memFree=27344220/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0
[pid=8845] ppid=8843 vsize=14087096 memory=48272 CPUtime=0.53 cores=1,3,5,7
/proc/8845/stat : 8845 (java) S 8843 8843 5960 0 -1 1077944320 9228 0 0 0 50 3 0 0 20 0 15 0 45694727 14425186304 12068 33554432000 4194304 4196468 140727779327056 140727779309600 139918399794935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
/proc/8845/statm: 3521774 12068 3221 1 0 3483008 0
[pid=8845/tid=8846] ppid=8843 vsize=14087096 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/8845/task/8846/stat : 8846 (java) R 8843 8843 5960 0 -1 4202560 6198 0 0 0 28 2 0 0 20 0 15 0 45694728 14425186304 12068 33554432000 4194304 4196468 140727779327056 139918404032912 139918399816861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8847] ppid=8843 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8847/stat : 8847 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917995096592 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8848] ppid=8843 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8848/stat : 8848 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917994044048 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8849] ppid=8843 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8849/stat : 8849 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917992990992 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8850] ppid=8843 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8850/stat : 8850 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917991938448 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8851] ppid=8843 vsize=14087096 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8851/stat : 8851 (java) S 8843 8843 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45694730 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917312334576 139918399806082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8852] ppid=8843 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8852/stat : 8852 (java) S 8843 8843 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45694730 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917311280800 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8853] ppid=8843 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45694730 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917310227696 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14087096 memory=8982046290584177472 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14087096 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) S 8843 8843 5960 0 -1 1077944384 444 0 0 0 5 0 0 0 20 0 15 0 45694733 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917308123376 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) S 8843 8843 5960 0 -1 1077944384 437 0 0 0 4 0 0 0 20 0 15 0 45694733 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917307070832 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) S 8843 8843 5960 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 45694733 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917306017776 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694733 14425186304 12068 33554432000 4194304 4196468 140727779327056 139917303913520 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49728 KiB

[startup+0.701028 s]
/proc/loadavg: 2.11 1.87 1.80 7/222 8859
/proc/meminfo: memFree=27291124/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0
[pid=8845] ppid=8843 vsize=14089220 memory=101664 CPUtime=1.74 cores=1,3,5,7
/proc/8845/stat : 8845 (java) S 8843 8843 5960 0 -1 1077944320 13424 0 0 0 169 5 0 0 20 0 15 0 45694727 14427361280 25416 33554432000 4194304 4196468 140727779327056 140727779309600 139918399794935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
/proc/8845/statm: 3522305 25416 3334 1 0 3483520 0
[pid=8845/tid=8846] ppid=8843 vsize=14089220 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/8845/task/8846/stat : 8846 (java) R 8843 8843 5960 0 -1 4202560 6695 0 0 0 64 3 0 0 20 0 15 0 45694728 14427361280 25416 33554432000 4194304 4196468 140727779327056 139918404031600 139918040894095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8847] ppid=8843 vsize=14089220 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8847/stat : 8847 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917995096592 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8848] ppid=8843 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8848/stat : 8848 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917994044048 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8849] ppid=8843 vsize=14089220 memory=15540 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8849/stat : 8849 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694728 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917992990992 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8850] ppid=8843 vsize=14089220 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8850/stat : 8850 (java) S 8843 8843 5960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45694728 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917991938448 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8851] ppid=8843 vsize=14089220 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8851/stat : 8851 (java) S 8843 8843 5960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45694730 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917312334576 139918399806082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8852] ppid=8843 vsize=14089220 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8852/stat : 8852 (java) S 8843 8843 5960 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45694730 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917311280800 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8853] ppid=8843 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45694730 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917310227696 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14089220 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14089220 memory=796 CPUtime=0.34 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) R 8843 8843 5960 0 -1 4202560 1390 0 0 0 34 0 0 0 20 0 15 0 45694733 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917308108576 139918384904501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14089220 memory=4616 CPUtime=0.32 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) R 8843 8843 5960 0 -1 4202560 1565 0 0 0 32 0 0 0 20 0 15 0 45694733 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917307051848 139918383291719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14089220 memory=1424 CPUtime=0.37 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) S 8843 8843 5960 0 -1 1077944384 2464 0 0 0 37 0 0 0 20 0 15 0 45694733 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917306017776 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14089220 memory=10940 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) S 8843 8843 5960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45694733 14427361280 25416 33554432000 4194304 4196468 140727779327056 139917303913520 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 103120 KiB

[startup+1.50079 s]
/proc/loadavg: 2.11 1.87 1.80 7/222 8859
/proc/meminfo: memFree=27175616/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0

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

/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45694730 14429458432 61935 33554432000 4194304 4196468 140727779327056 139917310227712 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14091268 memory=247740 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 61935 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14091268 memory=1456 CPUtime=4.58 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) S 8843 8843 5960 0 -1 1077944384 22218 0 0 0 455 3 0 0 20 0 15 0 45694733 14429458432 61935 33554432000 4194304 4196468 140727779327056 139917308123376 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14091268 memory=247740 CPUtime=4.26 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) S 8843 8843 5960 0 -1 1077944384 18426 0 0 0 424 2 0 0 20 0 15 0 45694733 14429458432 61935 33554432000 4194304 4196468 140727779327056 139917307070832 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14091268 memory=247740 CPUtime=1.04 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) S 8843 8843 5960 0 -1 1077944384 12677 0 0 0 101 3 0 0 20 0 15 0 45694733 14429458432 61935 33554432000 4194304 4196468 140727779327056 139917306017776 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 61935 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14091268 memory=247740 CPUtime=0.6 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) S 8843 8843 5960 0 -1 1077944384 765 0 0 0 26 34 0 0 20 0 15 0 45694733 14429458432 61935 33554432000 4194304 4196468 140727779327056 139917303913520 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 2275.91 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 249196 KiB

[startup+2322.3 s]
/proc/loadavg: 1.62 1.68 1.77 3/221 8958
/proc/meminfo: memFree=27061440/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0
[pid=8845] ppid=8843 vsize=14091268 memory=251836 CPUtime=2336.21 cores=1,3,5,7
/proc/8845/stat : 8845 (java) S 8843 8843 5960 0 -1 1077944320 101446 0 0 0 233546 75 0 0 20 0 15 0 45694727 14429458432 62959 33554432000 4194304 4196468 140727779327056 140727779309600 139918399794935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
/proc/8845/statm: 3522817 62959 3403 1 0 3484032 0
[pid=8845/tid=8846] ppid=8843 vsize=14091268 memory=249788 CPUtime=2320.45 cores=1,3,5,7
/proc/8845/task/8846/stat : 8846 (java) R 8843 8843 5960 0 -1 4202560 25548 0 0 0 232035 10 0 0 20 0 15 0 45694728 14429458432 62959 33554432000 4194304 4196468 140727779327056 139918404034480 139918047499964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8847] ppid=8843 vsize=14091268 memory=251836 CPUtime=1.21 cores=1,3,5,7
/proc/8845/task/8847/stat : 8847 (java) S 8843 8843 5960 0 -1 1077944384 5391 0 0 0 115 6 0 0 20 0 15 0 45694728 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917995096592 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8848] ppid=8843 vsize=14091268 memory=251836 CPUtime=1.21 cores=1,3,5,7
/proc/8845/task/8848/stat : 8848 (java) S 8843 8843 5960 0 -1 1077944384 4143 0 0 0 115 6 0 0 20 0 15 0 45694728 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917994044048 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8849] ppid=8843 vsize=14091268 memory=251836 CPUtime=1.22 cores=1,3,5,7
/proc/8845/task/8849/stat : 8849 (java) S 8843 8843 5960 0 -1 1077944384 2703 0 0 0 116 6 0 0 20 0 15 0 45694728 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917992990992 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8850] ppid=8843 vsize=14091268 memory=1456 CPUtime=1.21 cores=1,3,5,7
/proc/8845/task/8850/stat : 8850 (java) S 8843 8843 5960 0 -1 1077944384 3854 0 0 0 115 6 0 0 20 0 15 0 45694728 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917991938448 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8851] ppid=8843 vsize=14091268 memory=251836 CPUtime=0.32 cores=1,3,5,7
/proc/8845/task/8851/stat : 8851 (java) S 8843 8843 5960 0 -1 1077944384 4338 0 0 0 27 5 0 0 20 0 15 0 45694730 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917312334576 139918399806082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8852] ppid=8843 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8852/stat : 8852 (java) S 8843 8843 5960 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 45694730 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917311280864 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8853] ppid=8843 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45694730 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917310227712 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14091268 memory=251836 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14091268 memory=251836 CPUtime=4.58 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) S 8843 8843 5960 0 -1 1077944384 22218 0 0 0 455 3 0 0 20 0 15 0 45694733 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917308123376 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14091268 memory=251836 CPUtime=4.26 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) S 8843 8843 5960 0 -1 1077944384 18426 0 0 0 424 2 0 0 20 0 15 0 45694733 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917307070832 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14091268 memory=251836 CPUtime=1.04 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) S 8843 8843 5960 0 -1 1077944384 12677 0 0 0 101 3 0 0 20 0 15 0 45694733 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917306017776 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14091268 memory=1456 CPUtime=0.62 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) S 8843 8843 5960 0 -1 1077944384 769 0 0 0 27 35 0 0 20 0 15 0 45694733 14429458432 62959 33554432000 4194304 4196468 140727779327056 139917303913520 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 2336.21 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 253292 KiB

[startup+2382.3 s]
/proc/loadavg: 1.44 1.61 1.74 3/221 8959
/proc/meminfo: memFree=27053060/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0
[pid=8845] ppid=8843 vsize=14091268 memory=257980 CPUtime=2396.54 cores=1,3,5,7
/proc/8845/stat : 8845 (java) S 8843 8843 5960 0 -1 1077944320 102265 0 0 0 239575 79 0 0 20 0 15 0 45694727 14429458432 64495 33554432000 4194304 4196468 140727779327056 140727779309600 139918399794935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
/proc/8845/statm: 3522817 64495 3403 1 0 3484032 0
[pid=8845/tid=8846] ppid=8843 vsize=14091268 memory=255932 CPUtime=2380.29 cores=1,3,5,7
/proc/8845/task/8846/stat : 8846 (java) R 8843 8843 5960 0 -1 4202560 25816 0 0 0 238019 10 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139918404034368 139918047043425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8847] ppid=8843 vsize=14091268 memory=255932 CPUtime=1.31 cores=1,3,5,7
/proc/8845/task/8847/stat : 8847 (java) S 8843 8843 5960 0 -1 1077944384 5401 0 0 0 125 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917995096592 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8848] ppid=8843 vsize=14091268 memory=257980 CPUtime=1.31 cores=1,3,5,7
/proc/8845/task/8848/stat : 8848 (java) S 8843 8843 5960 0 -1 1077944384 4164 0 0 0 125 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917994044048 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8849] ppid=8843 vsize=14091268 memory=257980 CPUtime=1.33 cores=1,3,5,7
/proc/8845/task/8849/stat : 8849 (java) S 8843 8843 5960 0 -1 1077944384 3006 0 0 0 127 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917992990992 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8850] ppid=8843 vsize=14091268 memory=1456 CPUtime=1.32 cores=1,3,5,7
/proc/8845/task/8850/stat : 8850 (java) S 8843 8843 5960 0 -1 1077944384 3914 0 0 0 126 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917991938448 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8851] ppid=8843 vsize=14091268 memory=55 CPUtime=0.34 cores=1,3,5,7
/proc/8845/task/8851/stat : 8851 (java) S 8843 8843 5960 0 -1 1077944384 4483 0 0 0 29 5 0 0 20 0 15 0 45694730 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917312334576 139918399806082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8852] ppid=8843 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8852/stat : 8852 (java) S 8843 8843 5960 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 45694730 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917311280864 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8853] ppid=8843 vsize=14091268 memory=280871132198416 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45694730 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917310227712 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14091268 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14091268 memory=15604 CPUtime=4.58 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) S 8843 8843 5960 0 -1 1077944384 22220 0 0 0 455 3 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917308123376 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14091268 memory=8112282956445269571 CPUtime=4.26 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) S 8843 8843 5960 0 -1 1077944384 18428 0 0 0 424 2 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917307070832 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14091268 memory=140435565925918 CPUtime=1.04 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) S 8843 8843 5960 0 -1 1077944384 12679 0 0 0 101 3 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917306017776 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14091268 memory=257980 CPUtime=0.64 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) S 8843 8843 5960 0 -1 1077944384 775 0 0 0 28 36 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917303913520 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 2396.54 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 259436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2385.8 s]
/proc/loadavg: 1.40 1.60 1.73 3/221 8959
/proc/meminfo: memFree=27053060/32770624 swapFree=67108860/67108860
[pid=8843] ppid=8840 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8843/stat : 8843 (xcsp3-exec) S 8840 8843 5960 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 45694727 115843072 364 33554432000 4194304 5098028 140727092836416 140727092834520 140701766324860 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18751488 140727092843579 140727092843780 140727092843780 140727092846538 0
/proc/8843/statm: 28282 364 306 221 0 87 0
[pid=8845] ppid=8843 vsize=14091268 memory=257980 CPUtime=2400.06 cores=1,3,5,7
/proc/8845/stat : 8845 (java) S 8843 8843 5960 0 -1 1077944320 102269 0 0 0 239927 79 0 0 20 0 15 0 45694727 14429458432 64495 33554432000 4194304 4196468 140727779327056 140727779309600 139918399794935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
/proc/8845/statm: 3522817 64495 3403 1 0 3484032 0
[pid=8845/tid=8846] ppid=8843 vsize=14091268 memory=18476 CPUtime=2383.78 cores=1,3,5,7
/proc/8845/task/8846/stat : 8846 (java) R 8843 8843 5960 0 -1 4202560 25818 0 0 0 238368 10 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139918404034480 139918040711956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8847] ppid=8843 vsize=14091268 memory=8112282956445269571 CPUtime=1.32 cores=1,3,5,7
/proc/8845/task/8847/stat : 8847 (java) S 8843 8843 5960 0 -1 1077944384 5401 0 0 0 126 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917995096592 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8848] ppid=8843 vsize=14091268 memory=2580 CPUtime=1.32 cores=1,3,5,7
/proc/8845/task/8848/stat : 8848 (java) S 8843 8843 5960 0 -1 1077944384 4164 0 0 0 126 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917994044048 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8849] ppid=8843 vsize=14091268 memory=2652 CPUtime=1.33 cores=1,3,5,7
/proc/8845/task/8849/stat : 8849 (java) S 8843 8843 5960 0 -1 1077944384 3006 0 0 0 127 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917992990992 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8850] ppid=8843 vsize=14091268 memory=4104 CPUtime=1.32 cores=1,3,5,7
/proc/8845/task/8850/stat : 8850 (java) S 8843 8843 5960 0 -1 1077944384 3914 0 0 0 126 6 0 0 20 0 15 0 45694728 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917991938448 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8851] ppid=8843 vsize=14091268 memory=1408 CPUtime=0.34 cores=1,3,5,7
/proc/8845/task/8851/stat : 8851 (java) S 8843 8843 5960 0 -1 1077944384 4483 0 0 0 29 5 0 0 20 0 15 0 45694730 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917312334576 139918399806082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8852] ppid=8843 vsize=14091268 memory=3268 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8852/stat : 8852 (java) S 8843 8843 5960 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 45694730 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917311280864 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8853] ppid=8843 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8853/stat : 8853 (java) S 8843 8843 5960 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45694730 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917310227712 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8854] ppid=8843 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8854/stat : 8854 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917309176272 139918399813531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8855] ppid=8843 vsize=14091268 memory=4096 CPUtime=4.58 cores=1,3,5,7
/proc/8845/task/8855/stat : 8855 (java) S 8843 8843 5960 0 -1 1077944384 22220 0 0 0 455 3 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917308123376 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8856] ppid=8843 vsize=14091268 memory=15604 CPUtime=4.26 cores=1,3,5,7
/proc/8845/task/8856/stat : 8856 (java) S 8843 8843 5960 0 -1 1077944384 18428 0 0 0 424 2 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917307070832 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8857] ppid=8843 vsize=14091268 memory=2396 CPUtime=1.04 cores=1,3,5,7
/proc/8845/task/8857/stat : 8857 (java) S 8843 8843 5960 0 -1 1077944384 12679 0 0 0 101 3 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917306017776 139918399806082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8858] ppid=8843 vsize=14091268 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8845/task/8858/stat : 8858 (java) S 8843 8843 5960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917304965472 139918399805141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
[pid=8845/tid=8859] ppid=8843 vsize=14091268 memory=1732 CPUtime=0.64 cores=1,3,5,7
/proc/8845/task/8859/stat : 8859 (java) R 8843 8843 5960 0 -1 4202560 777 0 0 0 28 36 0 0 20 0 15 0 45694733 14429458432 64495 33554432000 4194304 4196468 140727779327056 139917303913520 139918399816282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32174080 140727779333249 140727779333425 140727779333425 140727779336143 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 259436 KiB

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

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

[startup+2385.81 s]
# the end of solver process 8845 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.28 s, system=0.797457 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): 2385.81
CPU time (s): 2400.08
CPU user time (s): 2399.28
CPU system time (s): 0.797457
CPU usage (%): 100.598
Max. virtual memory (cumulated for all children) (KiB): 14207320
Max. memory (cumulated for all children) (KiB): 432968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.28
system time used= 0.797457
maximum resident set size= 433560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103139
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62800
involuntary context switches= 1704


# summary of solver processes directly reported to runsolver:
#   pid: 8843,8845
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2399.28
#   total CPU system time (s): 0.797457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7657 second user time and 21.9646 second system time

The end

Name	NurseRostering/ NurseRostering-09_c18.xml
MD5SUM	01a28a521b9bba3b9351b91d9c8d3e2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	2750
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1844
Number of constraints	4787
Number of domains	17
Minimum domain size	1
Maximum domain size	37
Distribution of domain sizes	[{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}]
Minimum constraint arity	2
Maximum constraint arity	72
Distribution of constraint arities	[{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}]
Number of extensional constraints	1112
Number of intensional constraints	552
Distribution of constraint types	[{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4292358

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