2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT (TO)	4	20010	2520.12

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394018-1568435010.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4394018-1568435010.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
11.93/3.61	c solve instance...
28.18/5.79	o 885 
36.10/6.73	o 883 
45.87/8.40	o 866 
56.81/9.93	o 820 
63.70/11.04	o 819 
68.32/11.92	o 489 
77.70/13.11	o 476 
84.83/14.09	o 474 
86.33/14.34	o 199 
91.95/15.18	o 198 
96.36/15.89	o 181 
102.37/16.79	o 180 
107.71/17.61	o 179 
111.10/18.29	o 118 
118.41/19.23	o 23 
127.59/23.46	o 22 
130.05/24.09	o 18 
139.66/27.38	o 12 
143.83/27.99	o 11 
148.11/28.64	o 10 
156.54/29.80	o 8 
167.12/31.24	o 7 
226.65/39.45	o 6 
362.50/56.69	o 5 
997.19/136.43	o 4 
20009.31/2520.07	s SATISFIABLE
20009.31/2520.07	v <instantiation>
20009.31/2520.07	v 	<list>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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44] </list>
20009.31/2520.07	v 	<values>3 2 3 0 4 1 0 1 0 2 2 0 2 0 0 2 4 2 0 2 0 2 0 3 1 4 2 4 1 2 1 1 1 3 4 4 3 1 3 0 3 1 3 0 1 0 0 0 1 3 2 0 0 2 2 1 1 4 3 1 0 0 1 0 0 1 0 2 2 3 3 1 3 0 1 2 2 1 1 4 4 4 0 4 4 1 0 0 0 1 4 1 1 0 3 1 0 0 4 1 1 3 4 0 3 2 1 4 0 0 0 1 2 2 3 0 2 3 4 4 2 4 3 0 1 0 2 3 1 4 2 1 2 0 1 4 3 3 4 2 0 3 0 2 1 0 2 3 0 1 3 1 2 3 0 1 1 1 1 0 1 1 0 3 1 1 2 2 0 4 2 4 4 2 2 3 0 2 1 2 1 1 0 3 4 0 1 4 3 1 4 3 2 0 2 0 1 0 0 1 1 0 0 3 3 1 2 0 0 2 3 4 0 1 1 0 3 0 0 2 0 1 1 2 1 1 2 0 1 0 2 3 0 0 4 1 3 2 1 0 3 3 4 2 3 0 1 2 4 1 0 0 1 1 1 3 2 0 1 0 2 2 4 3 2 3 0 3 2 2 3 0 2 4 2 3 1 3 0 2 2 3 0 0 2 0 1 0 4 0 0 2 1 1 3 4 1 3 2 0 4 3 2 3 0 2 4 2 2 1 0 0 2 3 0 3 1 3 4 4 3 1 1 2 1 4 4 0 3 1 2 2 1 1 0 1 0 0 2 1 3 0 3 1 3 0 2 3 3 1 1 1 3 2 0 3 4 0 2 0 3 1 1 1 4 1 0 2 2 2 0 2 1 3 4 4 2 1 0 1 0 3 0 2 0 0 3 0 3 2 3 1 2 4 1 3 2 0 2 1 0 0 4 4 4 3 1 0 2 3 0 1 1 3 1 2 3 2 4 4 0 0 0 0 1 0 0 2 2 0 3 1 3 4 1 1 0 1 0 0 4 0 1 0 3 1 2 1 1 4 3 0 2 1 3 2 0 2 2 2 3 0 2 3 2 2 1 0 3 1 1 2 1 1 4 3 0 0 4 4 1 0 0 4 1 1 0 0 2 4 4 3 4 3 3 0 4 3 1 1 0 0 4 2 2 1 3 4 1 2 0 4 2 1 0 4 2 2 1 1 2 3 2 4 0 1 1 4 3 4 2 1 3 2 0 2 0 0 2 4 4 4 0 1 0 3 2 0 3 0 1 1 0 3 1 4 1 0 3 2 2 0 3 2 1 0 0 0 2 2 3 0 4 4 2 2 1 0 1 2 2 0 1 3 2 1 0 3 2 0 3 0 1 2 0 1 4 1 0 2 3 2 2 1 2 1 1 0 3 2 0 0 3 0 2 4 4 2 2 0 1 0 3 2 2 0 3 1 3 0 2 3 1 3 2 2 4 4 0 3 0 4 1 0 2 2 1 3 2 0 0 3 1 4 0 0 2 1 4 0 1 1 3 0 1 1 1 3 4 2 3 4 1 0 1 3 2 0 0 3 2 0 0 0 3 3 2 1 1 1 4 0 4 0 3 0 0 4 4 4 2 2 1 2 3 3 1 0 1 0 4 2 4 3 1 2 4 1 1 0 0 0 1 2 0 0 3 0 3 0 2 1 3 0 3 0 2 0 2 2 3 3 4 0 4 1 3 0 4 0 2 0 1 4 2 0 1 1 2 0 1 1 0 1 3 1 0 0 1 2 2 4 1 4 4 1 1 3 3 1 1 2 1 0 1 0 4 3 0 2 0 4 4 2 4 3 4 3 1 1 3 2 4 2 2 2 2 0 1 1 0 0 2 4 0 3 0 0 4 1 3 0 3 3 4 0 1 0 2 3 4 4 2 2 1 0 4 4 4 0 1 1 1 2 1 0 4 1 1 2 3 4 2 3 1 2 0 1 4 2 2 3 2 2 0 2 3 1 1 0 1 0 4 4 2 3 3 1 0 1 1 3 0 2 3 0 3 2 1 3 3 4 0 2 0 0 3 2 2 3 3 0 3 2 0 4 2 2 1 4 3 1 2 1 4 4 4 3 2 0 2 4 2 0 0 2 3 2 2 0 2 4 3 1 0 3 0 1 0 1 0 0 4 1 2 0 1 0 2 0 1 0 2 1 1 2 3 4 1 1 2 0 1 2 4 2 3 2 0 2 1 1 3 0 0 0 1 1 4 1 3 1 1 3 3 1 0 2 2 3 </values>
20009.31/2520.07	v </instantiation>
20009.31/2520.07	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394018-1568435010/watcher-4394018-1568435010 -o /tmp/evaluation-result-4394018-1568435010/solver-4394018-1568435010 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568426870-11268 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 952952473 HOME/instance-4394018-1568435010.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13557, runsolver pid=13554
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 6.68 6.97 6.97 3/212 13578
/proc/meminfo: memFree=31442972/32770624 swapFree=66982356/67108860
[pid=13557] ppid=13554 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13557/stat : 13557 (xcsp3-exec) S 13554 13557 11241 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419763662 115843072 364 33554432000 4194304 5098028 140733798545920 140733798544024 140125110055548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27213824 140733798548342 140733798548585 140733798548585 140733798551498 0
/proc/13557/statm: 28282 364 305 221 0 87 0
[pid=13559] ppid=13557 vsize=28227388 memory=29104 CPUtime=0.11 cores=0-7
/proc/13559/stat : 13559 (java) S 13557 13557 11241 0 -1 1077944320 5757 0 0 0 10 1 0 0 20 0 20 0 419763662 28904845312 7276 33554432000 4194304 4196468 140737008975344 140737008957888 139811864162039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
/proc/13559/statm: 7056847 7276 3114 1 0 7019032 0
[pid=13559/tid=13560] ppid=13557 vsize=28227388 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/13559/task/13560/stat : 13560 (java) R 13557 13557 11241 0 -1 4202560 3665 0 0 0 8 0 0 0 20 0 20 0 419763662 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811868394368 139811864173974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13561] ppid=13557 vsize=28227388 memory=732370638166969317 CPUtime=0 cores=0-7
/proc/13559/task/13561/stat : 13561 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811816782096 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13562] ppid=13557 vsize=28227388 memory=140499829515904 CPUtime=0 cores=0-7
/proc/13559/task/13562/stat : 13562 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811815729552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13563] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13563/stat : 13563 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811814677008 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13564] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13564/stat : 13564 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811813624464 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13565] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13565/stat : 13565 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811812571920 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13566] ppid=13557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13559/task/13566/stat : 13566 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811811519376 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13567] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13567/stat : 13567 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811810466832 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13568] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13568/stat : 13568 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 7276 33554432000 4194304 4196468 140737008975344 139811809414288 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13569] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13569/stat : 13569 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763665 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810913105904 139811864173186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13570] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13570/stat : 13570 (java) S 13557 13557 11241 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419763665 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810912052128 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13571] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13571/stat : 13571 (java) S 13557 13557 11241 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419763665 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810910999536 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13572] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13572/stat : 13572 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810909948112 139811864180635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13573] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13573/stat : 13573 (java) S 13557 13557 11241 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810908895728 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13574] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13574/stat : 13574 (java) R 13557 13557 11241 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810907843184 139811864173186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13575] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13575/stat : 13575 (java) R 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810906790640 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13576] ppid=13557 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/13559/task/13576/stat : 13576 (java) R 13557 13557 11241 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 20 0 419763668 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810905738096 139811864183386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13577] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13577/stat : 13577 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810904684768 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13578] ppid=13557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13559/task/13578/stat : 13578 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 7276 33554432000 4194304 4196468 140737008975344 139810903632304 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30560 KiB

