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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	1817	2520.62	647.429

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393431-1568316666.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393431-1568316666.xml, -tl, 2520s, -p, 4]
0.34/0.23	c 4 solvers in parallel
0.34/0.29	c parse instance...
2.73/1.04	c solve instance...
9.37/2.70	o 1921 
9.37/2.72	o 1881 
9.37/2.74	o 1830 
625.67/167.84	o 1817 
2520.20/647.36	s SATISFIABLE
2520.20/647.36	v <instantiation>
2520.20/647.36	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>
2520.20/647.36	v 	<values>0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 65 69 17 39 99 52 38 20 96 25 64 5 64 48 13 26 100 45 53 31 73 73 100 100 85 17 81 100 39 87 92 4 27 62 26 79 59 </values>
2520.20/647.36	v </instantiation>
2520.20/647.36	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 (15310 MiB free)
  memory of node 1: 16384 MiB (13476 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393431-1568316666/watcher-4393431-1568316666 -o /tmp/evaluation-result-4393431-1568316666/solver-4393431-1568316666 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 530692906 HOME/instance-4393431-1568316666.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=17363, runsolver pid=17360
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 8.64 8.47 8.07 6/232 17379
/proc/meminfo: memFree=29461832/32770624 swapFree=66920688/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (xcsp3-exec) S 17360 17363 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407922673 115843072 362 33554432000 4194304 5098028 140731145920496 140731145918600 140339680903804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31289344 140731145929595 140731145929837 140731145929837 140731145932746 0
/proc/17363/statm: 28282 362 304 221 0 87 0
[pid=17365] ppid=17363 vsize=15144768 memory=28888 CPUtime=0.13 cores=0,2,4,6
/proc/17365/stat : 17365 (java) S 17363 17363 14254 0 -1 1077944320 5641 0 0 0 12 1 0 0 20 0 15 0 407922673 15508242432 7222 33554432000 4194304 4196468 140724214198288 140724214180832 140064003833591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
/proc/17365/statm: 3786192 7222 3152 1 0 3748377 0
[pid=17365/tid=17366] ppid=17363 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/17365/task/17366/stat : 17366 (java) R 17363 17363 14254 0 -1 4202560 3562 0 0 0 8 1 0 0 20 0 15 0 407922673 15508242432 7222 33554432000 4194304 4196468 140724214198288 140064008065840 140064003845526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17367] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17367/stat : 17367 (java) S 17363 17363 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063931873808 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17368] ppid=17363 vsize=15144768 memory=288371049580091008 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17368/stat : 17368 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063930821264 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17369] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17369/stat : 17369 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063929768208 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17370] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17370/stat : 17370 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063928715664 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17371] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17371/stat : 17371 (java) S 17363 17363 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407922675 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063472372464 140064003844738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17372] ppid=17363 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17372/stat : 17372 (java) S 17363 17363 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407922676 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063471318688 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17373] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17373/stat : 17373 (java) S 17363 17363 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407922676 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063470265584 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17374] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17374/stat : 17374 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063469214160 140064003852187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17375] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17375/stat : 17375 (java) S 17363 17363 14254 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063468161264 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17376] ppid=17363 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17376/stat : 17376 (java) S 17363 17363 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063467108720 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17377] ppid=17363 vsize=15144768 memory=140673428379264 CPUtime=0.02 cores=0,2,4,6
/proc/17365/task/17377/stat : 17377 (java) S 17363 17363 14254 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 407922679 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063466055664 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17378] ppid=17363 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17378/stat : 17378 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063465003360 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17379] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17379/stat : 17379 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 7222 33554432000 4194304 4196468 140724214198288 140063463951408 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30336 KiB

