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-07-26)	SAT (TO)	1483	245.49001	240.00999

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254380-1501613684.xml"  -tl '264s' -p 1 -x 0
0.00/0.27	c [HOME/instance-4254380-1501613684.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.33	c simple solver
0.00/0.40	c parse instance...
0.00/0.85	c solve instance...
4.36/1.83	o 1698 
4.36/1.84	o 1632 
4.36/1.85	o 1631 
4.36/1.88	o 1610 
4.68/1.94	o 1609 
4.68/1.94	o 1601 
4.68/1.96	o 1558 
41.28/36.31	o 1520 
41.69/36.56	o 1500 
41.69/36.56	o 1492 
42.51/37.33	o 1491 
42.51/37.36	o 1483 
245.49/240.00	s SATISFIABLE
245.49/240.00	v <instantiation>
245.49/240.00	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.49/240.00	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.49/240.00	v </instantiation>
245.49/240.00	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254380-1501613684/watcher-4254380-1501613684 -o /tmp/evaluation-result-4254380-1501613684/solver-4254380-1501613684 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1596937514 HOME/instance-4254380-1501613684.xml 

pid=6653
running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.86 1.54 2/195 6656
/proc/meminfo: memFree=31738892/32770624 swapFree=0/184660
[pid=6656] ppid=6653 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (runsolver) D 6653 6656 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9988692 24240128 106 18446744073709551615 4194304 4338465 140730511448512 140730511446152 140422454633175 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 11104256 140730511450205 140730511450694 140730511450694 140730511454154 0
/proc/6656/statm: 5918 106 53 36 0 2156 0

[startup+0.100132 s]
/proc/loadavg: 2.00 1.86 1.54 2/195 6656
/proc/meminfo: memFree=31738892/32770624 swapFree=0/184660
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200252 s]
/proc/loadavg: 2.00 1.86 1.54 2/195 6656
/proc/meminfo: memFree=31738892/32770624 swapFree=0/184660
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300297 s]
/proc/loadavg: 2.00 1.86 1.54 2/195 6656
/proc/meminfo: memFree=31738892/32770624 swapFree=0/184660
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700612 s]
/proc/loadavg: 2.00 1.86 1.54 2/195 6656
/proc/meminfo: memFree=31738892/32770624 swapFree=0/184660
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50072 s]
/proc/loadavg: 2.00 1.86 1.54 5/211 6672
/proc/meminfo: memFree=31642844/32770624 swapFree=0/184560
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
[pid=6658] ppid=6656 vsize=13980732 CPUtime=3.45 cores=1,3,5,7
/proc/6658/stat : 6658 (java) S 6656 6656 5131 0 -1 1077944320 20807 0 0 0 337 8 0 0 20 0 15 0 9988701 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 140723103157472 139783642029815 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
/proc/6658/statm: 3495183 33161 3176 1 0 3483484 0
[pid=6658/tid=6659] ppid=6656 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/6658/task/6659/stat : 6659 (java) R 6656 6656 5131 0 -1 4202560 8773 0 0 0 130 4 0 0 20 0 15 0 9988702 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139783646266296 139783287459894 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6660] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (java) S 6656 6656 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139783605136272 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6661] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6661/stat : 6661 (java) S 6656 6656 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139783604083472 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6662] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6662/stat : 6662 (java) S 6656 6656 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139783240498320 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6663] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6663/stat : 6663 (java) S 6656 6656 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139783239445520 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6664] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6664/stat : 6664 (java) S 6656 6656 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782625896560 139783642040962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6665] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6665/stat : 6665 (java) S 6656 6656 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782624842528 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6666] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6666/stat : 6666 (java) S 6656 6656 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782623790192 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6667] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6667/stat : 6667 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782622738512 139783642048411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6668] ppid=6656 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/6658/task/6668/stat : 6668 (java) R 6656 6656 5131 0 -1 4202560 4144 0 0 0 78 0 0 0 20 0 15 0 9988707 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782621673824 139783623552719 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6669] ppid=6656 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/6658/task/6669/stat : 6669 (java) R 6656 6656 5131 0 -1 4202560 4135 0 0 0 79 1 0 0 20 0 15 0 9988707 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782620633584 139783621683770 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6670] ppid=6656 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/6658/task/6670/stat : 6670 (java) S 6656 6656 5131 0 -1 1077944384 2447 0 0 0 48 0 0 0 20 0 15 0 9988707 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782619581296 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6671] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6671/stat : 6671 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782618528736 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6672] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6672/stat : 6672 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988711 14316269568 33161 18446744073709551615 4194304 4196468 140723103174928 139782617475504 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 13990244

