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)	19034	2520.04	2509.22

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306638-1534072202.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306638-1534072202.xml, -tl, 2520s, -p, 1]
0.12/0.22	c simple solver
0.34/0.28	c parse instance...
4.11/2.48	c solve instance...
240.87/235.92	o 19495 
240.87/235.97	o 19491 
241.19/236.06	o 19469 
241.19/236.07	o 19446 
241.50/236.19	o 19417 
700.30/691.21	o 19377 
700.30/691.27	o 19370 
700.41/691.32	o 19351 
700.41/691.32	o 19345 
802.12/792.97	o 19307 
1069.22/1059.71	o 19301 
1069.22/1059.74	o 19297 
1735.36/1725.14	o 19238 
1735.36/1725.17	o 19108 
1735.36/1725.18	o 19034 
2520.01/2509.20	s SATISFIABLE
2520.01/2509.20	v <instantiation>
2520.01/2509.20	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[51][52] d[51][53] d[51][54] d[51][55] d[52][53] d[52][54] d[52][55] d[53][54] d[53][55] d[54][55] </list>
2520.01/2509.20	v 	<values>14 1 45 53 41 15 24 3 5 23 30 20 43 7 13 8 52 44 11 12 6 35 28 39 37 34 17 27 55 40 0 46 21 31 26 54 10 42 49 51 16 19 36 2 29 4 38 9 18 25 22 32 33 48 47 50 1 10 5 4 0 5 10 0 2 5 2 0 2 1 0 0 0 3 0 4 2 2 5 1 2 10 5 1 1 1 0 5 2 0 1 0 0 1 0 10 0 2 1 0 5 0 5 0 6 0 0 0 2 0 0 6 0 1 2 1 5 10 1 1 2 1 5 0 10 0 5 10 0 0 1 0 1 5 0 5 5 5 0 1 3 0 0 10 0 5 1 0 0 0 0 2 0 10 0 2 5 0 2 2 3 0 0 2 0 5 0 4 5 10 10 2 0 5 5 3 2 1 0 10 3 1 0 0 0 2 0 0 0 1 2 5 2 5 0 5 1 1 1 5 5 0 6 0 0 5 0 2 2 2 0 5 0 2 10 1 2 6 2 1 10 1 5 10 1 3 0 5 5 0 1 3 0 0 0 5 2 2 3 1 0 0 5 3 0 0 0 1 0 1 1 2 0 0 2 0 2 0 1 2 0 2 10 2 1 10 1 0 5 4 1 5 2 2 2 5 1 5 0 5 10 5 0 5 5 0 3 1 0 0 1 2 1 10 5 1 2 0 2 0 5 1 0 2 2 3 0 3 5 10 0 0 2 2 0 2 5 3 6 2 2 5 5 0 2 2 10 5 4 2 2 3 0 0 0 6 1 0 0 1 0 0 1 5 0 5 5 2 3 10 5 0 2 5 1 0 5 0 1 0 2 0 0 0 4 2 4 2 2 2 2 10 2 5 5 10 5 5 4 10 1 5 1 5 2 2 1 0 2 0 2 0 1 0 0 0 4 4 0 0 0 0 5 3 0 0 2 1 0 2 2 0 1 0 2 2 5 0 2 0 4 0 0 2 0 4 0 3 10 4 5 0 10 5 6 0 0 2 2 0 5 2 4 0 1 5 1 10 0 0 0 2 0 10 1 1 2 5 1 5 2 0 2 1 5 0 5 0 10 2 5 1 1 0 0 2 10 2 0 1 5 5 2 10 1 0 5 1 1 3 0 10 2 2 10 2 1 0 1 1 10 5 0 0 1 0 0 5 10 1 1 0 5 0 0 1 3 2 5 10 10 5 2 0 5 5 3 2 0 5 0 2 10 5 0 0 0 2 0 2 10 0 2 10 2 6 0 0 2 2 1 0 0 4 10 10 5 0 1 2 0 5 10 1 4 1 1 10 5 0 6 5 0 2 0 2 5 0 0 2 0 5 5 1 1 0 0 10 3 0 5 0 5 2 0 5 0 0 1 0 0 2 3 0 0 0 1 2 2 0 4 3 2 5 4 2 0 0 0 0 0 5 5 0 4 0 0 0 0 2 10 0 0 0 1 1 5 2 1 0 0 1 0 5 2 0 1 1 0 2 5 5 5 0 0 0 10 5 5 10 5 1 4 10 5 2 5 1 2 0 2 5 2 5 0 0 10 1 0 0 5 0 5 0 5 1 0 0 0 3 0 1 0 0 5 5 2 5 0 6 5 2 1 0 0 0 2 10 3 2 2 5 0 0 5 10 1 10 4 0 5 5 0 5 1 1 0 5 0 2 0 0 0 5 0 5 10 0 10 1 2 10 2 2 1 5 2 10 0 10 0 5 2 0 4 5 5 0 0 5 0 1 3 0 0 5 0 0 1 2 2 2 0 10 2 1 0 0 5 0 2 5 1 10 4 2 2 2 5 1 4 0 0 0 5 2 0 1 10 5 0 2 5 2 10 2 3 4 1 1 5 10 1 0 0 6 5 5 1 0 10 3 5 10 1 1 0 0 0 1 0 10 4 10 1 2 0 6 2 1 5 5 0 0 0 0 2 2 3 0 5 6 4 0 2 5 0 2 4 0 2 4 6 1 0 10 2 5 0 10 1 10 0 2 10 3 0 5 4 5 0 0 5 2 2 1 0 2 0 0 0 2 1 10 2 0 0 0 1 2 5 3 5 5 1 1 1 1 10 5 0 0 5 1 1 5 6 6 1 5 5 2 1 0 0 5 2 0 10 2 10 5 2 10 5 5 10 1 10 2 0 0 0 2 5 5 1 0 0 0 2 1 5 1 4 2 0 5 1 0 2 2 6 0 4 2 5 10 2 2 0 0 0 0 2 5 2 2 2 0 0 10 1 0 10 0 4 4 0 2 1 0 2 1 1 5 2 6 1 0 2 10 0 5 10 6 2 5 1 5 2 0 5 5 0 5 2 1 1 3 2 1 0 2 2 0 10 0 2 0 1 0 1 0 10 0 5 10 0 5 1 4 5 10 2 0 3 3 4 3 1 5 0 10 10 0 10 10 3 3 0 5 10 10 0 1 5 5 0 5 5 6 0 5 5 0 0 0 0 0 2 5 2 10 2 2 0 0 0 5 5 10 1 0 5 2 0 5 2 2 2 0 0 1 0 0 1 4 2 0 5 0 0 3 0 2 0 5 5 0 2 2 0 0 2 10 5 0 0 0 1 10 0 4 0 0 5 0 5 0 5 1 4 0 2 1 5 0 0 0 1 0 5 10 0 5 1 5 0 2 1 0 2 1 2 10 0 6 0 2 5 3 0 1 1 0 5 0 3 5 5 0 6 4 10 3 0 5 5 1 5 5 10 10 5 10 0 2 0 2 5 0 5 0 5 5 5 6 0 0 0 5 6 0 1 5 0 0 0 1 1 2 0 0 5 5 3 3 5 0 0 1 2 5 10 5 0 1 2 2 2 0 5 0 2 2 5 5 0 6 1 1 2 5 0 1 0 0 3 0 4 3 0 0 2 1 0 5 2 5 10 5 0 5 5 1 0 2 10 2 2 5 10 0 1 0 4 0 0 1 0 2 0 5 10 0 0 0 6 1 0 4 2 2 1 5 5 5 0 5 2 2 5 0 1 5 5 3 2 0 5 5 2 10 5 5 10 5 2 0 1 5 1 0 3 5 0 10 5 5 5 0 1 5 5 5 2 5 0 0 10 0 10 10 10 2 0 0 1 1 4 2 0 5 1 2 5 5 2 5 10 10 5 2 1 5 6 3 5 5 1 2 1 10 0 0 4 10 5 5 0 1 2 10 1 3 5 1 5 2 4 1 4 0 0 2 2 5 0 0 1 10 0 10 10 0 0 1 2 4 0 0 10 1 1 2 0 1 0 1 0 0 0 0 0 0 10 0 10 2 1 0 1 5 0 5 2 0 0 5 2 10 1 2 1 5 6 0 2 6 0 5 5 5 3 5 4 6 2 1 5 1 0 0 5 5 10 1 1 5 0 5 1 5 5 10 4 0 2 10 10 4 0 5 10 1 10 2 10 0 0 5 0 5 0 0 4 2 3 0 0 2 2 1 10 0 0 5 10 5 1 0 2 3 1 0 0 10 0 2 2 1 2 0 1 10 5 5 6 0 2 2 0 5 2 2 10 10 0 10 5 5 2 5 0 2 5 2 5 0 0 2 0 5 3 6 1 5 2 0 5 5 6 0 2 5 2 4 0 0 2 5 2 0 5 10 0 5 6 1 0 10 2 0 5 2 </values>
2520.01/2509.20	v </instantiation>
2520.01/2509.20	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (5909 MiB free)
  memory of node 1: 16384 MiB (6603 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306638-1534072202/watcher-4306638-1534072202 -o /tmp/evaluation-result-4306638-1534072202/solver-4306638-1534072202 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25231 --watchdog 2580 HOME/xcsp3-exec -seed 1267097435 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306638-1534072202.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
Current StackSize limit: 8192 KiB

solver pid=26436, runsolver pid=26433

[startup+0.100059 s]*
/proc/loadavg: 1.92 1.84 1.79 4/218 26452
/proc/meminfo: memFree=12795272/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0
[pid=26438] ppid=26436 vsize=14082940 memory=28836 CPUtime=0.12 cores=0,2,4,6
/proc/26438/stat : 26438 (java) S 26436 26436 25200 0 -1 1077944320 5638 0 0 0 11 1 0 0 20 0 15 0 224783361 14420930560 7209 33554432000 4194304 4196468 140732118316224 140732118298768 139889223012087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
/proc/26438/statm: 3520735 7209 2994 1 0 3483012 0
[pid=26438/tid=26439] ppid=26436 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26438/task/26439/stat : 26439 (java) R 26436 26436 25200 0 -1 4202560 3651 0 0 0 8 1 0 0 20 0 15 0 224783361 14420930560 7209 33554432000 4194304 4196468 140732118316224 139889227238000 139889223024022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26440] ppid=26436 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26440/stat : 26440 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 7209 33554432000 4194304 4196468 140732118316224 139889175632272 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26441] ppid=26436 vsize=14082940 memory=140461167855232 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26441/stat : 26441 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 7209 33554432000 4194304 4196468 140732118316224 139889174579472 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26442] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26442/stat : 26442 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 7209 33554432000 4194304 4196468 140732118316224 139889173527184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26443] ppid=26436 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26443/stat : 26443 (java) S 26436 26436 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 7209 33554432000 4194304 4196468 140732118316224 139889172474384 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26444] ppid=26436 vsize=14082940 memory=140461167855232 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26444/stat : 26444 (java) S 26436 26436 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224783363 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888202095216 139889223023234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26445] ppid=26436 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26445/stat : 26445 (java) S 26436 26436 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224783364 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888201041184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26446] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224783364 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888199988848 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) S 26436 26436 25200 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 224783366 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888197884016 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) S 26436 26436 25200 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 224783366 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888196831216 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14082940 memory=140461167855232 CPUtime=0.01 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) R 26436 26436 25200 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 224783366 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888195778928 139889223033434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14082940 memory=140461167855232 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783367 14420930560 7209 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30288 KiB

