2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	11310	252.088	242.137

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4301270-1532877699.xml"  -tl '252s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4301270-1532877699.xml, -tl, 252s, -p, 1]
0.12/0.22	c simple solver
0.35/0.28	c parse instance...
4.56/1.60	c solve instance...
53.54/44.92	o 13315 
53.54/44.93	o 13214 
137.33/127.67	o 11310 
252.06/242.11	s SATISFIABLE
252.06/242.11	v <instantiation>
252.06/242.11	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>
252.06/242.11	v 	<values>5 0 0 2 3 5 5 2 1 3 5 5 1 5 3 5 0 1 0 5 0 3 1 0 0 5 5 2 5 5 2 5 0 3 3 3 2 5 5 2 1 3 0 2 4 5 5 2 1 3 5 5 1 3 3 5 0 1 0 5 0 3 1 0 1 5 1 2 5 2 2 5 0 3 4 3 2 1 0 4 1 3 0 2 4 5 5 2 1 3 5 5 1 3 3 5 0 5 0 5 5 5 1 0 1 5 3 2 0 2 1 0 0 3 4 5 5 2 0 4 5 3 3 4 5 5 0 1 1 3 5 5 5 3 3 3 0 5 5 2 5 5 1 0 1 0 3 2 0 2 1 0 0 5 5 5 5 5 5 4 5 3 3 5 5 4 0 1 1 3 1 0 5 3 3 3 0 5 5 2 5 3 5 1 1 0 3 4 0 2 5 5 0 5 5 2 5 5 5 5 5 5 5 5 0 4 2 5 5 5 1 2 5 3 5 5 5 5 3 2 5 3 5 5 5 0 5 5 0 5 5 5 5 5 1 1 5 5 0 5 5 5 5 4 0 4 2 5 5 5 1 3 5 5 5 5 5 0 3 2 5 3 4 5 5 2 5 5 0 5 5 5 5 5 3 1 5 5 0 5 5 5 3 4 0 5 2 1 5 1 1 5 0 5 5 0 0 2 3 3 5 3 4 0 5 2 5 1 5 0 1 5 5 5 3 2 0 2 0 5 1 0 3 4 3 5 5 1 0 1 5 5 0 3 5 0 0 2 3 5 3 4 4 0 5 5 5 1 5 0 1 2 5 5 5 2 0 2 4 2 1 0 5 4 3 5 5 1 0 1 5 5 0 3 0 1 0 1 3 5 3 5 4 5 5 5 5 5 3 0 1 2 5 5 5 5 2 5 5 2 3 0 5 5 5 1 5 5 0 5 1 2 0 3 0 1 5 2 5 3 3 5 5 5 0 4 1 5 3 5 1 2 0 3 5 5 1 5 5 5 3 0 0 5 5 1 5 5 5 5 1 2 3 3 5 1 5 5 5 3 3 5 5 0 0 4 1 0 5 5 1 5 0 3 5 5 5 2 0 5 5 0 0 5 5 3 2 1 5 5 5 2 5 5 5 5 5 5 1 5 3 5 0 0 0 5 1 1 5 5 5 5 0 5 5 5 5 2 4 5 5 5 0 5 5 3 2 1 0 1 5 2 5 5 0 5 3 5 1 5 5 5 0 0 0 5 1 1 5 5 5 5 5 5 5 5 0 2 5 3 1 5 0 1 0 5 2 1 0 4 5 4 3 3 0 1 3 5 1 3 5 2 0 0 0 5 1 5 3 0 5 2 5 2 5 5 2 3 5 3 1 5 0 1 0 5 2 5 5 4 1 5 3 3 0 1 3 0 1 3 0 2 5 5 5 5 5 5 3 0 5 2 5 2 5 5 1 5 0 3 1 5 5 5 0 1 3 5 5 4 4 5 5 3 0 1 3 0 1 3 0 2 5 5 5 0 5 2 3 0 5 2 0 2 3 2 1 5 0 3 5 0 5 5 0 1 5 1 1 4 4 2 5 3 0 1 3 0 5 3 0 2 0 0 0 0 1 2 3 5 5 3 0 2 3 2 1 2 0 3 5 0 0 1 5 3 5 1 1 5 4 4 0 3 5 5 5 1 5 5 0 5 0 0 0 0 1 2 3 5 5 5 0 5 3 1 5 4 5 5 1 5 0 1 5 5 5 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 5 5 0 0 5 2 5 0 1 5 0 5 3 5 5 5 5 5 1 5 0 1 5 5 5 5 5 5 5 5 0 5 0 1 5 5 5 5 5 0 5 5 0 2 5 1 5 0 1 2 0 0 4 5 5 5 5 5 1 5 0 1 5 3 2 1 5 5 5 2 0 5 0 1 5 2 5 5 0 2 0 0 5 5 5 5 5 0 1 3 5 0 5 2 5 3 4 5 1 5 0 1 5 3 2 1 5 5 5 2 0 5 2 1 5 2 0 5 0 1 0 0 5 5 5 5 3 0 1 3 5 2 5 2 5 3 4 5 5 0 5 5 5 3 4 1 5 1 1 3 5 5 2 1 5 2 0 2 5 2 0 5 0 2 1 1 3 5 5 3 5 3 3 2 5 5 4 0 5 0 5 5 0 3 4 5 0 1 1 3 5 3 2 5 5 5 0 2 5 1 0 5 0 3 1 4 3 5 5 5 0 5 3 5 0 5 5 0 1 0 5 5 0 3 4 5 1 4 1 4 0 3 5 5 0 5 5 2 0 5 5 0 5 4 1 5 3 0 2 5 0 5 3 5 1 4 5 1 1 0 5 5 0 5 5 1 1 5 4 5 0 3 5 0 0 1 5 2 0 5 5 0 5 5 1 5 3 0 2 3 5 2 5 3 1 4 5 1 1 0 5 5 0 5 5 1 1 5 4 5 5 3 5 0 0 2 5 2 0 5 5 5 5 5 1 5 5 0 2 3 5 2 5 3 1 5 5 1 0 14 0 2 0 12 13 0 0 4 0 11 13 0 0 4 0 11 0 7 3 0 5 13 11 0 0 3 2 12 0 4 0 8 3 13 2 0 9 1 3 13 0 15 3 0 0 10 6 10 0 0 0 12 0 6 0 5 5 12 0 10 0 0 5 13 1 0 8 3 3 13 11 3 0 3 0 11 0 0 0 18 0 10 9 0 3 5 0 11 4 11 0 2 0 11 11 0 0 5 0 12 4 5 7 0 0 12 6 5 0 5 0 12 0 0 9 7 0 12 11 0 0 5 0 12 1 2 6 6 1 12 9 4 0 0 4 11 16 1 0 0 0 11 12 4 0 0 0 12 7 0 4 1 3 13 0 13 0 3 0 12 1 6 8 0 2 11 5 0 0 12 0 11 13 0 4 0 0 11 0 11 5 0 0 12 2 0 7 6 0 13 15 0 0 0 0 13 2 0 7 6 0 13 0 1 0 10 3 14 0 3 8 4 0 13 4 7 4 0 0 13 0 1 7 3 3 14 9 0 0 0 5 14 2 3 3 5 3 12 8 4 6 7 0 15 7 8 6 7 3 9 8 6 5 6 3 12 7 5 3 7 2 16 6 5 3 8 2 16 4 3 3 3 1 26 4 2 3 4 3 24 8 5 5 5 2 15 8 5 5 5 4 13 6 6 3 5 2 18 6 6 3 6 1 18 7 5 2 6 1 19 6 4 3 2 1 24 7 5 3 3 0 22 8 6 5 7 2 12 7 6 4 6 1 16 8 5 5 7 2 13 11 6 6 7 2 8 9 6 1 4 3 17 6 3 1 1 0 29 8 5 2 0 1 24 8 5 5 3 1 18 7 6 6 4 1 16 5 6 6 6 2 15 9 4 2 6 2 17 8 6 2 4 5 15 8 7 3 4 2 16 6 6 4 3 1 20 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 2 0 0 0 2 2 0 0 0 0 0 0 2 2 0 3 2 1 0 0 1 1 0 0 0 3 3 3 3 0 1 1 0 0 0 1 1 1 1 1 2 0 0 0 0 1 0 0 0 3 3 1 1 3 3 0 0 3 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 3 3 2 3 3 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 3 3 3 0 2 2 0 0 2 2 2 2 0 0 2 2 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 2 3 2 2 2 2 0 3 0 0 0 3 3 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 100 0 2 3 0 1 1 0 2 1 0 0 1 0 1 1 0 0 0 0 0 0 100 2 1 0 300 200 100 300 200 0 200 400 400 100 0 0 2 0 0 100 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 200 0 0 0 0 0 300 0 0 0 1 100 200 500 200 0 0 0 400 500 100 0 0 0 0 0 0 0 0 1 100 0 0 0 100 1 0 0 100 0 5 1 1 1 1 0 2 0 400 300 1 0 0 200 400 400 300 0 1 0 400 700 100 0 2 0 100 400 0 0 1 0 0 200 200 0 1 1 100 0 0 0 1 1 100 100 1 0 1 1 300 300 3 0 1 1 100 300 0 0 100 0 0 300 0 0 </values>
252.06/242.11	v </instantiation>
252.06/242.11	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 (13167 MiB free)
  memory of node 1: 16384 MiB (13442 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301270-1532877699/watcher-4301270-1532877699 -o /tmp/evaluation-result-4301270-1532877699/solver-4301270-1532877699 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10017 --watchdog 312 HOME/xcsp3-exec -seed 349801551 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301270-1532877699.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11758, runsolver pid=11755
Starting watchdog threadCurrent StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 2.08 2.05 1.93 4/222 11774
/proc/meminfo: memFree=27230012/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0
[pid=11760] ppid=11758 vsize=14082940 memory=29564 CPUtime=0.12 cores=0,2,4,6
/proc/11760/stat : 11760 (java) S 11758 11758 5155 0 -1 1077944320 5232 0 0 0 10 2 0 0 20 0 15 0 105333055 14420930560 7391 33554432000 4194304 4196468 140725590043328 140725590025872 139741685599991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
/proc/11760/statm: 3520735 7391 3018 1 0 3483012 0
[pid=11760/tid=11761] ppid=11758 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (java) R 11758 11758 5155 0 -1 4202560 3252 0 0 0 8 1 0 0 20 0 15 0 105333055 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741689833264 139741685611926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11762] ppid=11758 vsize=14082940 memory=3472468202348012752 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741600668816 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11763] ppid=11758 vsize=14082940 memory=140073452861056 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11763/stat : 11763 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741599616016 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11764] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11764/stat : 11764 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741598563216 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11765] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11765/stat : 11765 (java) S 11758 11758 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741597510416 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11766] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11766/stat : 11766 (java) S 11758 11758 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105333058 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741159205232 139741685611138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11767] ppid=11758 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11767/stat : 11767 (java) S 11758 11758 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105333058 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741158151200 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11768] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105333058 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741157098352 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) S 11758 11758 5155 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741154995056 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741153942256 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14082940 memory=140073452861056 CPUtime=0.01 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) R 11758 11758 5155 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 105333061 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741152889456 139741685621338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14082940 memory=140073452861056 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 7391 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31020 KiB