[startup+0.210068 s]*
/proc/loadavg: 6.68 6.97 6.97 3/212 13578
/proc/meminfo: memFree=31430224/32770624 swapFree=66982356/67108860
[pid=13557] ppid=13554 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13557/stat : 13557 (xcsp3-exec) S 13554 13557 11241 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419763662 115843072 364 33554432000 4194304 5098028 140733798545920 140733798544024 140125110055548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27213824 140733798548342 140733798548585 140733798548585 140733798551498 0
/proc/13557/statm: 28282 364 305 221 0 87 0
[pid=13559] ppid=13557 vsize=28227388 memory=40976 CPUtime=0.33 cores=0-7
/proc/13559/stat : 13559 (java) S 13557 13557 11241 0 -1 1077944320 9495 0 0 0 30 3 0 0 20 0 20 0 419763662 28904845312 10244 33554432000 4194304 4196468 140737008975344 140737008957888 139811864162039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
/proc/13559/statm: 7056847 10244 3308 1 0 7019032 0
[pid=13559/tid=13560] ppid=13557 vsize=28227388 memory=0 CPUtime=0.2 cores=0-7
/proc/13559/task/13560/stat : 13560 (java) R 13557 13557 11241 0 -1 4202560 6643 0 0 0 18 2 0 0 20 0 20 0 419763662 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811868394768 139811864173974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13561] ppid=13557 vsize=28227388 memory=732370638166969317 CPUtime=0 cores=0-7
/proc/13559/task/13561/stat : 13561 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811816782096 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13562] ppid=13557 vsize=28227388 memory=140499829515904 CPUtime=0 cores=0-7
/proc/13559/task/13562/stat : 13562 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811815729552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13563] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13563/stat : 13563 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811814677008 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13564] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13564/stat : 13564 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811813624464 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13565] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13565/stat : 13565 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811812571920 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13566] ppid=13557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13559/task/13566/stat : 13566 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811811519376 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13567] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13567/stat : 13567 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811810466832 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13568] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13568/stat : 13568 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419763663 28904845312 10244 33554432000 4194304 4196468 140737008975344 139811809414288 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13569] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13569/stat : 13569 (java) S 13557 13557 11241 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419763665 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810913105904 139811864173186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13570] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13570/stat : 13570 (java) S 13557 13557 11241 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419763665 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810912052128 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13571] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13571/stat : 13571 (java) S 13557 13557 11241 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419763665 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810910999536 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13572] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13572/stat : 13572 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810909948112 139811864180635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13573] ppid=13557 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/13559/task/13573/stat : 13573 (java) S 13557 13557 11241 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 20 0 419763668 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810908895728 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13574] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13574/stat : 13574 (java) S 13557 13557 11241 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810907843184 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13575] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13575/stat : 13575 (java) S 13557 13557 11241 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810906790640 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13576] ppid=13557 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/13559/task/13576/stat : 13576 (java) S 13557 13557 11241 0 -1 1077944384 772 0 0 0 7 0 0 0 20 0 20 0 419763668 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810905738096 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13577] ppid=13557 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13577/stat : 13577 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810904684768 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13578] ppid=13557 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/13559/task/13578/stat : 13578 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763668 28904845312 10244 33554432000 4194304 4196468 140737008975344 139810903632304 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42432 KiB

