2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	10181	2520.06	2506.61

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306653-1534043825.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306653-1534043825.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
4.61/1.60	c solve instance...
58.20/48.80	o 13315 
58.20/48.81	o 13214 
151.80/141.30	o 11310 
1404.60/1392.94	o 10282 
1409.10/1397.48	o 10181 
2520.04/2506.60	s SATISFIABLE
2520.04/2506.60	v <instantiation>
2520.04/2506.60	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[0][36] x[0][37] x[0][38] x[0][39] 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[1][36] x[1][37] x[1][38] x[1][39] 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[2][36] x[2][37] x[2][38] x[2][39] 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[3][36] x[3][37] x[3][38] x[3][39] 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[4][36] x[4][37] x[4][38] x[4][39] 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[5][36] x[5][37] x[5][38] x[5][39] 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[6][36] x[6][37] x[6][38] x[6][39] 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[7][36] x[7][37] x[7][38] x[7][39] 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[8][36] x[8][37] x[8][38] x[8][39] 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[9][36] x[9][37] x[9][38] x[9][39] 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[10][36] x[10][37] x[10][38] x[10][39] 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[11][36] x[11][37] x[11][38] x[11][39] 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[12][36] x[12][37] x[12][38] x[12][39] 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[13][36] x[13][37] x[13][38] x[13][39] 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[14][36] x[14][37] x[14][38] x[14][39] 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[15][36] x[15][37] x[15][38] x[15][39] 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[16][36] x[16][37] x[16][38] x[16][39] 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[17][36] x[17][37] x[17][38] x[17][39] 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[18][36] x[18][37] x[18][38] x[18][39] 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[19][36] x[19][37] x[19][38] x[19][39] 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[20][36] x[20][37] x[20][38] x[20][39] 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[21][36] x[21][37] x[21][38] x[21][39] 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[22][36] x[22][37] x[22][38] x[22][39] 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[23][36] x[23][37] x[23][38] x[23][39] 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[24][36] x[24][37] x[24][38] x[24][39] 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[25][36] x[25][37] x[25][38] x[25][39] 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[26][36] x[26][37] x[26][38] x[26][39] 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] x[27][36] x[27][37] x[27][38] x[27][39] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] 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] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][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] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] 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] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] </list>
2520.04/2506.60	v 	<values>1 2 0 2 5 3 5 2 5 3 4 5 0 3 3 5 0 1 5 2 0 5 1 0 1 5 5 0 3 5 2 5 5 3 5 2 0 3 5 5 1 3 0 2 5 4 5 2 5 3 4 2 1 3 3 5 0 2 0 3 0 0 1 1 1 5 1 0 3 5 2 5 0 3 0 2 0 3 5 5 5 3 5 1 0 5 5 1 0 4 5 2 1 3 3 5 0 4 2 5 5 0 1 5 1 5 3 5 3 5 5 0 0 3 1 5 5 5 0 2 5 3 5 4 3 5 2 1 0 4 5 3 5 3 3 5 0 4 5 5 5 5 5 5 1 5 5 5 3 0 5 0 0 3 1 5 5 5 0 1 1 3 5 4 5 5 2 5 5 5 1 5 5 3 3 5 0 5 5 2 0 5 5 0 5 5 5 0 3 0 1 2 0 3 3 1 0 1 5 2 1 5 5 5 5 4 2 5 5 5 1 5 5 5 5 0 5 5 3 2 0 3 4 0 5 0 3 0 5 0 1 5 5 5 5 1 0 1 5 3 1 5 3 5 5 4 2 5 5 5 1 5 5 5 5 0 5 5 3 2 0 3 4 0 1 1 3 0 5 0 1 5 5 5 5 1 0 2 5 3 5 2 3 5 5 4 2 2 5 5 1 5 1 3 5 1 0 0 3 2 0 3 4 0 1 1 3 0 5 0 2 5 5 5 5 3 0 3 5 5 5 2 3 5 0 4 5 2 0 1 5 5 1 3 5 1 0 0 3 5 5 3 4 5 1 1 5 5 0 5 5 0 5 5 4 5 5 3 5 5 5 2 3 1 3 5 5 1 0 1 5 0 1 3 5 4 0 5 3 5 5 3 5 5 1 4 5 5 0 5 5 2 5 5 4 5 5 5 5 5 3 2 3 2 3 5 5 5 1 1 1 0 1 3 2 5 0 5 5 2 3 5 5 0 1 5 1 0 3 0 1 5 0 2 5 3 0 5 4 5 3 2 5 5 3 5 5 5 1 1 1 0 3 5 2 5 5 0 5 2 3 5 5 0 5 5 1 0 3 0 1 5 0 2 5 3 0 5 4 2 3 5 5 5 5 5 5 5 5 5 5 5 5 5 2 5 5 1 0 2 3 5 0 5 5 5 5 5 3 5 5 5 0 2 5 3 0 5 5 2 3 5 5 5 5 5 5 5 5 5 5 5 5 3 2 5 3 1 1 3 3 5 0 5 5 5 5 5 5 5 5 5 0 2 5 3 0 5 5 1 3 5 0 1 3 1 0 5 1 1 1 2 5 3 2 0 3 4 1 3 5 0 5 0 5 0 3 4 5 0 5 2 0 2 5 5 5 2 5 5 5 5 0 1 3 1 0 2 1 4 1 2 0 3 5 0 3 5 5 5 5 1 5 0 5 0 3 4 5 0 5 3 5 5 5 5 5 2 0 5 5 5 0 2 4 1 4 2 5 4 5 2 0 3 5 0 3 5 5 5 0 1 0 0 5 0 3 5 1 0 3 5 5 5 3 1 0 5 0 2 1 5 0 2 5 1 4 5 5 5 5 5 0 5 2 4 3 5 2 3 0 2 1 0 1 4 3 5 1 0 3 5 5 5 3 2 0 5 0 3 1 0 0 3 5 1 4 5 1 5 4 5 0 5 3 4 5 0 2 3 0 2 1 0 1 4 3 2 1 0 3 2 0 0 3 2 5 2 0 3 5 0 5 5 0 5 5 2 1 1 4 2 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 2 1 5 5 2 0 0 3 5 5 1 4 5 5 0 5 5 0 5 5 1 1 3 5 2 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 1 1 5 5 2 0 0 3 5 5 1 5 5 1 0 0 5 3 5 5 1 1 3 5 1 0 5 5 5 5 2 1 2 0 2 1 5 5 5 5 1 5 0 5 3 5 2 5 4 0 2 5 0 1 0 0 5 4 5 5 2 5 5 1 2 0 5 5 5 5 2 1 3 0 3 1 5 5 5 1 4 5 0 5 3 5 2 5 4 0 5 5 0 1 5 5 2 4 1 0 2 5 5 1 2 5 5 5 0 5 5 1 3 0 5 1 5 1 0 3 5 3 5 2 5 0 5 3 4 0 5 0 0 1 5 5 2 5 1 2 5 0 5 4 5 5 3 0 0 5 5 3 3 0 5 4 0 1 0 5 5 3 5 2 5 0 5 3 5 0 3 0 0 1 5 0 2 5 1 2 5 1 3 5 5 5 3 2 0 0 5 3 3 0 2 5 0 1 1 5 5 5 0 2 3 0 5 4 5 0 4 0 3 5 0 0 1 3 1 2 1 1 4 5 3 0 3 2 0 0 5 5 5 5 2 5 0 1 1 3 5 5 0 2 3 5 5 5 5 5 5 4 5 5 0 0 1 3 1 2 1 1 5 5 3 0 3 2 0 0 5 5 5 5 2 5 5 1 1 3 5 5 5 2 3 5 5 5 5 5 5 4 5 0 12 0 5 0 11 7 0 6 4 0 11 12 0 0 5 0 11 0 6 8 1 2 11 4 0 0 9 3 12 0 10 0 1 5 12 3 0 9 0 3 13 0 7 9 0 0 12 5 11 0 0 0 12 0 6 0 5 5 12 0 10 0 0 5 13 3 1 9 3 0 12 9 6 0 1 0 12 0 0 0 17 0 11 1 0 9 6 0 12 10 2 0 0 3 13 12 0 0 5 0 11 6 3 3 0 3 13 2 5 3 7 0 11 0 0 9 9 0 10 14 0 0 4 0 10 3 2 6 6 0 11 3 8 0 0 5 12 15 1 0 0 0 12 0 16 0 0 0 12 6 6 0 0 3 13 0 4 0 12 0 12 8 2 2 0 3 13 2 5 0 10 0 11 16 0 0 0 0 12 0 5 8 3 0 12 3 0 6 6 0 13 15 0 0 0 0 13 3 0 7 5 0 13 1 2 0 8 3 14 0 4 4 5 3 12 17 0 0 0 0 11 0 4 5 5 1 13 9 0 0 0 5 14 4 2 5 5 0 12 7 4 6 7 1 15 9 6 6 8 2 9 7 6 3 6 2 16 6 4 1 7 3 19 7 5 4 6 1 17 7 5 2 4 2 20 6 6 3 5 2 18 7 5 5 7 2 14 6 5 2 5 3 19 4 5 2 5 3 21 7 7 5 7 1 13 7 5 5 6 1 16 4 1 4 4 0 27 3 3 2 6 0 26 8 6 5 6 2 13 8 5 3 5 2 17 10 4 4 5 3 14 7 5 5 6 3 14 10 6 6 7 4 7 5 4 4 1 2 24 5 5 2 2 0 26 7 7 5 3 1 17 7 5 4 3 3 18 8 6 4 4 2 16 10 3 3 6 2 16 9 5 5 6 2 13 7 6 4 5 2 16 5 6 4 5 1 19 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 2 2 0 0 0 3 2 2 2 0 0 1 1 0 0 0 0 2 2 3 0 0 1 0 0 0 2 0 0 3 3 0 0 0 0 0 0 0 2 0 0 1 1 1 0 2 0 0 1 0 3 3 0 0 3 0 1 0 0 3 0 0 0 1 1 1 2 2 0 0 0 0 2 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 3 3 0 0 0 3 3 0 0 0 3 3 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 2 0 3 0 0 3 1 1 0 0 2 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 0 0 0 3 3 3 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 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 1 0 0 0 0 4 1 0 2 0 0 1 1 200 0 0 0 0 0 200 0 1 0 1 0 0 0 0 0 0 0 200 200 100 0 0 0 400 0 100 0 1 0 0 1 0 0 200 0 300 0 100 0 200 0 100 0 2 0 2 2 0 1 0 0 0 0 0 0 0 0 100 400 100 300 300 0 400 200 500 200 100 0 0 0 0 100 0 0 1 0 200 100 1 0 1 0 100 200 0 0 1 0 0 0 2 0 3 0 1 0 2 0 100 100 100 400 100 0 200 0 400 500 200 0 1 2 100 400 0 0 1 100 200 300 0 0 4 1 300 200 0 0 2 0 0 100 1 0 2 0 0 100 0 0 0 0 0 200 0 0 200 0 0 100 0 0 </values>
2520.04/2506.60	v </instantiation>
2520.04/2506.60	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 (10625 MiB free)
  memory of node 1: 16384 MiB (5991 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306653-1534043825/watcher-4306653-1534043825 -o /tmp/evaluation-result-4306653-1534043825/solver-4306653-1534043825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534038673-26647 --watchdog 2580 HOME/xcsp3-exec -seed 1616182429 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306653-1534043825.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=27310, runsolver pid=27307
Current StackSize limit: 8192 KiB


[startup+0.100162 s]*
/proc/loadavg: 2.06 1.92 1.80 3/217 27326
/proc/meminfo: memFree=16998332/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0
[pid=27312] ppid=27310 vsize=14082940 memory=29696 CPUtime=0.12 cores=0,2,4,6
/proc/27312/stat : 27312 (java) S 27310 27310 25340 0 -1 1077944320 5291 0 0 0 10 2 0 0 20 0 15 0 221945645 14420930560 7424 33554432000 4194304 4196468 140733943971824 140733943954368 140273197371127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
/proc/27312/statm: 3520735 7424 3011 1 0 3483012 0
[pid=27312/tid=27313] ppid=27310 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/27312/task/27313/stat : 27313 (java) R 27310 27310 25340 0 -1 4202560 3289 0 0 0 8 1 0 0 20 0 15 0 221945645 14420930560 7424 33554432000 4194304 4196468 140733943971824 140273201603392 140272834765471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27314] ppid=27310 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27314/stat : 27314 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272793140368 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27315] ppid=27310 vsize=14082940 memory=140254744401536 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27315/stat : 27315 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272792087568 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27316] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27316/stat : 27316 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272791034768 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27317] ppid=27310 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27317/stat : 27317 (java) S 27310 27310 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272789981968 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27318] ppid=27310 vsize=14082940 memory=140254744401536 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27318/stat : 27318 (java) S 27310 27310 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221945647 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272671336816 140273197382274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27319] ppid=27310 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27319/stat : 27319 (java) S 27310 27310 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221945648 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272670282784 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27320] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221945648 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272669229936 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) S 27310 27310 25340 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 221945650 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272667126640 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) S 27310 27310 25340 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 221945650 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272666073840 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14082940 memory=140254744401536 CPUtime=0.01 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) R 27310 27310 25340 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 221945650 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272665021040 140273197392474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14082940 memory=140254744401536 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945651 14420930560 7424 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31148 KiB