[startup+0.211924 s]*
/proc/loadavg: 2.08 2.05 1.93 4/222 11774
/proc/meminfo: memFree=27219500/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0
[pid=11760] ppid=11758 vsize=14082940 memory=40808 CPUtime=0.35 cores=0,2,4,6
/proc/11760/stat : 11760 (java) S 11758 11758 5155 0 -1 1077944320 7797 0 0 0 32 3 0 0 20 0 15 0 105333055 14420930560 10202 33554432000 4194304 4196468 140725590043328 140725590025872 139741685599991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
/proc/11760/statm: 3520735 10202 3177 1 0 3483012 0
[pid=11760/tid=11761] ppid=11758 vsize=14082940 memory=5852833025768652961 CPUtime=0.2 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (java) R 11758 11758 5155 0 -1 4202560 4946 0 0 0 18 2 0 0 20 0 15 0 105333055 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741689834528 139741671282512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11762] ppid=11758 vsize=14082940 memory=3472468202348012752 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741600668816 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11763] ppid=11758 vsize=14082940 memory=140073452861056 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11763/stat : 11763 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741599616016 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11764] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11764/stat : 11764 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741598563216 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11765] ppid=11758 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11765/stat : 11765 (java) S 11758 11758 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105333056 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741597510416 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11766] ppid=11758 vsize=14082940 memory=140073452861056 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11766/stat : 11766 (java) S 11758 11758 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105333058 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741159205232 139741685611138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11767] ppid=11758 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11767/stat : 11767 (java) S 11758 11758 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105333058 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741158151200 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11768] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105333058 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741157098352 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) S 11758 11758 5155 0 -1 1077944384 719 0 0 0 3 0 0 0 20 0 15 0 105333061 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741154995056 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) S 11758 11758 5155 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 105333061 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741153942256 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14082940 memory=140073452861056 CPUtime=0.08 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) S 11758 11758 5155 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 105333061 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741152889456 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14082940 memory=140073452861056 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333061 14420930560 10202 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42264 KiB