[startup+0.210722 s]*
/proc/loadavg: 1.92 1.84 1.79 4/218 26452
/proc/meminfo: memFree=12785452/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0
[pid=26438] ppid=26436 vsize=14082940 memory=40668 CPUtime=0.34 cores=0,2,4,6
/proc/26438/stat : 26438 (java) S 26436 26436 25200 0 -1 1077944320 8179 0 0 0 32 2 0 0 20 0 15 0 224783361 14420930560 10167 33554432000 4194304 4196468 140732118316224 140732118298768 139889223012087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
/proc/26438/statm: 3520735 10167 3210 1 0 3483012 0
[pid=26438/tid=26439] ppid=26436 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/26438/task/26439/stat : 26439 (java) R 26436 26436 25200 0 -1 4202560 5432 0 0 0 18 1 0 0 20 0 15 0 224783361 14420930560 10167 33554432000 4194304 4196468 140732118316224 139889227246624 139889207092574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26440] ppid=26436 vsize=14082940 memory=11498 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26440/stat : 26440 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 10167 33554432000 4194304 4196468 140732118316224 139889175632272 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26441] ppid=26436 vsize=14082940 memory=140461167880733 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26441/stat : 26441 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 10167 33554432000 4194304 4196468 140732118316224 139889174579472 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26442] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26442/stat : 26442 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 10167 33554432000 4194304 4196468 140732118316224 139889173527184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26443] ppid=26436 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26443/stat : 26443 (java) S 26436 26436 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224783362 14420930560 10167 33554432000 4194304 4196468 140732118316224 139889172474384 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26444] ppid=26436 vsize=14082940 memory=140461167855232 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26444/stat : 26444 (java) S 26436 26436 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224783363 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888202095216 139889223023234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26445] ppid=26436 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26445/stat : 26445 (java) S 26436 26436 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224783364 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888201041184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26446] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224783364 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888199988848 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) S 26436 26436 25200 0 -1 1077944384 493 0 0 0 3 0 0 0 20 0 15 0 224783366 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888197884016 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) S 26436 26436 25200 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 224783366 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888196831216 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14082940 memory=140461167855232 CPUtime=0.08 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) S 26436 26436 25200 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 224783366 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888195778928 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783367 14420930560 10167 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42120 KiB

