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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-07-26)	SAT (TO)	40	1920.66	243.836

0.00/0.05	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254730-1502009720.xml"  -tl '1920s' -p 8 -x 0
0.00/0.24	c [HOME/instance-4254730-1502009720.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.30	c 8 solvers in parallel
0.00/0.37	c parse instance...
15.32/4.59	c solve instance...
30.72/6.63	o 45 
32.08/6.84	o 44 
33.56/7.02	o 43 
43.79/8.39	o 42 
201.53/28.13	o 41 
1559.23/198.54	o 40 
1920.66/243.86	s SATISFIABLE
1920.66/243.86	v <instantiation>
1920.66/243.86	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[0][45] x[0][46] 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[1][45] x[1][46] 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[2][45] x[2][46] 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[3][45] x[3][46] 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[4][45] x[4][46] 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[5][45] x[5][46] 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[6][45] x[6][46] 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[7][45] x[7][46] 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[8][45] x[8][46] 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[9][45] x[9][46] 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[10][45] x[10][46] 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[11][45] x[11][46] 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[12][45] x[12][46] 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[13][45] x[13][46] 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[14][45] x[14][46] 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[15][45] x[15][46] 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[16][45] x[16][46] 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[17][45] x[17][46] 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[18][45] x[18][46] 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[19][45] x[19][46] 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[20][45] x[20][46] 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[21][45] x[21][46] 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[22][45] x[22][46] 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[23][45] x[23][46] 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[24][45] x[24][46] 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[25][45] x[25][46] 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[26][45] x[26][46] 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[27][45] x[27][46] 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[28][45] x[28][46] 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[29][45] x[29][46] 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[30][45] x[30][46] 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[31][45] x[31][46] 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[32][45] x[32][46] 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[33][45] x[33][46] 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[34][45] x[34][46] 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[35][45] x[35][46] 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[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46] </list>
1920.66/243.86	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 22 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 32 32 32 32 32 32 32 32 32 32 32 32 32 32 33 33 33 33 33 33 33 33 33 33 33 33 33 34 34 34 34 34 34 34 34 34 34 34 34 35 35 35 35 35 35 35 35 35 35 35 36 36 36 36 36 36 36 36 36 36 37 37 37 37 37 37 37 37 37 38 38 38 38 38 39 39 39 39 40 39 40 38 38 39 40 40 39 38 38 40 39 39 38 38 39 40 38 39 38 38 38 40 40 40 38 </values>
1920.66/243.86	v </instantiation>
1920.66/243.86	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-4254730-1502009720/watcher-4254730-1502009720 -o /tmp/evaluation-result-4254730-1502009720/solver-4254730-1502009720 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501975748-7680 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1913231403 HOME/instance-4254730-1502009720.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.66 7.32 7.15 3/180 12182
/proc/meminfo: memFree=31622864/32770624 swapFree=0/316416
[pid=12182] ppid=12179 vsize=23672 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (runsolver) D 12179 12182 7624 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 42882872 24240128 107 18446744073709551615 4194304 4338465 140736663404944 140736663402584 140287537857239 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 28041216 140736663408729 140736663409225 140736663409225 140736663412682 0
/proc/12182/statm: 5918 107 54 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 8.66 7.32 7.15 3/180 12182
/proc/meminfo: memFree=31622864/32770624 swapFree=0/316416
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200247 s]
/proc/loadavg: 8.66 7.32 7.15 3/180 12182
/proc/meminfo: memFree=31622864/32770624 swapFree=0/316416
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300268 s]
/proc/loadavg: 8.66 7.32 7.15 3/180 12182
/proc/meminfo: memFree=31622864/32770624 swapFree=0/316416
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700245 s]
/proc/loadavg: 8.66 7.32 7.15 3/180 12182
/proc/meminfo: memFree=31622864/32770624 swapFree=0/316416
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50087 s]
/proc/loadavg: 8.66 7.32 7.15 6/201 12203
/proc/meminfo: memFree=31431888/32770624 swapFree=0/316396
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
[pid=12184] ppid=12182 vsize=26001944 CPUtime=4.83 cores=0-7
/proc/12184/stat : 12184 (java) S 12182 12182 7624 0 -1 1077944320 18759 0 0 0 470 13 0 0 20 0 20 0 42882878 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 140727104024320 139727020363511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
/proc/12184/statm: 6500486 59658 3207 1 0 6488779 0
[pid=12184/tid=12185] ppid=12182 vsize=26001944 CPUtime=1.33 cores=0-7
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7624 0 -1 4202560 8655 0 0 0 129 4 0 0 20 0 20 0 42882878 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139727024600624 139726650305031 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12186] ppid=12182 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7624 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726977330320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12187] ppid=12182 vsize=26001944 CPUtime=0.02 cores=0-7
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7624 0 -1 1077944384 24 0 0 0 2 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726976277520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12188] ppid=12182 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7624 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726975224720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12189] ppid=12182 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7624 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726974171920 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12190] ppid=12182 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7624 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726973119120 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12191] ppid=12182 vsize=26001944 CPUtime=0.02 cores=0-7
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7624 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726972066320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12192] ppid=12182 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7624 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726971013520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12193] ppid=12182 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7624 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 42882879 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139726969960720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12194] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7624 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 42882880 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725744589680 139727020374658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12195] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7624 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 42882881 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725743535712 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12196] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7624 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 42882881 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725742482816 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12197] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 42882884 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725741431120 139727020382107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12198] ppid=12182 vsize=26001944 CPUtime=0.94 cores=0-7
/proc/12184/task/12198/stat : 12198 (java) R 12182 12182 7624 0 -1 4202560 2289 0 0 0 94 0 0 0 20 0 20 0 42882884 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725740369760 139727001907606 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12199] ppid=12182 vsize=26001944 CPUtime=0.91 cores=0-7
/proc/12184/task/12199/stat : 12199 (java) R 12182 12182 7624 0 -1 4202560 2120 0 0 0 91 0 0 0 20 0 20 0 42882884 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725739314032 139727001885189 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12200] ppid=12182 vsize=26001944 CPUtime=0.91 cores=0-7
/proc/12184/task/12200/stat : 12200 (java) R 12182 12182 7624 0 -1 4202560 2048 0 0 0 90 1 0 0 20 0 20 0 42882884 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725738273008 139727020377398 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12201] ppid=12182 vsize=26001944 CPUtime=0.48 cores=0-7
/proc/12184/task/12201/stat : 12201 (java) S 12182 12182 7624 0 -1 1077944384 2017 0 0 0 48 0 0 0 20 0 20 0 42882884 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725737220080 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12202] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12202/stat : 12202 (java) S 12182 12182 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 42882884 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725736168544 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12203] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12203/stat : 12203 (java) S 12182 12182 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 42882888 26625990656 59658 18446744073709551615 4194304 4196468 140727104041776 139725735115824 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 26011456

