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 5a (2017-07-26)	SAT (TO)	2105	256.13	240.00999

0.00/0.15	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255373-1501620220.xml"  -tl '264s' -p 1 -x 3
0.00/0.34	c [HOME/instance-4255373-1501620220.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.40	c simple solver
0.00/0.47	c parse instance...
0.00/0.94	c solve instance...
10.45/3.87	o 2348 
10.76/3.90	o 2256 
10.76/3.91	o 2255 
10.76/3.93	o 2233 
10.76/3.94	o 2198 
10.76/3.97	o 2157 
11.68/4.25	o 2134 
11.68/4.29	o 2121 
11.98/4.31	o 2105 
256.13/240.00	s SATISFIABLE
256.13/240.00	v <instantiation>
256.13/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>
256.13/240.00	v 	<values>0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 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 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 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 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 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 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 1 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 1 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 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 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 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 1 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 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 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 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 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 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 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 23 33 19 80 100 48 81 71 20 22 28 37 44 63 27 58 17 16 35 2 36 35 28 79 46 19 14 16 55 14 81 9 26 32 91 15 41 47 66 26 74 8 57 47 </values>
256.13/240.00	v </instantiation>
256.13/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-4255373-1501620220/watcher-4255373-1501620220 -o /tmp/evaluation-result-4255373-1501620220/solver-4255373-1501620220 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10800 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1924740902 HOME/instance-4255373-1501620220.xml 

pid=12766
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.11 1.77 1.71 3/195 12769
/proc/meminfo: memFree=31163736/32770624 swapFree=0/190228
[pid=12769] ppid=12766 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (runsolver) D 12766 12769 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10638932 24240128 107 18446744073709551615 4194304 4338465 140734321575072 140734321572712 140578763752151 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 21442560 140734321578076 140734321578566 140734321578566 140734321582026 0
/proc/12769/statm: 5918 107 54 36 0 2156 0

[startup+0.100154 s]
/proc/loadavg: 2.11 1.77 1.71 3/195 12769
/proc/meminfo: memFree=31163736/32770624 swapFree=0/190228
[pid=12769] ppid=12766 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (runsolver) D 12766 12769 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10638932 24240128 107 18446744073709551615 4194304 4338465 140734321575072 140734321572712 140578763752151 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 21442560 140734321578076 140734321578566 140734321578566 140734321582026 0
/proc/12769/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200304 s]
/proc/loadavg: 2.11 1.77 1.71 3/195 12769
/proc/meminfo: memFree=31163736/32770624 swapFree=0/190228
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300281 s]
/proc/loadavg: 2.11 1.77 1.71 3/195 12769
/proc/meminfo: memFree=31163736/32770624 swapFree=0/190228
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700262 s]
/proc/loadavg: 2.11 1.77 1.71 3/195 12769
/proc/meminfo: memFree=31163736/32770624 swapFree=0/190228
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50302 s]
/proc/loadavg: 2.11 1.77 1.71 5/211 12785
/proc/meminfo: memFree=31070472/32770624 swapFree=0/190232
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
[pid=12771] ppid=12769 vsize=13980732 CPUtime=3.33 cores=1,3,5,7
/proc/12771/stat : 12771 (java) S 12769 12769 5123 0 -1 1077944320 19758 0 0 0 325 8 0 0 20 0 15 0 10638947 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140729175558288 140573563379447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
/proc/12771/statm: 3495183 32714 3174 1 0 3483484 0
[pid=12771/tid=12772] ppid=12769 vsize=13980732 CPUtime=1.27 cores=1,3,5,7
/proc/12771/task/12772/stat : 12772 (java) R 12769 12769 5123 0 -1 4202560 8842 0 0 0 122 5 0 0 20 0 15 0 10638948 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140573567617648 140573160923359 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12773] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12773/stat : 12773 (java) S 12769 12769 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10638948 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140573482793744 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12774] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12774/stat : 12774 (java) S 12769 12769 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10638948 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140573481741200 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12775] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12775/stat : 12775 (java) S 12769 12769 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10638948 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140573480688656 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12776] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12776/stat : 12776 (java) S 12769 12769 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10638948 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140573479636112 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12777] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12777/stat : 12777 (java) S 12769 12769 5123 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572748363760 140573563390594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12778] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12778/stat : 12778 (java) S 12769 12769 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572747309984 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12779] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12779/stat : 12779 (java) S 12769 12769 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572746257392 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12780] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12780/stat : 12780 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572745205968 140573563398043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12781] ppid=12769 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/12771/task/12781/stat : 12781 (java) R 12769 12769 5123 0 -1 4202560 3692 0 0 0 78 0 0 0 20 0 15 0 10638953 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572744144912 140573563400794 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12782] ppid=12769 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/12771/task/12782/stat : 12782 (java) S 12769 12769 5123 0 -1 1077944384 3592 0 0 0 74 0 0 0 20 0 15 0 10638953 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572743101040 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12783] ppid=12769 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/12771/task/12783/stat : 12783 (java) S 12769 12769 5123 0 -1 1077944384 2322 0 0 0 49 0 0 0 20 0 15 0 10638953 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572742048496 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12784] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12784/stat : 12784 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572740996192 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12785] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12785/stat : 12785 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638958 14316269568 32714 18446744073709551615 4194304 4196468 140729175575744 140572739942704 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 13990244