[startup+0.311363 s]*
/proc/loadavg: 1.92 1.84 1.79 4/218 26452
/proc/meminfo: memFree=12778752/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0
[pid=26438] ppid=26436 vsize=14087196 memory=47840 CPUtime=0.53 cores=0,2,4,6
/proc/26438/stat : 26438 (java) S 26436 26436 25200 0 -1 1077944320 9172 0 0 0 50 3 0 0 20 0 15 0 224783361 14425288704 11960 33554432000 4194304 4196468 140732118316224 140732118298768 139889223012087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
/proc/26438/statm: 3521799 11960 3247 1 0 3483012 0
[pid=26438/tid=26439] ppid=26436 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/26438/task/26439/stat : 26439 (java) R 26436 26436 25200 0 -1 4202560 6152 0 0 0 27 2 0 0 20 0 15 0 224783361 14425288704 11960 33554432000 4194304 4196468 140732118316224 139889227249376 139889207092574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26440] ppid=26436 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26440/stat : 26440 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14425288704 11960 33554432000 4194304 4196468 140732118316224 139889175632272 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26441] ppid=26436 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26441/stat : 26441 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14425288704 11960 33554432000 4194304 4196468 140732118316224 139889174579472 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26442] ppid=26436 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26442/stat : 26442 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14425288704 11960 33554432000 4194304 4196468 140732118316224 139889173527184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26443] ppid=26436 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26443/stat : 26443 (java) S 26436 26436 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224783362 14425288704 11960 33554432000 4194304 4196468 140732118316224 139889172474384 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26444] ppid=26436 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26444/stat : 26444 (java) S 26436 26436 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224783363 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888202095216 139889223023234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26445] ppid=26436 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26445/stat : 26445 (java) S 26436 26436 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224783364 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888201041184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26446] ppid=26436 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224783364 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888199988848 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) S 26436 26436 25200 0 -1 1077944384 510 0 0 0 5 0 0 0 20 0 15 0 224783366 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888197884016 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) S 26436 26436 25200 0 -1 1077944384 310 0 0 0 4 0 0 0 20 0 15 0 224783366 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888196831216 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) S 26436 26436 25200 0 -1 1077944384 895 0 0 0 12 0 0 0 20 0 15 0 224783366 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888195778928 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783367 14425288704 11960 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49292 KiB