[startup+0.309732 s]*
/proc/loadavg: 6.68 6.97 6.97 3/212 13578
/proc/meminfo: memFree=31424612/32770624 swapFree=66982356/67108860
[pid=13557] ppid=13554 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13557/stat : 13557 (xcsp3-exec) S 13554 13557 11241 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419763662 115843072 364 33554432000 4194304 5098028 140733798545920 140733798544024 140125110055548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27213824 140733798548342 140733798548585 140733798548585 140733798551498 0
/proc/13557/statm: 28282 364 305 221 0 87 0
[pid=13559] ppid=13557 vsize=28231644 memory=50104 CPUtime=0.52 cores=0-7
/proc/13559/stat : 13559 (java) S 13557 13557 11241 0 -1 1077944320 10861 0 0 0 48 4 0 0 20 0 20 0 419763662 28909203456 12526 33554432000 4194304 4196468 140737008975344 140737008957888 139811864162039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
/proc/13559/statm: 7057911 12526 3357 1 0 7019032 0
[pid=13559/tid=13560] ppid=13557 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/13559/task/13560/stat : 13560 (java) R 13557 13557 11241 0 -1 4202560 7763 0 0 0 27 3 0 0 20 0 20 0 419763662 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811868393152 139811848242526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13561] ppid=13557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13561/stat : 13561 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811816782096 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13562] ppid=13557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13562/stat : 13562 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811815729552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13563] ppid=13557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13563/stat : 13563 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811814677008 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13564] ppid=13557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13564/stat : 13564 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811813624464 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13565] ppid=13557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13565/stat : 13565 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811812571920 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13566] ppid=13557 vsize=28231644 memory=140499721743023 CPUtime=0 cores=0-7
/proc/13559/task/13566/stat : 13566 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811811519376 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13567] ppid=13557 vsize=28231644 memory=140499721745328 CPUtime=0 cores=0-7
/proc/13559/task/13567/stat : 13567 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811810466832 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13568] ppid=13557 vsize=28231644 memory=140499721747632 CPUtime=0 cores=0-7
/proc/13559/task/13568/stat : 13568 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419763663 28909203456 12526 33554432000 4194304 4196468 140737008975344 139811809414288 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13569] ppid=13557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13569/stat : 13569 (java) S 13557 13557 11241 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419763665 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810913105904 139811864173186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13570] ppid=13557 vsize=28231644 memory=280999443509136 CPUtime=0 cores=0-7
/proc/13559/task/13570/stat : 13570 (java) S 13557 13557 11241 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419763665 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810912052128 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13571] ppid=13557 vsize=28231644 memory=280999443506832 CPUtime=0 cores=0-7
/proc/13559/task/13571/stat : 13571 (java) S 13557 13557 11241 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419763665 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810910999536 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13572] ppid=13557 vsize=28231644 memory=280999443513744 CPUtime=0 cores=0-7
/proc/13559/task/13572/stat : 13572 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763668 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810909948112 139811864180635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13573] ppid=13557 vsize=28231644 memory=280999443454992 CPUtime=0.03 cores=0-7
/proc/13559/task/13573/stat : 13573 (java) S 13557 13557 11241 0 -1 1077944384 579 0 0 0 3 0 0 0 20 0 20 0 419763668 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810908895728 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13574] ppid=13557 vsize=28231644 memory=280999443527568 CPUtime=0.01 cores=0-7
/proc/13559/task/13574/stat : 13574 (java) S 13557 13557 11241 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 419763668 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810907843184 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13575] ppid=13557 vsize=28231644 memory=280999443534480 CPUtime=0.02 cores=0-7
/proc/13559/task/13575/stat : 13575 (java) R 13557 13557 11241 0 -1 4202560 147 0 0 0 2 0 0 0 20 0 20 0 419763668 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810906771752 139811841813904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13576] ppid=13557 vsize=28231644 memory=280999443532176 CPUtime=0.12 cores=0-7
/proc/13559/task/13576/stat : 13576 (java) S 13557 13557 11241 0 -1 1077944384 895 0 0 0 12 0 0 0 20 0 20 0 419763668 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810905738096 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13577] ppid=13557 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13577/stat : 13577 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419763668 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810904684768 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13578] ppid=13557 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/13559/task/13578/stat : 13578 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419763668 28909203456 12526 33554432000 4194304 4196468 140737008975344 139810903632304 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51560 KiB