[startup+0.315062 s]*
/proc/loadavg: 2.08 2.05 1.93 4/222 11774
/proc/meminfo: memFree=27212800/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0
[pid=11760] ppid=11758 vsize=14087196 memory=48244 CPUtime=0.53 cores=0,2,4,6
/proc/11760/stat : 11760 (java) S 11758 11758 5155 0 -1 1077944320 8754 0 0 0 50 3 0 0 20 0 15 0 105333055 14425288704 12061 33554432000 4194304 4196468 140725590043328 140725590025872 139741685599991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
/proc/11760/statm: 3521799 12061 3256 1 0 3483012 0
[pid=11760/tid=11761] ppid=11758 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (java) R 11758 11758 5155 0 -1 4202560 5692 0 0 0 27 2 0 0 20 0 15 0 105333055 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741689836768 139741667184853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11762] ppid=11758 vsize=14087196 memory=3472468202348012752 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741600668816 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11763] ppid=11758 vsize=14087196 memory=140073452861056 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11763/stat : 11763 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741599616016 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11764] ppid=11758 vsize=14087196 memory=19 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11764/stat : 11764 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741598563216 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11765] ppid=11758 vsize=14087196 memory=140073312069663 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11765/stat : 11765 (java) S 11758 11758 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105333056 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741597510416 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11766] ppid=11758 vsize=14087196 memory=280146624118560 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11766/stat : 11766 (java) S 11758 11758 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105333058 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741159205232 139741685611138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11767] ppid=11758 vsize=14087196 memory=140073312046607 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11767/stat : 11767 (java) S 11758 11758 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105333058 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741158151200 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11768] ppid=11758 vsize=14087196 memory=280146764916832 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105333058 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741157098352 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14087196 memory=140073312051215 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) S 11758 11758 5155 0 -1 1077944384 825 0 0 0 5 0 0 0 20 0 15 0 105333061 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741154995056 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) S 11758 11758 5155 0 -1 1077944384 64 0 0 0 3 0 0 0 20 0 15 0 105333061 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741153942256 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) S 11758 11758 5155 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 105333061 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741152889456 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333061 14425288704 12061 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49700 KiB

