2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	1483	245.28799	240.02299

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283107-1503211815.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4283107-1503211815.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.20	c simple solver
0.34/0.27	c parse instance...
1.82/0.74	c solve instance...
4.45/1.72	o 1698 
4.45/1.73	o 1632 
4.45/1.74	o 1631 
4.45/1.77	o 1610 
4.79/1.82	o 1609 
4.79/1.83	o 1601 
4.79/1.84	o 1558 
41.01/36.25	o 1520 
41.32/36.48	o 1500 
41.32/36.49	o 1492 
42.16/37.23	o 1491 
42.16/37.25	o 1483 
245.26/240.01	s SATISFIABLE
245.26/240.01	v <instantiation>
245.26/240.01	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[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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[2][40] x[2][41] x[2][42] x[2][43] x[2][44] 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[3][40] x[3][41] x[3][42] x[3][43] x[3][44] 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[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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[9][40] x[9][41] x[9][42] x[9][43] x[9][44] 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[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list>
245.26/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 73 99 55 65 86 59 25 85 43 55 58 19 52 30 75 75 8 62 40 77 16 68 86 84 19 14 58 12 51 21 38 31 81 64 74 5 85 57 25 40 76 38 26 76 </values>
245.26/240.01	v </instantiation>
245.26/240.01	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 (12164 MiB free)
  memory of node 1: 16384 MiB (13160 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283107-1503211815/watcher-4283107-1503211815 -o /tmp/evaluation-result-4283107-1503211815/solver-4283107-1503211815 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32624 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 702851495 HOME/instance-4283107-1503211815.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=2311, runsolver pid=2307

[startup+0.100177 s]*
/proc/loadavg: 2.02 1.95 1.81 4/217 2327
/proc/meminfo: memFree=25917472/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0
[pid=2313] ppid=2311 vsize=13978596 memory=26980 CPUtime=0.12 cores=0,2,4,6
/proc/2313/stat : 2313 (java) S 2311 2311 32593 0 -1 1077944320 5158 0 0 0 11 1 0 0 20 0 15 0 154269538 14314082304 6745 33554432000 4194304 4196468 140724804363824 140724804346368 140517338423031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
/proc/2313/statm: 3494649 6745 2857 1 0 3482966 0
[pid=2313/tid=2314] ppid=2311 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/2313/task/2314/stat : 2314 (java) R 2311 2311 32593 0 -1 4202560 3122 0 0 0 9 0 0 0 20 0 15 0 154269539 14314082304 6745 33554432000 4194304 4196468 140724804363824 140517342646480 140517338434966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2315] ppid=2311 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2315/stat : 2315 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14314082304 6745 33554432000 4194304 4196468 140724804363824 140517305981968 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2316] ppid=2311 vsize=13978596 memory=140576985798272 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2316/stat : 2316 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516932910224 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2317] ppid=2311 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2317/stat : 2317 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516931857168 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2318] ppid=2311 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2318/stat : 2318 (java) S 2311 2311 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154269539 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516930804624 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2319] ppid=2311 vsize=13978596 memory=140576985798272 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2319/stat : 2319 (java) S 2311 2311 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154269541 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516678113520 140517338434178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2320] ppid=2311 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2320/stat : 2320 (java) S 2311 2311 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154269541 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516677059744 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2321] ppid=2311 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154269541 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) S 2311 2311 32593 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 154269544 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516673903344 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) S 2311 2311 32593 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 154269544 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516672850800 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13978596 memory=140576985798272 CPUtime=0.01 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) R 2311 2311 32593 0 -1 4202560 304 0 0 0 1 0 0 0 20 0 15 0 154269544 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516671797744 140517322605469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13978596 memory=140576985798272 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269544 14314082304 6745 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28364 KiB