[startup+0.210545 s]*
/proc/loadavg: 2.06 1.92 1.80 4/217 27326
/proc/meminfo: memFree=16988284/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0
[pid=27312] ppid=27310 vsize=14082940 memory=41280 CPUtime=0.34 cores=0,2,4,6
/proc/27312/stat : 27312 (java) S 27310 27310 25340 0 -1 1077944320 7823 0 0 0 31 3 0 0 20 0 15 0 221945645 14420930560 10320 33554432000 4194304 4196468 140733943971824 140733943954368 140273197371127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
/proc/27312/statm: 3520735 10320 3195 1 0 3483012 0
[pid=27312/tid=27313] ppid=27310 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27312/task/27313/stat : 27313 (java) S 27310 27310 25340 0 -1 1077944384 4974 0 0 0 18 2 0 0 20 0 15 0 221945645 14420930560 10320 33554432000 4194304 4196468 140733943971824 140273201606112 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27314] ppid=27310 vsize=14082940 memory=8987 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27314/stat : 27314 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272793140368 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27315] ppid=27310 vsize=14082940 memory=288370630896113280 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27315/stat : 27315 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272792087568 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27316] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27316/stat : 27316 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272791034768 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27317] ppid=27310 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27317/stat : 27317 (java) S 27310 27310 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221945646 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272789981968 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27318] ppid=27310 vsize=14082940 memory=140254744401536 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27318/stat : 27318 (java) S 27310 27310 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221945647 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272671336816 140273197382274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27319] ppid=27310 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27319/stat : 27319 (java) S 27310 27310 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221945648 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272670282784 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27320] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221945648 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272669229936 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) S 27310 27310 25340 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 221945650 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272667126640 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) S 27310 27310 25340 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 15 0 221945650 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272666073840 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14082940 memory=140254744401536 CPUtime=0.08 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) S 27310 27310 25340 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 221945650 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272665021040 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945651 14420930560 10320 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42732 KiB

