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)	1054	2520.61	651.204

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393423-1568316650.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393423-1568316650.xml, -tl, 2520s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.82/1.05	c solve instance...
9.50/2.71	o 1111 
13.04/3.65	o 1093 
80.13/23.31	o 1073 
87.16/28.36	o 1071 
102.99/43.29	o 1054 
2520.26/651.17	s SATISFIABLE
2520.26/651.17	v <instantiation>
2520.26/651.17	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] </list>
2520.26/651.17	v 	<values>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 1 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 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 22 132 30 74 121 75 102 53 14 61 19 140 84 82 56 53 38 138 93 81 140 61 93 92 128 83 108 17 25 100 37 65 45 53 35 45 20 15 60 </values>
2520.26/651.17	v </instantiation>
2520.26/651.17	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 (9721 MiB free)
  memory of node 1: 16384 MiB (13543 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393423-1568316650/watcher-4393423-1568316650 -o /tmp/evaluation-result-4393423-1568316650/solver-4393423-1568316650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2112855647 HOME/instance-4393423-1568316650.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=16332, runsolver pid=16329
Current StackSize limit: 8192 KiB


[startup+0.100128 s]*
/proc/loadavg: 9.18 8.50 8.14 7/233 16348
/proc/meminfo: memFree=23806644/32770624 swapFree=66952812/67108860
[pid=16332] ppid=16329 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16332/stat : 16332 (xcsp3-exec) S 16329 16332 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407606943 115843072 363 33554432000 4194304 5098028 140726841411216 140726841409320 140437409309308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17719296 140726841418618 140726841418861 140726841418861 140726841421770 0
/proc/16332/statm: 28282 363 304 221 0 87 0
[pid=16334] ppid=16332 vsize=15144768 memory=29856 CPUtime=0.13 cores=0,2,4,6
/proc/16334/stat : 16334 (java) S 16332 16332 11591 0 -1 1077944320 5935 0 0 0 11 2 0 0 20 0 15 0 407606943 15508242432 7464 33554432000 4194304 4196468 140723526038752 140723526021296 139670949908215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
/proc/16334/statm: 3786192 7464 3114 1 0 3748377 0
[pid=16334/tid=16335] ppid=16332 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=0,2,4,6
/proc/16334/task/16335/stat : 16335 (java) R 16332 16332 11591 0 -1 4202560 3853 0 0 0 8 1 0 0 20 0 15 0 407606943 15508242432 7464 33554432000 4194304 4196468 140723526038752 139670954139536 139670949920150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16336] ppid=16332 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16336/stat : 16336 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 7464 33554432000 4194304 4196468 140723526038752 139670861564304 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16337] ppid=16332 vsize=15144768 memory=140487532066432 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16337/stat : 16337 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 7464 33554432000 4194304 4196468 140723526038752 139670541297936 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16338] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16338/stat : 16338 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 7464 33554432000 4194304 4196468 140723526038752 139670540245648 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16339] ppid=16332 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16339/stat : 16339 (java) S 16332 16332 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 7464 33554432000 4194304 4196468 140723526038752 139670539192848 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16340] ppid=16332 vsize=15144768 memory=140487532066432 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16340/stat : 16340 (java) S 16332 16332 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407606945 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670418098800 139670949919362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16341] ppid=16332 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16341/stat : 16341 (java) S 16332 16332 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407606946 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670417044768 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16342] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16342/stat : 16342 (java) S 16332 16332 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407606946 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670415992432 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16343] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16343/stat : 16343 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606948 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670414940752 139670949926811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16344] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16344/stat : 16344 (java) R 16332 16332 11591 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 407606948 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670413887600 139670949919362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16345] ppid=16332 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16345/stat : 16345 (java) R 16332 16332 11591 0 -1 4202560 141 0 0 0 0 0 0 0 20 0 15 0 407606949 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670412834800 139670933448561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16346] ppid=16332 vsize=15144768 memory=140487532066432 CPUtime=0.02 cores=0,2,4,6
/proc/16334/task/16346/stat : 16346 (java) R 16332 16332 11591 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 407606949 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670411782512 139670949920150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16347] ppid=16332 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16347/stat : 16347 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606949 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670410729952 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16348] ppid=16332 vsize=15144768 memory=140487532066432 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16348/stat : 16348 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606949 15508242432 7530 33554432000 4194304 4196468 140723526038752 139670409677744 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31308 KiB