[startup+3.10091 s]
/proc/loadavg: 8.13 7.23 7.12 5/201 12203
/proc/meminfo: memFree=31203280/32770624 swapFree=0/316400
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
[pid=12184] ppid=12182 vsize=26001944 CPUtime=11.88 cores=0-7
/proc/12184/stat : 12184 (java) S 12182 12182 7624 0 -1 1077944320 27134 0 0 0 1130 58 0 0 20 0 20 0 42882878 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 140727104024320 139727020363511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
/proc/12184/statm: 6500486 197067 3229 1 0 6488779 0
[pid=12184/tid=12185] ppid=12182 vsize=26001944 CPUtime=2.71 cores=0-7
/proc/12184/task/12185/stat : 12185 (java) R 12182 12182 7624 0 -1 4202560 9239 0 0 0 261 10 0 0 20 0 20 0 42882878 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139727024602848 139726648592973 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12186] ppid=12182 vsize=26001944 CPUtime=0.2 cores=0-7
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7624 0 -1 1077944384 167 0 0 0 16 4 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726977330320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12187] ppid=12182 vsize=26001944 CPUtime=0.21 cores=0-7
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7624 0 -1 1077944384 127 0 0 0 16 5 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726976277520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12188] ppid=12182 vsize=26001944 CPUtime=0.18 cores=0-7
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7624 0 -1 1077944384 138 0 0 0 14 4 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726975224720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12189] ppid=12182 vsize=26001944 CPUtime=0.19 cores=0-7
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7624 0 -1 1077944384 107 0 0 0 14 5 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726974171920 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12190] ppid=12182 vsize=26001944 CPUtime=0.23 cores=0-7
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7624 0 -1 1077944384 146 0 0 0 17 6 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726973119120 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12191] ppid=12182 vsize=26001944 CPUtime=0.22 cores=0-7
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7624 0 -1 1077944384 140 0 0 0 17 5 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726972066320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12192] ppid=12182 vsize=26001944 CPUtime=0.18 cores=0-7
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7624 0 -1 1077944384 139 0 0 0 14 4 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726971013520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12193] ppid=12182 vsize=26001944 CPUtime=0.2 cores=0-7
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7624 0 -1 1077944384 138 0 0 0 15 5 0 0 20 0 20 0 42882879 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139726969960720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12194] ppid=12182 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7624 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 20 0 42882880 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725744589680 139727020374658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12195] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7624 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 42882881 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725743535712 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12196] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7624 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 42882881 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725742482816 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12197] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 42882884 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725741431120 139727020382107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12198] ppid=12182 vsize=26001944 CPUtime=2.31 cores=0-7
/proc/12184/task/12198/stat : 12198 (java) R 12182 12182 7624 0 -1 4202560 3938 0 0 0 230 1 0 0 20 0 20 0 42882884 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725740363872 139727005285278 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12199] ppid=12182 vsize=26001944 CPUtime=2.31 cores=0-7
/proc/12184/task/12199/stat : 12199 (java) S 12182 12182 7624 0 -1 1077944384 3700 0 0 0 230 1 0 0 20 0 20 0 42882884 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725739325680 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12200] ppid=12182 vsize=26001944 CPUtime=2.23 cores=0-7
/proc/12184/task/12200/stat : 12200 (java) S 12182 12182 7624 0 -1 1077944384 4150 0 0 0 221 2 0 0 20 0 20 0 42882884 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725738272880 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12201] ppid=12182 vsize=26001944 CPUtime=0.58 cores=0-7
/proc/12184/task/12201/stat : 12201 (java) S 12182 12182 7624 0 -1 1077944384 3173 0 0 0 58 0 0 0 20 0 20 0 42882884 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725737220080 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12202] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12202/stat : 12202 (java) S 12182 12182 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 42882884 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725736168544 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12203] ppid=12182 vsize=26001944 CPUtime=0 cores=0-7
/proc/12184/task/12203/stat : 12203 (java) S 12182 12182 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 42882888 26625990656 197067 18446744073709551615 4194304 4196468 140727104041776 139725735115824 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 26011456

