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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	1826	2400.64	896.414

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394331-1568330136.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394331-1568330136.xml, -tl, 2400s, -p, 4]
0.34/0.23	c 4 solvers in parallel
0.34/0.29	c parse instance...
2.73/1.09	c solve instance...
9.33/2.78	o 1921 
9.73/2.81	o 1881 
9.73/2.85	o 1830 
2102.36/820.31	o 1826 
2400.26/896.37	s SATISFIABLE
2400.26/896.37	v <instantiation>
2400.26/896.37	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] </list>
2400.26/896.37	v 	<values>0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 49 98 93 26 78 100 19 21 76 27 88 1 19 21 92 9 66 85 14 53 9 57 72 100 33 57 100 13 91 32 88 79 43 49 39 100 36 </values>
2400.26/896.37	v </instantiation>
2400.26/896.37	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 (14489 MiB free)
  memory of node 1: 16384 MiB (15485 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394331-1568330136/watcher-4394331-1568330136 -o /tmp/evaluation-result-4394331-1568330136/solver-4394331-1568330136 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1372044505 HOME/instance-4394331-1568330136.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2102, runsolver pid=2099
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 9.05 8.24 7.85 6/235 2118
/proc/meminfo: memFree=30679360/32770624 swapFree=66933668/67108860
[pid=2102] ppid=2099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (xcsp3-exec) S 2099 2102 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409285037 115843072 362 33554432000 4194304 5098028 140720582196592 140720582194696 140130941629052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13844480 140720582198138 140720582198381 140720582198381 140720582201290 0
/proc/2102/statm: 28282 362 304 221 0 87 0
[pid=2104] ppid=2102 vsize=15144768 memory=27736 CPUtime=0.13 cores=1,3,5,7
/proc/2104/stat : 2104 (java) S 2102 2102 25300 0 -1 1077944320 5892 0 0 0 12 1 0 0 20 0 15 0 409285037 15508242432 6934 33554432000 4194304 4196468 140732995872848 140732995855392 140297485418231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
/proc/2104/statm: 3786192 6934 3122 1 0 3748377 0
[pid=2104/tid=2105] ppid=2102 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=1,3,5,7
/proc/2104/task/2105/stat : 2105 (java) R 2102 2102 25300 0 -1 4202560 3765 0 0 0 9 0 0 0 20 0 15 0 409285038 15508242432 6934 33554432000 4194304 4196468 140732995872848 140297489641232 140297485430166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2106] ppid=2102 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2106/stat : 2106 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 6934 33554432000 4194304 4196468 140732995872848 140297457261712 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2107] ppid=2102 vsize=15144768 memory=140518704055936 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2107/stat : 2107 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 6934 33554432000 4194304 4196468 140732995872848 140297076575248 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2108] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2108/stat : 2108 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 6934 33554432000 4194304 4196468 140732995872848 140297075522448 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2109] ppid=2102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2109/stat : 2109 (java) S 2102 2102 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 6934 33554432000 4194304 4196468 140732995872848 140297074469648 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2110] ppid=2102 vsize=15144768 memory=140518704055936 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2110/stat : 2110 (java) S 2102 2102 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409285040 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296359278960 140297485429378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2111] ppid=2102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2111/stat : 2111 (java) S 2102 2102 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409285040 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296358224928 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2112] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2112/stat : 2112 (java) S 2102 2102 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409285040 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296357172080 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2113] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2113/stat : 2113 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296356120400 140297485436827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2114] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2114/stat : 2114 (java) R 2102 2102 25300 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296355068784 140297485429378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2115] ppid=2102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2115/stat : 2115 (java) R 2102 2102 25300 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296354016080 140297478403273 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2116] ppid=2102 vsize=15144768 memory=140518704055936 CPUtime=0.02 cores=1,3,5,7
/proc/2104/task/2116/stat : 2116 (java) R 2102 2102 25300 0 -1 4202560 401 0 0 0 2 0 0 0 20 0 15 0 409285043 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296352963184 140297465133028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2117] ppid=2102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2117/stat : 2117 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296351910624 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2118] ppid=2102 vsize=15144768 memory=140518704055936 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2118/stat : 2118 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 6934 33554432000 4194304 4196468 140732995872848 140296350857904 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29184 KiB