[startup+0.213904 s]*
/proc/loadavg: 9.18 8.50 8.14 6/233 16348
/proc/meminfo: memFree=23794184/32770624 swapFree=66952812/67108860
[pid=16332] ppid=16329 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16332/stat : 16332 (xcsp3-exec) S 16329 16332 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407606943 115843072 363 33554432000 4194304 5098028 140726841411216 140726841409320 140437409309308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17719296 140726841418618 140726841418861 140726841418861 140726841421770 0
/proc/16332/statm: 28282 363 304 221 0 87 0
[pid=16334] ppid=16332 vsize=15144768 memory=40252 CPUtime=0.34 cores=0,2,4,6
/proc/16334/stat : 16334 (java) S 16332 16332 11591 0 -1 1077944320 9318 0 0 0 31 3 0 0 20 0 15 0 407606943 15508242432 10063 33554432000 4194304 4196468 140723526038752 140723526021296 139670949908215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
/proc/16334/statm: 3786192 10063 3248 1 0 3748377 0
[pid=16334/tid=16335] ppid=16332 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16334/task/16335/stat : 16335 (java) R 16332 16332 11591 0 -1 4202560 6626 0 0 0 18 2 0 0 20 0 15 0 407606943 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670954144976 139670933951845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16336] ppid=16332 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16336/stat : 16336 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670861564304 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16337] ppid=16332 vsize=15144768 memory=288370863683778176 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16337/stat : 16337 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670541297936 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16338] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16338/stat : 16338 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670540245648 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16339] ppid=16332 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16339/stat : 16339 (java) S 16332 16332 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407606944 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670539192848 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16340] ppid=16332 vsize=15144768 memory=140487532066432 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16340/stat : 16340 (java) S 16332 16332 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407606945 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670418098800 139670949919362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16341] ppid=16332 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16341/stat : 16341 (java) S 16332 16332 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407606946 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670417044768 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16342] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16342/stat : 16342 (java) S 16332 16332 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407606946 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670415992432 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16343] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16343/stat : 16343 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606948 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670414940752 139670949926811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16344] ppid=16332 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16334/task/16344/stat : 16344 (java) S 16332 16332 11591 0 -1 1077944384 440 0 0 0 3 0 0 0 20 0 15 0 407606948 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670413887600 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16345] ppid=16332 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16334/task/16345/stat : 16345 (java) S 16332 16332 11591 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 407606949 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670412834800 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16346] ppid=16332 vsize=15144768 memory=140487532066432 CPUtime=0.08 cores=0,2,4,6
/proc/16334/task/16346/stat : 16346 (java) S 16332 16332 11591 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 407606949 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670411782512 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16347] ppid=16332 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16347/stat : 16347 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606949 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670410729952 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16348] ppid=16332 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16348/stat : 16348 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606949 15508242432 10063 33554432000 4194304 4196468 140723526038752 139670409677744 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41704 KiB