[startup+6.30195 s]
/proc/loadavg: 8.13 7.23 7.12 11/209 12211
/proc/meminfo: memFree=30092444/32770624 swapFree=0/316412
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
[pid=12184] ppid=12182 vsize=26534456 CPUtime=28.21 cores=0-7
/proc/12184/stat : 12184 (java) S 12182 12182 7624 0 -1 1077944320 30897 0 0 0 2684 137 0 0 20 0 28 0 42882878 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 140727104024320 139727020363511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
/proc/12184/statm: 6633614 385481 3247 1 0 6621907 0
[pid=12184/tid=12185] ppid=12182 vsize=26534456 CPUtime=4.02 cores=0-7
/proc/12184/task/12185/stat : 12185 (java) S 12182 12182 7624 0 -1 1077944384 9656 0 0 0 385 17 0 0 20 0 28 0 42882878 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139727024604288 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12186] ppid=12182 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7624 0 -1 1077944384 401 0 0 0 34 14 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726977330320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12187] ppid=12182 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7624 0 -1 1077944384 308 0 0 0 34 14 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726976277520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12188] ppid=12182 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7624 0 -1 1077944384 268 0 0 0 32 13 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726975224720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12189] ppid=12182 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7624 0 -1 1077944384 317 0 0 0 32 14 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726974171920 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12190] ppid=12182 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7624 0 -1 1077944384 287 0 0 0 36 13 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726973119120 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12191] ppid=12182 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7624 0 -1 1077944384 377 0 0 0 36 14 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726972066320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12192] ppid=12182 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7624 0 -1 1077944384 300 0 0 0 33 13 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726971013520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12193] ppid=12182 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7624 0 -1 1077944384 339 0 0 0 34 14 0 0 20 0 28 0 42882879 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139726969960720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12194] ppid=12182 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7624 0 -1 1077944384 1099 0 0 0 1 0 0 0 20 0 28 0 42882880 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139725744589680 139727020374658 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12195] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7624 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 42882881 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139725743535712 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12196] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7624 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 42882881 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139725742482816 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12197] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42882884 27171282944 385481 18446744073709551615 4194304 4196468 140727104041776 139725741431120 139727020382107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0

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