[startup+0.211249 s]*
/proc/loadavg: 9.05 8.24 7.85 6/235 2118
/proc/meminfo: memFree=30665500/32770624 swapFree=66933668/67108860
[pid=2102] ppid=2099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (xcsp3-exec) S 2099 2102 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409285037 115843072 362 33554432000 4194304 5098028 140720582196592 140720582194696 140130941629052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13844480 140720582198138 140720582198381 140720582198381 140720582201290 0
/proc/2102/statm: 28282 362 304 221 0 87 0
[pid=2104] ppid=2102 vsize=15144768 memory=39756 CPUtime=0.34 cores=1,3,5,7
/proc/2104/stat : 2104 (java) S 2102 2102 25300 0 -1 1077944320 9671 0 0 0 31 3 0 0 20 0 15 0 409285037 15508242432 9939 33554432000 4194304 4196468 140732995872848 140732995855392 140297485418231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
/proc/2104/statm: 3786192 9939 3301 1 0 3748377 0
[pid=2104/tid=2105] ppid=2102 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2104/task/2105/stat : 2105 (java) R 2102 2102 25300 0 -1 4202560 6688 0 0 0 18 2 0 0 20 0 15 0 409285038 15508242432 9939 33554432000 4194304 4196468 140732995872848 140297489647952 140297469498718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2106] ppid=2102 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2106/stat : 2106 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 9939 33554432000 4194304 4196468 140732995872848 140297457261712 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2107] ppid=2102 vsize=15144768 memory=288370894855767680 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2107/stat : 2107 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 9939 33554432000 4194304 4196468 140732995872848 140297076575248 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2108] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2108/stat : 2108 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 9939 33554432000 4194304 4196468 140732995872848 140297075522448 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2109] ppid=2102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2109/stat : 2109 (java) S 2102 2102 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409285038 15508242432 9939 33554432000 4194304 4196468 140732995872848 140297074469648 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2110] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2110/stat : 2110 (java) S 2102 2102 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409285040 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296359278960 140297485429378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2111] ppid=2102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2111/stat : 2111 (java) S 2102 2102 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409285040 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296358224928 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2112] ppid=2102 vsize=15144768 memory=140518704055936 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2112/stat : 2112 (java) S 2102 2102 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409285040 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296357172080 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2113] ppid=2102 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2113/stat : 2113 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296356120400 140297485436827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2114] ppid=2102 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2104/task/2114/stat : 2114 (java) S 2102 2102 25300 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 409285043 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296355068784 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2115] ppid=2102 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2104/task/2115/stat : 2115 (java) S 2102 2102 25300 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 409285043 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296354015984 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2116] ppid=2102 vsize=15144768 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2104/task/2116/stat : 2116 (java) R 2102 2102 25300 0 -1 4202560 882 0 0 0 7 0 0 0 20 0 15 0 409285043 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296352963184 140297485430166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2117] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2117/stat : 2117 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296351910624 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2118] ppid=2102 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2118/stat : 2118 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285043 15508242432 9939 33554432000 4194304 4196468 140732995872848 140296350857904 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41204 KiB