[startup+3.10074 s]
/proc/loadavg: 2.26 1.81 1.72 5/211 12785
/proc/meminfo: memFree=30899708/32770624 swapFree=0/190232
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
[pid=12771] ppid=12769 vsize=13980732 CPUtime=8.29 cores=1,3,5,7
/proc/12771/stat : 12771 (java) S 12769 12769 5123 0 -1 1077944320 33936 0 0 0 817 12 0 0 20 0 15 0 10638947 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140729175558288 140573563379447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
/proc/12771/statm: 3495183 55701 3206 1 0 3483484 0
[pid=12771/tid=12772] ppid=12769 vsize=13980732 CPUtime=2.85 cores=1,3,5,7
/proc/12771/task/12772/stat : 12772 (java) R 12769 12769 5123 0 -1 4202560 9792 0 0 0 279 6 0 0 20 0 15 0 10638948 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140573567618504 140573162249385 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12773] ppid=12769 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12771/task/12773/stat : 12773 (java) S 12769 12769 5123 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 10638948 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140573482793744 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12774] ppid=12769 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12771/task/12774/stat : 12774 (java) S 12769 12769 5123 0 -1 1077944384 681 0 0 0 2 0 0 0 20 0 15 0 10638948 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140573481741200 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12775] ppid=12769 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12771/task/12775/stat : 12775 (java) S 12769 12769 5123 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 10638948 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140573480688656 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12776] ppid=12769 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12771/task/12776/stat : 12776 (java) S 12769 12769 5123 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 15 0 10638948 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140573479636112 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12777] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12777/stat : 12777 (java) S 12769 12769 5123 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572748363760 140573563390594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12778] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12778/stat : 12778 (java) S 12769 12769 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572747309984 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12779] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12779/stat : 12779 (java) S 12769 12769 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572746257392 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12780] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12780/stat : 12780 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572745205968 140573563398043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12781] ppid=12769 vsize=13980732 CPUtime=2.35 cores=1,3,5,7
/proc/12771/task/12781/stat : 12781 (java) R 12769 12769 5123 0 -1 4202560 6154 0 0 0 234 1 0 0 20 0 15 0 10638953 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572744140152 140573546865455 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12782] ppid=12769 vsize=13980732 CPUtime=2.31 cores=1,3,5,7
/proc/12771/task/12782/stat : 12782 (java) R 12769 12769 5123 0 -1 4202560 11690 0 0 0 230 1 0 0 20 0 15 0 10638953 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572743086000 140573544923600 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12783] ppid=12769 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/12771/task/12783/stat : 12783 (java) S 12769 12769 5123 0 -1 1077944384 3637 0 0 0 65 1 0 0 20 0 15 0 10638953 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572742048496 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12784] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12784/stat : 12784 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572740996192 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12785] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12785/stat : 12785 (java) S 12769 12769 5123 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10638958 14316269568 55701 18446744073709551615 4194304 4196468 140729175575744 140572739942704 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 13990244