[startup+0.701054 s]
/proc/loadavg: 6.68 6.97 6.97 4/212 13578
/proc/meminfo: memFree=31395796/32770624 swapFree=66982356/67108860
[pid=13557] ppid=13554 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13557/stat : 13557 (xcsp3-exec) S 13554 13557 11241 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419763662 115843072 364 33554432000 4194304 5098028 140733798545920 140733798544024 140125110055548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27213824 140733798548342 140733798548585 140733798548585 140733798551498 0
/proc/13557/statm: 28282 364 305 221 0 87 0
[pid=13559] ppid=13557 vsize=28233768 memory=139516 CPUtime=1.97 cores=0-7
/proc/13559/stat : 13559 (java) S 13557 13557 11241 0 -1 1077944320 14778 0 0 0 191 6 0 0 20 0 20 0 419763662 28911378432 34879 33554432000 4194304 4196468 140737008975344 140737008957888 139811864162039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
/proc/13559/statm: 7058442 34879 3451 1 0 7019544 0
[pid=13559/tid=13560] ppid=13557 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/13559/task/13560/stat : 13560 (java) R 13557 13557 11241 0 -1 4202560 8384 0 0 0 64 4 0 0 20 0 20 0 419763662 28911378432 34879 33554432000 4194304 4196468 140737008975344 139811868396528 139811471503527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13561] ppid=13557 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13561/stat : 13561 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28911378432 34879 33554432000 4194304 4196468 140737008975344 139811816782096 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13562] ppid=13557 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13562/stat : 13562 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28911378432 34879 33554432000 4194304 4196468 140737008975344 139811815729552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13563] ppid=13557 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/13559/task/13563/stat : 13563 (java) S 13557 13557 11241 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419763663 28911378432 34879 33554432000 4194304 4196468 140737008975344 139811814677008 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0

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