[startup+0.311127 s]*
/proc/loadavg: 9.05 8.24 7.85 7/235 2118
/proc/meminfo: memFree=30660512/32770624 swapFree=66933668/67108860
[pid=2102] ppid=2099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (xcsp3-exec) S 2099 2102 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409285037 115843072 362 33554432000 4194304 5098028 140720582196592 140720582194696 140130941629052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13844480 140720582198138 140720582198381 140720582198381 140720582201290 0
/proc/2102/statm: 28282 362 304 221 0 87 0
[pid=2104] ppid=2102 vsize=15149024 memory=48552 CPUtime=0.52 cores=1,3,5,7
/proc/2104/stat : 2104 (java) S 2102 2102 25300 0 -1 1077944320 11005 0 0 0 48 4 0 0 20 0 15 0 409285037 15512600576 12138 33554432000 4194304 4196468 140732995872848 140732995855392 140297485418231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
/proc/2104/statm: 3787256 12138 3354 1 0 3748377 0
[pid=2104/tid=2105] ppid=2102 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=1,3,5,7
/proc/2104/task/2105/stat : 2105 (java) R 2102 2102 25300 0 -1 4202560 7783 0 0 0 27 3 0 0 20 0 15 0 409285038 15512600576 12235 33554432000 4194304 4196468 140732995872848 140297489649344 140297469498718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2106] ppid=2102 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2106/stat : 2106 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15512600576 12235 33554432000 4194304 4196468 140732995872848 140297457261712 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2107] ppid=2102 vsize=15149024 memory=3905944711488125364 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2107/stat : 2107 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15512600576 12235 33554432000 4194304 4196468 140732995872848 140297076575248 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2108] ppid=2102 vsize=15149024 memory=7811586369819858019 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2108/stat : 2108 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15512600576 12235 33554432000 4194304 4196468 140732995872848 140297075522448 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2109] ppid=2102 vsize=15149024 memory=3544953169697454111 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2109/stat : 2109 (java) S 2102 2102 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409285038 15512600576 12235 33554432000 4194304 4196468 140732995872848 140297074469648 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2110] ppid=2102 vsize=15149024 memory=5787495302091465536 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2110/stat : 2110 (java) S 2102 2102 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409285040 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296359278960 140297485429378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2111] ppid=2102 vsize=15149024 memory=3833746603143278640 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2111/stat : 2111 (java) S 2102 2102 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409285040 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296358224928 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2112] ppid=2102 vsize=15149024 memory=2319529718171350688 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2112/stat : 2112 (java) S 2102 2102 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409285040 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296357172080 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2113] ppid=2102 vsize=15149024 memory=3761121630988808492 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2113/stat : 2113 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296356120400 140297485436827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2114] ppid=2102 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2104/task/2114/stat : 2114 (java) R 2102 2102 25300 0 -1 4202560 516 0 0 0 4 0 0 0 20 0 15 0 409285043 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296355049800 140297466118528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2115] ppid=2102 vsize=15149024 memory=4121696578059646000 CPUtime=0.03 cores=1,3,5,7
/proc/2104/task/2115/stat : 2115 (java) S 2102 2102 25300 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 409285043 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296354015984 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2116] ppid=2102 vsize=15149024 memory=7161658453732715369 CPUtime=0.12 cores=1,3,5,7
/proc/2104/task/2116/stat : 2116 (java) R 2102 2102 25300 0 -1 4202560 1067 0 0 0 12 0 0 0 20 0 15 0 409285043 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296352963184 140297469658606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2117] ppid=2102 vsize=15149024 memory=7089629476927651940 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2117/stat : 2117 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296351910624 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2118] ppid=2102 vsize=15149024 memory=4639939496134862184 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2118/stat : 2118 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285043 15512600576 12235 33554432000 4194304 4196468 140732995872848 140296350857904 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50000 KiB