[startup+0.311596 s]*
/proc/loadavg: 2.06 1.92 1.80 4/217 27326
/proc/meminfo: memFree=16982208/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0
[pid=27312] ppid=27310 vsize=14087196 memory=48012 CPUtime=0.53 cores=0,2,4,6
/proc/27312/stat : 27312 (java) S 27310 27310 25340 0 -1 1077944320 8690 0 0 0 49 4 0 0 20 0 15 0 221945645 14425288704 12003 33554432000 4194304 4196468 140733943971824 140733943954368 140273197371127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
/proc/27312/statm: 3521799 12003 3239 1 0 3483012 0
[pid=27312/tid=27313] ppid=27310 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/27312/task/27313/stat : 27313 (java) R 27310 27310 25340 0 -1 4202560 5684 0 0 0 27 3 0 0 20 0 15 0 221945645 14425288704 12003 33554432000 4194304 4196468 140733943971824 140273201604912 140273197393053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27314] ppid=27310 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27314/stat : 27314 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272793140368 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27315] ppid=27310 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27315/stat : 27315 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272792087568 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27316] ppid=27310 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27316/stat : 27316 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272791034768 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27317] ppid=27310 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27317/stat : 27317 (java) S 27310 27310 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221945646 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272789981968 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27318] ppid=27310 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27318/stat : 27318 (java) S 27310 27310 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221945647 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272671336816 140273197382274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27319] ppid=27310 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27319/stat : 27319 (java) S 27310 27310 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221945648 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272670282784 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27320] ppid=27310 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221945648 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272669229936 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) R 27310 27310 25340 0 -1 4202560 445 0 0 0 4 0 0 0 20 0 15 0 221945650 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272667117024 140273178915678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) S 27310 27310 25340 0 -1 1077944384 439 0 0 0 4 0 0 0 20 0 15 0 221945650 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272666073840 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) S 27310 27310 25340 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 15 0 221945650 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272665021040 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945651 14425288704 12003 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49464 KiB