[startup+3.10075 s]
/proc/loadavg: 2.00 1.86 1.54 6/211 6672
/proc/meminfo: memFree=31545996/32770624 swapFree=0/184560
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
[pid=6658] ppid=6656 vsize=13980732 CPUtime=7.47 cores=1,3,5,7
/proc/6658/stat : 6658 (java) S 6656 6656 5131 0 -1 1077944320 30716 0 0 0 736 11 0 0 20 0 15 0 9988701 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 140723103157472 139783642029815 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
/proc/6658/statm: 3495183 54318 3204 1 0 3483484 0
[pid=6658/tid=6659] ppid=6656 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/6658/task/6659/stat : 6659 (java) R 6656 6656 5131 0 -1 4202560 9368 0 0 0 288 5 0 0 20 0 15 0 9988702 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139783646267256 139783285509718 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6660] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (java) S 6656 6656 5131 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139783605136272 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6661] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6661/stat : 6661 (java) S 6656 6656 5131 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139783604083472 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6662] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6662/stat : 6662 (java) S 6656 6656 5131 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139783240498320 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6663] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6663/stat : 6663 (java) S 6656 6656 5131 0 -1 1077944384 629 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139783239445520 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6664] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6664/stat : 6664 (java) S 6656 6656 5131 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782625896560 139783642040962 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6665] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6665/stat : 6665 (java) S 6656 6656 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782624842528 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6666] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6666/stat : 6666 (java) S 6656 6656 5131 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782623790192 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6667] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6667/stat : 6667 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782622738512 139783642048411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6668] ppid=6656 vsize=13980732 CPUtime=1.93 cores=1,3,5,7
/proc/6658/task/6668/stat : 6668 (java) S 6656 6656 5131 0 -1 1077944384 7067 0 0 0 192 1 0 0 20 0 15 0 9988707 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782621686384 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6669] ppid=6656 vsize=13980732 CPUtime=1.95 cores=1,3,5,7
/proc/6658/task/6669/stat : 6669 (java) S 6656 6656 5131 0 -1 1077944384 8000 0 0 0 194 1 0 0 20 0 15 0 9988707 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782620633584 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6670] ppid=6656 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/6658/task/6670/stat : 6670 (java) S 6656 6656 5131 0 -1 1077944384 3776 0 0 0 58 1 0 0 20 0 15 0 9988707 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782619581296 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6671] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6671/stat : 6671 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782618528736 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6672] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6672/stat : 6672 (java) S 6656 6656 5131 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9988711 14316269568 54318 18446744073709551615 4194304 4196468 140723103174928 139782617475504 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 13990244