[startup+0.701377 s]
/proc/loadavg: 9.05 8.24 7.85 10/235 2118
/proc/meminfo: memFree=30635520/32770624 swapFree=66933668/67108860
[pid=2102] ppid=2099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (xcsp3-exec) S 2099 2102 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409285037 115843072 362 33554432000 4194304 5098028 140720582196592 140720582194696 140130941629052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13844480 140720582198138 140720582198381 140720582198381 140720582201290 0
/proc/2102/statm: 28282 362 304 221 0 87 0
[pid=2104] ppid=2102 vsize=15151148 memory=86916 CPUtime=1.71 cores=1,3,5,7
/proc/2104/stat : 2104 (java) S 2102 2102 25300 0 -1 1077944320 15422 0 0 0 165 6 0 0 20 0 15 0 409285037 15514775552 21729 33554432000 4194304 4196468 140732995872848 140732995855392 140297485418231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
/proc/2104/statm: 3787787 21729 3446 1 0 3748889 0
[pid=2104/tid=2105] ppid=2102 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2104/task/2105/stat : 2105 (java) R 2102 2102 25300 0 -1 4202560 9193 0 0 0 62 5 0 0 20 0 15 0 409285038 15514775552 21729 33554432000 4194304 4196468 140732995872848 140297489655536 140297468405776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2106] ppid=2102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2106/stat : 2106 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15514775552 21729 33554432000 4194304 4196468 140732995872848 140297457261712 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2107] ppid=2102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2107/stat : 2107 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15514775552 21729 33554432000 4194304 4196468 140732995872848 140297076575248 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2108] ppid=2102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2108/stat : 2108 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285038 15514775552 21729 33554432000 4194304 4196468 140732995872848 140297075522448 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2109] ppid=2102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2109/stat : 2109 (java) S 2102 2102 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409285038 15514775552 21729 33554432000 4194304 4196468 140732995872848 140297074469648 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2110] ppid=2102 vsize=15151148 memory=70 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2110/stat : 2110 (java) S 2102 2102 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409285040 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296359278960 140297485429378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2111] ppid=2102 vsize=15151148 memory=1 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2111/stat : 2111 (java) S 2102 2102 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409285040 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296358224928 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2112] ppid=2102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2112/stat : 2112 (java) S 2102 2102 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409285040 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296357172080 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2113] ppid=2102 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2113/stat : 2113 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296356120400 140297485436827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2114] ppid=2102 vsize=15151148 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/2104/task/2114/stat : 2114 (java) R 2102 2102 25300 0 -1 4202560 1265 0 0 0 29 0 0 0 20 0 15 0 409285043 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296355067968 140297485439578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2115] ppid=2102 vsize=15151148 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/2104/task/2115/stat : 2115 (java) R 2102 2102 25300 0 -1 1077944384 1362 0 0 0 33 0 0 0 20 0 15 0 409285043 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296354004544 140297485428437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2116] ppid=2102 vsize=15151148 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/2104/task/2116/stat : 2116 (java) R 2102 2102 25300 0 -1 4202560 2295 0 0 0 40 0 0 0 20 0 15 0 409285043 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296352962368 140297485430166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2117] ppid=2102 vsize=15151148 memory=257 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2117/stat : 2117 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409285043 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296351910624 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2118] ppid=2102 vsize=15151148 memory=2964784 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2118/stat : 2118 (java) S 2102 2102 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409285043 15514775552 21729 33554432000 4194304 4196468 140732995872848 140296350857904 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 88364 KiB

[startup+1.50081 s]
/proc/loadavg: 9.05 8.24 7.85 10/235 2118
/proc/meminfo: memFree=30557704/32770624 swapFree=66933668/67108860
[pid=2102] ppid=2099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (xcsp3-exec) S 2099 2102 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409285037 115843072 362 33554432000 4194304 5098028 140720582196592 140720582194696 140130941629052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13844480 140720582198138 140720582198381 140720582198381 140720582201290 0
/proc/2102/statm: 28282 362 304 221 0 87 0

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