[startup+0.700805 s]
/proc/loadavg: 1.92 1.84 1.79 6/218 26452
/proc/meminfo: memFree=12754916/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0
[pid=26438] ppid=26436 vsize=14089320 memory=89976 CPUtime=1.72 cores=0,2,4,6
/proc/26438/stat : 26438 (java) S 26436 26436 25200 0 -1 1077944320 12596 0 0 0 167 5 0 0 20 0 15 0 224783361 14427463680 22494 33554432000 4194304 4196468 140732118316224 140732118298768 139889223012087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
/proc/26438/statm: 3522330 22494 3355 1 0 3483524 0
[pid=26438/tid=26439] ppid=26436 vsize=14089320 memory=1752 CPUtime=0.67 cores=0,2,4,6
/proc/26438/task/26439/stat : 26439 (java) R 26436 26436 25200 0 -1 4202560 6922 0 0 0 64 3 0 0 20 0 15 0 224783361 14427463680 22494 33554432000 4194304 4196468 140732118316224 139889227232272 139888850989604 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26440] ppid=26436 vsize=14089320 memory=5752 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26440/stat : 26440 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14427463680 22494 33554432000 4194304 4196468 140732118316224 139889175632272 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26441] ppid=26436 vsize=14089320 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26441/stat : 26441 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14427463680 22494 33554432000 4194304 4196468 140732118316224 139889174579472 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26442] ppid=26436 vsize=14089320 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26442/stat : 26442 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783362 14427463680 22494 33554432000 4194304 4196468 140732118316224 139889173527184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26443] ppid=26436 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26443/stat : 26443 (java) S 26436 26436 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224783362 14427463680 22494 33554432000 4194304 4196468 140732118316224 139889172474384 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26444] ppid=26436 vsize=14089320 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26444/stat : 26444 (java) S 26436 26436 25200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224783363 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888202095216 139889223023234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26445] ppid=26436 vsize=14089320 memory=868 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26445/stat : 26445 (java) S 26436 26436 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888201041184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26446] ppid=26436 vsize=14089320 memory=7336 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888199988848 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14089320 memory=11628 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14089320 memory=752 CPUtime=0.31 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) R 26436 26436 25200 0 -1 4202560 1276 0 0 0 31 0 0 0 20 0 15 0 224783366 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888197884016 139889202702680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14089320 memory=1276 CPUtime=0.32 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) R 26436 26436 25200 0 -1 4202560 1186 0 0 0 32 0 0 0 20 0 15 0 224783366 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888196831216 139889223024022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14089320 memory=1068 CPUtime=0.38 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) R 26436 26436 25200 0 -1 1077944384 1904 0 0 0 38 0 0 0 20 0 15 0 224783366 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888195778928 139889223023234 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14089320 memory=15080 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14089320 memory=34068 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224783367 14427463680 22494 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 91428 KiB