[startup+0.210919 s]*
/proc/loadavg: 8.64 8.47 8.07 6/232 17379
/proc/meminfo: memFree=29448524/32770624 swapFree=66920688/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (xcsp3-exec) S 17360 17363 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407922673 115843072 362 33554432000 4194304 5098028 140731145920496 140731145918600 140339680903804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31289344 140731145929595 140731145929837 140731145929837 140731145932746 0
/proc/17363/statm: 28282 362 304 221 0 87 0
[pid=17365] ppid=17363 vsize=15144768 memory=41028 CPUtime=0.34 cores=0,2,4,6
/proc/17365/stat : 17365 (java) S 17363 17363 14254 0 -1 1077944320 9466 0 0 0 31 3 0 0 20 0 15 0 407922673 15508242432 10257 33554432000 4194304 4196468 140724214198288 140724214180832 140064003833591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
/proc/17365/statm: 3786192 10257 3309 1 0 3748377 0
[pid=17365/tid=17366] ppid=17363 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17365/task/17366/stat : 17366 (java) R 17363 17363 14254 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 15 0 407922673 15508242432 10257 33554432000 4194304 4196468 140724214198288 140064008066320 140064003855517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17367] ppid=17363 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17367/stat : 17367 (java) S 17363 17363 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063931873808 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17368] ppid=17363 vsize=15144768 memory=140673428395343 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17368/stat : 17368 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063930821264 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17369] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17369/stat : 17369 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063929768208 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17370] ppid=17363 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17370/stat : 17370 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063928715664 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17371] ppid=17363 vsize=15144768 memory=140673428379264 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17371/stat : 17371 (java) S 17363 17363 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407922675 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063472372464 140064003844738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17372] ppid=17363 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17372/stat : 17372 (java) S 17363 17363 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407922676 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063471318688 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17373] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17373/stat : 17373 (java) S 17363 17363 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407922676 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063470265584 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17374] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17374/stat : 17374 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063469214160 140064003852187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17375] ppid=17363 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17365/task/17375/stat : 17375 (java) S 17363 17363 14254 0 -1 1077944384 716 0 0 0 2 0 0 0 20 0 15 0 407922679 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063468161264 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17376] ppid=17363 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17365/task/17376/stat : 17376 (java) S 17363 17363 14254 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 407922679 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063467108720 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17377] ppid=17363 vsize=15144768 memory=140673428379264 CPUtime=0.07 cores=0,2,4,6
/proc/17365/task/17377/stat : 17377 (java) S 17363 17363 14254 0 -1 1077944384 745 0 0 0 7 0 0 0 20 0 15 0 407922679 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063466055664 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17378] ppid=17363 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17378/stat : 17378 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063465003360 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17379] ppid=17363 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17379/stat : 17379 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922679 15508242432 10257 33554432000 4194304 4196468 140724214198288 140063463951408 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42476 KiB

[startup+0.311137 s]*
/proc/loadavg: 8.64 8.47 8.07 7/232 17379
/proc/meminfo: memFree=29443560/32770624 swapFree=66920688/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (xcsp3-exec) S 17360 17363 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407922673 115843072 362 33554432000 4194304 5098028 140731145920496 140731145918600 140339680903804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31289344 140731145929595 140731145929837 140731145929837 140731145932746 0
/proc/17363/statm: 28282 362 304 221 0 87 0
[pid=17365] ppid=17363 vsize=15149024 memory=49940 CPUtime=0.53 cores=0,2,4,6
/proc/17365/stat : 17365 (java) S 17363 17363 14254 0 -1 1077944320 10775 0 0 0 49 4 0 0 20 0 15 0 407922673 15512600576 12485 33554432000 4194304 4196468 140724214198288 140724214180832 140064003833591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
/proc/17365/statm: 3787256 12485 3370 1 0 3748377 0
[pid=17365/tid=17366] ppid=17363 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/17365/task/17366/stat : 17366 (java) R 17363 17363 14254 0 -1 4202560 7703 0 0 0 27 3 0 0 20 0 15 0 407922673 15512600576 12485 33554432000 4194304 4196468 140724214198288 140064008069168 140063987914078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17367] ppid=17363 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17367/stat : 17367 (java) S 17363 17363 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407922674 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063931873808 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17368] ppid=17363 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17368/stat : 17368 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063930821264 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17369] ppid=17363 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17369/stat : 17369 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063929768208 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17370] ppid=17363 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17370/stat : 17370 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063928715664 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17371] ppid=17363 vsize=15149024 memory=-7377628861284532383 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17371/stat : 17371 (java) S 17363 17363 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407922675 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063472372464 140064003844738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17372] ppid=17363 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17372/stat : 17372 (java) S 17363 17363 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407922676 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063471318688 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17373] ppid=17363 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17373/stat : 17373 (java) S 17363 17363 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407922676 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063470265584 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17374] ppid=17363 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17374/stat : 17374 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063469214160 140064003852187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17375] ppid=17363 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/17365/task/17375/stat : 17375 (java) S 17363 17363 14254 0 -1 1077944384 733 0 0 0 4 0 0 0 20 0 15 0 407922679 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063468161264 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17376] ppid=17363 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/17365/task/17376/stat : 17376 (java) R 17363 17363 14254 0 -1 4202560 202 0 0 0 4 0 0 0 20 0 15 0 407922679 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063467108720 140063987244601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17377] ppid=17363 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17365/task/17377/stat : 17377 (java) S 17363 17363 14254 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 15 0 407922679 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063466055664 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17378] ppid=17363 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17378/stat : 17378 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063465003360 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17379] ppid=17363 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17379/stat : 17379 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922679 15512600576 12485 33554432000 4194304 4196468 140724214198288 140063463951408 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51388 KiB