[startup+0.700945 s]
/proc/loadavg: 2.06 1.92 1.80 5/217 27326
/proc/meminfo: memFree=16959692/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0
[pid=27312] ppid=27310 vsize=14089320 memory=99824 CPUtime=1.78 cores=0,2,4,6
/proc/27312/stat : 27312 (java) S 27310 27310 25340 0 -1 1077944320 12921 0 0 0 173 5 0 0 20 0 15 0 221945645 14427463680 24956 33554432000 4194304 4196468 140733943971824 140733943954368 140273197371127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
/proc/27312/statm: 3522330 24956 3351 1 0 3483524 0
[pid=27312/tid=27313] ppid=27310 vsize=14089320 memory=3472328296227679313 CPUtime=0.68 cores=0,2,4,6
/proc/27312/task/27313/stat : 27313 (java) R 27310 27310 25340 0 -1 4202560 6262 0 0 0 64 4 0 0 20 0 15 0 221945645 14427463680 24956 33554432000 4194304 4196468 140733943971824 140273201608336 140272834767392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27314] ppid=27310 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27314/stat : 27314 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272793140368 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27315] ppid=27310 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27315/stat : 27315 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272792087568 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27316] ppid=27310 vsize=14089320 memory=60328 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27316/stat : 27316 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945646 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272791034768 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27317] ppid=27310 vsize=14089320 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27317/stat : 27317 (java) S 27310 27310 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221945646 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272789981968 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27318] ppid=27310 vsize=14089320 memory=932 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27318/stat : 27318 (java) S 27310 27310 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221945647 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272671336816 140273197382274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27319] ppid=27310 vsize=14089320 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27319/stat : 27319 (java) S 27310 27310 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221945648 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272670282784 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27320] ppid=27310 vsize=14089320 memory=8628 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221945648 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272669229936 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14089320 memory=1080 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14089320 memory=752 CPUtime=0.34 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) R 27310 27310 25340 0 -1 4202560 1530 0 0 0 34 0 0 0 20 0 15 0 221945650 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272667108640 140273175118503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14089320 memory=820 CPUtime=0.36 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) R 27310 27310 25340 0 -1 4202560 1491 0 0 0 36 0 0 0 20 0 15 0 221945650 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272666059936 140273182497283 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14089320 memory=1592 CPUtime=0.38 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) S 27310 27310 25340 0 -1 1077944384 2330 0 0 0 38 0 0 0 20 0 15 0 221945650 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272665021040 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14089320 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14089320 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221945651 14427463680 24956 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 101276 KiB