[startup+0.210662 s]*
/proc/loadavg: 2.02 1.95 1.81 3/217 2327
/proc/meminfo: memFree=25905848/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0
[pid=2313] ppid=2311 vsize=13982852 memory=39476 CPUtime=0.34 cores=0,2,4,6
/proc/2313/stat : 2313 (java) S 2311 2311 32593 0 -1 1077944320 7870 0 0 0 32 2 0 0 20 0 15 0 154269538 14318440448 9869 33554432000 4194304 4196468 140724804363824 140724804346368 140517338423031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
/proc/2313/statm: 3495713 9869 3071 1 0 3482966 0
[pid=2313/tid=2314] ppid=2311 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2313/task/2314/stat : 2314 (java) R 2311 2311 32593 0 -1 4202560 4849 0 0 0 19 1 0 0 20 0 15 0 154269539 14318440448 9869 33554432000 4194304 4196468 140724804363824 140517342644024 140517322503518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2315] ppid=2311 vsize=13982852 memory=4294976320 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2315/stat : 2315 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 9869 33554432000 4194304 4196468 140724804363824 140517305981968 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2316] ppid=2311 vsize=13982852 memory=288370953137510016 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2316/stat : 2316 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516932910224 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2317] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2317/stat : 2317 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516931857168 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2318] ppid=2311 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2318/stat : 2318 (java) S 2311 2311 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516930804624 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2319] ppid=2311 vsize=13982852 memory=140576985798272 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2319/stat : 2319 (java) S 2311 2311 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154269541 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516678113520 140517338434178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2320] ppid=2311 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2320/stat : 2320 (java) S 2311 2311 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154269541 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516677059744 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2321] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154269541 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) S 2311 2311 32593 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 154269544 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516673903344 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) S 2311 2311 32593 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 15 0 154269544 14318440448 9869 33554432000 4194304 4196468 140724804363824 140516672850800 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13982884 memory=140576985798272 CPUtime=0.07 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) S 2311 2311 32593 0 -1 1077944384 875 0 0 0 7 0 0 0 20 0 15 0 154269544 14318473216 9869 33554432000 4194304 4196468 140724804363824 140516671797744 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14318473216 9869 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269544 14318440448 9890 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40860 KiB

[startup+0.310567 s]*
/proc/loadavg: 2.02 1.95 1.81 4/217 2327
/proc/meminfo: memFree=25898472/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0
[pid=2313] ppid=2311 vsize=13982852 memory=46448 CPUtime=0.5 cores=0,2,4,6
/proc/2313/stat : 2313 (java) S 2311 2311 32593 0 -1 1077944320 8794 0 0 0 48 2 0 0 20 0 15 0 154269538 14318440448 11612 33554432000 4194304 4196468 140724804363824 140724804346368 140517338423031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
/proc/2313/statm: 3495713 11612 3093 1 0 3482966 0
[pid=2313/tid=2314] ppid=2311 vsize=13982852 memory=288355116380323867 CPUtime=0.29 cores=0,2,4,6
/proc/2313/task/2314/stat : 2314 (java) R 2311 2311 32593 0 -1 4202560 5517 0 0 0 28 1 0 0 20 0 15 0 154269539 14318440448 11612 33554432000 4194304 4196468 140724804363824 140517342660544 140516974476420 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2315] ppid=2311 vsize=13982852 memory=288230617525789491 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2315/stat : 2315 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 11612 33554432000 4194304 4196468 140724804363824 140517305981968 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2316] ppid=2311 vsize=13982852 memory=13848564540079844 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2316/stat : 2316 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516932910224 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2317] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2317/stat : 2317 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516931857168 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2318] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2318/stat : 2318 (java) S 2311 2311 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154269539 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516930804624 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2319] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2319/stat : 2319 (java) S 2311 2311 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154269541 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516678113520 140517338434178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2320] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2320/stat : 2320 (java) S 2311 2311 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154269541 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516677059744 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2321] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154269541 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) S 2311 2311 32593 0 -1 1077944384 477 0 0 0 3 0 0 0 20 0 15 0 154269544 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516673903344 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) S 2311 2311 32593 0 -1 1077944384 461 0 0 0 4 0 0 0 20 0 15 0 154269544 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516672850800 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) R 2311 2311 32593 0 -1 4202560 1053 0 0 0 12 0 0 0 20 0 15 0 154269544 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516671794112 140517331519899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269544 14318440448 11612 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47832 KiB