[startup+0.70103 s]
/proc/loadavg: 2.08 2.05 1.93 6/222 11774
/proc/meminfo: memFree=27193260/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0
[pid=11760] ppid=11758 vsize=14089320 memory=100716 CPUtime=1.74 cores=0,2,4,6
/proc/11760/stat : 11760 (java) S 11758 11758 5155 0 -1 1077944320 13127 0 0 0 169 5 0 0 20 0 15 0 105333055 14427463680 25179 33554432000 4194304 4196468 140725590043328 140725590025872 139741685599991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
/proc/11760/statm: 3522330 25179 3355 1 0 3483524 0
[pid=11760/tid=11761] ppid=11758 vsize=14089320 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (java) R 11758 11758 5155 0 -1 4202560 6201 0 0 0 64 3 0 0 20 0 15 0 105333055 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741689833824 139741669915228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11762] ppid=11758 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741600668816 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11763] ppid=11758 vsize=14089320 memory=4638778419807998288 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11763/stat : 11763 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741599616016 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11764] ppid=11758 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11764/stat : 11764 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333056 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741598563216 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11765] ppid=11758 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11765/stat : 11765 (java) S 11758 11758 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105333056 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741597510416 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11766] ppid=11758 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11766/stat : 11766 (java) S 11758 11758 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105333058 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741159205232 139741685611138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11767] ppid=11758 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11767/stat : 11767 (java) S 11758 11758 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105333058 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741158151200 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11768] ppid=11758 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105333058 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741157098352 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14089320 memory=30512 CPUtime=0.34 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) R 11758 11758 5155 0 -1 4202560 1830 0 0 0 34 0 0 0 20 0 15 0 105333061 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741154980576 139741663196475 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14089320 memory=1244 CPUtime=0.31 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) R 11758 11758 5155 0 -1 4202560 1399 0 0 0 31 0 0 0 20 0 15 0 105333061 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741153928672 139741669845148 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14089320 memory=2268 CPUtime=0.39 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) S 11758 11758 5155 0 -1 1077944384 2389 0 0 0 38 1 0 0 20 0 15 0 105333061 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741152889456 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105333061 14427463680 25179 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 102172 KiB