[startup+1.50096 s]
/proc/loadavg: 2.06 1.92 1.80 5/217 27326
/proc/meminfo: memFree=16890256/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0

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

/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 221945648 14429560832 64070 33554432000 4194304 4196468 140733943971824 140272669229952 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14429560832 64070 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14091368 memory=3632 CPUtime=4.87 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) S 27310 27310 25340 0 -1 1077944384 25074 0 0 0 484 3 0 0 20 0 15 0 221945650 14429560832 64070 33554432000 4194304 4196468 140733943971824 140272667126640 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14091368 memory=3884 CPUtime=4.65 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) S 27310 27310 25340 0 -1 1077944384 25034 0 0 0 462 3 0 0 20 0 15 0 221945650 14429560832 64070 33554432000 4194304 4196468 140733943971824 140272666073840 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14091368 memory=2180 CPUtime=1.07 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) S 27310 27310 25340 0 -1 1077944384 14000 0 0 0 105 2 0 0 20 0 15 0 221945650 14429560832 64070 33554432000 4194304 4196468 140733943971824 140272665021040 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14091368 memory=256280 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14429560832 64070 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14091368 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 850 0 0 0 33 38 0 0 20 0 15 0 221945651 14429560832 64070 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 2395.28 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 257732 KiB

[startup+2442.3 s]
/proc/loadavg: 1.97 1.72 1.71 3/217 27561
/proc/meminfo: memFree=16724116/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0
[pid=27312] ppid=27310 vsize=14091368 memory=258328 CPUtime=2455.55 cores=0,2,4,6
/proc/27312/stat : 27312 (java) S 27310 27310 25340 0 -1 1077944320 121447 0 0 0 245478 77 0 0 20 0 15 0 221945645 14429560832 64582 33554432000 4194304 4196468 140733943971824 140733943954368 140273197371127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
/proc/27312/statm: 3522842 64582 3427 1 0 3484036 0
[pid=27312/tid=27313] ppid=27310 vsize=14091368 memory=258328 CPUtime=2440.95 cores=0,2,4,6
/proc/27312/task/27313/stat : 27313 (java) R 27310 27310 25340 0 -1 4202560 28646 0 0 0 244083 12 0 0 20 0 15 0 221945645 14429560832 64582 33554432000 4194304 4196468 140733943971824 140273201610576 140272846518687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27314] ppid=27310 vsize=14091368 memory=256280 CPUtime=0.72 cores=0,2,4,6
/proc/27312/task/27314/stat : 27314 (java) S 27310 27310 25340 0 -1 1077944384 3733 0 0 0 66 6 0 0 20 0 15 0 221945646 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272793140368 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27315] ppid=27310 vsize=14091368 memory=256280 CPUtime=0.72 cores=0,2,4,6
/proc/27312/task/27315/stat : 27315 (java) S 27310 27310 25340 0 -1 1077944384 4522 0 0 0 67 5 0 0 20 0 15 0 221945646 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272792087568 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27316] ppid=27310 vsize=14091368 memory=258328 CPUtime=0.7 cores=0,2,4,6
/proc/27312/task/27316/stat : 27316 (java) S 27310 27310 25340 0 -1 1077944384 5605 0 0 0 66 4 0 0 20 0 15 0 221945646 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272791034768 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27317] ppid=27310 vsize=14091368 memory=258328 CPUtime=0.71 cores=0,2,4,6
/proc/27312/task/27317/stat : 27317 (java) S 27310 27310 25340 0 -1 1077944384 6926 0 0 0 66 5 0 0 20 0 15 0 221945646 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272789981968 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27318] ppid=27310 vsize=14091368 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/27312/task/27318/stat : 27318 (java) S 27310 27310 25340 0 -1 1077944384 5045 0 0 0 20 5 0 0 20 0 15 0 221945647 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272671336816 140273197382274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27319] ppid=27310 vsize=14091368 memory=2180 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27319/stat : 27319 (java) S 27310 27310 25340 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221945648 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272670282848 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27320] ppid=27310 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 221945648 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272669229952 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14091368 memory=1452 CPUtime=4.88 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) S 27310 27310 25340 0 -1 1077944384 25101 0 0 0 485 3 0 0 20 0 15 0 221945650 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272667126640 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14091368 memory=1452 CPUtime=4.73 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) S 27310 27310 25340 0 -1 1077944384 25302 0 0 0 470 3 0 0 20 0 15 0 221945650 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272666073840 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14091368 memory=258328 CPUtime=1.08 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) S 27310 27310 25340 0 -1 1077944384 14314 0 0 0 106 2 0 0 20 0 15 0 221945650 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272665021040 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14091368 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14091368 memory=258328 CPUtime=0.72 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 869 0 0 0 34 38 0 0 20 0 15 0 221945651 14429560832 64582 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 2455.55 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 259780 KiB