[startup+6.30063 s]
/proc/loadavg: 2.00 1.87 1.54 3/211 6672
/proc/meminfo: memFree=31532132/32770624 swapFree=0/184572
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
[pid=6658] ppid=6656 vsize=13980732 CPUtime=10.93 cores=1,3,5,7
/proc/6658/stat : 6658 (java) S 6656 6656 5131 0 -1 1077944320 30827 0 0 0 1082 11 0 0 20 0 15 0 9988701 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 140723103157472 139783642029815 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
/proc/6658/statm: 3495183 54412 3218 1 0 3483484 0
[pid=6658/tid=6659] ppid=6656 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/6658/task/6659/stat : 6659 (java) R 6656 6656 5131 0 -1 4202560 9388 0 0 0 607 6 0 0 20 0 15 0 9988702 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139783646266192 139783285509718 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6660] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (java) S 6656 6656 5131 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139783605136272 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6661] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6661/stat : 6661 (java) S 6656 6656 5131 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139783604083472 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6662] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6662/stat : 6662 (java) S 6656 6656 5131 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139783240498320 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6663] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6663/stat : 6663 (java) S 6656 6656 5131 0 -1 1077944384 629 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139783239445520 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6664] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6664/stat : 6664 (java) S 6656 6656 5131 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782625896560 139783642040962 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6665] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6665/stat : 6665 (java) S 6656 6656 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782624842528 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6666] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6666/stat : 6666 (java) S 6656 6656 5131 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782623790192 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6667] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6667/stat : 6667 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782622738512 139783642048411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6668] ppid=6656 vsize=13980732 CPUtime=2.07 cores=1,3,5,7
/proc/6658/task/6668/stat : 6668 (java) S 6656 6656 5131 0 -1 1077944384 7097 0 0 0 206 1 0 0 20 0 15 0 9988707 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782621686384 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6669] ppid=6656 vsize=13980732 CPUtime=2.07 cores=1,3,5,7
/proc/6658/task/6669/stat : 6669 (java) S 6656 6656 5131 0 -1 1077944384 8039 0 0 0 206 1 0 0 20 0 15 0 9988707 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782620633584 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6670] ppid=6656 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/6658/task/6670/stat : 6670 (java) S 6656 6656 5131 0 -1 1077944384 3784 0 0 0 59 1 0 0 20 0 15 0 9988707 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782619581296 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6671] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6671/stat : 6671 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782618528736 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6672] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6672/stat : 6672 (java) S 6656 6656 5131 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9988711 14316269568 54412 18446744073709551615 4194304 4196468 140723103174928 139782617475504 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 13990244

[startup+12.7006 s]
/proc/loadavg: 2.00 1.87 1.54 3/211 6672
/proc/meminfo: memFree=31537000/32770624 swapFree=0/184572
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
[pid=6658] ppid=6656 vsize=13980732 CPUtime=17.39 cores=1,3,5,7
/proc/6658/stat : 6658 (java) S 6656 6656 5131 0 -1 1077944320 33536 0 0 0 1728 11 0 0 20 0 15 0 9988701 14316269568 52957 18446744073709551615 4194304 4196468 140723103174928 140723103157472 139783642029815 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
/proc/6658/statm: 3495183 52957 3218 1 0 3483484 0
[pid=6658/tid=6659] ppid=6656 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/6658/task/6659/stat : 6659 (java) R 6656 6656 5131 0 -1 4202560 9927 0 0 0 1247 6 0 0 20 0 15 0 9988702 14316269568 52957 18446744073709551615 4194304 4196468 140723103174928 139783646266480 139783288621400 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6660] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (java) S 6656 6656 5131 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 52957 18446744073709551615 4194304 4196468 140723103174928 139783605136272 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6661] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6661/stat : 6661 (java) S 6656 6656 5131 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9988702 14316269568 52957 18446744073709551615 4194304 4196468 140723103174928 139783604083472 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0

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