[startup+0.708256 s]
/proc/loadavg: 8.64 8.47 8.07 9/232 17379
/proc/meminfo: memFree=29422076/32770624 swapFree=66920688/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (xcsp3-exec) S 17360 17363 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407922673 115843072 362 33554432000 4194304 5098028 140731145920496 140731145918600 140339680903804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31289344 140731145929595 140731145929837 140731145929837 140731145932746 0
/proc/17363/statm: 28282 362 304 221 0 87 0
[pid=17365] ppid=17363 vsize=15151148 memory=90112 CPUtime=1.74 cores=0,2,4,6
/proc/17365/stat : 17365 (java) S 17363 17363 14254 0 -1 1077944320 15214 0 0 0 169 5 0 0 20 0 15 0 407922673 15514775552 22528 33554432000 4194304 4196468 140724214198288 140724214180832 140064003833591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
/proc/17365/statm: 3787787 22528 3452 1 0 3748889 0
[pid=17365/tid=17366] ppid=17363 vsize=15151148 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/17365/task/17366/stat : 17366 (java) R 17363 17363 14254 0 -1 4202560 9134 0 0 0 65 3 0 0 20 0 15 0 407922673 15514775552 22528 33554432000 4194304 4196468 140724214198288 140064008069280 140063602738023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17367] ppid=17363 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17367/stat : 17367 (java) S 17363 17363 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407922674 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063931873808 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17368] ppid=17363 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17368/stat : 17368 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063930821264 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17369] ppid=17363 vsize=15151148 memory=708 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17369/stat : 17369 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063929768208 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17370] ppid=17363 vsize=15151148 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17370/stat : 17370 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922674 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063928715664 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17371] ppid=17363 vsize=15151148 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17371/stat : 17371 (java) S 17363 17363 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407922675 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063472372464 140064003844738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17372] ppid=17363 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17372/stat : 17372 (java) S 17363 17363 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407922676 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063471318688 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17373] ppid=17363 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17373/stat : 17373 (java) S 17363 17363 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407922676 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063470265584 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17374] ppid=17363 vsize=15151148 memory=7956 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17374/stat : 17374 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063469214160 140064003852187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17375] ppid=17363 vsize=15151148 memory=3444 CPUtime=0.32 cores=0,2,4,6
/proc/17365/task/17375/stat : 17375 (java) R 17363 17363 14254 0 -1 4202560 1645 0 0 0 32 0 0 0 20 0 15 0 407922679 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063468161264 140064003854938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17376] ppid=17363 vsize=15151148 memory=1556 CPUtime=0.29 cores=0,2,4,6
/proc/17365/task/17376/stat : 17376 (java) R 17363 17363 14254 0 -1 4202560 1016 0 0 0 29 0 0 0 20 0 15 0 407922679 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063467090288 140063987347638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17377] ppid=17363 vsize=15151148 memory=2832 CPUtime=0.41 cores=0,2,4,6
/proc/17365/task/17377/stat : 17377 (java) S 17363 17363 14254 0 -1 1077944384 2112 0 0 0 41 0 0 0 20 0 15 0 407922679 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063466055664 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17378] ppid=17363 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17378/stat : 17378 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407922679 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063465003360 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17379] ppid=17363 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17379/stat : 17379 (java) S 17363 17363 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407922679 15514775552 22528 33554432000 4194304 4196468 140724214198288 140063463951408 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 91560 KiB

[startup+1.50211 s]
/proc/loadavg: 8.64 8.47 8.07 10/232 17379
/proc/meminfo: memFree=29339204/32770624 swapFree=66920688/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (xcsp3-exec) S 17360 17363 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407922673 115843072 362 33554432000 4194304 5098028 140731145920496 140731145918600 140339680903804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31289344 140731145929595 140731145929837 140731145929837 140731145932746 0
/proc/17363/statm: 28282 362 304 221 0 87 0

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