[startup+2502.3 s]
/proc/loadavg: 1.79 1.71 1.70 3/217 27563
/proc/meminfo: memFree=16721540/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0
[pid=27312] ppid=27310 vsize=14091368 memory=260376 CPUtime=2515.73 cores=0,2,4,6
/proc/27312/stat : 27312 (java) S 27310 27310 25340 0 -1 1077944320 121547 0 0 0 251494 79 0 0 20 0 15 0 221945645 14429560832 65094 33554432000 4194304 4196468 140733943971824 140733943954368 140273197371127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
/proc/27312/statm: 3522842 65094 3427 1 0 3484036 0
[pid=27312/tid=27313] ppid=27310 vsize=14091368 memory=1452 CPUtime=2500.87 cores=0,2,4,6
/proc/27312/task/27313/stat : 27313 (java) R 27310 27310 25340 0 -1 4202560 28707 0 0 0 250075 12 0 0 20 0 15 0 221945645 14429560832 65094 33554432000 4194304 4196468 140733943971824 140273201610640 140272843742247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27314] ppid=27310 vsize=14091368 memory=260376 CPUtime=0.77 cores=0,2,4,6
/proc/27312/task/27314/stat : 27314 (java) S 27310 27310 25340 0 -1 1077944384 3735 0 0 0 71 6 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272793140368 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27315] ppid=27310 vsize=14091368 memory=260376 CPUtime=0.77 cores=0,2,4,6
/proc/27312/task/27315/stat : 27315 (java) S 27310 27310 25340 0 -1 1077944384 4522 0 0 0 72 5 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272792087568 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27316] ppid=27310 vsize=14091368 memory=260376 CPUtime=0.75 cores=0,2,4,6
/proc/27312/task/27316/stat : 27316 (java) S 27310 27310 25340 0 -1 1077944384 5605 0 0 0 71 4 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272791034768 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27317] ppid=27310 vsize=14091368 memory=234668423173484 CPUtime=0.77 cores=0,2,4,6
/proc/27312/task/27317/stat : 27317 (java) S 27310 27310 25340 0 -1 1077944384 6928 0 0 0 72 5 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272789981968 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27318] ppid=27310 vsize=14091368 memory=1452 CPUtime=0.26 cores=0,2,4,6
/proc/27312/task/27318/stat : 27318 (java) S 27310 27310 25340 0 -1 1077944384 5049 0 0 0 21 5 0 0 20 0 15 0 221945647 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272671336816 140273197382274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27319] ppid=27310 vsize=14091368 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27319/stat : 27319 (java) S 27310 27310 25340 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221945648 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272670282848 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27320] ppid=27310 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 221945648 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272669229952 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14091368 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14091368 memory=60384 CPUtime=4.88 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) S 27310 27310 25340 0 -1 1077944384 25101 0 0 0 485 3 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272667126640 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14091368 memory=2056 CPUtime=4.73 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) S 27310 27310 25340 0 -1 1077944384 25302 0 0 0 470 3 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272666073840 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14091368 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) S 27310 27310 25340 0 -1 1077944384 14341 0 0 0 106 2 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272665021040 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14091368 memory=3884 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14091368 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 873 0 0 0 35 39 0 0 20 0 15 0 221945651 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 2515.73 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 261828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 1.81 1.71 1.70 3/217 27563
/proc/meminfo: memFree=16721308/32770624 swapFree=67108796/67108860
[pid=27310] ppid=27307 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27310/stat : 27310 (xcsp3-exec) S 27307 27310 25340 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 221945645 115843072 363 33554432000 4194304 5098028 140733777067472 140733777065576 139723471970940 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29921280 140733777073210 140733777073412 140733777073412 140733777076170 0
/proc/27310/statm: 28282 363 305 221 0 87 0
[pid=27312] ppid=27310 vsize=14091368 memory=260376 CPUtime=2520.04 cores=0,2,4,6
/proc/27312/stat : 27312 (java) S 27310 27310 25340 0 -1 1077944320 121548 0 0 0 251925 79 0 0 20 0 15 0 221945645 14429560832 65094 33554432000 4194304 4196468 140733943971824 140733943954368 140273197371127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
/proc/27312/statm: 3522842 65094 3427 1 0 3484036 0
[pid=27312/tid=27313] ppid=27310 vsize=14091368 memory=6791534058613427641 CPUtime=2505.17 cores=0,2,4,6
/proc/27312/task/27313/stat : 27313 (java) R 27310 27310 25340 0 -1 4202560 28708 0 0 0 250505 12 0 0 20 0 15 0 221945645 14429560832 65094 33554432000 4194304 4196468 140733943971824 140273201610928 140272844419797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27314] ppid=27310 vsize=14091368 memory=288230596050944315 CPUtime=0.77 cores=0,2,4,6
/proc/27312/task/27314/stat : 27314 (java) S 27310 27310 25340 0 -1 1077944384 3735 0 0 0 71 6 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272793140368 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27315] ppid=27310 vsize=14091368 memory=1452 CPUtime=0.78 cores=0,2,4,6
/proc/27312/task/27315/stat : 27315 (java) S 27310 27310 25340 0 -1 1077944384 4522 0 0 0 73 5 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272792087568 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27316] ppid=27310 vsize=14091368 memory=260376 CPUtime=0.75 cores=0,2,4,6
/proc/27312/task/27316/stat : 27316 (java) S 27310 27310 25340 0 -1 1077944384 5605 0 0 0 71 4 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272791034768 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27317] ppid=27310 vsize=14091368 memory=3980 CPUtime=0.77 cores=0,2,4,6
/proc/27312/task/27317/stat : 27317 (java) S 27310 27310 25340 0 -1 1077944384 6928 0 0 0 72 5 0 0 20 0 15 0 221945646 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272789981968 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27318] ppid=27310 vsize=14091368 memory=888 CPUtime=0.26 cores=0,2,4,6
/proc/27312/task/27318/stat : 27318 (java) S 27310 27310 25340 0 -1 1077944384 5049 0 0 0 21 5 0 0 20 0 15 0 221945647 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272671336816 140273197382274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27319] ppid=27310 vsize=14091368 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27319/stat : 27319 (java) S 27310 27310 25340 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 221945648 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272670282848 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27320] ppid=27310 vsize=14091368 memory=1904 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27320/stat : 27320 (java) S 27310 27310 25340 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 221945648 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272669229952 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27321] ppid=27310 vsize=14091368 memory=7524 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27321/stat : 27321 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272668178256 140273197389723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27322] ppid=27310 vsize=14091368 memory=804 CPUtime=4.88 cores=0,2,4,6
/proc/27312/task/27322/stat : 27322 (java) S 27310 27310 25340 0 -1 1077944384 25101 0 0 0 485 3 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272667126640 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27323] ppid=27310 vsize=14091368 memory=1692 CPUtime=4.73 cores=0,2,4,6
/proc/27312/task/27323/stat : 27323 (java) S 27310 27310 25340 0 -1 1077944384 25302 0 0 0 470 3 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272666073840 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27324] ppid=27310 vsize=14091368 memory=916 CPUtime=1.08 cores=0,2,4,6
/proc/27312/task/27324/stat : 27324 (java) S 27310 27310 25340 0 -1 1077944384 14341 0 0 0 106 2 0 0 20 0 15 0 221945650 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272665021040 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27325] ppid=27310 vsize=14091368 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/27312/task/27325/stat : 27325 (java) S 27310 27310 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221945651 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272663968480 140273197381333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
[pid=27312/tid=27326] ppid=27310 vsize=14091368 memory=2852 CPUtime=0.74 cores=0,2,4,6
/proc/27312/task/27326/stat : 27326 (java) S 27310 27310 25340 0 -1 1077944384 873 0 0 0 35 39 0 0 20 0 15 0 221945651 14429560832 65094 33554432000 4194304 4196468 140733943971824 140272662915760 140273197382274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 16465920 140733943972998 140733943973169 140733943973169 140733943975887 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 261828 KiB

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