[pid=6658/tid=6665] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6665/stat : 6665 (java) S 6656 6656 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782624842528 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6666] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6666/stat : 6666 (java) S 6656 6656 5131 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782623790192 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6667] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6667/stat : 6667 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782622738512 139783642048411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6668] ppid=6656 vsize=13980732 CPUtime=2.37 cores=1,3,5,7
/proc/6658/task/6668/stat : 6668 (java) S 6656 6656 5131 0 -1 1077944384 11049 0 0 0 236 1 0 0 20 0 15 0 9988707 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782621686384 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6669] ppid=6656 vsize=13980732 CPUtime=2.43 cores=1,3,5,7
/proc/6658/task/6669/stat : 6669 (java) S 6656 6656 5131 0 -1 1077944384 13771 0 0 0 242 1 0 0 20 0 15 0 9988707 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782620633584 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6670] ppid=6656 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/6658/task/6670/stat : 6670 (java) S 6656 6656 5131 0 -1 1077944384 6914 0 0 0 63 1 0 0 20 0 15 0 9988707 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782619581296 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6671] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6671/stat : 6671 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782618528736 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6672] ppid=6656 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6658/task/6672/stat : 6672 (java) S 6656 6656 5131 0 -1 1077944384 420 0 0 0 1 1 0 0 20 0 15 0 9988711 14316269568 55671 18446744073709551615 4194304 4196468 140723103174928 139782617475504 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
Current children cumulated CPU time (s) 107.74
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.02 1.95 1.63 3/211 6753
/proc/meminfo: memFree=31577788/32770624 swapFree=0/184712
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
[pid=6658] ppid=6656 vsize=13980732 CPUtime=167.76 cores=1,3,5,7
/proc/6658/stat : 6658 (java) S 6656 6656 5131 0 -1 1077944320 54365 0 0 0 16758 18 0 0 20 0 15 0 9988701 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 140723103157472 139783642029815 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
/proc/6658/statm: 3495183 53637 3218 1 0 3483484 0
[pid=6658/tid=6659] ppid=6656 vsize=13980732 CPUtime=162.06 cores=1,3,5,7
/proc/6658/task/6659/stat : 6659 (java) R 6656 6656 5131 0 -1 4202560 13674 0 0 0 16200 6 0 0 20 0 15 0 9988702 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139783646269312 139783285509718 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6660] ppid=6656 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (java) S 6656 6656 5131 0 -1 1077944384 1389 0 0 0 2 1 0 0 20 0 15 0 9988702 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139783605136272 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6661] ppid=6656 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6658/task/6661/stat : 6661 (java) S 6656 6656 5131 0 -1 1077944384 1378 0 0 0 3 0 0 0 20 0 15 0 9988702 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139783604083472 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6662] ppid=6656 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6658/task/6662/stat : 6662 (java) S 6656 6656 5131 0 -1 1077944384 1278 0 0 0 2 1 0 0 20 0 15 0 9988702 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139783240498320 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6663] ppid=6656 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6658/task/6663/stat : 6663 (java) S 6656 6656 5131 0 -1 1077944384 1760 0 0 0 2 1 0 0 20 0 15 0 9988702 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139783239445520 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6664] ppid=6656 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6658/task/6664/stat : 6664 (java) S 6656 6656 5131 0 -1 1077944384 1252 0 0 0 2 0 0 0 20 0 15 0 9988704 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782625896560 139783642040962 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6665] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6665/stat : 6665 (java) S 6656 6656 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782624842528 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6666] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6666/stat : 6666 (java) S 6656 6656 5131 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782623790192 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6667] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6667/stat : 6667 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782622738512 139783642048411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6668] ppid=6656 vsize=13980732 CPUtime=2.37 cores=1,3,5,7
/proc/6658/task/6668/stat : 6668 (java) S 6656 6656 5131 0 -1 1077944384 11134 0 0 0 236 1 0 0 20 0 15 0 9988707 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782621686384 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6669] ppid=6656 vsize=13980732 CPUtime=2.43 cores=1,3,5,7
/proc/6658/task/6669/stat : 6669 (java) S 6656 6656 5131 0 -1 1077944384 13776 0 0 0 242 1 0 0 20 0 15 0 9988707 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782620633584 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6670] ppid=6656 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/6658/task/6670/stat : 6670 (java) S 6656 6656 5131 0 -1 1077944384 6921 0 0 0 63 1 0 0 20 0 15 0 9988707 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782619581296 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6671] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6671/stat : 6671 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782618528736 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6672] ppid=6656 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6658/task/6672/stat : 6672 (java) S 6656 6656 5131 0 -1 1077944384 446 0 0 0 1 1 0 0 20 0 15 0 9988711 14316269568 53637 18446744073709551615 4194304 4196468 140723103174928 139782617475504 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
Current children cumulated CPU time (s) 167.76
Current children cumulated vsize (KiB) 13990244