[pid=13559/tid=13795] ppid=13557 vsize=28768328 memory=3833180 CPUtime=2287.15 cores=0-7
/proc/13559/task/13795/stat : 13795 (java) R 13557 13557 11241 0 -1 4202560 17431 0 0 0 228692 23 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810893369048 139811477084989 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
Current children cumulated CPU time: 19389.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3834636 KiB

[startup+2502.3 s]
/proc/loadavg: 8.36 8.41 8.30 9/221 13995
/proc/meminfo: memFree=27631936/32770624 swapFree=66982412/67108860
[pid=13557] ppid=13554 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13557/stat : 13557 (xcsp3-exec) S 13554 13557 11241 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419763662 115843072 364 33554432000 4194304 5098028 140733798545920 140733798544024 140125110055548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27213824 140733798548342 140733798548585 140733798548585 140733798551498 0
/proc/13557/statm: 28282 364 305 221 0 87 0
[pid=13559] ppid=13557 vsize=28768328 memory=3833180 CPUtime=19868 cores=0-7
/proc/13559/stat : 13559 (java) S 13557 13557 11241 0 -1 1077944320 757019 0 0 0 1985574 1229 0 0 20 0 28 0 419763662 29458767872 958295 33554432000 4194304 4196468 140737008975344 140737008957888 139811864162039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
/proc/13559/statm: 7192082 958295 3551 1 0 7153184 0
[pid=13559/tid=13560] ppid=13557 vsize=28768328 memory=3833180 CPUtime=3.02 cores=0-7
/proc/13559/task/13560/stat : 13560 (java) S 13557 13557 11241 0 -1 1077944384 11805 0 0 0 290 12 0 0 20 0 28 0 419763662 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811868402816 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13561] ppid=13557 vsize=28768328 memory=3833180 CPUtime=1.83 cores=0-7
/proc/13559/task/13561/stat : 13561 (java) S 13557 13557 11241 0 -1 1077944384 4375 0 0 0 98 85 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811816782096 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13562] ppid=13557 vsize=28768328 memory=3833180 CPUtime=1.85 cores=0-7
/proc/13559/task/13562/stat : 13562 (java) S 13557 13557 11241 0 -1 1077944384 5067 0 0 0 102 83 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811815729552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13563] ppid=13557 vsize=28768328 memory=1456 CPUtime=1.84 cores=0-7
/proc/13559/task/13563/stat : 13563 (java) S 13557 13557 11241 0 -1 1077944384 4923 0 0 0 102 82 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811814677008 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13564] ppid=13557 vsize=28768328 memory=7956848339866701924 CPUtime=1.83 cores=0-7
/proc/13559/task/13564/stat : 13564 (java) S 13557 13557 11241 0 -1 1077944384 6760 0 0 0 99 84 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811813624464 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13565] ppid=13557 vsize=28768328 memory=984 CPUtime=1.85 cores=0-7
/proc/13559/task/13565/stat : 13565 (java) S 13557 13557 11241 0 -1 1077944384 4858 0 0 0 101 84 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811812571920 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13566] ppid=13557 vsize=28768328 memory=1328 CPUtime=1.85 cores=0-7
/proc/13559/task/13566/stat : 13566 (java) S 13557 13557 11241 0 -1 1077944384 5508 0 0 0 100 85 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811811519376 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13567] ppid=13557 vsize=28768328 memory=0 CPUtime=1.77 cores=0-7
/proc/13559/task/13567/stat : 13567 (java) S 13557 13557 11241 0 -1 1077944384 4454 0 0 0 102 75 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811810466832 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13568] ppid=13557 vsize=28768328 memory=7956278801500628817 CPUtime=1.83 cores=0-7
/proc/13559/task/13568/stat : 13568 (java) S 13557 13557 11241 0 -1 1077944384 4441 0 0 0 101 82 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811809414288 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13569] ppid=13557 vsize=28768328 memory=1456 CPUtime=0.64 cores=0-7
/proc/13559/task/13569/stat : 13569 (java) S 13557 13557 11241 0 -1 1077944384 10302 0 0 0 27 37 0 0 20 0 28 0 419763665 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810913105904 139811864173186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13570] ppid=13557 vsize=28768328 memory=3833180 CPUtime=0 cores=0-7
/proc/13559/task/13570/stat : 13570 (java) S 13557 13557 11241 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 419763665 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810912052192 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13571] ppid=13557 vsize=28768328 memory=920 CPUtime=0 cores=0-7
/proc/13559/task/13571/stat : 13571 (java) S 13557 13557 11241 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 419763665 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810910999552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13572] ppid=13557 vsize=28768328 memory=1984 CPUtime=0 cores=0-7
/proc/13559/task/13572/stat : 13572 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810909948112 139811864180635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13573] ppid=13557 vsize=28768328 memory=1456 CPUtime=4.1 cores=0-7
/proc/13559/task/13573/stat : 13573 (java) S 13557 13557 11241 0 -1 1077944384 35473 0 0 0 405 5 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810908895728 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13574] ppid=13557 vsize=28768328 memory=3833180 CPUtime=5.4 cores=0-7
/proc/13559/task/13574/stat : 13574 (java) S 13557 13557 11241 0 -1 1077944384 41512 0 0 0 532 8 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810907843184 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13575] ppid=13557 vsize=28768328 memory=1412 CPUtime=4.91 cores=0-7
/proc/13559/task/13575/stat : 13575 (java) S 13557 13557 11241 0 -1 1077944384 48616 0 0 0 482 9 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810906790640 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13576] ppid=13557 vsize=28768328 memory=4140 CPUtime=1.23 cores=0-7
/proc/13559/task/13576/stat : 13576 (java) S 13557 13557 11241 0 -1 1077944384 28425 0 0 0 117 6 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810905738096 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13577] ppid=13557 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/13559/task/13577/stat : 13577 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810904684768 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13578] ppid=13557 vsize=28768328 memory=1456 CPUtime=0.97 cores=0-7
/proc/13559/task/13578/stat : 13578 (java) S 13557 13557 11241 0 -1 1077944384 6106 0 0 0 19 78 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810903632304 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13788] ppid=13557 vsize=28768328 memory=1456 CPUtime=2357.33 cores=0-7
/proc/13559/task/13788/stat : 13788 (java) R 13557 13557 11241 0 -1 4202560 45740 0 0 0 235642 91 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810889161328 139811474728859 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13789] ppid=13557 vsize=28768328 memory=3833180 CPUtime=2363.45 cores=0-7
/proc/13559/task/13789/stat : 13789 (java) R 13557 13557 11241 0 -1 4202560 13052 0 0 0 236335 10 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810891268520 139811474728859 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13790] ppid=13557 vsize=28768328 memory=2004 CPUtime=2363.27 cores=0-7
/proc/13559/task/13790/stat : 13790 (java) R 13557 13557 11241 0 -1 4202560 109422 0 0 0 236251 76 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810890211512 139811474728859 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13791] ppid=13557 vsize=28768328 memory=3833180 CPUtime=2355.54 cores=0-7
/proc/13559/task/13791/stat : 13791 (java) R 13557 13557 11241 0 -1 4202560 20823 0 0 0 235511 43 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810887053232 139811474728859 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13792] ppid=13557 vsize=28768328 memory=2004 CPUtime=2359.24 cores=0-7
/proc/13559/task/13792/stat : 13792 (java) R 13557 13557 11241 0 -1 4202560 38017 0 0 0 235896 28 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810892317208 139811474266665 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13793] ppid=13557 vsize=28768328 memory=984 CPUtime=2363.62 cores=0-7
/proc/13559/task/13793/stat : 13793 (java) R 13557 13557 11241 0 -1 4202560 88652 0 0 0 236330 32 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810894422584 139811474728859 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13794] ppid=13557 vsize=28768328 memory=1456 CPUtime=2352.08 cores=0-7
/proc/13559/task/13794/stat : 13794 (java) R 13557 13557 11241 0 -1 4202560 14045 0 0 0 235191 17 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810888110120 139811474728846 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13795] ppid=13557 vsize=28768328 memory=3833180 CPUtime=2347.15 cores=0-7
/proc/13559/task/13795/stat : 13795 (java) R 13557 13557 11241 0 -1 4202560 17672 0 0 0 234692 23 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810893369048 139811474728859 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
Current children cumulated CPU time: 19868 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3834636 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.33 8.40 8.30 9/221 13995
/proc/meminfo: memFree=27632464/32770624 swapFree=66982412/67108860
[pid=13557] ppid=13554 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13557/stat : 13557 (xcsp3-exec) S 13554 13557 11241 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419763662 115843072 364 33554432000 4194304 5098028 140733798545920 140733798544024 140125110055548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27213824 140733798548342 140733798548585 140733798548585 140733798551498 0
/proc/13557/statm: 28282 364 305 221 0 87 0
[pid=13559] ppid=13557 vsize=28768328 memory=3833180 CPUtime=20009.3 cores=0-7
/proc/13559/stat : 13559 (java) S 13557 13557 11241 0 -1 1077944320 757374 0 0 0 1999699 1232 0 0 20 0 28 0 419763662 29458767872 958295 33554432000 4194304 4196468 140737008975344 140737008957888 139811864162039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
/proc/13559/statm: 7192082 958295 3551 1 0 7153184 0
[pid=13559/tid=13560] ppid=13557 vsize=28768328 memory=8317482817917895235 CPUtime=3.02 cores=0-7
/proc/13559/task/13560/stat : 13560 (java) S 13557 13557 11241 0 -1 1077944384 11805 0 0 0 290 12 0 0 20 0 28 0 419763662 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811868402816 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13561] ppid=13557 vsize=28768328 memory=-7003737579269690708 CPUtime=1.83 cores=0-7
/proc/13559/task/13561/stat : 13561 (java) S 13557 13557 11241 0 -1 1077944384 4375 0 0 0 98 85 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811816782096 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13562] ppid=13557 vsize=28768328 memory=15252640887999028 CPUtime=1.85 cores=0-7
/proc/13559/task/13562/stat : 13562 (java) S 13557 13557 11241 0 -1 1077944384 5067 0 0 0 102 83 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811815729552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13563] ppid=13557 vsize=28768328 memory=14008 CPUtime=1.84 cores=0-7
/proc/13559/task/13563/stat : 13563 (java) S 13557 13557 11241 0 -1 1077944384 4923 0 0 0 102 82 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811814677008 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13564] ppid=13557 vsize=28768328 memory=6791534058613427641 CPUtime=1.83 cores=0-7
/proc/13559/task/13564/stat : 13564 (java) S 13557 13557 11241 0 -1 1077944384 6760 0 0 0 99 84 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811813624464 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13565] ppid=13557 vsize=28768328 memory=1456 CPUtime=1.85 cores=0-7
/proc/13559/task/13565/stat : 13565 (java) S 13557 13557 11241 0 -1 1077944384 4858 0 0 0 101 84 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811812571920 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13566] ppid=13557 vsize=28768328 memory=3833180 CPUtime=1.85 cores=0-7
/proc/13559/task/13566/stat : 13566 (java) S 13557 13557 11241 0 -1 1077944384 5508 0 0 0 100 85 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811811519376 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13567] ppid=13557 vsize=28768328 memory=4160 CPUtime=1.77 cores=0-7
/proc/13559/task/13567/stat : 13567 (java) S 13557 13557 11241 0 -1 1077944384 4454 0 0 0 102 75 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811810466832 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13568] ppid=13557 vsize=28768328 memory=1692 CPUtime=1.83 cores=0-7
/proc/13559/task/13568/stat : 13568 (java) S 13557 13557 11241 0 -1 1077944384 4441 0 0 0 101 82 0 0 20 0 28 0 419763663 29458767872 958295 33554432000 4194304 4196468 140737008975344 139811809414288 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13569] ppid=13557 vsize=28768328 memory=1028 CPUtime=0.64 cores=0-7
/proc/13559/task/13569/stat : 13569 (java) S 13557 13557 11241 0 -1 1077944384 10302 0 0 0 27 37 0 0 20 0 28 0 419763665 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810913105904 139811864173186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13570] ppid=13557 vsize=28768328 memory=1060 CPUtime=0 cores=0-7
/proc/13559/task/13570/stat : 13570 (java) S 13557 13557 11241 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 419763665 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810912052192 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13571] ppid=13557 vsize=28768328 memory=2828 CPUtime=0 cores=0-7
/proc/13559/task/13571/stat : 13571 (java) S 13557 13557 11241 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 419763665 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810910999552 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13572] ppid=13557 vsize=28768328 memory=756 CPUtime=0 cores=0-7
/proc/13559/task/13572/stat : 13572 (java) S 13557 13557 11241 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810909948112 139811864180635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13573] ppid=13557 vsize=28768328 memory=1548 CPUtime=4.1 cores=0-7
/proc/13559/task/13573/stat : 13573 (java) S 13557 13557 11241 0 -1 1077944384 35473 0 0 0 405 5 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810908895728 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13574] ppid=13557 vsize=28768328 memory=7980 CPUtime=5.4 cores=0-7
/proc/13559/task/13574/stat : 13574 (java) S 13557 13557 11241 0 -1 1077944384 41512 0 0 0 532 8 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810907843184 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13575] ppid=13557 vsize=28768328 memory=6791534058613427641 CPUtime=4.91 cores=0-7
/proc/13559/task/13575/stat : 13575 (java) S 13557 13557 11241 0 -1 1077944384 48616 0 0 0 482 9 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810906790640 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13576] ppid=13557 vsize=28768328 memory=780 CPUtime=1.23 cores=0-7
/proc/13559/task/13576/stat : 13576 (java) S 13557 13557 11241 0 -1 1077944384 28425 0 0 0 117 6 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810905738096 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13577] ppid=13557 vsize=28768328 memory=4160 CPUtime=0 cores=0-7
/proc/13559/task/13577/stat : 13577 (java) S 13557 13557 11241 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810904684768 139811864172245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13578] ppid=13557 vsize=28768328 memory=1692 CPUtime=0.97 cores=0-7
/proc/13559/task/13578/stat : 13578 (java) S 13557 13557 11241 0 -1 1077944384 6108 0 0 0 19 78 0 0 20 0 28 0 419763668 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810903632304 139811864173186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13788] ppid=13557 vsize=28768328 memory=1028 CPUtime=2375.04 cores=0-7
/proc/13559/task/13788/stat : 13788 (java) R 13557 13557 11241 0 -1 4202560 45850 0 0 0 237412 92 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810889161328 139811474728834 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13789] ppid=13557 vsize=28768328 memory=1060 CPUtime=2381.15 cores=0-7
/proc/13559/task/13789/stat : 13789 (java) R 13557 13557 11241 0 -1 4202560 13064 0 0 0 238105 10 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810891268520 139811474728859 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13790] ppid=13557 vsize=28768328 memory=2828 CPUtime=2380.97 cores=0-7
/proc/13559/task/13790/stat : 13790 (java) R 13557 13557 11241 0 -1 4202560 109500 0 0 0 238021 76 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810890211512 139811474728846 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13791] ppid=13557 vsize=28768328 memory=756 CPUtime=2373.24 cores=0-7
/proc/13559/task/13791/stat : 13791 (java) R 13557 13557 11241 0 -1 4202560 20859 0 0 0 237281 43 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810887053232 139811474266665 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13792] ppid=13557 vsize=28768328 memory=1548 CPUtime=2376.95 cores=0-7
/proc/13559/task/13792/stat : 13792 (java) R 13557 13557 11241 0 -1 4202560 38067 0 0 0 237666 29 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810892317208 139811474266768 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13793] ppid=13557 vsize=28768328 memory=288230574492221466 CPUtime=2381.32 cores=0-7
/proc/13559/task/13793/stat : 13793 (java) R 13557 13557 11241 0 -1 4202560 88667 0 0 0 238100 32 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810894422584 139811474728846 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13794] ppid=13557 vsize=28768328 memory=288230617509003574 CPUtime=2369.42 cores=0-7
/proc/13559/task/13794/stat : 13794 (java) R 13557 13557 11241 0 -1 4202560 14050 0 0 0 236925 17 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810888110120 139811474728741 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
[pid=13559/tid=13795] ppid=13557 vsize=28768328 memory=15252640887999028 CPUtime=2364.85 cores=0-7
/proc/13559/task/13795/stat : 13795 (java) R 13557 13557 11241 0 -1 4202560 17719 0 0 0 236462 23 0 0 20 0 28 0 419777305 29458767872 958295 33554432000 4194304 4196468 140737008975344 139810893369048 139811474728859 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37863424 140737008980970 140737008981142 140737008981142 140737008984015 0
Current children cumulated CPU time: 20009.3 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3834636 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 20010
CPU user time (s): 19997.6
CPU system time (s): 12.3572
CPU usage (%): 794.008
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 4036232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19997.6
system time used= 12.3572
maximum resident set size= 4112600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 758901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67649
involuntary context switches= 234364


# summary of solver processes directly reported to runsolver:
#   pid: 13557,13559
#   total CPU time (s): 20010
#   total CPU user time (s): 19997.6
#   total CPU system time (s): 12.3572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.4058 second user time and 27.7538 second system time

The end

Name	Ramsey/Ramsey-m1-s1/ Ramsey-45.xml
MD5SUM	1426235d943c6b8ba94de7087c35e664
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2520
Satisfiable
(Un)Satisfiability was proved
Number of variables	2025
Number of constraints	14190
Number of domains	1
Minimum domain size	990
Maximum domain size	990
Distribution of domain sizes	[{"size":990,"count":990}]
Minimum variable degree	0
Maximum variable degree	44
Distribution of variable degrees	[{"degree":0,"count":1035},{"degree":44,"count":990}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":14190}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"nValues","count":14190}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4394018

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