[startup+6.3007 s]
/proc/loadavg: 2.26 1.81 1.72 3/211 12785
/proc/meminfo: memFree=30817032/32770624 swapFree=0/190240
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
[pid=12771] ppid=12769 vsize=13980732 CPUtime=15.77 cores=1,3,5,7
/proc/12771/stat : 12771 (java) S 12769 12769 5123 0 -1 1077944320 37325 0 0 0 1560 17 0 0 20 0 15 0 10638947 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140729175558288 140573563379447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
/proc/12771/statm: 3495183 80322 3218 1 0 3483484 0
[pid=12771/tid=12772] ppid=12769 vsize=13980732 CPUtime=6.01 cores=1,3,5,7
/proc/12771/task/12772/stat : 12772 (java) R 12769 12769 5123 0 -1 4202560 10096 0 0 0 594 7 0 0 20 0 15 0 10638948 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140573567616992 140573162249840 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12773] ppid=12769 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12771/task/12773/stat : 12773 (java) S 12769 12769 5123 0 -1 1077944384 131 0 0 0 3 1 0 0 20 0 15 0 10638948 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140573482793744 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12774] ppid=12769 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12771/task/12774/stat : 12774 (java) S 12769 12769 5123 0 -1 1077944384 752 0 0 0 4 1 0 0 20 0 15 0 10638948 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140573481741200 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12775] ppid=12769 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12771/task/12775/stat : 12775 (java) S 12769 12769 5123 0 -1 1077944384 72 0 0 0 3 1 0 0 20 0 15 0 10638948 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140573480688656 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12776] ppid=12769 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12771/task/12776/stat : 12776 (java) S 12769 12769 5123 0 -1 1077944384 320 0 0 0 4 1 0 0 20 0 15 0 10638948 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140573479636112 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12777] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12777/stat : 12777 (java) S 12769 12769 5123 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572748363760 140573563390594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12778] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12778/stat : 12778 (java) S 12769 12769 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572747310048 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12779] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12779/stat : 12779 (java) S 12769 12769 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572746257408 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12780] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12780/stat : 12780 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572745205968 140573563398043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12781] ppid=12769 vsize=13980732 CPUtime=4.31 cores=1,3,5,7
/proc/12771/task/12781/stat : 12781 (java) S 12769 12769 5123 0 -1 1077944384 7475 0 0 0 430 1 0 0 20 0 15 0 10638953 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572744153584 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12782] ppid=12769 vsize=13980732 CPUtime=4.37 cores=1,3,5,7
/proc/12771/task/12782/stat : 12782 (java) S 12769 12769 5123 0 -1 1077944384 12783 0 0 0 436 1 0 0 20 0 15 0 10638953 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572743101040 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12783] ppid=12769 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/12771/task/12783/stat : 12783 (java) S 12769 12769 5123 0 -1 1077944384 4055 0 0 0 80 2 0 0 20 0 15 0 10638953 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572742048496 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12784] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12784/stat : 12784 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572740996192 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12785] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12785/stat : 12785 (java) S 12769 12769 5123 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 10638958 14316269568 80322 18446744073709551615 4194304 4196468 140729175575744 140572739942704 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 2.15 1.80 1.72 3/211 12785
/proc/meminfo: memFree=30627588/32770624 swapFree=0/190244
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
[pid=12771] ppid=12769 vsize=13980732 CPUtime=23 cores=1,3,5,7
/proc/12771/stat : 12771 (java) S 12769 12769 5123 0 -1 1077944320 41263 0 0 0 2272 28 0 0 20 0 15 0 10638947 14316269568 114082 18446744073709551615 4194304 4196468 140729175575744 140729175558288 140573563379447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
/proc/12771/statm: 3495183 114082 3220 1 0 3483484 0
[pid=12771/tid=12772] ppid=12769 vsize=13980732 CPUtime=12.32 cores=1,3,5,7
/proc/12771/task/12772/stat : 12772 (java) R 12769 12769 5123 0 -1 4202560 11038 0 0 0 1224 8 0 0 20 0 15 0 10638948 14316269568 114082 18446744073709551615 4194304 4196468 140729175575744 140573567615792 140573165024571 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12773] ppid=12769 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/12771/task/12773/stat : 12773 (java) S 12769 12769 5123 0 -1 1077944384 254 0 0 0 9 3 0 0 20 0 15 0 10638948 14316269568 114082 18446744073709551615 4194304 4196468 140729175575744 140573482793744 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12774] ppid=12769 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/12771/task/12774/stat : 12774 (java) S 12769 12769 5123 0 -1 1077944384 1067 0 0 0 10 3 0 0 20 0 15 0 10638948 14316269568 114082 18446744073709551615 4194304 4196468 140729175575744 140573481741200 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0

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