[startup+0.311019 s]*
/proc/loadavg: 9.18 8.50 8.14 7/233 16348
/proc/meminfo: memFree=23786104/32770624 swapFree=66952812/67108860
[pid=16332] ppid=16329 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16332/stat : 16332 (xcsp3-exec) S 16329 16332 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407606943 115843072 363 33554432000 4194304 5098028 140726841411216 140726841409320 140437409309308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17719296 140726841418618 140726841418861 140726841418861 140726841421770 0
/proc/16332/statm: 28282 363 304 221 0 87 0
[pid=16334] ppid=16332 vsize=15149024 memory=49824 CPUtime=0.52 cores=0,2,4,6
/proc/16334/stat : 16334 (java) S 16332 16332 11591 0 -1 1077944320 10815 0 0 0 49 3 0 0 20 0 15 0 407606943 15512600576 12456 33554432000 4194304 4196468 140723526038752 140723526021296 139670949908215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
/proc/16334/statm: 3787256 12456 3370 1 0 3748377 0
[pid=16334/tid=16335] ppid=16332 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/16334/task/16335/stat : 16335 (java) R 16332 16332 11591 0 -1 4202560 7781 0 0 0 27 3 0 0 20 0 15 0 407606943 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670954139328 139670933988702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16336] ppid=16332 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16336/stat : 16336 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670861564304 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16337] ppid=16332 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16337/stat : 16337 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670541297936 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16338] ppid=16332 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16338/stat : 16338 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670540245648 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16339] ppid=16332 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16339/stat : 16339 (java) S 16332 16332 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407606944 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670539192848 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16340] ppid=16332 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16340/stat : 16340 (java) S 16332 16332 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407606945 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670418098800 139670949919362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16341] ppid=16332 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16341/stat : 16341 (java) S 16332 16332 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407606946 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670417044768 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16342] ppid=16332 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16342/stat : 16342 (java) S 16332 16332 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407606946 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670415992432 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16343] ppid=16332 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16343/stat : 16343 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606948 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670414940752 139670949926811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16344] ppid=16332 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=0,2,4,6
/proc/16334/task/16344/stat : 16344 (java) R 16332 16332 11591 0 -1 4202560 555 0 0 0 6 0 0 0 20 0 15 0 407606948 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670413874144 139670927169472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16345] ppid=16332 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16334/task/16345/stat : 16345 (java) S 16332 16332 11591 0 -1 1077944384 261 0 0 0 3 0 0 0 20 0 15 0 407606949 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670412834800 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16346] ppid=16332 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16334/task/16346/stat : 16346 (java) S 16332 16332 11591 0 -1 1077944384 920 0 0 0 12 0 0 0 20 0 15 0 407606949 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670411782512 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16347] ppid=16332 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16347/stat : 16347 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606949 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670410729952 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16348] ppid=16332 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16348/stat : 16348 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606949 15512600576 12460 33554432000 4194304 4196468 140723526038752 139670409677744 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51276 KiB

[startup+0.70703 s]
/proc/loadavg: 9.18 8.50 8.14 9/233 16348
/proc/meminfo: memFree=23765944/32770624 swapFree=66952812/67108860
[pid=16332] ppid=16329 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16332/stat : 16332 (xcsp3-exec) S 16329 16332 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407606943 115843072 363 33554432000 4194304 5098028 140726841411216 140726841409320 140437409309308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17719296 140726841418618 140726841418861 140726841418861 140726841421770 0
/proc/16332/statm: 28282 363 304 221 0 87 0
[pid=16334] ppid=16332 vsize=15151148 memory=92600 CPUtime=1.84 cores=0,2,4,6
/proc/16334/stat : 16334 (java) S 16332 16332 11591 0 -1 1077944320 15305 0 0 0 178 6 0 0 20 0 15 0 407606943 15514775552 23150 33554432000 4194304 4196468 140723526038752 140723526021296 139670949908215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
/proc/16334/statm: 3787787 23150 3448 1 0 3748889 0
[pid=16334/tid=16335] ppid=16332 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/16334/task/16335/stat : 16335 (java) R 16332 16332 11591 0 -1 4202560 9111 0 0 0 64 4 0 0 20 0 15 0 407606943 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670954143248 139670546164123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16336] ppid=16332 vsize=15151148 memory=37964 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16336/stat : 16336 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670861564304 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16337] ppid=16332 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16337/stat : 16337 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670541297936 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16338] ppid=16332 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16338/stat : 16338 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606944 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670540245648 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16339] ppid=16332 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16339/stat : 16339 (java) S 16332 16332 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407606944 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670539192848 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16340] ppid=16332 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16340/stat : 16340 (java) S 16332 16332 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407606945 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670418098800 139670949919362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16341] ppid=16332 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16341/stat : 16341 (java) S 16332 16332 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407606946 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670417044768 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16342] ppid=16332 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16342/stat : 16342 (java) S 16332 16332 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407606946 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670415992432 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16343] ppid=16332 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16343/stat : 16343 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606948 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670414940752 139670949926811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16344] ppid=16332 vsize=15151148 memory=944 CPUtime=0.39 cores=0,2,4,6
/proc/16334/task/16344/stat : 16344 (java) R 16332 16332 11591 0 -1 4202560 1454 0 0 0 39 0 0 0 20 0 15 0 407606948 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670413878928 139670934295457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16345] ppid=16332 vsize=15151148 memory=4004 CPUtime=0.32 cores=0,2,4,6
/proc/16334/task/16345/stat : 16345 (java) R 16332 16332 11591 0 -1 4202560 1377 0 0 0 32 0 0 0 20 0 15 0 407606949 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670412834800 139670929425968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16346] ppid=16332 vsize=15151148 memory=780 CPUtime=0.41 cores=0,2,4,6
/proc/16334/task/16346/stat : 16346 (java) S 16332 16332 11591 0 -1 1077944384 2056 0 0 0 41 0 0 0 20 0 15 0 407606949 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670411782512 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16347] ppid=16332 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16347/stat : 16347 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407606949 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670410729952 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16348] ppid=16332 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16348/stat : 16348 (java) S 16332 16332 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407606949 15514775552 23150 33554432000 4194304 4196468 140723526038752 139670409677744 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 94052 KiB