/proc/17365/stat : 17365 (java) S 17363 17363 14254 0 -1 1077944320 100363 0 0 0 249478 578 0 0 20 0 19 0 407922673 15790571520 355899 33554432000 4194304 4196468 140724214198288 140724214180832 140064003833591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
/proc/17365/statm: 3855120 355899 3536 1 0 3816222 0
[pid=17365/tid=17366] ppid=17363 vsize=15420480 memory=1323240 CPUtime=1.04 cores=0,2,4,6
/proc/17365/task/17366/stat : 17366 (java) S 17363 17363 14254 0 -1 1077944384 11747 0 0 0 99 5 0 0 20 0 19 0 407922673 15790571520 355899 33554432000 4194304 4196468 140724214198288 140064008074368 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17367] ppid=17363 vsize=15420480 memory=1345768 CPUtime=0.7 cores=0,2,4,6
/proc/17365/task/17367/stat : 17367 (java) S 17363 17363 14254 0 -1 1077944384 3754 0 0 0 55 15 0 0 20 0 19 0 407922674 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063931873808 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17368] ppid=17363 vsize=15420480 memory=1343720 CPUtime=0.7 cores=0,2,4,6
/proc/17365/task/17368/stat : 17368 (java) S 17363 17363 14254 0 -1 1077944384 4745 0 0 0 55 15 0 0 20 0 19 0 407922674 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063930821264 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17369] ppid=17363 vsize=15420480 memory=1448 CPUtime=0.7 cores=0,2,4,6
/proc/17365/task/17369/stat : 17369 (java) S 17363 17363 14254 0 -1 1077944384 4379 0 0 0 56 14 0 0 20 0 19 0 407922674 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063929768208 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17370] ppid=17363 vsize=15420480 memory=1392876 CPUtime=0.68 cores=0,2,4,6
/proc/17365/task/17370/stat : 17370 (java) S 17363 17363 14254 0 -1 1077944384 6449 0 0 0 53 15 0 0 20 0 19 0 407922674 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063928715664 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17371] ppid=17363 vsize=15420480 memory=16884 CPUtime=6.21 cores=0,2,4,6
/proc/17365/task/17371/stat : 17371 (java) S 17363 17363 14254 0 -1 1077944384 6427 0 0 0 133 488 0 0 20 0 19 0 407922675 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063472372464 140064003844738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17372] ppid=17363 vsize=15420480 memory=988 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17372/stat : 17372 (java) S 17363 17363 14254 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407922676 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063471318752 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17373] ppid=17363 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17373/stat : 17373 (java) S 17363 17363 14254 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 407922676 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063470265600 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17374] ppid=17363 vsize=15420480 memory=1392876 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17374/stat : 17374 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407922679 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063469214160 140064003852187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17375] ppid=17363 vsize=15420480 memory=1448 CPUtime=2.76 cores=0,2,4,6
/proc/17365/task/17375/stat : 17375 (java) S 17363 17363 14254 0 -1 1077944384 12714 0 0 0 275 1 0 0 20 0 19 0 407922679 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063468161264 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17376] ppid=17363 vsize=15420480 memory=1392876 CPUtime=2.62 cores=0,2,4,6
/proc/17365/task/17376/stat : 17376 (java) S 17363 17363 14254 0 -1 1077944384 14755 0 0 0 261 1 0 0 20 0 19 0 407922679 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063467108720 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17377] ppid=17363 vsize=15420480 memory=1448 CPUtime=0.87 cores=0,2,4,6
/proc/17365/task/17377/stat : 17377 (java) S 17363 17363 14254 0 -1 1077944384 10303 0 0 0 85 2 0 0 20 0 19 0 407922679 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063466055664 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17378] ppid=17363 vsize=15420480 memory=1409260 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17378/stat : 17378 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407922679 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063465003360 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17379] ppid=17363 vsize=15420480 memory=1448 CPUtime=0.24 cores=0,2,4,6
/proc/17365/task/17379/stat : 17379 (java) S 17363 17363 14254 0 -1 1077944384 1077 0 0 0 12 12 0 0 20 0 19 0 407922679 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063463951408 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17572] ppid=17363 vsize=15420480 memory=1409260 CPUtime=464.51 cores=0,2,4,6
/proc/17365/task/17572/stat : 17572 (java) R 17363 17363 14254 0 -1 4202560 2038 0 0 0 46450 1 0 0 20 0 19 0 407939457 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063454742928 140063606350485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17573] ppid=17363 vsize=15420480 memory=1448 CPUtime=465.6 cores=0,2,4,6
/proc/17365/task/17573/stat : 17573 (java) R 17363 17363 14254 0 -1 4202560 7245 0 0 0 46558 2 0 0 20 0 19 0 407939485 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063453687808 140063607556363 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17574] ppid=17363 vsize=15420480 memory=1423596 CPUtime=465.52 cores=0,2,4,6
/proc/17365/task/17574/stat : 17574 (java) R 17363 17363 14254 0 -1 4202560 1724 0 0 0 46549 3 0 0 20 0 19 0 407939485 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063451582736 140063989043460 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17575] ppid=17363 vsize=15420480 memory=3580 CPUtime=470.69 cores=0,2,4,6
/proc/17365/task/17575/stat : 17575 (java) R 17363 17363 14254 0 -1 4202560 1668 0 0 0 47068 1 0 0 20 0 19 0 407939485 15790571520 355899 33554432000 4194304 4196468 140724214198288 140063448432504 140063607556686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
Current children cumulated CPU time: 2500.56 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 1425044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+647.301 s]
/proc/loadavg: 7.99 8.23 8.13 9/236 17943
/proc/meminfo: memFree=29541676/32770624 swapFree=66920708/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (xcsp3-exec) S 17360 17363 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407922673 115843072 362 33554432000 4194304 5098028 140731145920496 140731145918600 140339680903804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31289344 140731145929595 140731145929837 140731145929837 140731145932746 0
/proc/17363/statm: 28282 362 304 221 0 87 0
[pid=17365] ppid=17363 vsize=15420480 memory=1425644 CPUtime=2520.2 cores=0,2,4,6
/proc/17365/stat : 17365 (java) S 17363 17363 14254 0 -1 1077944320 100496 0 0 0 251434 586 0 0 20 0 19 0 407922673 15790571520 356411 33554432000 4194304 4196468 140724214198288 140724214180832 140064003833591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
/proc/17365/statm: 3855120 356411 3536 1 0 3816222 0
[pid=17365/tid=17366] ppid=17363 vsize=15420480 memory=1425644 CPUtime=1.04 cores=0,2,4,6
/proc/17365/task/17366/stat : 17366 (java) S 17363 17363 14254 0 -1 1077944384 11747 0 0 0 99 5 0 0 20 0 19 0 407922673 15790571520 356411 33554432000 4194304 4196468 140724214198288 140064008074368 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17367] ppid=17363 vsize=15420480 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/17365/task/17367/stat : 17367 (java) S 17363 17363 14254 0 -1 1077944384 3762 0 0 0 56 15 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063931873808 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17368] ppid=17363 vsize=15420480 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/17365/task/17368/stat : 17368 (java) S 17363 17363 14254 0 -1 1077944384 4758 0 0 0 56 15 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063930821264 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17369] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.71 cores=0,2,4,6
/proc/17365/task/17369/stat : 17369 (java) S 17363 17363 14254 0 -1 1077944384 4391 0 0 0 57 14 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063929768208 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17370] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.7 cores=0,2,4,6
/proc/17365/task/17370/stat : 17370 (java) S 17363 17363 14254 0 -1 1077944384 6450 0 0 0 55 15 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063928715664 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17371] ppid=17363 vsize=15420480 memory=1392876 CPUtime=6.32 cores=0,2,4,6
/proc/17365/task/17371/stat : 17371 (java) S 17363 17363 14254 0 -1 1077944384 6427 0 0 0 136 496 0 0 20 0 19 0 407922675 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063472372464 140064003844738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17372] ppid=17363 vsize=15420480 memory=16884 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17372/stat : 17372 (java) S 17363 17363 14254 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407922676 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063471318752 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17373] ppid=17363 vsize=15420480 memory=988 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17373/stat : 17373 (java) S 17363 17363 14254 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 407922676 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063470265600 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17374] ppid=17363 vsize=15420480 memory=2952 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17374/stat : 17374 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063469214160 140064003852187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17375] ppid=17363 vsize=15420480 memory=2680 CPUtime=2.76 cores=0,2,4,6
/proc/17365/task/17375/stat : 17375 (java) S 17363 17363 14254 0 -1 1077944384 12714 0 0 0 275 1 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063468161264 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17376] ppid=17363 vsize=15420480 memory=1423596 CPUtime=2.62 cores=0,2,4,6
/proc/17365/task/17376/stat : 17376 (java) S 17363 17363 14254 0 -1 1077944384 14755 0 0 0 261 1 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063467108720 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17377] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.87 cores=0,2,4,6
/proc/17365/task/17377/stat : 17377 (java) S 17363 17363 14254 0 -1 1077944384 10303 0 0 0 85 2 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063466055664 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17378] ppid=17363 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17378/stat : 17378 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063465003360 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17379] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.24 cores=0,2,4,6
/proc/17365/task/17379/stat : 17379 (java) S 17363 17363 14254 0 -1 1077944384 1077 0 0 0 12 12 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063463951408 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17572] ppid=17363 vsize=15420480 memory=6791534058613427641 CPUtime=469.37 cores=0,2,4,6
/proc/17365/task/17572/stat : 17572 (java) R 17363 17363 14254 0 -1 4202560 2048 0 0 0 46936 1 0 0 20 0 19 0 407939457 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063454740808 140063599071095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17573] ppid=17363 vsize=15420480 memory=14012 CPUtime=470.44 cores=0,2,4,6
/proc/17365/task/17573/stat : 17573 (java) R 17363 17363 14254 0 -1 4202560 7303 0 0 0 47042 2 0 0 20 0 19 0 407939485 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063453690736 140063607556320 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17574] ppid=17363 vsize=15420480 memory=1760 CPUtime=470.36 cores=0,2,4,6
/proc/17365/task/17574/stat : 17574 (java) R 17363 17363 14254 0 -1 4202560 1732 0 0 0 47033 3 0 0 20 0 19 0 407939485 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063451582824 140063605737097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17575] ppid=17363 vsize=15420480 memory=111632 CPUtime=475.63 cores=0,2,4,6
/proc/17365/task/17575/stat : 17575 (java) R 17363 17363 14254 0 -1 4202560 1691 0 0 0 47562 1 0 0 20 0 19 0 407939485 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063448432256 140063607556573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 1427092 KiB

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