[startup+0.702076 s]
/proc/loadavg: 2.02 1.95 1.81 5/217 2327
/proc/meminfo: memFree=25870244/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0
[pid=2313] ppid=2311 vsize=13984976 memory=92324 CPUtime=1.82 cores=0,2,4,6
/proc/2313/stat : 2313 (java) S 2311 2311 32593 0 -1 1077944320 12191 0 0 0 178 4 0 0 20 0 15 0 154269538 14320615424 23081 33554432000 4194304 4196468 140724804363824 140724804346368 140517338423031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
/proc/2313/statm: 3496244 23081 3201 1 0 3483478 0
[pid=2313/tid=2314] ppid=2311 vsize=13984976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2313/task/2314/stat : 2314 (java) R 2311 2311 32593 0 -1 4202560 6187 0 0 0 65 3 0 0 20 0 15 0 154269539 14320615424 23081 33554432000 4194304 4196468 140724804363824 140517342644528 140517322503518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2315] ppid=2311 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2315/stat : 2315 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14320615424 23081 33554432000 4194304 4196468 140724804363824 140517305981968 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2316] ppid=2311 vsize=13984976 memory=153 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2316/stat : 2316 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516932910224 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2317] ppid=2311 vsize=13984976 memory=2 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2317/stat : 2317 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269539 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516931857168 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2318] ppid=2311 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2318/stat : 2318 (java) S 2311 2311 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154269539 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516930804624 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2319] ppid=2311 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2319/stat : 2319 (java) S 2311 2311 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516678113520 140517338434178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2320] ppid=2311 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2320/stat : 2320 (java) S 2311 2311 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516677059744 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2321] ppid=2311 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13984976 memory=4128 CPUtime=0.38 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) R 2311 2311 32593 0 -1 4202560 1361 0 0 0 38 0 0 0 20 0 15 0 154269544 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516673889824 140517316170394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13984976 memory=1156 CPUtime=0.36 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) R 2311 2311 32593 0 -1 4202560 1100 0 0 0 36 0 0 0 20 0 15 0 154269544 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516672840592 140517319947290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13984976 memory=3036 CPUtime=0.38 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) S 2311 2311 32593 0 -1 1077944384 2238 0 0 0 38 0 0 0 20 0 15 0 154269544 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516671797744 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13984976 memory=213136 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 23081 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93708 KiB

[startup+1.50087 s]
/proc/loadavg: 2.02 1.95 1.81 4/217 2327
/proc/meminfo: memFree=25835188/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0

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

/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 55722 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13984976 memory=9270 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 55722 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13984976 memory=2 CPUtime=2.18 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) S 2311 2311 32593 0 -1 1077944384 14141 0 0 0 217 1 0 0 20 0 15 0 154269544 14320615424 55722 33554432000 4194304 4196468 140724804363824 140516673903344 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13984976 memory=2308 CPUtime=2.25 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) S 2311 2311 32593 0 -1 1077944384 11477 0 0 0 224 1 0 0 20 0 15 0 154269544 14320615424 55722 33554432000 4194304 4196468 140724804363824 140516672850800 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13984976 memory=4516 CPUtime=0.63 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) S 2311 2311 32593 0 -1 1077944384 5888 0 0 0 62 1 0 0 20 0 15 0 154269544 14320615424 55722 33554432000 4194304 4196468 140724804363824 140516671797744 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 55722 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13984976 memory=42724 CPUtime=0.02 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 876 0 0 0 1 1 0 0 20 0 15 0 154269544 14320615424 55722 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 107.47 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 224272 KiB