/proc/2104/stat : 2104 (java) S 2102 2102 25300 0 -1 1077944320 96154 0 0 0 234136 375 0 0 20 0 19 0 409285037 15857680384 222106 33554432000 4194304 4196468 140732995872848 140732995855392 140297485418231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
/proc/2104/statm: 3871504 222106 3531 1 0 3832606 0
[pid=2104/tid=2105] ppid=2102 vsize=15486016 memory=888824 CPUtime=1.08 cores=1,3,5,7
/proc/2104/task/2105/stat : 2105 (java) S 2102 2102 25300 0 -1 1077944384 10583 0 0 0 102 6 0 0 20 0 19 0 409285038 15857680384 222106 33554432000 4194304 4196468 140732995872848 140297489659008 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2106] ppid=2102 vsize=15486016 memory=888312 CPUtime=0.51 cores=1,3,5,7
/proc/2104/task/2106/stat : 2106 (java) S 2102 2102 25300 0 -1 1077944384 3780 0 0 0 41 10 0 0 20 0 19 0 409285038 15857680384 222106 33554432000 4194304 4196468 140732995872848 140297457261712 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2107] ppid=2102 vsize=15486016 memory=887792 CPUtime=0.52 cores=1,3,5,7
/proc/2104/task/2107/stat : 2107 (java) S 2102 2102 25300 0 -1 1077944384 5696 0 0 0 43 9 0 0 20 0 19 0 409285038 15857680384 222106 33554432000 4194304 4196468 140732995872848 140297076575248 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2108] ppid=2102 vsize=15486016 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/2104/task/2108/stat : 2108 (java) S 2102 2102 25300 0 -1 1077944384 2627 0 0 0 40 11 0 0 20 0 19 0 409285038 15857680384 222106 33554432000 4194304 4196468 140732995872848 140297075522448 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2109] ppid=2102 vsize=15486016 memory=888424 CPUtime=0.51 cores=1,3,5,7
/proc/2104/task/2109/stat : 2109 (java) S 2102 2102 25300 0 -1 1077944384 4736 0 0 0 40 11 0 0 20 0 19 0 409285038 15857680384 222106 33554432000 4194304 4196468 140732995872848 140297074469648 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2110] ppid=2102 vsize=15486016 memory=1448 CPUtime=3.93 cores=1,3,5,7
/proc/2104/task/2110/stat : 2110 (java) S 2102 2102 25300 0 -1 1077944384 5236 0 0 0 105 288 0 0 20 0 19 0 409285040 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296359278960 140297485429378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2111] ppid=2102 vsize=15486016 memory=885744 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2111/stat : 2111 (java) S 2102 2102 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409285040 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296358224992 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2112] ppid=2102 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2112/stat : 2112 (java) S 2102 2102 25300 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409285040 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296357172096 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2113] ppid=2102 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2113/stat : 2113 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409285043 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296356120400 140297485436827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2114] ppid=2102 vsize=15486016 memory=3620 CPUtime=2.88 cores=1,3,5,7
/proc/2104/task/2114/stat : 2114 (java) S 2102 2102 25300 0 -1 1077944384 14581 0 0 0 285 3 0 0 20 0 19 0 409285043 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296355068784 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2115] ppid=2102 vsize=15486016 memory=1448 CPUtime=2.94 cores=1,3,5,7
/proc/2104/task/2115/stat : 2115 (java) S 2102 2102 25300 0 -1 1077944384 13265 0 0 0 292 2 0 0 20 0 19 0 409285043 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296354015984 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2116] ppid=2102 vsize=15486016 memory=1448 CPUtime=0.92 cores=1,3,5,7
/proc/2104/task/2116/stat : 2116 (java) S 2102 2102 25300 0 -1 1077944384 13451 0 0 0 90 2 0 0 20 0 19 0 409285043 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296352963184 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2117] ppid=2102 vsize=15486016 memory=108 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2117/stat : 2117 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409285043 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296351910624 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2118] ppid=2102 vsize=15486016 memory=43 CPUtime=0.47 cores=1,3,5,7
/proc/2104/task/2118/stat : 2118 (java) S 2102 2102 25300 0 -1 1077944384 993 0 0 0 24 23 0 0 20 0 19 0 409285043 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296350857904 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3305] ppid=2102 vsize=15486016 memory=2532 CPUtime=59.5 cores=1,3,5,7
/proc/2104/task/3305/stat : 3305 (java) R 2102 2102 25300 0 -1 4202560 1027 0 0 0 5950 0 0 0 20 0 19 0 409367069 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296338725768 140297130805901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3306] ppid=2102 vsize=15486016 memory=1440 CPUtime=59.58 cores=1,3,5,7
/proc/2104/task/3306/stat : 3306 (java) R 2102 2102 25300 0 -1 4202560 1630 0 0 0 5958 0 0 0 20 0 19 0 409367069 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296341887680 140297128910044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3307] ppid=2102 vsize=15486016 memory=1448 CPUtime=59.61 cores=1,3,5,7
/proc/2104/task/3307/stat : 3307 (java) R 2102 2102 25300 0 -1 4202560 762 0 0 0 5961 0 0 0 20 0 19 0 409367069 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296339779792 140297129005608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3308] ppid=2102 vsize=15486016 memory=888312 CPUtime=61.29 cores=1,3,5,7
/proc/2104/task/3308/stat : 3308 (java) R 2102 2102 25300 0 -1 4202560 624 0 0 0 6129 0 0 0 20 0 19 0 409367069 15857680384 222106 33554432000 4194304 4196468 140732995872848 140296340832736 140297131329890 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
Current children cumulated CPU time: 2345.11 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 889872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.301 s]
/proc/loadavg: 7.61 6.44 7.08 9/237 3315
/proc/meminfo: memFree=26156828/32770624 swapFree=66933680/67108860
[pid=2102] ppid=2099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (xcsp3-exec) S 2099 2102 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409285037 115843072 362 33554432000 4194304 5098028 140720582196592 140720582194696 140130941629052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13844480 140720582198138 140720582198381 140720582198381 140720582201290 0
/proc/2102/statm: 28282 362 304 221 0 87 0
[pid=2104] ppid=2102 vsize=15486016 memory=890472 CPUtime=2400.26 cores=1,3,5,7
/proc/2104/stat : 2104 (java) S 2102 2102 25300 0 -1 1077944320 97312 0 0 0 239632 394 0 0 20 0 19 0 409285037 15857680384 222618 33554432000 4194304 4196468 140732995872848 140732995855392 140297485418231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
/proc/2104/statm: 3871504 222618 3531 1 0 3832606 0
[pid=2104/tid=2105] ppid=2102 vsize=15486016 memory=890472 CPUtime=1.08 cores=1,3,5,7
/proc/2104/task/2105/stat : 2105 (java) S 2102 2102 25300 0 -1 1077944384 10583 0 0 0 102 6 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297489659008 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2106] ppid=2102 vsize=15486016 memory=890472 CPUtime=0.53 cores=1,3,5,7
/proc/2104/task/2106/stat : 2106 (java) S 2102 2102 25300 0 -1 1077944384 3847 0 0 0 43 10 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297457261712 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2107] ppid=2102 vsize=15486016 memory=1448 CPUtime=0.55 cores=1,3,5,7
/proc/2104/task/2107/stat : 2107 (java) S 2102 2102 25300 0 -1 1077944384 5746 0 0 0 45 10 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297076575248 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2108] ppid=2102 vsize=15486016 memory=890472 CPUtime=0.54 cores=1,3,5,7
/proc/2104/task/2108/stat : 2108 (java) S 2102 2102 25300 0 -1 1077944384 2886 0 0 0 43 11 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297075522448 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2109] ppid=2102 vsize=15486016 memory=1448 CPUtime=0.54 cores=1,3,5,7
/proc/2104/task/2109/stat : 2109 (java) S 2102 2102 25300 0 -1 1077944384 4833 0 0 0 43 11 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297074469648 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2110] ppid=2102 vsize=15486016 memory=1448 CPUtime=4.19 cores=1,3,5,7
/proc/2104/task/2110/stat : 2110 (java) S 2102 2102 25300 0 -1 1077944384 5482 0 0 0 112 307 0 0 20 0 19 0 409285040 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296359278960 140297485429378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2111] ppid=2102 vsize=15486016 memory=890472 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2111/stat : 2111 (java) S 2102 2102 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409285040 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296358224992 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2112] ppid=2102 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2112/stat : 2112 (java) S 2102 2102 25300 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409285040 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296357172096 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2113] ppid=2102 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2113/stat : 2113 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296356120400 140297485436827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2114] ppid=2102 vsize=15486016 memory=873456 CPUtime=2.88 cores=1,3,5,7
/proc/2104/task/2114/stat : 2114 (java) S 2102 2102 25300 0 -1 1077944384 14584 0 0 0 285 3 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296355068784 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2115] ppid=2102 vsize=15486016 memory=3620 CPUtime=2.94 cores=1,3,5,7
/proc/2104/task/2115/stat : 2115 (java) S 2102 2102 25300 0 -1 1077944384 13267 0 0 0 292 2 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296354015984 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2116] ppid=2102 vsize=15486016 memory=20336 CPUtime=0.92 cores=1,3,5,7
/proc/2104/task/2116/stat : 2116 (java) S 2102 2102 25300 0 -1 1077944384 13453 0 0 0 90 2 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296352963184 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2117] ppid=2102 vsize=15486016 memory=20336 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2117/stat : 2117 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296351910624 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2118] ppid=2102 vsize=15486016 memory=984 CPUtime=0.47 cores=1,3,5,7
/proc/2104/task/2118/stat : 2118 (java) S 2102 2102 25300 0 -1 1077944384 1008 0 0 0 24 23 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296350857904 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3305] ppid=2102 vsize=15486016 memory=890472 CPUtime=73.15 cores=1,3,5,7
/proc/2104/task/3305/stat : 3305 (java) R 2102 2102 25300 0 -1 4202560 1137 0 0 0 7315 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296338728592 140297129014157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3306] ppid=2102 vsize=15486016 memory=1448 CPUtime=73.25 cores=1,3,5,7
/proc/2104/task/3306/stat : 3306 (java) R 2102 2102 25300 0 -1 4202560 1801 0 0 0 7325 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296341884792 140297122628198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3307] ppid=2102 vsize=15486016 memory=1448 CPUtime=73.24 cores=1,3,5,7
/proc/2104/task/3307/stat : 3307 (java) R 2102 2102 25300 0 -1 4202560 833 0 0 0 7324 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296339779928 140297129015516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3308] ppid=2102 vsize=15486016 memory=886776 CPUtime=75.13 cores=1,3,5,7
/proc/2104/task/3308/stat : 3308 (java) R 2102 2102 25300 0 -1 4202560 689 0 0 0 7513 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296340832848 140297131330004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
Current children cumulated CPU time: 2400.26 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 891920 KiB

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

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