[startup+1.50103 s]
/proc/loadavg: 2.08 2.05 1.93 6/222 11774
/proc/meminfo: memFree=27125192/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0

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

/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741157098368 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14091368 memory=420344 CPUtime=4.47 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) S 11758 11758 5155 0 -1 1077944384 18193 0 0 0 445 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741154995056 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14091368 memory=1456 CPUtime=4.27 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) S 11758 11758 5155 0 -1 1077944384 20030 0 0 0 425 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741153942256 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14091368 memory=420344 CPUtime=1.05 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) S 11758 11758 5155 0 -1 1077944384 9535 0 0 0 103 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741152889456 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.04 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 200 0 0 0 1 3 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 172.17 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 421800 KiB

[startup+222.301 s]
/proc/loadavg: 2.06 2.07 1.97 3/222 11858
/proc/meminfo: memFree=26694264/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0
[pid=11760] ppid=11758 vsize=14091368 memory=420344 CPUtime=232.25 cores=0,2,4,6
/proc/11760/stat : 11760 (java) S 11758 11758 5155 0 -1 1077944320 74900 0 0 0 23196 29 0 0 20 0 15 0 105333055 14429560832 105086 33554432000 4194304 4196468 140725590043328 140725590025872 139741685599991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
/proc/11760/statm: 3522842 105086 3427 1 0 3484036 0
[pid=11760/tid=11761] ppid=11758 vsize=14091368 memory=420344 CPUtime=221.88 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (java) R 11758 11758 5155 0 -1 4202560 14905 0 0 0 22181 7 0 0 20 0 15 0 105333055 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741689838536 139741283642796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11762] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (java) S 11758 11758 5155 0 -1 1077944384 3995 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741600668816 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11763] ppid=11758 vsize=14091368 memory=1456 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11763/stat : 11763 (java) S 11758 11758 5155 0 -1 1077944384 1845 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741599616016 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11764] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.09 cores=0,2,4,6
/proc/11760/task/11764/stat : 11764 (java) S 11758 11758 5155 0 -1 1077944384 586 0 0 0 7 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741598563216 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11765] ppid=11758 vsize=14091368 memory=1456 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11765/stat : 11765 (java) S 11758 11758 5155 0 -1 1077944384 1245 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741597510416 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11766] ppid=11758 vsize=14091368 memory=2268 CPUtime=0.02 cores=0,2,4,6
/proc/11760/task/11766/stat : 11766 (java) S 11758 11758 5155 0 -1 1077944384 1458 0 0 0 2 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741159205232 139741685611138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11767] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11767/stat : 11767 (java) S 11758 11758 5155 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741158151264 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11768] ppid=11758 vsize=14091368 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741157098368 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14091368 memory=1456 CPUtime=4.47 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) S 11758 11758 5155 0 -1 1077944384 18196 0 0 0 445 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741154995056 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14091368 memory=1456 CPUtime=4.28 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) S 11758 11758 5155 0 -1 1077944384 21307 0 0 0 426 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741153942256 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14091368 memory=420344 CPUtime=1.05 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) S 11758 11758 5155 0 -1 1077944384 9741 0 0 0 103 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741152889456 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14091368 memory=30516 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14091368 memory=1244 CPUtime=0.05 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 235 0 0 0 1 4 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 232.25 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 421800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+242.11 s]
/proc/loadavg: 2.04 2.07 1.97 3/222 11858
/proc/meminfo: memFree=26673784/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0
[pid=11760] ppid=11758 vsize=14091368 memory=420344 CPUtime=252.06 cores=0,2,4,6
/proc/11760/stat : 11760 (java) S 11758 11758 5155 0 -1 1077944320 74985 0 0 0 25177 29 0 0 20 0 15 0 105333055 14429560832 105086 33554432000 4194304 4196468 140725590043328 140725590025872 139741685599991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
/proc/11760/statm: 3522842 105086 3427 1 0 3484036 0
[pid=11760/tid=11761] ppid=11758 vsize=14091368 memory=420344 CPUtime=241.69 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (java) R 11758 11758 5155 0 -1 4202560 14983 0 0 0 24162 7 0 0 20 0 15 0 105333055 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741689838984 139741282500898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11762] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (java) S 11758 11758 5155 0 -1 1077944384 3995 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741600668816 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11763] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11763/stat : 11763 (java) S 11758 11758 5155 0 -1 1077944384 1845 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741599616016 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11764] ppid=11758 vsize=14091368 memory=1456 CPUtime=0.09 cores=0,2,4,6
/proc/11760/task/11764/stat : 11764 (java) S 11758 11758 5155 0 -1 1077944384 586 0 0 0 7 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741598563216 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11765] ppid=11758 vsize=14091368 memory=1456 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11765/stat : 11765 (java) S 11758 11758 5155 0 -1 1077944384 1245 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741597510416 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11766] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.02 cores=0,2,4,6
/proc/11760/task/11766/stat : 11766 (java) S 11758 11758 5155 0 -1 1077944384 1458 0 0 0 2 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741159205232 139741685611138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11767] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11767/stat : 11767 (java) S 11758 11758 5155 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741158151264 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11768] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741157098368 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14091368 memory=1804 CPUtime=4.48 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) S 11758 11758 5155 0 -1 1077944384 18196 0 0 0 446 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741154995056 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14091368 memory=420344 CPUtime=4.28 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) S 11758 11758 5155 0 -1 1077944384 21307 0 0 0 426 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741153942256 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14091368 memory=1456 CPUtime=1.06 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) S 11758 11758 5155 0 -1 1077944384 9746 0 0 0 104 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741152889456 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.06 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 237 0 0 0 2 4 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 421800 KiB

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

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

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

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