[pid=12184/tid=12251] ppid=12182 vsize=26534456 CPUtime=131.99 cores=0-7
/proc/12184/task/12251/stat : 12251 (java) R 12182 12182 7624 0 -1 4202560 8073 0 0 0 13173 26 0 0 20 0 28 0 42885685 27171282944 1226849 18446744073709551615 4194304 4196468 140727104041776 139725720789560 139726653969351 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12252] ppid=12182 vsize=26534456 CPUtime=133.1 cores=0-7
/proc/12184/task/12252/stat : 12252 (java) R 12182 12182 7624 0 -1 4202560 6413 0 0 0 13293 17 0 0 20 0 28 0 42885685 27171282944 1226849 18446744073709551615 4194304 4196468 140727104041776 139725721842152 139726653686534 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
Current children cumulated CPU time (s) 1270.25
Current children cumulated vsize (KiB) 26543968

[startup+222.309 s]
/proc/loadavg: 8.15 7.73 7.35 9/206 12264
/proc/meminfo: memFree=25538516/32770624 swapFree=0/316468
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
[pid=12184] ppid=12182 vsize=26534456 CPUtime=1749.09 cores=0-7
/proc/12184/stat : 12184 (java) S 12182 12182 7624 0 -1 1077944320 201670 0 0 0 174445 464 0 0 20 0 28 0 42882878 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 140727104024320 139727020363511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
/proc/12184/statm: 6633614 1522292 3270 1 0 6621907 0
[pid=12184/tid=12185] ppid=12182 vsize=26534456 CPUtime=4.03 cores=0-7
/proc/12184/task/12185/stat : 12185 (java) S 12182 12182 7624 0 -1 1077944384 10200 0 0 0 386 17 0 0 20 0 28 0 42882878 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139727024604288 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12186] ppid=12182 vsize=26534456 CPUtime=1.44 cores=0-7
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7624 0 -1 1077944384 4932 0 0 0 116 28 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726977330320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12187] ppid=12182 vsize=26534456 CPUtime=1.45 cores=0-7
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7624 0 -1 1077944384 5461 0 0 0 116 29 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726976277520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12188] ppid=12182 vsize=26534456 CPUtime=1.41 cores=0-7
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7624 0 -1 1077944384 5045 0 0 0 113 28 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726975224720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12189] ppid=12182 vsize=26534456 CPUtime=1.43 cores=0-7
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7624 0 -1 1077944384 5234 0 0 0 114 29 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726974171920 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12190] ppid=12182 vsize=26534456 CPUtime=1.45 cores=0-7
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7624 0 -1 1077944384 5584 0 0 0 119 26 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726973119120 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12191] ppid=12182 vsize=26534456 CPUtime=1.46 cores=0-7
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7624 0 -1 1077944384 5597 0 0 0 118 28 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726972066320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12192] ppid=12182 vsize=26534456 CPUtime=1.42 cores=0-7
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7624 0 -1 1077944384 6040 0 0 0 114 28 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726971013520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12193] ppid=12182 vsize=26534456 CPUtime=1.44 cores=0-7
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7624 0 -1 1077944384 5404 0 0 0 115 29 0 0 20 0 28 0 42882879 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139726969960720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12194] ppid=12182 vsize=26534456 CPUtime=0.38 cores=0-7
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7624 0 -1 1077944384 9166 0 0 0 37 1 0 0 20 0 28 0 42882880 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725744589680 139727020374658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12195] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7624 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 42882881 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725743535712 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12196] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7624 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 42882881 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725742482816 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12197] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42882884 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725741431120 139727020382107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12198] ppid=12182 vsize=26534456 CPUtime=4.07 cores=0-7
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7624 0 -1 1077944384 15635 0 0 0 403 4 0 0 20 0 28 0 42882884 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725740378480 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12199] ppid=12182 vsize=26534456 CPUtime=3.9 cores=0-7
/proc/12184/task/12199/stat : 12199 (java) S 12182 12182 7624 0 -1 1077944384 9578 0 0 0 389 1 0 0 20 0 28 0 42882884 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725739325680 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12200] ppid=12182 vsize=26534456 CPUtime=3.94 cores=0-7
/proc/12184/task/12200/stat : 12200 (java) S 12182 12182 7624 0 -1 1077944384 14762 0 0 0 391 3 0 0 20 0 28 0 42882884 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725738272880 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12201] ppid=12182 vsize=26534456 CPUtime=0.89 cores=0-7
/proc/12184/task/12201/stat : 12201 (java) S 12182 12182 7624 0 -1 1077944384 10047 0 0 0 87 2 0 0 20 0 28 0 42882884 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725737220080 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12202] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12202/stat : 12202 (java) S 12182 12182 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 42882884 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725736168544 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12203] ppid=12182 vsize=26534456 CPUtime=0.08 cores=0-7
/proc/12184/task/12203/stat : 12203 (java) S 12182 12182 7624 0 -1 1077944384 1976 0 0 0 6 2 0 0 20 0 28 0 42882888 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725735115824 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12256] ppid=12182 vsize=26534456 CPUtime=23.43 cores=0-7
/proc/12184/task/12256/stat : 12256 (java) R 12182 12182 7624 0 -1 4202560 791 0 0 0 2341 2 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725721840984 139726646523288 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12257] ppid=12182 vsize=26534456 CPUtime=23.72 cores=0-7
/proc/12184/task/12257/stat : 12257 (java) R 12182 12182 7624 0 -1 4202560 1699 0 0 0 2370 2 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725719736952 139726645358716 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12258] ppid=12182 vsize=26534456 CPUtime=23.73 cores=0-7
/proc/12184/task/12258/stat : 12258 (java) R 12182 12182 7624 0 -1 4202560 2157 0 0 0 2372 1 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725727105240 139726649372060 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12259] ppid=12182 vsize=26534456 CPUtime=23.73 cores=0-7
/proc/12184/task/12259/stat : 12259 (java) R 12182 12182 7624 0 -1 4202560 11250 0 0 0 2369 4 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725726051704 139726654237799 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12260] ppid=12182 vsize=26534456 CPUtime=23.65 cores=0-7
/proc/12184/task/12260/stat : 12260 (java) R 12182 12182 7624 0 -1 4202560 3969 0 0 0 2356 9 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725725002288 139726653969762 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12261] ppid=12182 vsize=26534456 CPUtime=23.72 cores=0-7
/proc/12184/task/12261/stat : 12261 (java) R 12182 12182 7624 0 -1 4202560 1653 0 0 0 2371 1 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725722894456 139726653860771 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12262] ppid=12182 vsize=26534456 CPUtime=23.72 cores=0-7
/proc/12184/task/12262/stat : 12262 (java) R 12182 12182 7624 0 -1 4202560 689 0 0 0 2371 1 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725723948024 139726653861383 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12263] ppid=12182 vsize=26534456 CPUtime=23.72 cores=0-7
/proc/12184/task/12263/stat : 12263 (java) R 12182 12182 7624 0 -1 4202560 1256 0 0 0 2372 0 0 0 20 0 28 0 42902727 27171282944 1522292 18446744073709551615 4194304 4196468 140727104041776 139725720789480 139726653686602 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
Current children cumulated CPU time (s) 1749.09
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.802 s]
/proc/loadavg: 8.11 7.75 7.36 9/206 12264
/proc/meminfo: memFree=24478856/32770624 swapFree=0/316484
[pid=12182] ppid=12179 vsize=9512 CPUtime=0 cores=0-7
/proc/12182/stat : 12182 (xcsp3-exec) S 12179 12182 7624 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 42882872 9740288 345 18446744073709551615 4194304 5098028 140731586487520 140731586485624 139651666489980 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 16158720 140731586490776 140731586490986 140731586490986 140731586494443 0
/proc/12182/statm: 2378 345 289 221 0 87 0
[pid=12184] ppid=12182 vsize=26534456 CPUtime=1920.66 cores=0-7
/proc/12184/stat : 12184 (java) S 12182 12182 7624 0 -1 1077944320 214972 0 0 0 191570 496 0 0 20 0 28 0 42882878 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 140727104024320 139727020363511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
/proc/12184/statm: 6633614 1787193 3270 1 0 6621907 0
[pid=12184/tid=12185] ppid=12182 vsize=26534456 CPUtime=4.03 cores=0-7
/proc/12184/task/12185/stat : 12185 (java) S 12182 12182 7624 0 -1 1077944384 10200 0 0 0 386 17 0 0 20 0 28 0 42882878 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139727024604288 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12186] ppid=12182 vsize=26534456 CPUtime=1.45 cores=0-7
/proc/12184/task/12186/stat : 12186 (java) S 12182 12182 7624 0 -1 1077944384 5638 0 0 0 116 29 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726977330320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12187] ppid=12182 vsize=26534456 CPUtime=1.47 cores=0-7
/proc/12184/task/12187/stat : 12187 (java) S 12182 12182 7624 0 -1 1077944384 5927 0 0 0 117 30 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726976277520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12188] ppid=12182 vsize=26534456 CPUtime=1.42 cores=0-7
/proc/12184/task/12188/stat : 12188 (java) S 12182 12182 7624 0 -1 1077944384 5452 0 0 0 113 29 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726975224720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12189] ppid=12182 vsize=26534456 CPUtime=1.45 cores=0-7
/proc/12184/task/12189/stat : 12189 (java) S 12182 12182 7624 0 -1 1077944384 5539 0 0 0 115 30 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726974171920 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12190] ppid=12182 vsize=26534456 CPUtime=1.46 cores=0-7
/proc/12184/task/12190/stat : 12190 (java) S 12182 12182 7624 0 -1 1077944384 6068 0 0 0 119 27 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726973119120 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12191] ppid=12182 vsize=26534456 CPUtime=1.47 cores=0-7
/proc/12184/task/12191/stat : 12191 (java) S 12182 12182 7624 0 -1 1077944384 5933 0 0 0 118 29 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726972066320 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12192] ppid=12182 vsize=26534456 CPUtime=1.44 cores=0-7
/proc/12184/task/12192/stat : 12192 (java) S 12182 12182 7624 0 -1 1077944384 6308 0 0 0 115 29 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726971013520 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12193] ppid=12182 vsize=26534456 CPUtime=1.45 cores=0-7
/proc/12184/task/12193/stat : 12193 (java) S 12182 12182 7624 0 -1 1077944384 6157 0 0 0 115 30 0 0 20 0 28 0 42882879 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139726969960720 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12194] ppid=12182 vsize=26534456 CPUtime=0.38 cores=0-7
/proc/12184/task/12194/stat : 12194 (java) S 12182 12182 7624 0 -1 1077944384 9659 0 0 0 37 1 0 0 20 0 28 0 42882880 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725744589680 139727020374658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12195] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12195/stat : 12195 (java) S 12182 12182 7624 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 42882881 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725743535712 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12196] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12196/stat : 12196 (java) S 12182 12182 7624 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 42882881 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725742482816 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12197] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12197/stat : 12197 (java) S 12182 12182 7624 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 42882884 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725741431120 139727020382107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12198] ppid=12182 vsize=26534456 CPUtime=4.07 cores=0-7
/proc/12184/task/12198/stat : 12198 (java) S 12182 12182 7624 0 -1 1077944384 15639 0 0 0 403 4 0 0 20 0 28 0 42882884 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725740378480 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12199] ppid=12182 vsize=26534456 CPUtime=3.92 cores=0-7
/proc/12184/task/12199/stat : 12199 (java) S 12182 12182 7624 0 -1 1077944384 10154 0 0 0 390 2 0 0 20 0 28 0 42882884 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725739325680 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12200] ppid=12182 vsize=26534456 CPUtime=3.95 cores=0-7
/proc/12184/task/12200/stat : 12200 (java) S 12182 12182 7624 0 -1 1077944384 15064 0 0 0 392 3 0 0 20 0 28 0 42882884 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725738272880 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12201] ppid=12182 vsize=26534456 CPUtime=0.89 cores=0-7
/proc/12184/task/12201/stat : 12201 (java) S 12182 12182 7624 0 -1 1077944384 10663 0 0 0 87 2 0 0 20 0 28 0 42882884 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725737220080 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12202] ppid=12182 vsize=26534456 CPUtime=0 cores=0-7
/proc/12184/task/12202/stat : 12202 (java) S 12182 12182 7624 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 42882884 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725736168544 139727020373717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12203] ppid=12182 vsize=26534456 CPUtime=0.1 cores=0-7
/proc/12184/task/12203/stat : 12203 (java) S 12182 12182 7624 0 -1 1077944384 2005 0 0 0 6 4 0 0 20 0 28 0 42882888 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725735115824 139727020374658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12256] ppid=12182 vsize=26534456 CPUtime=44.56 cores=0-7
/proc/12184/task/12256/stat : 12256 (java) R 12182 12182 7624 0 -1 4202560 868 0 0 0 4453 3 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725721840848 139726646523495 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12257] ppid=12182 vsize=26534456 CPUtime=45.18 cores=0-7
/proc/12184/task/12257/stat : 12257 (java) R 12182 12182 7624 0 -1 4202560 1901 0 0 0 4516 2 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725719736536 139726654748834 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12258] ppid=12182 vsize=26534456 CPUtime=45.2 cores=0-7
/proc/12184/task/12258/stat : 12258 (java) R 12182 12182 7624 0 -1 4202560 3154 0 0 0 4519 1 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725727105240 139726649372060 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12259] ppid=12182 vsize=26534456 CPUtime=45.21 cores=0-7
/proc/12184/task/12259/stat : 12259 (java) R 12182 12182 7624 0 -1 4202560 15579 0 0 0 4501 20 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725726052584 139726654237799 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12260] ppid=12182 vsize=26534456 CPUtime=45.12 cores=0-7
/proc/12184/task/12260/stat : 12260 (java) R 12182 12182 7624 0 -1 4202560 5020 0 0 0 4499 13 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725724999480 139726653969334 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12261] ppid=12182 vsize=26534456 CPUtime=45.2 cores=0-7
/proc/12184/task/12261/stat : 12261 (java) R 12182 12182 7624 0 -1 4202560 1880 0 0 0 4519 1 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725722894040 139726646522612 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12262] ppid=12182 vsize=26534456 CPUtime=45.2 cores=0-7
/proc/12184/task/12262/stat : 12262 (java) R 12182 12182 7624 0 -1 4202560 812 0 0 0 4519 1 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725723947400 139726654905670 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
[pid=12184/tid=12263] ppid=12182 vsize=26534456 CPUtime=45.19 cores=0-7
/proc/12184/task/12263/stat : 12263 (java) R 12182 12182 7624 0 -1 4202560 1806 0 0 0 4516 3 0 0 20 0 28 0 42902727 27171282944 1787193 18446744073709551615 4194304 4196468 140727104041776 139725720789480 139726653686293 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21831680 140727104049622 140727104049798 140727104049798 140727104053199 0
Current children cumulated CPU time (s) 1920.66
Current children cumulated vsize (KiB) 26543968

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 12184 sig 9
??? kill 12182 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 12182 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1019
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1019
# CPU time returned by wait4() is 0.002038
# while last known CPU time is 1920.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 243.836
CPU time (s): 1920.66
CPU user time (s): 1915.7
CPU system time (s): 4.96
CPU usage (%): 787.685
Max. virtual memory (cumulated for all children) (KiB): 26543968

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

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml
MD5SUM	b40b46819fbd3a38fcaaee2fdd389509
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	252.004
Satisfiable
(Un)Satisfiability was proved
Number of variables	2209
Number of constraints	16215
Number of domains	1
Minimum domain size	1081
Maximum domain size	1081
Distribution of domain sizes	[{"size":1081,"count":1081}]
Minimum variable degree	0
Maximum variable degree	46
Distribution of variable degrees	[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":16215}]
Number of extensional constraints	0
Number of intensional constraints	16215
Distribution of constraint types	[{"type":"intension","count":16215}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4254730

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