[startup+896.414 s]
# the end of solver process 2104 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.66 s, system=3.97632 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

[startup+896.301 s]
/proc/loadavg: 7.61 6.44 7.08 9/237 3315
/proc/meminfo: memFree=26156828/32770624 swapFree=66933680/67108860
[pid=2102] ppid=2099 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (xcsp3-exec) S 2099 2102 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409285037 115843072 362 33554432000 4194304 5098028 140720582196592 140720582194696 140130941629052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13844480 140720582198138 140720582198381 140720582198381 140720582201290 0
/proc/2102/statm: 28282 362 304 221 0 87 0
[pid=2104] ppid=2102 vsize=15486016 memory=890472 CPUtime=2400.26 cores=1,3,5,7
/proc/2104/stat : 2104 (java) S 2102 2102 25300 0 -1 1077944320 97312 0 0 0 239632 394 0 0 20 0 19 0 409285037 15857680384 222618 33554432000 4194304 4196468 140732995872848 140732995855392 140297485418231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
/proc/2104/statm: 3871504 222618 3531 1 0 3832606 0
[pid=2104/tid=2105] ppid=2102 vsize=15486016 memory=890472 CPUtime=1.08 cores=1,3,5,7
/proc/2104/task/2105/stat : 2105 (java) S 2102 2102 25300 0 -1 1077944384 10583 0 0 0 102 6 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297489659008 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2106] ppid=2102 vsize=15486016 memory=890472 CPUtime=0.53 cores=1,3,5,7
/proc/2104/task/2106/stat : 2106 (java) S 2102 2102 25300 0 -1 1077944384 3847 0 0 0 43 10 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297457261712 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2107] ppid=2102 vsize=15486016 memory=1448 CPUtime=0.55 cores=1,3,5,7
/proc/2104/task/2107/stat : 2107 (java) S 2102 2102 25300 0 -1 1077944384 5746 0 0 0 45 10 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297076575248 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2108] ppid=2102 vsize=15486016 memory=890472 CPUtime=0.54 cores=1,3,5,7
/proc/2104/task/2108/stat : 2108 (java) S 2102 2102 25300 0 -1 1077944384 2886 0 0 0 43 11 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297075522448 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2109] ppid=2102 vsize=15486016 memory=1448 CPUtime=0.54 cores=1,3,5,7
/proc/2104/task/2109/stat : 2109 (java) S 2102 2102 25300 0 -1 1077944384 4833 0 0 0 43 11 0 0 20 0 19 0 409285038 15857680384 222618 33554432000 4194304 4196468 140732995872848 140297074469648 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2110] ppid=2102 vsize=15486016 memory=1448 CPUtime=4.19 cores=1,3,5,7
/proc/2104/task/2110/stat : 2110 (java) S 2102 2102 25300 0 -1 1077944384 5482 0 0 0 112 307 0 0 20 0 19 0 409285040 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296359278960 140297485429378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2111] ppid=2102 vsize=15486016 memory=890472 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2111/stat : 2111 (java) S 2102 2102 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409285040 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296358224992 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2112] ppid=2102 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2112/stat : 2112 (java) S 2102 2102 25300 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 409285040 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296357172096 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2113] ppid=2102 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2113/stat : 2113 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296356120400 140297485436827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2114] ppid=2102 vsize=15486016 memory=873456 CPUtime=2.88 cores=1,3,5,7
/proc/2104/task/2114/stat : 2114 (java) S 2102 2102 25300 0 -1 1077944384 14584 0 0 0 285 3 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296355068784 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2115] ppid=2102 vsize=15486016 memory=3620 CPUtime=2.94 cores=1,3,5,7
/proc/2104/task/2115/stat : 2115 (java) S 2102 2102 25300 0 -1 1077944384 13267 0 0 0 292 2 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296354015984 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2116] ppid=2102 vsize=15486016 memory=20336 CPUtime=0.92 cores=1,3,5,7
/proc/2104/task/2116/stat : 2116 (java) S 2102 2102 25300 0 -1 1077944384 13453 0 0 0 90 2 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296352963184 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2117] ppid=2102 vsize=15486016 memory=20336 CPUtime=0 cores=1,3,5,7
/proc/2104/task/2117/stat : 2117 (java) S 2102 2102 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296351910624 140297485428437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=2118] ppid=2102 vsize=15486016 memory=984 CPUtime=0.47 cores=1,3,5,7
/proc/2104/task/2118/stat : 2118 (java) S 2102 2102 25300 0 -1 1077944384 1008 0 0 0 24 23 0 0 20 0 19 0 409285043 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296350857904 140297485429378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3305] ppid=2102 vsize=15486016 memory=890472 CPUtime=73.15 cores=1,3,5,7
/proc/2104/task/3305/stat : 3305 (java) R 2102 2102 25300 0 -1 4202560 1137 0 0 0 7315 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296338728592 140297129014157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3306] ppid=2102 vsize=15486016 memory=1448 CPUtime=73.25 cores=1,3,5,7
/proc/2104/task/3306/stat : 3306 (java) R 2102 2102 25300 0 -1 4202560 1801 0 0 0 7325 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296341884792 140297122628198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3307] ppid=2102 vsize=15486016 memory=1448 CPUtime=73.24 cores=1,3,5,7
/proc/2104/task/3307/stat : 3307 (java) R 2102 2102 25300 0 -1 4202560 833 0 0 0 7324 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296339779928 140297129015516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
[pid=2104/tid=3308] ppid=2102 vsize=15486016 memory=886776 CPUtime=75.13 cores=1,3,5,7
/proc/2104/task/3308/stat : 3308 (java) R 2102 2102 25300 0 -1 4202560 689 0 0 0 7513 0 0 0 20 0 19 0 409367069 15857680384 222618 33554432000 4194304 4196468 140732995872848 140296340832848 140297131330004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36528128 140732995875823 140732995875994 140732995875994 140732995878863 0
Current children cumulated CPU time: 2400.26 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 891920 KiB

Child status: 143
Real time (s): 896.414
CPU time (s): 2400.64
CPU user time (s): 2396.66
CPU system time (s): 3.97632
CPU usage (%): 267.804
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 1152212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.66
system time used= 3.97632
maximum resident set size= 1155408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98494
page faults= 0
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28751
involuntary context switches= 38350


# summary of solver processes directly reported to runsolver:
#   pid: 2102,2104
#   total CPU time (s): 2400.64
#   total CPU user time (s): 2396.66
#   total CPU system time (s): 3.97632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06521 second user time and 10.1956 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml
MD5SUM	681710e79c8377b968f88ec392af942b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	770
Best CPU time to get the best result obtained on this benchmark	2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	1482
Number of constraints	1443
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}]
Minimum variable degree	0
Maximum variable degree	73
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}]
Minimum constraint arity	1
Maximum constraint arity	37
Distribution of constraint arities	[{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}]
Number of extensional constraints	0
Number of intensional constraints	37
Distribution of constraint types	[{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4394331

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