[pid=12771/tid=12778] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12778/stat : 12778 (java) S 12769 12769 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572747310048 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12779] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12779/stat : 12779 (java) S 12769 12769 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572746257408 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12780] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12780/stat : 12780 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572745205968 140573563398043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12781] ppid=12769 vsize=13980732 CPUtime=4.94 cores=1,3,5,7
/proc/12771/task/12781/stat : 12781 (java) S 12769 12769 5123 0 -1 1077944384 14317 0 0 0 493 1 0 0 20 0 15 0 10638953 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572744153584 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12782] ppid=12769 vsize=13980732 CPUtime=5.13 cores=1,3,5,7
/proc/12771/task/12782/stat : 12782 (java) S 12769 12769 5123 0 -1 1077944384 19559 0 0 0 511 2 0 0 20 0 15 0 10638953 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572743101040 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12783] ppid=12769 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/12771/task/12783/stat : 12783 (java) S 12769 12769 5123 0 -1 1077944384 7070 0 0 0 86 2 0 0 20 0 15 0 10638953 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572742048496 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12784] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12784/stat : 12784 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572740996192 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12785] ppid=12769 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12771/task/12785/stat : 12785 (java) S 12769 12769 5123 0 -1 1077944384 175 0 0 0 2 2 0 0 20 0 15 0 10638958 14316269568 348145 18446744073709551615 4194304 4196468 140729175575744 140572739942704 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
Current children cumulated CPU time (s) 114.8
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.06 1.93 1.79 3/212 12796
/proc/meminfo: memFree=28402772/32770624 swapFree=0/190352
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
[pid=12771] ppid=12769 vsize=13980732 CPUtime=175.82 cores=1,3,5,7
/proc/12771/stat : 12771 (java) S 12769 12769 5123 0 -1 1077944320 71596 0 0 0 17472 110 0 0 20 0 15 0 10638947 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140729175558288 140573563379447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
/proc/12771/statm: 3495183 364466 3222 1 0 3483484 0
[pid=12771/tid=12772] ppid=12769 vsize=13980732 CPUtime=161.14 cores=1,3,5,7
/proc/12771/task/12772/stat : 12772 (java) R 12769 12769 5123 0 -1 4202560 20654 0 0 0 16095 19 0 0 20 0 15 0 10638948 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140573567618944 140573160858040 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12773] ppid=12769 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/12771/task/12773/stat : 12773 (java) S 12769 12769 5123 0 -1 1077944384 1259 0 0 0 65 20 0 0 20 0 15 0 10638948 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140573482793744 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12774] ppid=12769 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/12771/task/12774/stat : 12774 (java) S 12769 12769 5123 0 -1 1077944384 1739 0 0 0 69 20 0 0 20 0 15 0 10638948 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140573481741200 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12775] ppid=12769 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/12771/task/12775/stat : 12775 (java) S 12769 12769 5123 0 -1 1077944384 1394 0 0 0 68 19 0 0 20 0 15 0 10638948 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140573480688656 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12776] ppid=12769 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/12771/task/12776/stat : 12776 (java) S 12769 12769 5123 0 -1 1077944384 1606 0 0 0 67 20 0 0 20 0 15 0 10638948 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140573479636112 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12777] ppid=12769 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/12771/task/12777/stat : 12777 (java) S 12769 12769 5123 0 -1 1077944384 2101 0 0 0 2 0 0 0 20 0 15 0 10638950 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572748363760 140573563390594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12778] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12778/stat : 12778 (java) S 12769 12769 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572747310048 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12779] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12779/stat : 12779 (java) S 12769 12769 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572746257408 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12780] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12780/stat : 12780 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572745205968 140573563398043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12781] ppid=12769 vsize=13980732 CPUtime=4.95 cores=1,3,5,7
/proc/12771/task/12781/stat : 12781 (java) S 12769 12769 5123 0 -1 1077944384 14349 0 0 0 494 1 0 0 20 0 15 0 10638953 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572744153584 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12782] ppid=12769 vsize=13980732 CPUtime=5.18 cores=1,3,5,7
/proc/12771/task/12782/stat : 12782 (java) S 12769 12769 5123 0 -1 1077944384 19865 0 0 0 516 2 0 0 20 0 15 0 10638953 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572743101040 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12783] ppid=12769 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/12771/task/12783/stat : 12783 (java) S 12769 12769 5123 0 -1 1077944384 7077 0 0 0 86 2 0 0 20 0 15 0 10638953 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572742048496 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12784] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12784/stat : 12784 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572740996192 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12785] ppid=12769 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/12771/task/12785/stat : 12785 (java) S 12769 12769 5123 0 -1 1077944384 198 0 0 0 4 4 0 0 20 0 15 0 10638958 14316269568 364466 18446744073709551615 4194304 4196468 140729175575744 140572739942704 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
Current children cumulated CPU time (s) 175.82
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 2.10 1.96 1.80 3/212 12876
/proc/meminfo: memFree=30193588/32770624 swapFree=0/190428
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
[pid=12771] ppid=12769 vsize=13980732 CPUtime=237.22 cores=1,3,5,7
/proc/12771/stat : 12771 (java) S 12769 12769 5123 0 -1 1077944320 80573 0 0 0 23577 145 0 0 20 0 15 0 10638947 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140729175558288 140573563379447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
/proc/12771/statm: 3495183 391254 3222 1 0 3483484 0
[pid=12771/tid=12772] ppid=12769 vsize=13980732 CPUtime=220.73 cores=1,3,5,7
/proc/12771/task/12772/stat : 12772 (java) R 12769 12769 5123 0 -1 4202560 22866 0 0 0 22054 19 0 0 20 0 15 0 10638948 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140573567618832 140573157815268 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12773] ppid=12769 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/12771/task/12773/stat : 12773 (java) S 12769 12769 5123 0 -1 1077944384 1712 0 0 0 98 28 0 0 20 0 15 0 10638948 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140573482793744 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12774] ppid=12769 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/12771/task/12774/stat : 12774 (java) S 12769 12769 5123 0 -1 1077944384 2026 0 0 0 101 29 0 0 20 0 15 0 10638948 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140573481741200 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12775] ppid=12769 vsize=13980732 CPUtime=1.29 cores=1,3,5,7
/proc/12771/task/12775/stat : 12775 (java) S 12769 12769 5123 0 -1 1077944384 1675 0 0 0 101 28 0 0 20 0 15 0 10638948 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140573480688656 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12776] ppid=12769 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/12771/task/12776/stat : 12776 (java) S 12769 12769 5123 0 -1 1077944384 2308 0 0 0 101 27 0 0 20 0 15 0 10638948 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140573479636112 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12777] ppid=12769 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/12771/task/12777/stat : 12777 (java) S 12769 12769 5123 0 -1 1077944384 2342 0 0 0 2 1 0 0 20 0 15 0 10638950 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572748363760 140573563390594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12778] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12778/stat : 12778 (java) S 12769 12769 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572747310048 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12779] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12779/stat : 12779 (java) S 12769 12769 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572746257408 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12780] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12780/stat : 12780 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572745205968 140573563398043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12781] ppid=12769 vsize=13980732 CPUtime=5.02 cores=1,3,5,7
/proc/12771/task/12781/stat : 12781 (java) S 12769 12769 5123 0 -1 1077944384 16397 0 0 0 501 1 0 0 20 0 15 0 10638953 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572744153584 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12782] ppid=12769 vsize=13980732 CPUtime=5.24 cores=1,3,5,7
/proc/12771/task/12782/stat : 12782 (java) S 12769 12769 5123 0 -1 1077944384 21596 0 0 0 522 2 0 0 20 0 15 0 10638953 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572743101040 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12783] ppid=12769 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/12771/task/12783/stat : 12783 (java) S 12769 12769 5123 0 -1 1077944384 7871 0 0 0 87 2 0 0 20 0 15 0 10638953 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572742048496 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12784] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12784/stat : 12784 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572740996192 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12785] ppid=12769 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/12771/task/12785/stat : 12785 (java) S 12769 12769 5123 0 -1 1077944384 426 0 0 0 5 6 0 0 20 0 15 0 10638958 14316269568 391254 18446744073709551615 4194304 4196468 140729175575744 140572739942704 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
Current children cumulated CPU time (s) 237.22
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.00 1.94 1.80 3/212 12877
/proc/meminfo: memFree=30213444/32770624 swapFree=0/190444
[pid=12769] ppid=12766 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12769/stat : 12769 (xcsp3-exec) S 12766 12769 5123 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10638932 9740288 345 18446744073709551615 4194304 5098028 140729175746896 140729175745000 140478175588988 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 15 0 0 7196144 7232144 26509312 140729175749019 140729175749223 140729175749223 140729175752683 0
/proc/12769/statm: 2378 345 289 221 0 87 0
[pid=12771] ppid=12769 vsize=13980732 CPUtime=256.13 cores=1,3,5,7
/proc/12771/stat : 12771 (java) S 12769 12769 5123 0 -1 1077944320 84818 0 0 0 25459 154 0 0 20 0 15 0 10638947 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140729175558288 140573563379447 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
/proc/12771/statm: 3495183 374341 3238 1 0 3483484 0
[pid=12771/tid=12772] ppid=12769 vsize=13980732 CPUtime=237.92 cores=1,3,5,7
/proc/12771/task/12772/stat : 12772 (java) R 12769 12769 5123 0 -1 4202560 23136 0 0 0 23773 19 0 0 20 0 15 0 10638948 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140573567618960 140573166043916 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12773] ppid=12769 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/12771/task/12773/stat : 12773 (java) S 12769 12769 5123 0 -1 1077944384 1828 0 0 0 136 30 0 0 20 0 15 0 10638948 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140573482793744 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12774] ppid=12769 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/12771/task/12774/stat : 12774 (java) S 12769 12769 5123 0 -1 1077944384 2126 0 0 0 139 31 0 0 20 0 15 0 10638948 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140573481741200 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12775] ppid=12769 vsize=13980732 CPUtime=1.69 cores=1,3,5,7
/proc/12771/task/12775/stat : 12775 (java) S 12769 12769 5123 0 -1 1077944384 1790 0 0 0 139 30 0 0 20 0 15 0 10638948 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140573480688656 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12776] ppid=12769 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/12771/task/12776/stat : 12776 (java) S 12769 12769 5123 0 -1 1077944384 2432 0 0 0 139 29 0 0 20 0 15 0 10638948 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140573479636112 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12777] ppid=12769 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/12771/task/12777/stat : 12777 (java) S 12769 12769 5123 0 -1 1077944384 4817 0 0 0 12 1 0 0 20 0 15 0 10638950 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572748363760 140573563390594 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12778] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12778/stat : 12778 (java) S 12769 12769 5123 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572747310048 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12779] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12779/stat : 12779 (java) S 12769 12769 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10638950 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572746257408 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12780] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12780/stat : 12780 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572745205968 140573563398043 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12781] ppid=12769 vsize=13980732 CPUtime=5.02 cores=1,3,5,7
/proc/12771/task/12781/stat : 12781 (java) S 12769 12769 5123 0 -1 1077944384 16397 0 0 0 501 1 0 0 20 0 15 0 10638953 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572744153584 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12782] ppid=12769 vsize=13980732 CPUtime=5.24 cores=1,3,5,7
/proc/12771/task/12782/stat : 12782 (java) S 12769 12769 5123 0 -1 1077944384 21596 0 0 0 522 2 0 0 20 0 15 0 10638953 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572743101040 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12783] ppid=12769 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/12771/task/12783/stat : 12783 (java) S 12769 12769 5123 0 -1 1077944384 8884 0 0 0 87 2 0 0 20 0 15 0 10638953 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572742048496 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12784] ppid=12769 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12771/task/12784/stat : 12784 (java) S 12769 12769 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10638953 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572740996192 140573563389653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
[pid=12771/tid=12785] ppid=12769 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/12771/task/12785/stat : 12785 (java) S 12769 12769 5123 0 -1 1077944384 434 0 0 0 5 7 0 0 20 0 15 0 10638958 14316269568 374341 18446744073709551615 4194304 4196468 140729175575744 140572739942704 140573563390594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9621504 140729175577044 140729175577219 140729175577219 140729175580623 0
Current children cumulated CPU time (s) 256.13
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 12771 sig 9
??? kill 12769 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 12769 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1887
# CPU time returned by wait4() is 0.001887
# while last known CPU time is 256.13
#
# 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): 256.13
CPU user time (s): 254.59
CPU system time (s): 1.54
CPU usage (%): 106.716
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001887
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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.07444 second user time and 1.55708 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml
MD5SUM	4e8baeb7bdba194b7c2724961347fdb9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	776
Best CPU time to get the best result obtained on this benchmark	251.925
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 4255373

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