[startup+242.11 s]
/proc/loadavg: 2.04 2.07 1.97 3/222 11858
/proc/meminfo: memFree=26673784/32770624 swapFree=67108856/67108860
[pid=11758] ppid=11755 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11758/stat : 11758 (xcsp3-exec) S 11755 11758 5155 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105333055 115843072 364 33554432000 4194304 5098028 140723127842720 140723127840824 140016008888956 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15437824 140723127845953 140723127846153 140723127846153 140723127848906 0
/proc/11758/statm: 28282 364 306 221 0 87 0
[pid=11760] ppid=11758 vsize=14091368 memory=420344 CPUtime=252.06 cores=0,2,4,6
/proc/11760/stat : 11760 (java) S 11758 11758 5155 0 -1 1077944320 74985 0 0 0 25177 29 0 0 20 0 15 0 105333055 14429560832 105086 33554432000 4194304 4196468 140725590043328 140725590025872 139741685599991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
/proc/11760/statm: 3522842 105086 3427 1 0 3484036 0
[pid=11760/tid=11761] ppid=11758 vsize=14091368 memory=420344 CPUtime=241.69 cores=0,2,4,6
/proc/11760/task/11761/stat : 11761 (java) R 11758 11758 5155 0 -1 4202560 14983 0 0 0 24162 7 0 0 20 0 15 0 105333055 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741689838984 139741282500898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11762] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11762/stat : 11762 (java) S 11758 11758 5155 0 -1 1077944384 3995 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741600668816 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11763] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11763/stat : 11763 (java) S 11758 11758 5155 0 -1 1077944384 1845 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741599616016 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11764] ppid=11758 vsize=14091368 memory=1456 CPUtime=0.09 cores=0,2,4,6
/proc/11760/task/11764/stat : 11764 (java) S 11758 11758 5155 0 -1 1077944384 586 0 0 0 7 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741598563216 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11765] ppid=11758 vsize=14091368 memory=1456 CPUtime=0.1 cores=0,2,4,6
/proc/11760/task/11765/stat : 11765 (java) S 11758 11758 5155 0 -1 1077944384 1245 0 0 0 8 2 0 0 20 0 15 0 105333056 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741597510416 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11766] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.02 cores=0,2,4,6
/proc/11760/task/11766/stat : 11766 (java) S 11758 11758 5155 0 -1 1077944384 1458 0 0 0 2 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741159205232 139741685611138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11767] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11767/stat : 11767 (java) S 11758 11758 5155 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741158151264 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11768] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11768/stat : 11768 (java) S 11758 11758 5155 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 105333058 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741157098368 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11769] ppid=11758 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11769/stat : 11769 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741156046672 139741685618587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11770] ppid=11758 vsize=14091368 memory=1804 CPUtime=4.48 cores=0,2,4,6
/proc/11760/task/11770/stat : 11770 (java) S 11758 11758 5155 0 -1 1077944384 18196 0 0 0 446 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741154995056 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11771] ppid=11758 vsize=14091368 memory=420344 CPUtime=4.28 cores=0,2,4,6
/proc/11760/task/11771/stat : 11771 (java) S 11758 11758 5155 0 -1 1077944384 21307 0 0 0 426 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741153942256 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11772] ppid=11758 vsize=14091368 memory=1456 CPUtime=1.06 cores=0,2,4,6
/proc/11760/task/11772/stat : 11772 (java) S 11758 11758 5155 0 -1 1077944384 9746 0 0 0 104 2 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741152889456 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11773] ppid=11758 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11760/task/11773/stat : 11773 (java) S 11758 11758 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741151836896 139741685610197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
[pid=11760/tid=11774] ppid=11758 vsize=14091368 memory=420344 CPUtime=0.06 cores=0,2,4,6
/proc/11760/task/11774/stat : 11774 (java) S 11758 11758 5155 0 -1 1077944384 237 0 0 0 2 4 0 0 20 0 15 0 105333061 14429560832 105086 33554432000 4194304 4196468 140725590043328 139741150784176 139741685611138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 33796096 140725590049932 140725590050102 140725590050102 140725590052815 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 421800 KiB

Child status: 143
Real time (s): 242.137
CPU time (s): 252.088
CPU user time (s): 251.784
CPU system time (s): 0.304345
CPU usage (%): 104.11
Max. virtual memory (cumulated for all children) (KiB): 14207332
Max. memory (cumulated for all children) (KiB): 421800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.784
system time used= 0.304345
maximum resident set size= 420776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8769
involuntary context switches= 258


# summary of solver processes directly reported to runsolver:
#   pid: 11758,11760
#   total CPU time (s): 252.088
#   total CPU user time (s): 251.784
#   total CPU system time (s): 0.304345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47867 second user time and 2.3109 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	11310
Best CPU time to get the best result obtained on this benchmark	252.088
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 4301270

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