[startup+1.50147 s]
/proc/loadavg: 9.25 8.52 8.15 8/233 16348
/proc/meminfo: memFree=23681176/32770624 swapFree=66952812/67108860
[pid=16332] ppid=16329 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16332/stat : 16332 (xcsp3-exec) S 16329 16332 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407606943 115843072 363 33554432000 4194304 5098028 140726841411216 140726841409320 140437409309308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17719296 140726841418618 140726841418861 140726841418861 140726841421770 0
/proc/16332/statm: 28282 363 304 221 0 87 0

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

/proc/16334/stat : 16334 (java) S 16332 16332 11591 0 -1 1077944320 96950 0 0 0 248406 132 0 0 20 0 19 0 407606943 15790571520 209901 33554432000 4194304 4196468 140723526038752 140723526021296 139670949908215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
/proc/16334/statm: 3855120 209901 3531 1 0 3816222 0
[pid=16334/tid=16335] ppid=16332 vsize=15420480 memory=839604 CPUtime=1.06 cores=0,2,4,6
/proc/16334/task/16335/stat : 16335 (java) S 16332 16332 11591 0 -1 1077944384 12217 0 0 0 100 6 0 0 20 0 19 0 407606943 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670954148992 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16336] ppid=16332 vsize=15420480 memory=815512 CPUtime=0.26 cores=0,2,4,6
/proc/16334/task/16336/stat : 16336 (java) S 16332 16332 11591 0 -1 1077944384 2577 0 0 0 20 6 0 0 20 0 19 0 407606944 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670861564304 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16337] ppid=16332 vsize=15420480 memory=827288 CPUtime=0.25 cores=0,2,4,6
/proc/16334/task/16337/stat : 16337 (java) S 16332 16332 11591 0 -1 1077944384 2522 0 0 0 19 6 0 0 20 0 19 0 407606944 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670541297936 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16338] ppid=16332 vsize=15420480 memory=839604 CPUtime=0.25 cores=0,2,4,6
/proc/16334/task/16338/stat : 16338 (java) S 16332 16332 11591 0 -1 1077944384 3684 0 0 0 19 6 0 0 20 0 19 0 407606944 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670540245648 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16339] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.26 cores=0,2,4,6
/proc/16334/task/16339/stat : 16339 (java) S 16332 16332 11591 0 -1 1077944384 3004 0 0 0 20 6 0 0 20 0 19 0 407606944 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670539192848 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16340] ppid=16332 vsize=15420480 memory=4210767269469856873 CPUtime=1.01 cores=0,2,4,6
/proc/16334/task/16340/stat : 16340 (java) S 16332 16332 11591 0 -1 1077944384 4318 0 0 0 26 75 0 0 20 0 19 0 407606945 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670418098800 139670949919362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16341] ppid=16332 vsize=15420480 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16341/stat : 16341 (java) S 16332 16332 11591 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 407606946 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670417044832 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16342] ppid=16332 vsize=15420480 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16342/stat : 16342 (java) S 16332 16332 11591 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 407606946 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670415992448 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16343] ppid=16332 vsize=15420480 memory=780 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16343/stat : 16343 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407606948 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670414940752 139670949926811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16344] ppid=16332 vsize=15420480 memory=839576 CPUtime=2.52 cores=0,2,4,6
/proc/16334/task/16344/stat : 16344 (java) S 16332 16332 11591 0 -1 1077944384 15923 0 0 0 251 1 0 0 20 0 19 0 407606948 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670413887600 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16345] ppid=16332 vsize=15420480 memory=1452 CPUtime=2.36 cores=0,2,4,6
/proc/16334/task/16345/stat : 16345 (java) S 16332 16332 11591 0 -1 1077944384 15754 0 0 0 235 1 0 0 20 0 19 0 407606949 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670412834800 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16346] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.87 cores=0,2,4,6
/proc/16334/task/16346/stat : 16346 (java) S 16332 16332 11591 0 -1 1077944384 10400 0 0 0 86 1 0 0 20 0 19 0 407606949 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670411782512 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16347] ppid=16332 vsize=15420480 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16347/stat : 16347 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407606949 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670410729952 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16348] ppid=16332 vsize=15420480 memory=6791534058613427641 CPUtime=0.25 cores=0,2,4,6
/proc/16334/task/16348/stat : 16348 (java) S 16332 16332 11591 0 -1 1077944384 1304 0 0 0 8 17 0 0 20 0 19 0 407606949 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670409677744 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16528] ppid=16332 vsize=15420480 memory=1712 CPUtime=596.19 cores=0,2,4,6
/proc/16334/task/16528/stat : 16528 (java) R 16332 16332 11591 0 -1 4202560 2251 0 0 0 59616 3 0 0 20 0 19 0 407611273 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670394395176 139670549166701 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16529] ppid=16332 vsize=15420480 memory=816496 CPUtime=594.42 cores=0,2,4,6
/proc/16334/task/16529/stat : 16529 (java) R 16332 16332 11591 0 -1 4202560 8338 0 0 0 59440 2 0 0 20 0 19 0 407611273 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670399654832 139670548147512 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16530] ppid=16332 vsize=15420480 memory=37964 CPUtime=593.34 cores=0,2,4,6
/proc/16334/task/16530/stat : 16530 (java) R 16332 16332 11591 0 -1 4202560 2074 0 0 0 59332 2 0 0 20 0 19 0 407611273 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670398598928 139670545151816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16531] ppid=16332 vsize=15420480 memory=6791534058613427641 CPUtime=596.27 cores=0,2,4,6
/proc/16334/task/16531/stat : 16531 (java) R 16332 16332 11591 0 -1 4202560 2194 0 0 0 59627 0 0 0 20 0 19 0 407611273 15790571520 209901 33554432000 4194304 4196468 140723526038752 139670400704720 139670548148008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
Current children cumulated CPU time: 2485.38 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 841056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+651.111 s]
/proc/loadavg: 8.32 8.14 8.03 9/238 17269
/proc/meminfo: memFree=20624236/32770624 swapFree=66952812/67108860
[pid=16332] ppid=16329 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16332/stat : 16332 (xcsp3-exec) S 16329 16332 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407606943 115843072 363 33554432000 4194304 5098028 140726841411216 140726841409320 140437409309308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17719296 140726841418618 140726841418861 140726841418861 140726841421770 0
/proc/16332/statm: 28282 363 304 221 0 87 0
[pid=16334] ppid=16332 vsize=15420480 memory=851460 CPUtime=2520.26 cores=0,2,4,6
/proc/16334/stat : 16334 (java) S 16332 16332 11591 0 -1 1077944320 97030 0 0 0 251888 138 0 0 20 0 19 0 407606943 15790571520 212865 33554432000 4194304 4196468 140723526038752 140723526021296 139670949908215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
/proc/16334/statm: 3855120 212865 3531 1 0 3816222 0
[pid=16334/tid=16335] ppid=16332 vsize=15420480 memory=839604 CPUtime=1.06 cores=0,2,4,6
/proc/16334/task/16335/stat : 16335 (java) S 16332 16332 11591 0 -1 1077944384 12217 0 0 0 100 6 0 0 20 0 19 0 407606943 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670954148992 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16336] ppid=16332 vsize=15420480 memory=839604 CPUtime=0.27 cores=0,2,4,6
/proc/16334/task/16336/stat : 16336 (java) S 16332 16332 11591 0 -1 1077944384 2578 0 0 0 21 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670861564304 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16337] ppid=16332 vsize=15420480 memory=839604 CPUtime=0.25 cores=0,2,4,6
/proc/16334/task/16337/stat : 16337 (java) S 16332 16332 11591 0 -1 1077944384 2523 0 0 0 19 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670541297936 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16338] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.26 cores=0,2,4,6
/proc/16334/task/16338/stat : 16338 (java) S 16332 16332 11591 0 -1 1077944384 3686 0 0 0 20 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670540245648 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16339] ppid=16332 vsize=15420480 memory=851460 CPUtime=0.27 cores=0,2,4,6
/proc/16334/task/16339/stat : 16339 (java) S 16332 16332 11591 0 -1 1077944384 3006 0 0 0 21 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670539192848 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16340] ppid=16332 vsize=15420480 memory=851460 CPUtime=1.09 cores=0,2,4,6
/proc/16334/task/16340/stat : 16340 (java) S 16332 16332 11591 0 -1 1077944384 4320 0 0 0 28 81 0 0 20 0 19 0 407606945 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670418098800 139670949919362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16341] ppid=16332 vsize=15420480 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16341/stat : 16341 (java) S 16332 16332 11591 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 407606946 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670417044832 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16342] ppid=16332 vsize=15420480 memory=4210767269469856873 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16342/stat : 16342 (java) S 16332 16332 11591 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 407606946 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670415992448 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16343] ppid=16332 vsize=15420480 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16343/stat : 16343 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407606948 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670414940752 139670949926811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16344] ppid=16332 vsize=15420480 memory=839604 CPUtime=2.52 cores=0,2,4,6
/proc/16334/task/16344/stat : 16344 (java) S 16332 16332 11591 0 -1 1077944384 15923 0 0 0 251 1 0 0 20 0 19 0 407606948 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670413887600 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16345] ppid=16332 vsize=15420480 memory=1452 CPUtime=2.36 cores=0,2,4,6
/proc/16334/task/16345/stat : 16345 (java) S 16332 16332 11591 0 -1 1077944384 15754 0 0 0 235 1 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670412834800 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16346] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.87 cores=0,2,4,6
/proc/16334/task/16346/stat : 16346 (java) S 16332 16332 11591 0 -1 1077944384 10400 0 0 0 86 1 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670411782512 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16347] ppid=16332 vsize=15420480 memory=839576 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16347/stat : 16347 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670410729952 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16348] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/16334/task/16348/stat : 16348 (java) S 16332 16332 11591 0 -1 1077944384 1306 0 0 0 8 17 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670409677744 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16528] ppid=16332 vsize=15420480 memory=815512 CPUtime=604.86 cores=0,2,4,6
/proc/16334/task/16528/stat : 16528 (java) R 16332 16332 11591 0 -1 4202560 2256 0 0 0 60483 3 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670394395176 139670549916933 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16529] ppid=16332 vsize=15420480 memory=992 CPUtime=603.07 cores=0,2,4,6
/proc/16334/task/16529/stat : 16529 (java) R 16332 16332 11591 0 -1 4202560 8363 0 0 0 60305 2 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670399654832 139670548147603 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16530] ppid=16332 vsize=15420480 memory=1452 CPUtime=602.02 cores=0,2,4,6
/proc/16334/task/16530/stat : 16530 (java) R 16332 16332 11591 0 -1 4202560 2079 0 0 0 60200 2 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670398599656 139670550688962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16531] ppid=16332 vsize=15420480 memory=1452 CPUtime=605.03 cores=0,2,4,6
/proc/16334/task/16531/stat : 16531 (java) R 16332 16332 11591 0 -1 4202560 2229 0 0 0 60503 0 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670400704720 139670548147997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 852912 KiB

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

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