[startup+647.334 s]
# the end of solver process 17363 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002329 s, system=0 s

[startup+647.429 s]
# the end of solver process 17365 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.72 s, system=5.90274 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+647.301 s]
/proc/loadavg: 7.99 8.23 8.13 9/236 17943
/proc/meminfo: memFree=29541676/32770624 swapFree=66920708/67108860
[pid=17363] ppid=17360 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17363/stat : 17363 (xcsp3-exec) S 17360 17363 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407922673 115843072 362 33554432000 4194304 5098028 140731145920496 140731145918600 140339680903804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31289344 140731145929595 140731145929837 140731145929837 140731145932746 0
/proc/17363/statm: 28282 362 304 221 0 87 0
[pid=17365] ppid=17363 vsize=15420480 memory=1425644 CPUtime=2520.2 cores=0,2,4,6
/proc/17365/stat : 17365 (java) S 17363 17363 14254 0 -1 1077944320 100496 0 0 0 251434 586 0 0 20 0 19 0 407922673 15790571520 356411 33554432000 4194304 4196468 140724214198288 140724214180832 140064003833591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
/proc/17365/statm: 3855120 356411 3536 1 0 3816222 0
[pid=17365/tid=17366] ppid=17363 vsize=15420480 memory=1425644 CPUtime=1.04 cores=0,2,4,6
/proc/17365/task/17366/stat : 17366 (java) S 17363 17363 14254 0 -1 1077944384 11747 0 0 0 99 5 0 0 20 0 19 0 407922673 15790571520 356411 33554432000 4194304 4196468 140724214198288 140064008074368 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17367] ppid=17363 vsize=15420480 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/17365/task/17367/stat : 17367 (java) S 17363 17363 14254 0 -1 1077944384 3762 0 0 0 56 15 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063931873808 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17368] ppid=17363 vsize=15420480 memory=1448 CPUtime=0.71 cores=0,2,4,6
/proc/17365/task/17368/stat : 17368 (java) S 17363 17363 14254 0 -1 1077944384 4758 0 0 0 56 15 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063930821264 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17369] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.71 cores=0,2,4,6
/proc/17365/task/17369/stat : 17369 (java) S 17363 17363 14254 0 -1 1077944384 4391 0 0 0 57 14 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063929768208 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17370] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.7 cores=0,2,4,6
/proc/17365/task/17370/stat : 17370 (java) S 17363 17363 14254 0 -1 1077944384 6450 0 0 0 55 15 0 0 20 0 19 0 407922674 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063928715664 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17371] ppid=17363 vsize=15420480 memory=1392876 CPUtime=6.32 cores=0,2,4,6
/proc/17365/task/17371/stat : 17371 (java) S 17363 17363 14254 0 -1 1077944384 6427 0 0 0 136 496 0 0 20 0 19 0 407922675 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063472372464 140064003844738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17372] ppid=17363 vsize=15420480 memory=16884 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17372/stat : 17372 (java) S 17363 17363 14254 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407922676 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063471318752 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17373] ppid=17363 vsize=15420480 memory=988 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17373/stat : 17373 (java) S 17363 17363 14254 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 407922676 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063470265600 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17374] ppid=17363 vsize=15420480 memory=2952 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17374/stat : 17374 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063469214160 140064003852187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17375] ppid=17363 vsize=15420480 memory=2680 CPUtime=2.76 cores=0,2,4,6
/proc/17365/task/17375/stat : 17375 (java) S 17363 17363 14254 0 -1 1077944384 12714 0 0 0 275 1 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063468161264 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17376] ppid=17363 vsize=15420480 memory=1423596 CPUtime=2.62 cores=0,2,4,6
/proc/17365/task/17376/stat : 17376 (java) S 17363 17363 14254 0 -1 1077944384 14755 0 0 0 261 1 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063467108720 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17377] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.87 cores=0,2,4,6
/proc/17365/task/17377/stat : 17377 (java) S 17363 17363 14254 0 -1 1077944384 10303 0 0 0 85 2 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063466055664 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17378] ppid=17363 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17365/task/17378/stat : 17378 (java) S 17363 17363 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063465003360 140064003843797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17379] ppid=17363 vsize=15420480 memory=1423596 CPUtime=0.24 cores=0,2,4,6
/proc/17365/task/17379/stat : 17379 (java) S 17363 17363 14254 0 -1 1077944384 1077 0 0 0 12 12 0 0 20 0 19 0 407922679 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063463951408 140064003844738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17572] ppid=17363 vsize=15420480 memory=6791534058613427641 CPUtime=469.37 cores=0,2,4,6
/proc/17365/task/17572/stat : 17572 (java) R 17363 17363 14254 0 -1 4202560 2048 0 0 0 46936 1 0 0 20 0 19 0 407939457 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063454740808 140063599071095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17573] ppid=17363 vsize=15420480 memory=14012 CPUtime=470.44 cores=0,2,4,6
/proc/17365/task/17573/stat : 17573 (java) R 17363 17363 14254 0 -1 4202560 7303 0 0 0 47042 2 0 0 20 0 19 0 407939485 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063453690736 140063607556320 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17574] ppid=17363 vsize=15420480 memory=1760 CPUtime=470.36 cores=0,2,4,6
/proc/17365/task/17574/stat : 17574 (java) R 17363 17363 14254 0 -1 4202560 1732 0 0 0 47033 3 0 0 20 0 19 0 407939485 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063451582824 140063605737097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
[pid=17365/tid=17575] ppid=17363 vsize=15420480 memory=111632 CPUtime=475.63 cores=0,2,4,6
/proc/17365/task/17575/stat : 17575 (java) R 17363 17363 14254 0 -1 4202560 1691 0 0 0 47562 1 0 0 20 0 19 0 407939485 15790571520 356411 33554432000 4194304 4196468 140724214198288 140063448432256 140063607556573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16920576 140724214207471 140724214207642 140724214207642 140724214210511 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 1427092 KiB

Child status: 143
Real time (s): 647.429
CPU time (s): 2520.62
CPU user time (s): 2514.72
CPU system time (s): 5.90274
CPU usage (%): 389.329
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 1427092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.72
system time used= 5.90274
maximum resident set size= 1426024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24933
involuntary context switches= 46060


# summary of solver processes directly reported to runsolver:
#   pid: 17363,17365
#   total CPU time (s): 2520.62
#   total CPU user time (s): 2514.72
#   total CPU system time (s): 5.90274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10885 second user time and 7.16052 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	2520.09
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 4393431

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