[startup+2506.61 s]
# the end of solver process 27310 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001433 s, system=0.000716 s

[startup+2506.61 s]
# the end of solver process 27312 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.26 s, system=0.796798 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): 2506.61
CPU time (s): 2520.06
CPU user time (s): 2519.26
CPU system time (s): 0.796798
CPU usage (%): 100.536
Max. virtual memory (cumulated for all children) (KiB): 14207512
Max. memory (cumulated for all children) (KiB): 454840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.26
system time used= 0.796798
maximum resident set size= 453392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63384
involuntary context switches= 2888


# summary of solver processes directly reported to runsolver:
#   pid: 27310,27312
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.26
#   total CPU system time (s): 0.796798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.986 second user time and 23.5031 second system time

The end

Name	NurseRostering/ NurseRostering-10_c18.xml
MD5SUM	8e8c57bbf90dbce08cf7a3cf301ec8dd
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	10181
Best CPU time to get the best result obtained on this benchmark	2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	2140
Number of constraints	5421
Number of domains	18
Minimum domain size	1
Maximum domain size	41
Distribution of domain sizes	[{"size":1,"count":94},{"size":2,"count":444},{"size":6,"count":1141},{"size":9,"count":7},{"size":10,"count":18},{"size":29,"count":128},{"size":41,"count":308}]
Minimum variable degree	2
Maximum variable degree	27
Distribution of variable degrees	[{"degree":2,"count":860},{"degree":3,"count":160},{"degree":17,"count":33},{"degree":18,"count":41},{"degree":19,"count":6},{"degree":20,"count":31},{"degree":21,"count":40},{"degree":22,"count":67},{"degree":23,"count":71},{"degree":24,"count":80},{"degree":25,"count":360},{"degree":26,"count":293},{"degree":27,"count":98}]
Minimum constraint arity	2
Maximum constraint arity	80
Distribution of constraint arities	[{"arity":2,"count":1932},{"arity":3,"count":2080},{"arity":4,"count":40},{"arity":6,"count":960},{"arity":29,"count":240},{"arity":41,"count":168},{"arity":80,"count":1}]
Number of extensional constraints	1248
Number of intensional constraints	684
Distribution of constraint types	[{"type":"extension","count":1248},{"type":"intension","count":684},{"type":"regular","count":2080},{"type":"sum","count":80},{"type":"count","count":1328},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4306653

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