[startup+222.306 s]
/proc/loadavg: 1.91 1.93 1.64 3/211 6755
/proc/meminfo: memFree=31594660/32770624 swapFree=0/184752
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
[pid=6658] ppid=6656 vsize=13980732 CPUtime=227.79 cores=1,3,5,7
/proc/6658/stat : 6658 (java) S 6656 6656 5131 0 -1 1077944320 55507 0 0 0 22760 19 0 0 20 0 15 0 9988701 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 140723103157472 139783642029815 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
/proc/6658/statm: 3495183 50304 3218 1 0 3483484 0
[pid=6658/tid=6659] ppid=6656 vsize=13980732 CPUtime=222.05 cores=1,3,5,7
/proc/6658/task/6659/stat : 6659 (java) R 6656 6656 5131 0 -1 4202560 13966 0 0 0 22199 6 0 0 20 0 15 0 9988702 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139783646269168 139783286871830 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6660] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (java) S 6656 6656 5131 0 -1 1077944384 1395 0 0 0 3 1 0 0 20 0 15 0 9988702 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139783605136272 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6661] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6661/stat : 6661 (java) S 6656 6656 5131 0 -1 1077944384 1657 0 0 0 3 1 0 0 20 0 15 0 9988702 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139783604083472 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6662] ppid=6656 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6658/task/6662/stat : 6662 (java) S 6656 6656 5131 0 -1 1077944384 1291 0 0 0 2 1 0 0 20 0 15 0 9988702 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139783240498320 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6663] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6663/stat : 6663 (java) S 6656 6656 5131 0 -1 1077944384 1770 0 0 0 3 1 0 0 20 0 15 0 9988702 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139783239445520 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6664] ppid=6656 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6658/task/6664/stat : 6664 (java) S 6656 6656 5131 0 -1 1077944384 1284 0 0 0 2 0 0 0 20 0 15 0 9988704 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782625896560 139783642040962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6665] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6665/stat : 6665 (java) S 6656 6656 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782624842528 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6666] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6666/stat : 6666 (java) S 6656 6656 5131 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782623790192 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6667] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6667/stat : 6667 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782622738512 139783642048411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6668] ppid=6656 vsize=13980732 CPUtime=2.37 cores=1,3,5,7
/proc/6658/task/6668/stat : 6668 (java) S 6656 6656 5131 0 -1 1077944384 11136 0 0 0 236 1 0 0 20 0 15 0 9988707 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782621686384 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6669] ppid=6656 vsize=13980732 CPUtime=2.43 cores=1,3,5,7
/proc/6658/task/6669/stat : 6669 (java) S 6656 6656 5131 0 -1 1077944384 13778 0 0 0 242 1 0 0 20 0 15 0 9988707 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782620633584 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6670] ppid=6656 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/6658/task/6670/stat : 6670 (java) S 6656 6656 5131 0 -1 1077944384 7424 0 0 0 63 1 0 0 20 0 15 0 9988707 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782619581296 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6671] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6671/stat : 6671 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782618528736 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6672] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6672/stat : 6672 (java) S 6656 6656 5131 0 -1 1077944384 449 0 0 0 2 2 0 0 20 0 15 0 9988711 14316269568 50304 18446744073709551615 4194304 4196468 140723103174928 139782617475504 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
Current children cumulated CPU time (s) 227.79
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.93 1.94 1.65 3/211 6757
/proc/meminfo: memFree=31598984/32770624 swapFree=0/184772
[pid=6656] ppid=6653 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6656/stat : 6656 (xcsp3-exec) S 6653 6656 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9988692 9740288 345 18446744073709551615 4194304 5098028 140732273313024 140732273311128 139861618020988 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 8966144 140732273320347 140732273320551 140732273320551 140732273324011 0
/proc/6656/statm: 2378 345 289 221 0 87 0
[pid=6658] ppid=6656 vsize=13980732 CPUtime=245.49 cores=1,3,5,7
/proc/6658/stat : 6658 (java) S 6656 6656 5131 0 -1 1077944320 56484 0 0 0 24529 20 0 0 20 0 15 0 9988701 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 140723103157472 139783642029815 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
/proc/6658/statm: 3495183 49791 3218 1 0 3483484 0
[pid=6658/tid=6659] ppid=6656 vsize=13980732 CPUtime=239.74 cores=1,3,5,7
/proc/6658/task/6659/stat : 6659 (java) R 6656 6656 5131 0 -1 4202560 14283 0 0 0 23968 6 0 0 20 0 15 0 9988702 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139783646269168 139783287244640 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6660] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (java) S 6656 6656 5131 0 -1 1077944384 1507 0 0 0 3 1 0 0 20 0 15 0 9988702 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139783605136272 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6661] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6661/stat : 6661 (java) S 6656 6656 5131 0 -1 1077944384 1694 0 0 0 3 1 0 0 20 0 15 0 9988702 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139783604083472 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6662] ppid=6656 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6658/task/6662/stat : 6662 (java) S 6656 6656 5131 0 -1 1077944384 1298 0 0 0 2 1 0 0 20 0 15 0 9988702 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139783240498320 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6663] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6663/stat : 6663 (java) S 6656 6656 5131 0 -1 1077944384 1774 0 0 0 3 1 0 0 20 0 15 0 9988702 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139783239445520 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6664] ppid=6656 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6658/task/6664/stat : 6664 (java) S 6656 6656 5131 0 -1 1077944384 1493 0 0 0 2 0 0 0 20 0 15 0 9988704 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782625896560 139783642040962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6665] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6665/stat : 6665 (java) S 6656 6656 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782624842528 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6666] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6666/stat : 6666 (java) S 6656 6656 5131 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9988704 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782623790192 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6667] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6667/stat : 6667 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782622738512 139783642048411 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6668] ppid=6656 vsize=13980732 CPUtime=2.37 cores=1,3,5,7
/proc/6658/task/6668/stat : 6668 (java) S 6656 6656 5131 0 -1 1077944384 11137 0 0 0 236 1 0 0 20 0 15 0 9988707 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782621686384 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6669] ppid=6656 vsize=13980732 CPUtime=2.43 cores=1,3,5,7
/proc/6658/task/6669/stat : 6669 (java) S 6656 6656 5131 0 -1 1077944384 13778 0 0 0 242 1 0 0 20 0 15 0 9988707 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782620633584 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6670] ppid=6656 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/6658/task/6670/stat : 6670 (java) S 6656 6656 5131 0 -1 1077944384 7692 0 0 0 64 1 0 0 20 0 15 0 9988707 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782619581296 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6671] ppid=6656 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6658/task/6671/stat : 6671 (java) S 6656 6656 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9988707 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782618528736 139783642040021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
[pid=6658/tid=6672] ppid=6656 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6658/task/6672/stat : 6672 (java) S 6656 6656 5131 0 -1 1077944384 471 0 0 0 2 2 0 0 20 0 15 0 9988711 14316269568 49791 18446744073709551615 4194304 4196468 140723103174928 139782617475504 139783642040962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140723103179220 140723103179395 140723103179395 140723103182799 0
Current children cumulated CPU time (s) 245.49
Current children cumulated vsize (KiB) 13990244

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6658 sig 9
??? kill 6656 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6656 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=923
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=923
# CPU time returned by wait4() is 0.001846
# while last known CPU time is 245.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 245.49
CPU user time (s): 245.29
CPU system time (s): 0.2
CPU usage (%): 102.283
Max. virtual memory (cumulated for all children) (KiB): 13992192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000923
system time used= 0.000923
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53684 second user time and 0.825753 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 4254380

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