[startup+162.301 s]
/proc/loadavg: 1.98 1.99 1.86 3/217 2409
/proc/meminfo: memFree=25720740/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0
[pid=2313] ppid=2311 vsize=13984976 memory=217236 CPUtime=167.49 cores=0,2,4,6
/proc/2313/stat : 2313 (java) S 2311 2311 32593 0 -1 1077944320 52420 0 0 0 16731 18 0 0 20 0 15 0 154269538 14320615424 54309 33554432000 4194304 4196468 140724804363824 140724804346368 140517338423031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
/proc/2313/statm: 3496244 54309 3259 1 0 3483478 0
[pid=2313/tid=2314] ppid=2311 vsize=13984976 memory=217240 CPUtime=162.16 cores=0,2,4,6
/proc/2313/task/2314/stat : 2314 (java) R 2311 2311 32593 0 -1 4202560 11726 0 0 0 16210 6 0 0 20 0 15 0 154269539 14320615424 54309 33554432000 4194304 4196468 140724804363824 140517342662352 140516981215694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2315] ppid=2311 vsize=13984976 memory=217240 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2315/stat : 2315 (java) S 2311 2311 32593 0 -1 1077944384 1387 0 0 0 2 1 0 0 20 0 15 0 154269539 14320615424 54309 33554432000 4194304 4196468 140724804363824 140517305981968 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2316] ppid=2311 vsize=13984976 memory=217240 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2316/stat : 2316 (java) S 2311 2311 32593 0 -1 1077944384 1557 0 0 0 2 1 0 0 20 0 15 0 154269539 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516932910224 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2317] ppid=2311 vsize=13984976 memory=281151109530191 CPUtime=0.02 cores=0,2,4,6
/proc/2313/task/2317/stat : 2317 (java) S 2311 2311 32593 0 -1 1077944384 1199 0 0 0 2 0 0 0 20 0 15 0 154269539 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516931857168 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2318] ppid=2311 vsize=13984976 memory=217240 CPUtime=0.04 cores=0,2,4,6
/proc/2313/task/2318/stat : 2318 (java) S 2311 2311 32593 0 -1 1077944384 1420 0 0 0 3 1 0 0 20 0 15 0 154269539 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516930804624 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2319] ppid=2311 vsize=13984976 memory=217240 CPUtime=0.02 cores=0,2,4,6
/proc/2313/task/2319/stat : 2319 (java) S 2311 2311 32593 0 -1 1077944384 1374 0 0 0 2 0 0 0 20 0 15 0 154269541 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516678113520 140517338434178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2320] ppid=2311 vsize=13984976 memory=217236 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2320/stat : 2320 (java) S 2311 2311 32593 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516677059744 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2321] ppid=2311 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13984976 memory=281153660749600 CPUtime=2.18 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) S 2311 2311 32593 0 -1 1077944384 14144 0 0 0 217 1 0 0 20 0 15 0 154269544 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516673903344 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13984976 memory=1384 CPUtime=2.25 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) S 2311 2311 32593 0 -1 1077944384 11479 0 0 0 224 1 0 0 20 0 15 0 154269544 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516672850800 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13984976 memory=217240 CPUtime=0.63 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) S 2311 2311 32593 0 -1 1077944384 5891 0 0 0 62 1 0 0 20 0 15 0 154269544 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516671797744 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13984976 memory=217240 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 903 0 0 0 2 2 0 0 20 0 15 0 154269544 14320615424 54309 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 167.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 218620 KiB