[startup+1.50093 s]
/proc/loadavg: 1.92 1.84 1.79 3/218 26452
/proc/meminfo: memFree=12679392/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0

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

/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888199988864 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14089320 memory=2285152 CPUtime=3.35 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) S 26436 26436 25200 0 -1 1077944384 30594 0 0 0 332 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888197884016 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14089320 memory=1452 CPUtime=3.11 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) S 26436 26436 25200 0 -1 1077944384 22360 0 0 0 308 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888196831216 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14089320 memory=1452 CPUtime=0.83 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) S 26436 26436 25200 0 -1 1077944384 15886 0 0 0 80 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888195778928 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14089320 memory=1452 CPUtime=1.54 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1422 0 0 0 76 78 0 0 20 0 15 0 224783367 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 2393.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2286604 KiB

[startup+2442.3 s]
/proc/loadavg: 1.99 1.96 1.95 3/217 26529
/proc/meminfo: memFree=10615580/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0
[pid=26438] ppid=26436 vsize=14089320 memory=2285152 CPUtime=2453.06 cores=0,2,4,6
/proc/26438/stat : 26438 (java) S 26436 26436 25200 0 -1 1077944320 125415 0 0 0 245153 153 0 0 20 0 15 0 224783361 14427463680 571288 33554432000 4194304 4196468 140732118316224 140732118298768 139889223012087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
/proc/26438/statm: 3522330 571288 3434 1 0 3483524 0
[pid=26438/tid=26439] ppid=26436 vsize=14089320 memory=2285152 CPUtime=2441.41 cores=0,2,4,6
/proc/26438/task/26439/stat : 26439 (java) R 26436 26436 25200 0 -1 4202560 40762 0 0 0 244107 34 0 0 20 0 15 0 224783361 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889227250984 139888852187776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26440] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.6 cores=0,2,4,6
/proc/26438/task/26440/stat : 26440 (java) S 26436 26436 25200 0 -1 1077944384 2085 0 0 0 50 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889175632272 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26441] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26441/stat : 26441 (java) S 26436 26436 25200 0 -1 1077944384 1540 0 0 0 50 11 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889174579472 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26442] ppid=26436 vsize=14089320 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26442/stat : 26442 (java) S 26436 26436 25200 0 -1 1077944384 2525 0 0 0 51 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889173527184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26443] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26443/stat : 26443 (java) S 26436 26436 25200 0 -1 1077944384 1060 0 0 0 51 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889172474384 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26444] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.24 cores=0,2,4,6
/proc/26438/task/26444/stat : 26444 (java) S 26436 26436 25200 0 -1 1077944384 5733 0 0 0 21 3 0 0 20 0 15 0 224783363 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888202095216 139889223023234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26445] ppid=26436 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26445/stat : 26445 (java) S 26436 26436 25200 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888201041248 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26446] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888199988864 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14089320 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14089320 memory=1452 CPUtime=3.35 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) S 26436 26436 25200 0 -1 1077944384 30597 0 0 0 332 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888197884016 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14089320 memory=1452 CPUtime=3.11 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) S 26436 26436 25200 0 -1 1077944384 22373 0 0 0 308 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888196831216 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14089320 memory=1452 CPUtime=0.83 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) S 26436 26436 25200 0 -1 1077944384 15890 0 0 0 80 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888195778928 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14089320 memory=1452 CPUtime=1.58 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1462 0 0 0 78 80 0 0 20 0 15 0 224783367 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 2453.06 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2286604 KiB