[startup+651.204 s]
# the end of solver process 16334 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.23 s, system=1.3893 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+651.111 s]
/proc/loadavg: 8.32 8.14 8.03 9/238 17269
/proc/meminfo: memFree=20624236/32770624 swapFree=66952812/67108860
[pid=16332] ppid=16329 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16332/stat : 16332 (xcsp3-exec) S 16329 16332 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407606943 115843072 363 33554432000 4194304 5098028 140726841411216 140726841409320 140437409309308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17719296 140726841418618 140726841418861 140726841418861 140726841421770 0
/proc/16332/statm: 28282 363 304 221 0 87 0
[pid=16334] ppid=16332 vsize=15420480 memory=851460 CPUtime=2520.26 cores=0,2,4,6
/proc/16334/stat : 16334 (java) S 16332 16332 11591 0 -1 1077944320 97030 0 0 0 251888 138 0 0 20 0 19 0 407606943 15790571520 212865 33554432000 4194304 4196468 140723526038752 140723526021296 139670949908215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
/proc/16334/statm: 3855120 212865 3531 1 0 3816222 0
[pid=16334/tid=16335] ppid=16332 vsize=15420480 memory=839604 CPUtime=1.06 cores=0,2,4,6
/proc/16334/task/16335/stat : 16335 (java) S 16332 16332 11591 0 -1 1077944384 12217 0 0 0 100 6 0 0 20 0 19 0 407606943 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670954148992 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16336] ppid=16332 vsize=15420480 memory=839604 CPUtime=0.27 cores=0,2,4,6
/proc/16334/task/16336/stat : 16336 (java) S 16332 16332 11591 0 -1 1077944384 2578 0 0 0 21 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670861564304 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16337] ppid=16332 vsize=15420480 memory=839604 CPUtime=0.25 cores=0,2,4,6
/proc/16334/task/16337/stat : 16337 (java) S 16332 16332 11591 0 -1 1077944384 2523 0 0 0 19 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670541297936 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16338] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.26 cores=0,2,4,6
/proc/16334/task/16338/stat : 16338 (java) S 16332 16332 11591 0 -1 1077944384 3686 0 0 0 20 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670540245648 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16339] ppid=16332 vsize=15420480 memory=851460 CPUtime=0.27 cores=0,2,4,6
/proc/16334/task/16339/stat : 16339 (java) S 16332 16332 11591 0 -1 1077944384 3006 0 0 0 21 6 0 0 20 0 19 0 407606944 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670539192848 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16340] ppid=16332 vsize=15420480 memory=851460 CPUtime=1.09 cores=0,2,4,6
/proc/16334/task/16340/stat : 16340 (java) S 16332 16332 11591 0 -1 1077944384 4320 0 0 0 28 81 0 0 20 0 19 0 407606945 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670418098800 139670949919362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16341] ppid=16332 vsize=15420480 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16341/stat : 16341 (java) S 16332 16332 11591 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 407606946 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670417044832 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16342] ppid=16332 vsize=15420480 memory=4210767269469856873 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16342/stat : 16342 (java) S 16332 16332 11591 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 407606946 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670415992448 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16343] ppid=16332 vsize=15420480 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16343/stat : 16343 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407606948 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670414940752 139670949926811 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16344] ppid=16332 vsize=15420480 memory=839604 CPUtime=2.52 cores=0,2,4,6
/proc/16334/task/16344/stat : 16344 (java) S 16332 16332 11591 0 -1 1077944384 15923 0 0 0 251 1 0 0 20 0 19 0 407606948 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670413887600 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16345] ppid=16332 vsize=15420480 memory=1452 CPUtime=2.36 cores=0,2,4,6
/proc/16334/task/16345/stat : 16345 (java) S 16332 16332 11591 0 -1 1077944384 15754 0 0 0 235 1 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670412834800 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16346] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.87 cores=0,2,4,6
/proc/16334/task/16346/stat : 16346 (java) S 16332 16332 11591 0 -1 1077944384 10400 0 0 0 86 1 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670411782512 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16347] ppid=16332 vsize=15420480 memory=839576 CPUtime=0 cores=0,2,4,6
/proc/16334/task/16347/stat : 16347 (java) S 16332 16332 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670410729952 139670949918421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16348] ppid=16332 vsize=15420480 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/16334/task/16348/stat : 16348 (java) S 16332 16332 11591 0 -1 1077944384 1306 0 0 0 8 17 0 0 20 0 19 0 407606949 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670409677744 139670949919362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 39 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16528] ppid=16332 vsize=15420480 memory=815512 CPUtime=604.86 cores=0,2,4,6
/proc/16334/task/16528/stat : 16528 (java) R 16332 16332 11591 0 -1 4202560 2256 0 0 0 60483 3 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670394395176 139670549916933 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16529] ppid=16332 vsize=15420480 memory=992 CPUtime=603.07 cores=0,2,4,6
/proc/16334/task/16529/stat : 16529 (java) R 16332 16332 11591 0 -1 4202560 8363 0 0 0 60305 2 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670399654832 139670548147603 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16530] ppid=16332 vsize=15420480 memory=1452 CPUtime=602.02 cores=0,2,4,6
/proc/16334/task/16530/stat : 16530 (java) R 16332 16332 11591 0 -1 4202560 2079 0 0 0 60200 2 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670398599656 139670550688962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
[pid=16334/tid=16531] ppid=16332 vsize=15420480 memory=1452 CPUtime=605.03 cores=0,2,4,6
/proc/16334/task/16531/stat : 16531 (java) R 16332 16332 11591 0 -1 4202560 2229 0 0 0 60503 0 0 0 20 0 19 0 407611273 15790571520 212865 33554432000 4194304 4196468 140723526038752 139670400704720 139670548147997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23871488 140723526046703 140723526046874 140723526046874 140723526049743 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 852912 KiB

Child status: 143
Real time (s): 651.204
CPU time (s): 2520.61
CPU user time (s): 2519.23
CPU system time (s): 1.3893
CPU usage (%): 387.07
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 1140640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.23
system time used= 1.3893
maximum resident set size= 1156688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19025
involuntary context switches= 43462


# summary of solver processes directly reported to runsolver:
#   pid: 16332,16334
#   total CPU time (s): 2520.61
#   total CPU user time (s): 2519.23
#   total CPU system time (s): 1.3893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09015 second user time and 7.36999 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml
MD5SUM	aadfd6ed706e08b9468e37c047f4c189
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	508
Best CPU time to get the best result obtained on this benchmark	19845.3
Satisfiable
(Un)Satisfiability was proved
Number of variables	1640
Number of constraints	1599
Number of domains	3
Minimum domain size	1
Maximum domain size	141
Distribution of domain sizes	[{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}]
Minimum variable degree	0
Maximum variable degree	77
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}]
Minimum constraint arity	1
Maximum constraint arity	39
Distribution of constraint arities	[{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}]
Number of extensional constraints	0
Number of intensional constraints	39
Distribution of constraint types	[{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4393423

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