[startup+222.301 s]
/proc/loadavg: 1.86 1.96 1.86 3/217 2410
/proc/meminfo: memFree=25733428/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0
[pid=2313] ppid=2311 vsize=13984976 memory=204944 CPUtime=227.54 cores=0,2,4,6
/proc/2313/stat : 2313 (java) S 2311 2311 32593 0 -1 1077944320 55104 0 0 0 22734 20 0 0 20 0 15 0 154269538 14320615424 51236 33554432000 4194304 4196468 140724804363824 140724804346368 140517338423031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
/proc/2313/statm: 3496244 51236 3259 1 0 3483478 0
[pid=2313/tid=2314] ppid=2311 vsize=13984976 memory=204944 CPUtime=222.15 cores=0,2,4,6
/proc/2313/task/2314/stat : 2314 (java) R 2311 2311 32593 0 -1 4202560 12310 0 0 0 22209 6 0 0 20 0 15 0 154269539 14320615424 51236 33554432000 4194304 4196468 140724804363824 140517342662384 140724804393174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2315] ppid=2311 vsize=13984976 memory=208020 CPUtime=0.04 cores=0,2,4,6
/proc/2313/task/2315/stat : 2315 (java) S 2311 2311 32593 0 -1 1077944384 1458 0 0 0 3 1 0 0 20 0 15 0 154269539 14320615424 51236 33554432000 4194304 4196468 140724804363824 140517305981968 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2316] ppid=2311 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2316/stat : 2316 (java) S 2311 2311 32593 0 -1 1077944384 1580 0 0 0 2 1 0 0 20 0 15 0 154269539 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516932910224 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2317] ppid=2311 vsize=13984976 memory=204944 CPUtime=0.02 cores=0,2,4,6
/proc/2313/task/2317/stat : 2317 (java) S 2311 2311 32593 0 -1 1077944384 1552 0 0 0 2 0 0 0 20 0 15 0 154269539 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516931857168 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2318] ppid=2311 vsize=13984976 memory=204944 CPUtime=0.04 cores=0,2,4,6
/proc/2313/task/2318/stat : 2318 (java) S 2311 2311 32593 0 -1 1077944384 1436 0 0 0 3 1 0 0 20 0 15 0 154269539 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516930804624 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2319] ppid=2311 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2319/stat : 2319 (java) S 2311 2311 32593 0 -1 1077944384 1595 0 0 0 2 1 0 0 20 0 15 0 154269541 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516678113520 140517338434178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2320] ppid=2311 vsize=13984976 memory=204944 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2320/stat : 2320 (java) S 2311 2311 32593 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516677059744 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2321] ppid=2311 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13984976 memory=210072 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13984976 memory=204944 CPUtime=2.18 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) S 2311 2311 32593 0 -1 1077944384 14152 0 0 0 217 1 0 0 20 0 15 0 154269544 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516673903344 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13984976 memory=204944 CPUtime=2.26 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) S 2311 2311 32593 0 -1 1077944384 11482 0 0 0 225 1 0 0 20 0 15 0 154269544 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516672850800 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13984976 memory=1384 CPUtime=0.64 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) S 2311 2311 32593 0 -1 1077944384 7265 0 0 0 63 1 0 0 20 0 15 0 154269544 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516671797744 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13984976 memory=2428 CPUtime=0.05 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 934 0 0 0 3 2 0 0 20 0 15 0 154269544 14320615424 51236 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 227.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 206328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.90 1.96 1.86 3/217 2410
/proc/meminfo: memFree=25741184/32770624 swapFree=67108860/67108860
[pid=2311] ppid=2307 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2311/stat : 2311 (xcsp3-exec) S 2307 2311 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154269538 9740288 346 33554432000 4194304 5098028 140730651988432 140730651986536 140332539818620 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38187008 140730651993205 140730651993408 140730651993408 140730651996139 0
/proc/2311/statm: 2378 346 289 221 0 87 0
[pid=2313] ppid=2311 vsize=13984976 memory=199296 CPUtime=245.26 cores=0,2,4,6
/proc/2313/stat : 2313 (java) S 2311 2311 32593 0 -1 1077944320 55653 0 0 0 24506 20 0 0 20 0 15 0 154269538 14320615424 49824 33554432000 4194304 4196468 140724804363824 140724804346368 140517338423031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
/proc/2313/statm: 3496244 49824 3259 1 0 3483478 0
[pid=2313/tid=2314] ppid=2311 vsize=13984976 memory=6935054825532540783 CPUtime=239.86 cores=0,2,4,6
/proc/2313/task/2314/stat : 2314 (java) R 2311 2311 32593 0 -1 4202560 12320 0 0 0 23980 6 0 0 20 0 15 0 154269539 14320615424 49824 33554432000 4194304 4196468 140724804363824 140517342662384 140516981984685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2315] ppid=2311 vsize=13984976 memory=15880 CPUtime=0.04 cores=0,2,4,6
/proc/2313/task/2315/stat : 2315 (java) S 2311 2311 32593 0 -1 1077944384 1460 0 0 0 3 1 0 0 20 0 15 0 154269539 14320615424 49824 33554432000 4194304 4196468 140724804363824 140517305981968 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2316] ppid=2311 vsize=13984976 memory=18476 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2316/stat : 2316 (java) S 2311 2311 32593 0 -1 1077944384 1583 0 0 0 2 1 0 0 20 0 15 0 154269539 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516932910224 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2317] ppid=2311 vsize=13984976 memory=23736 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2317/stat : 2317 (java) S 2311 2311 32593 0 -1 1077944384 1555 0 0 0 3 0 0 0 20 0 15 0 154269539 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516931857168 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2318] ppid=2311 vsize=13984976 memory=4040 CPUtime=0.04 cores=0,2,4,6
/proc/2313/task/2318/stat : 2318 (java) S 2311 2311 32593 0 -1 1077944384 1437 0 0 0 3 1 0 0 20 0 15 0 154269539 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516930804624 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2319] ppid=2311 vsize=13984976 memory=1236 CPUtime=0.03 cores=0,2,4,6
/proc/2313/task/2319/stat : 2319 (java) S 2311 2311 32593 0 -1 1077944384 1599 0 0 0 2 1 0 0 20 0 15 0 154269541 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516678113520 140517338434178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2320] ppid=2311 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2320/stat : 2320 (java) S 2311 2311 32593 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516677059744 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2321] ppid=2311 vsize=13984976 memory=199296 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2321/stat : 2321 (java) S 2311 2311 32593 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154269541 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516676006640 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2322] ppid=2311 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2322/stat : 2322 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516674955216 140517338441627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2323] ppid=2311 vsize=13984976 memory=792 CPUtime=2.18 cores=0,2,4,6
/proc/2313/task/2323/stat : 2323 (java) S 2311 2311 32593 0 -1 1077944384 14152 0 0 0 217 1 0 0 20 0 15 0 154269544 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516673903344 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2324] ppid=2311 vsize=13984976 memory=1420 CPUtime=2.26 cores=0,2,4,6
/proc/2313/task/2324/stat : 2324 (java) S 2311 2311 32593 0 -1 1077944384 11482 0 0 0 225 1 0 0 20 0 15 0 154269544 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516672850800 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2325] ppid=2311 vsize=13984976 memory=13144 CPUtime=0.64 cores=0,2,4,6
/proc/2313/task/2325/stat : 2325 (java) S 2311 2311 32593 0 -1 1077944384 7791 0 0 0 63 1 0 0 20 0 15 0 154269544 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516671797744 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2326] ppid=2311 vsize=13984976 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/2313/task/2326/stat : 2326 (java) S 2311 2311 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154269544 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516670745440 140517338433237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
[pid=2313/tid=2327] ppid=2311 vsize=13984976 memory=1196 CPUtime=0.06 cores=0,2,4,6
/proc/2313/task/2327/stat : 2327 (java) S 2311 2311 32593 0 -1 1077944384 934 0 0 0 3 3 0 0 20 0 15 0 154269544 14320615424 49824 33554432000 4194304 4196468 140724804363824 140516669692464 140517338434178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 7061504 140724804371613 140724804371788 140724804371788 140724804374479 0
Current children cumulated CPU time: 245.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 200680 KiB

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

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

[startup+240.023 s]
# the end of solver process 2313 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.073 s, system=0.214941 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): 240.023
CPU time (s): 245.288
CPU user time (s): 245.073
CPU system time (s): 0.214941
CPU usage (%): 102.193
Max. virtual memory (cumulated for all children) (KiB): 13996840
Max. memory (cumulated for all children) (KiB): 225848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.073
system time used= 0.214941
maximum resident set size= 230580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7814
involuntary context switches= 283


# summary of solver processes directly reported to runsolver:
#   pid: 2311,2313
#   total CPU time (s): 245.288
#   total CPU user time (s): 245.073
#   total CPU system time (s): 0.214941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44279 second user time and 2.18312 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml
MD5SUM	ccd62f28d001d5578c14e849049b60f5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	715
Best CPU time to get the best result obtained on this benchmark	251.91701
Satisfiable
(Un)Satisfiability was proved
Number of variables	2070
Number of constraints	2024
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree	0
Maximum variable degree	87
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity	1
Maximum constraint arity	44
Distribution of constraint arities	[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints	0
Number of intensional constraints	44
Distribution of constraint types	[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4283107

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