[startup+2502.3 s]
/proc/loadavg: 1.95 1.96 1.95 3/217 26611
/proc/meminfo: memFree=10684212/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0
[pid=26438] ppid=26436 vsize=14089320 memory=2285152 CPUtime=2513.1 cores=0,2,4,6
/proc/26438/stat : 26438 (java) S 26436 26436 25200 0 -1 1077944320 126137 0 0 0 251156 154 0 0 20 0 15 0 224783361 14427463680 571288 33554432000 4194304 4196468 140732118316224 140732118298768 139889223012087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
/proc/26438/statm: 3522330 571288 3434 1 0 3483524 0
[pid=26438/tid=26439] ppid=26436 vsize=14089320 memory=1452 CPUtime=2501.41 cores=0,2,4,6
/proc/26438/task/26439/stat : 26439 (java) R 26436 26436 25200 0 -1 4202560 41420 0 0 0 250107 34 0 0 20 0 15 0 224783361 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889227250984 139888853393931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26440] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.6 cores=0,2,4,6
/proc/26438/task/26440/stat : 26440 (java) S 26436 26436 25200 0 -1 1077944384 2085 0 0 0 50 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889175632272 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26441] ppid=26436 vsize=14089320 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26441/stat : 26441 (java) S 26436 26436 25200 0 -1 1077944384 1540 0 0 0 50 11 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889174579472 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26442] ppid=26436 vsize=14089320 memory=1452 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26442/stat : 26442 (java) S 26436 26436 25200 0 -1 1077944384 2525 0 0 0 51 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889173527184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26443] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26443/stat : 26443 (java) S 26436 26436 25200 0 -1 1077944384 1060 0 0 0 51 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889172474384 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26444] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.24 cores=0,2,4,6
/proc/26438/task/26444/stat : 26444 (java) S 26436 26436 25200 0 -1 1077944384 5742 0 0 0 21 3 0 0 20 0 15 0 224783363 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888202095216 139889223023234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26445] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26445/stat : 26445 (java) S 26436 26436 25200 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888201041248 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26446] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888199988864 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14089320 memory=2285152 CPUtime=3.35 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) S 26436 26436 25200 0 -1 1077944384 30600 0 0 0 332 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888197884016 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14089320 memory=2285152 CPUtime=3.11 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) S 26436 26436 25200 0 -1 1077944384 22381 0 0 0 308 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888196831216 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14089320 memory=1452 CPUtime=0.83 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) S 26436 26436 25200 0 -1 1077944384 15894 0 0 0 80 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888195778928 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14089320 memory=5752 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14089320 memory=1452 CPUtime=1.62 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1502 0 0 0 80 82 0 0 20 0 15 0 224783367 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 2513.1 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2286604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.2 s]
/proc/loadavg: 1.95 1.96 1.95 3/217 26611
/proc/meminfo: memFree=10677944/32770624 swapFree=67108380/67108860
[pid=26436] ppid=26433 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26436/stat : 26436 (xcsp3-exec) S 26433 26436 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 224783360 115843072 363 33554432000 4194304 5098028 140724812407840 140724812405944 140423489802876 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25915392 140724812416058 140724812416260 140724812416260 140724812419018 0
/proc/26436/statm: 28282 363 305 221 0 87 0
[pid=26438] ppid=26436 vsize=14089320 memory=2285152 CPUtime=2520.01 cores=0,2,4,6
/proc/26438/stat : 26438 (java) S 26436 26436 25200 0 -1 1077944320 126157 0 0 0 251846 155 0 0 20 0 15 0 224783361 14427463680 571288 33554432000 4194304 4196468 140732118316224 140732118298768 139889223012087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
/proc/26438/statm: 3522330 571288 3434 1 0 3483524 0
[pid=26438/tid=26439] ppid=26436 vsize=14089320 memory=11706 CPUtime=2508.31 cores=0,2,4,6
/proc/26438/task/26439/stat : 26439 (java) R 26436 26436 25200 0 -1 4202560 41438 0 0 0 250797 34 0 0 20 0 15 0 224783361 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889227250984 139888852213514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26440] ppid=26436 vsize=14089320 memory=24394 CPUtime=0.6 cores=0,2,4,6
/proc/26438/task/26440/stat : 26440 (java) S 26436 26436 25200 0 -1 1077944384 2085 0 0 0 50 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889175632272 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26441] ppid=26436 vsize=14089320 memory=11706 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26441/stat : 26441 (java) S 26436 26436 25200 0 -1 1077944384 1540 0 0 0 50 11 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889174579472 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26442] ppid=26436 vsize=14089320 memory=24394 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26442/stat : 26442 (java) S 26436 26436 25200 0 -1 1077944384 2525 0 0 0 51 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889173527184 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26443] ppid=26436 vsize=14089320 memory=11706 CPUtime=0.61 cores=0,2,4,6
/proc/26438/task/26443/stat : 26443 (java) S 26436 26436 25200 0 -1 1077944384 1060 0 0 0 51 10 0 0 20 0 15 0 224783362 14427463680 571288 33554432000 4194304 4196468 140732118316224 139889172474384 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26444] ppid=26436 vsize=14089320 memory=2285152 CPUtime=0.24 cores=0,2,4,6
/proc/26438/task/26444/stat : 26444 (java) S 26436 26436 25200 0 -1 1077944384 5742 0 0 0 21 3 0 0 20 0 15 0 224783363 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888202095216 139889223023234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26445] ppid=26436 vsize=14089320 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26445/stat : 26445 (java) S 26436 26436 25200 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888201041248 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26446] ppid=26436 vsize=14089320 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26446/stat : 26446 (java) S 26436 26436 25200 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 224783364 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888199988864 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26447] ppid=26436 vsize=14089320 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26447/stat : 26447 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888198937168 139889223030683 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26448] ppid=26436 vsize=14089320 memory=4108 CPUtime=3.35 cores=0,2,4,6
/proc/26438/task/26448/stat : 26448 (java) S 26436 26436 25200 0 -1 1077944384 30600 0 0 0 332 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888197884016 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26449] ppid=26436 vsize=14089320 memory=280922135220864 CPUtime=3.11 cores=0,2,4,6
/proc/26438/task/26449/stat : 26449 (java) S 26436 26436 25200 0 -1 1077944384 22381 0 0 0 308 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888196831216 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26450] ppid=26436 vsize=14089320 memory=6656426216303648864 CPUtime=0.83 cores=0,2,4,6
/proc/26438/task/26450/stat : 26450 (java) S 26436 26436 25200 0 -1 1077944384 15894 0 0 0 80 3 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888195778928 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26451] ppid=26436 vsize=14089320 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/26438/task/26451/stat : 26451 (java) S 26436 26436 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224783366 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888194726368 139889223022293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
[pid=26438/tid=26452] ppid=26436 vsize=14089320 memory=1220 CPUtime=1.63 cores=0,2,4,6
/proc/26438/task/26452/stat : 26452 (java) S 26436 26436 25200 0 -1 1077944384 1504 0 0 0 80 83 0 0 20 0 15 0 224783367 14427463680 571288 33554432000 4194304 4196468 140732118316224 139888193674160 139889223023234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 31821824 140732118320262 140732118320433 140732118320433 140732118323151 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2286604 KiB

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

[startup+2509.22 s]
# the end of solver process 26436 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000787 s, system=0.001575 s

[startup+2509.22 s]
# the end of solver process 26438 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.47 s, system=1.57189 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): 2509.22
CPU time (s): 2520.04
CPU user time (s): 2518.47
CPU system time (s): 1.57189
CPU usage (%): 100.431
Max. virtual memory (cumulated for all children) (KiB): 14204268
Max. memory (cumulated for all children) (KiB): 2286604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.47
system time used= 1.57189
maximum resident set size= 2285696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58076
involuntary context switches= 2386


# summary of solver processes directly reported to runsolver:
#   pid: 26436,26438
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2518.47
#   total CPU system time (s): 1.57189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3122 second user time and 22.8375 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml
MD5SUM	870d89fd5d4ada0d2442065415f88ba8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	17822
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	3192
Number of constraints	1541
Number of domains	2
Minimum domain size	8
Maximum domain size	56
Distribution of domain sizes	[{"size":8,"count":1540},{"size":56,"count":56}]
Minimum variable degree	0
Maximum variable degree	56
Distribution of variable degrees	[{"degree":0,"count":1596},{"degree":2,"count":1540},{"degree":56,"count":56}]
Minimum constraint arity	3
Maximum constraint arity	56
Distribution of constraint arities	[{"arity":3,"count":1540},{"arity":56,"count":1}]
Number of extensional constraints	1540
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1540},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4306638

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