2017 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 5a (2017-08-18)	SAT (TO)	1560	2520.0601	2444.8101

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283581-1503198228.xml"  -tl '2520s' -p 1 -x 3
0.15/0.24	c [HOME/instance-4283581-1503198228.xml, -tl, 2520s, -p, 1, -x, 3]
0.15/0.30	c simple solver
0.34/0.36	c parse instance...
1.48/0.79	c solve instance...
9.61/3.38	o 1842 
10.23/3.51	o 1840 
10.23/3.59	o 1837 
10.95/3.88	o 1829 
11.58/4.09	o 1812 
11.58/4.10	o 1808 
12.15/4.22	o 1798 
919.37/886.95	o 1792 
919.37/886.99	o 1785 
919.51/887.06	o 1784 
919.51/887.06	o 1773 
919.64/887.11	o 1771 
974.43/939.93	o 1769 
974.43/939.95	o 1703 
974.43/940.00	o 1689 
974.74/940.23	o 1678 
974.85/940.38	o 1664 
1645.97/1595.10	o 1603 
2003.73/1942.96	o 1586 
2003.73/1943.00	o 1570 
2005.01/1944.11	o 1567 
2005.40/1944.51	o 1560 
2520.03/2444.80	s SATISFIABLE
2520.03/2444.80	v <instantiation>
2520.03/2444.80	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
2520.03/2444.80	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 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 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 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 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 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 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 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 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 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 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 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 70 87 47 32 67 49 73 94 69 66 78 43 14 92 51 23 88 45 51 87 15 26 21 49 42 13 22 15 84 34 66 12 36 23 98 </values>
2520.03/2444.80	v </instantiation>
2520.03/2444.80	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 (15304 MiB free)
  memory of node 1: 16384 MiB (14918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283581-1503198228/watcher-4283581-1503198228 -o /tmp/evaluation-result-4283581-1503198228/solver-4283581-1503198228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30419 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 717113749 HOME/instance-4283581-1503198228.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
Current StackSize limit: 8192 KiB

solver pid=2321, runsolver pid=2317

[startup+0.102819 s]*
/proc/loadavg: 1.78 1.71 1.69 3/208 2331
/proc/meminfo: memFree=30938008/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13574484 memory=19612 CPUtime=0.05 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 4275 0 0 0 4 1 0 0 20 0 9 0 18230845 13900271616 4903 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3393621 4903 2138 1 0 3383118 0
[pid=2323/tid=2324] ppid=2321 vsize=13575512 memory=-6739615476349292588 CPUtime=0.04 cores=0,2,4,6
/proc/2323/task/2324/stat : 2324 (java) R 2321 2321 15523 0 -1 1077944384 2984 0 0 0 4 0 0 0 20 0 10 0 18230846 13901324288 4903 18446744073709551615 4194304 4196468 140729398442368 139941297002976 139941292771029 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2325] ppid=2321 vsize=13575512 memory=5118961333147690361 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2325/stat : 2325 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 18230846 13901324288 4903 18446744073709551615 4194304 4196468 140729398442368 139941249727248 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2326] ppid=2321 vsize=13706584 memory=140474285450880 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2326/stat : 2326 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 18230846 14035542016 4969 18446744073709551615 4194304 4196468 140729398442368 139941248674704 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2327] ppid=2321 vsize=13641048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2327/stat : 2327 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 18230846 13968433152 4972 18446744073709551615 4194304 4196468 140729398442368 139941247622160 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2328] ppid=2321 vsize=13642076 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2328/stat : 2328 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 11 0 18230846 13969485824 4972 18446744073709551615 4194304 4196468 140729398442368 139941246569616 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2329] ppid=2321 vsize=13707612 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2329/stat : 2329 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 11 0 18230848 14036594688 4972 18446744073709551615 4194304 4196468 140729398442368 139940770863088 139941292771970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2330] ppid=2321 vsize=13708640 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2330/stat : 2330 (java) S 2321 2321 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 11 0 18230848 14037647360 4972 18446744073709551615 4194304 4196468 140729398442368 139940769809312 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2331] ppid=2321 vsize=13839712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 12 0 18230848 14171865088 4972 18446744073709551615 4194304 4196468 140729398442368 139940768756720 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13774176 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 18230851 14104756224 4973 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13775204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) R 2321 2321 15523 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 13 0 18230851 14105808896 4973 18446744073709551615 4194304 4196468 140729398442368 139940766653640 139941272085248 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13775204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 18230851 14105808896 4973 18446744073709551615 4194304 4196468 140729398442368 139940765600544 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) D 2321 2321 15523 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 18230851 14172917760 4973 18446744073709551615 4194304 4196468 140729398442368 139940764547848 139941284988643 0 4 1 16800974 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20992 KiB

[startup+0.210375 s]*
/proc/loadavg: 1.78 1.71 1.69 4/214 2337
/proc/meminfo: memFree=30931140/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13974352 memory=29292 CPUtime=0.15 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 5727 0 0 0 14 1 0 0 20 0 15 0 18230845 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3493588 7323 2938 1 0 3482964 0
[pid=2323/tid=2324] ppid=2321 vsize=13974352 memory=7311146985107750967 CPUtime=0.11 cores=0,2,4,6
/proc/2323/task/2324/stat : 2324 (java) R 2321 2321 15523 0 -1 4202560 3482 0 0 0 10 1 0 0 20 0 15 0 18230846 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139941296982096 139941292782749 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2325] ppid=2321 vsize=13974352 memory=8942 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2325/stat : 2325 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230846 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139941249727248 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2326] ppid=2321 vsize=13974352 memory=140474285496564 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2326/stat : 2326 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230846 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139941248674704 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2327] ppid=2321 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2327/stat : 2327 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230846 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139941247622160 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2328] ppid=2321 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2328/stat : 2328 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230846 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139941246569616 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2329] ppid=2321 vsize=13974352 memory=140474285450880 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2329/stat : 2329 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230848 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940770863088 139941292771970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2330] ppid=2321 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2330/stat : 2330 (java) S 2321 2321 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18230848 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940769809312 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2331] ppid=2321 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18230848 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940768756720 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) R 2321 2321 15523 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 15 0 18230851 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940766653008 139941292771029 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) S 2321 2321 15523 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 18230851 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940765600368 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13974352 memory=140474285450880 CPUtime=0.03 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) R 2321 2321 15523 0 -1 4202560 405 0 0 0 3 0 0 0 20 0 15 0 18230851 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940764543736 139941284997950 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2336] ppid=2321 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2336/stat : 2336 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940763495520 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2337] ppid=2321 vsize=13974352 memory=140474285450880 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2337/stat : 2337 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230855 14309736448 7323 18446744073709551615 4194304 4196468 140729398442368 139940762442032 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30672 KiB

[startup+0.310648 s]*
/proc/loadavg: 1.78 1.71 1.69 3/214 2337
/proc/meminfo: memFree=30919068/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13978608 memory=40200 CPUtime=0.34 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 9310 0 0 0 31 3 0 0 20 0 15 0 18230845 14314094592 10050 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3494652 10050 3039 1 0 3482964 0
[pid=2323/tid=2324] ppid=2321 vsize=13978608 memory=6933928925625698159 CPUtime=0.2 cores=0,2,4,6
/proc/2323/task/2324/stat : 2324 (java) R 2321 2321 15523 0 -1 1077944384 6446 0 0 0 18 2 0 0 20 0 15 0 18230846 14314094592 10137 18446744073709551615 4194304 4196468 140729398442368 139941296971616 139941285440045 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2325] ppid=2321 vsize=13979632 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2325/stat : 2325 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230846 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139941249727248 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2326] ppid=2321 vsize=13979632 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2326/stat : 2326 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230846 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139941248674704 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2327] ppid=2321 vsize=13979632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2327/stat : 2327 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230846 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139941247622160 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2328] ppid=2321 vsize=13979632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2328/stat : 2328 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230846 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139941246569616 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2329] ppid=2321 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2329/stat : 2329 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230848 14314094592 10137 18446744073709551615 4194304 4196468 140729398442368 139940770863088 139941292771970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2330] ppid=2321 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2330/stat : 2330 (java) S 2321 2321 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18230848 14314094592 10137 18446744073709551615 4194304 4196468 140729398442368 139940769809312 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2331] ppid=2321 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18230848 14314094592 10137 18446744073709551615 4194304 4196468 140729398442368 139940768756720 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13979632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13979632 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) S 2321 2321 15523 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 15 0 18230851 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139940766652912 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13979632 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) S 2321 2321 15523 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 18230851 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139940765600368 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13979632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) S 2321 2321 15523 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 15 0 18230851 14315143168 10137 18446744073709551615 4194304 4196468 140729398442368 139940764547824 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2336] ppid=2321 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2336/stat : 2336 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14314094592 10137 18446744073709551615 4194304 4196468 140729398442368 139940763495520 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2337] ppid=2321 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2337/stat : 2337 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230855 14314094592 10137 18446744073709551615 4194304 4196468 140729398442368 139940762442032 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41580 KiB

[startup+0.701717 s]
/proc/loadavg: 1.78 1.71 1.69 6/214 2337
/proc/meminfo: memFree=30897976/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13980732 memory=82092 CPUtime=1.48 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 13791 0 0 0 142 6 0 0 20 0 15 0 18230845 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3495183 20523 3173 1 0 3483476 0
[pid=2323/tid=2324] ppid=2321 vsize=13980732 memory=1008 CPUtime=0.58 cores=0,2,4,6
/proc/2323/task/2324/stat : 2324 (java) R 2321 2321 15523 0 -1 4202560 8162 0 0 0 54 4 0 0 20 0 15 0 18230846 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139941296997968 139941276841310 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2325] ppid=2321 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2325/stat : 2325 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230846 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139941249727248 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2326] ppid=2321 vsize=13980732 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2326/stat : 2326 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230846 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139941248674704 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2327] ppid=2321 vsize=13980732 memory=11952 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2327/stat : 2327 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230846 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139941247622160 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2328] ppid=2321 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2328/stat : 2328 (java) S 2321 2321 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18230846 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139941246569616 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2329] ppid=2321 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2329/stat : 2329 (java) S 2321 2321 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940770863088 139941292771970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2330] ppid=2321 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2330/stat : 2330 (java) S 2321 2321 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940769809312 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2331] ppid=2321 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940768756720 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13980732 memory=2 CPUtime=0.23 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) R 2321 2321 15523 0 -1 4202560 1288 0 0 0 23 0 0 0 20 0 15 0 18230851 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940766638688 139941274306122 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13980732 memory=2756 CPUtime=0.3 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) R 2321 2321 15523 0 -1 4202560 1213 0 0 0 30 0 0 0 20 0 15 0 18230851 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940765582096 139941270740362 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13980732 memory=6933928925625698159 CPUtime=0.34 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) R 2321 2321 15523 0 -1 4202560 1819 0 0 0 33 1 0 0 20 0 15 0 18230851 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940764547824 139941284997950 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2336] ppid=2321 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2336/stat : 2336 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940763495520 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2337] ppid=2321 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2337/stat : 2337 (java) S 2321 2321 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18230855 14316269568 20523 18446744073709551615 4194304 4196468 140729398442368 139940762442032 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 83472 KiB

[startup+1.50082 s]
/proc/loadavg: 1.78 1.71 1.69 5/214 2337
/proc/meminfo: memFree=30861864/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13980732 memory=137748 CPUtime=4.1 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 26093 0 0 0 402 8 0 0 20 0 15 0 18230845 14316269568 34437 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3495183 34437 3193 1 0 3483476 0
[pid=2323/tid=2324] ppid=2321 vsize=13980732 memory=1724 CPUtime=1.37 cores=0,2,4,6

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

/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 213907 18446744073709551615 4194304 4196468 140729398442368 139940768756736 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 213907 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13980732 memory=1380 CPUtime=6.01 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) S 2321 2321 15523 0 -1 1077944384 24832 0 0 0 597 4 0 0 20 0 15 0 18230851 14316269568 213907 18446744073709551615 4194304 4196468 140729398442368 139940766652912 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13980732 memory=924380 CPUtime=6.04 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) S 2321 2321 15523 0 -1 1077944384 42559 0 0 0 598 6 0 0 20 0 15 0 18230851 14316269568 213907 18446744073709551615 4194304 4196468 140729398442368 139940765600368 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13980732 memory=1380 CPUtime=1.02 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) S 2321 2321 15523 0 -1 1077944384 15641 0 0 0 98 4 0 0 20 0 15 0 18230851 14316269568 213907 18446744073709551615 4194304 4196468 140729398442368 139940764547824 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2336] ppid=2321 vsize=13980732 memory=855628 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2336/stat : 2336 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 213907 18446744073709551615 4194304 4196468 140729398442368 139940763495520 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2337] ppid=2321 vsize=13980732 memory=1380 CPUtime=1.25 cores=0,2,4,6
/proc/2323/task/2337/stat : 2337 (java) S 2321 2321 15523 0 -1 1077944384 1002 0 0 0 59 66 0 0 20 0 15 0 18230855 14316269568 213907 18446744073709551615 4194304 4196468 140729398442368 139940762442032 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 2394.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 857008 KiB

[startup+2382.3 s]
/proc/loadavg: 1.75 1.79 1.78 3/211 2567
/proc/meminfo: memFree=29859000/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13980732 memory=753560 CPUtime=2455.81 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 267508 0 0 0 245085 496 0 0 20 0 15 0 18230845 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3495183 188390 3256 1 0 3483476 0
[pid=2323/tid=2324] ppid=2321 vsize=13980732 memory=739176 CPUtime=2360.67 cores=0,2,4,6
/proc/2323/task/2324/stat : 2324 (java) R 2321 2321 15523 0 -1 4202560 66841 0 0 0 236034 33 0 0 20 0 15 0 18230846 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139941297000432 139940928631127 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2325] ppid=2321 vsize=13980732 memory=753560 CPUtime=19.99 cores=0,2,4,6
/proc/2323/task/2325/stat : 2325 (java) S 2321 2321 15523 0 -1 1077944384 19132 0 0 0 1902 97 0 0 20 0 15 0 18230846 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139941249727248 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2326] ppid=2321 vsize=13980732 memory=753560 CPUtime=19.96 cores=0,2,4,6
/proc/2323/task/2326/stat : 2326 (java) S 2321 2321 15523 0 -1 1077944384 16090 0 0 0 1901 95 0 0 20 0 15 0 18230846 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139941248674704 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2327] ppid=2321 vsize=13980732 memory=1380 CPUtime=19.93 cores=0,2,4,6
/proc/2323/task/2327/stat : 2327 (java) S 2321 2321 15523 0 -1 1077944384 18749 0 0 0 1897 96 0 0 20 0 15 0 18230846 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139941247622160 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2328] ppid=2321 vsize=13980732 memory=745332 CPUtime=19.97 cores=0,2,4,6
/proc/2323/task/2328/stat : 2328 (java) S 2321 2321 15523 0 -1 1077944384 18882 0 0 0 1901 96 0 0 20 0 15 0 18230846 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139941246569616 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2329] ppid=2321 vsize=13980732 memory=1200 CPUtime=0.84 cores=0,2,4,6
/proc/2323/task/2329/stat : 2329 (java) S 2321 2321 15523 0 -1 1077944384 42395 0 0 0 69 15 0 0 20 0 15 0 18230848 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940770863088 139941292771970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2330] ppid=2321 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2330/stat : 2330 (java) S 2321 2321 15523 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940769809376 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2331] ppid=2321 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940768756736 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13980732 memory=753560 CPUtime=6.01 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) S 2321 2321 15523 0 -1 1077944384 24832 0 0 0 597 4 0 0 20 0 15 0 18230851 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940766652912 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13980732 memory=4124 CPUtime=6.04 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) S 2321 2321 15523 0 -1 1077944384 42559 0 0 0 598 6 0 0 20 0 15 0 18230851 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940765600368 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13980732 memory=13424 CPUtime=1.02 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) S 2321 2321 15523 0 -1 1077944384 15641 0 0 0 98 4 0 0 20 0 15 0 18230851 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940764547824 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2336] ppid=2321 vsize=13980732 memory=140474154082504 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2336/stat : 2336 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940763495520 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2337] ppid=2321 vsize=13980732 memory=6944658624146216565 CPUtime=1.28 cores=0,2,4,6
/proc/2323/task/2337/stat : 2337 (java) S 2321 2321 15523 0 -1 1077944384 1007 0 0 0 61 67 0 0 20 0 15 0 18230855 14316269568 188390 18446744073709551615 4194304 4196468 140729398442368 139940762442032 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 2455.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 754940 KiB

[startup+2442.3 s]
/proc/loadavg: 1.86 1.81 1.78 6/214 2583
/proc/meminfo: memFree=29738024/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13980732 memory=880772 CPUtime=2517.47 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 271730 0 0 0 251229 518 0 0 20 0 15 0 18230845 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3495183 220193 3256 1 0 3483476 0
[pid=2323/tid=2324] ppid=2321 vsize=13980732 memory=901292 CPUtime=2420.09 cores=0,2,4,6
/proc/2323/task/2324/stat : 2324 (java) R 2321 2321 15523 0 -1 4202560 68622 0 0 0 241976 33 0 0 20 0 15 0 18230846 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139941297000448 139940926749184 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2325] ppid=2321 vsize=13980732 memory=901292 CPUtime=20.53 cores=0,2,4,6
/proc/2323/task/2325/stat : 2325 (java) S 2321 2321 15523 0 -1 1077944384 19328 0 0 0 1951 102 0 0 20 0 15 0 18230846 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139941249727248 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2326] ppid=2321 vsize=13980732 memory=901292 CPUtime=20.5 cores=0,2,4,6
/proc/2323/task/2326/stat : 2326 (java) S 2321 2321 15523 0 -1 1077944384 16255 0 0 0 1950 100 0 0 20 0 15 0 18230846 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139941248674704 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2327] ppid=2321 vsize=13980732 memory=901292 CPUtime=20.48 cores=0,2,4,6
/proc/2323/task/2327/stat : 2327 (java) S 2321 2321 15523 0 -1 1077944384 19084 0 0 0 1947 101 0 0 20 0 15 0 18230846 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139941247622160 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2328] ppid=2321 vsize=13980732 memory=896164 CPUtime=20.52 cores=0,2,4,6
/proc/2323/task/2328/stat : 2328 (java) S 2321 2321 15523 0 -1 1077944384 19340 0 0 0 1951 101 0 0 20 0 15 0 18230846 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139941246569616 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2329] ppid=2321 vsize=13980732 memory=880772 CPUtime=0.86 cores=0,2,4,6
/proc/2323/task/2329/stat : 2329 (java) S 2321 2321 15523 0 -1 1077944384 43576 0 0 0 71 15 0 0 20 0 15 0 18230848 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940770863088 139941292771970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2330] ppid=2321 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2330/stat : 2330 (java) S 2321 2321 15523 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940769809376 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2331] ppid=2321 vsize=13980732 memory=896180 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940768756736 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13980732 memory=896164 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13980732 memory=1380 CPUtime=6.01 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) S 2321 2321 15523 0 -1 1077944384 24835 0 0 0 597 4 0 0 20 0 15 0 18230851 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940766652912 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13980732 memory=896164 CPUtime=6.04 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) S 2321 2321 15523 0 -1 1077944384 42561 0 0 0 598 6 0 0 20 0 15 0 18230851 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940765600368 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13980732 memory=1380 CPUtime=1.03 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) S 2321 2321 15523 0 -1 1077944384 15714 0 0 0 99 4 0 0 20 0 15 0 18230851 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940764547824 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2336] ppid=2321 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2336/stat : 2336 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940763495520 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2337] ppid=2321 vsize=13980732 memory=4124 CPUtime=1.32 cores=0,2,4,6
/proc/2323/task/2337/stat : 2337 (java) S 2321 2321 15523 0 -1 1077944384 1035 0 0 0 64 68 0 0 20 0 15 0 18230855 14316269568 220193 18446744073709551615 4194304 4196468 140729398442368 139940762442032 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 2517.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 882152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2444.8 s]
/proc/loadavg: 1.87 1.81 1.78 3/214 2583
/proc/meminfo: memFree=29759484/32770624 swapFree=67108860/67108860
[pid=2321] ppid=2317 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (xcsp3-exec) S 2317 2321 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18230840 9740288 345 18446744073709551615 4194304 5098028 140729678088912 140729678087016 139945400148604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 18751488 140729678094714 140729678094918 140729678094918 140729678098411 0
/proc/2321/statm: 2378 345 289 221 0 87 0
[pid=2323] ppid=2321 vsize=13980732 memory=871540 CPUtime=2520.03 cores=0,2,4,6
/proc/2323/stat : 2323 (java) S 2321 2321 15523 0 -1 1077944320 271742 0 0 0 251485 518 0 0 20 0 15 0 18230845 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 140729398424912 139941292760823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
/proc/2323/statm: 3495183 217885 3256 1 0 3483476 0
[pid=2323/tid=2324] ppid=2321 vsize=13980732 memory=896164 CPUtime=2422.57 cores=0,2,4,6
/proc/2323/task/2324/stat : 2324 (java) R 2321 2321 15523 0 -1 4202560 68623 0 0 0 242224 33 0 0 20 0 15 0 18230846 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139941297000336 139940932119510 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2325] ppid=2321 vsize=13980732 memory=1380 CPUtime=20.56 cores=0,2,4,6
/proc/2323/task/2325/stat : 2325 (java) S 2321 2321 15523 0 -1 1077944384 19328 0 0 0 1954 102 0 0 20 0 15 0 18230846 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139941249727248 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2326] ppid=2321 vsize=13980732 memory=1380 CPUtime=20.53 cores=0,2,4,6
/proc/2323/task/2326/stat : 2326 (java) S 2321 2321 15523 0 -1 1077944384 16255 0 0 0 1953 100 0 0 20 0 15 0 18230846 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139941248674704 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2327] ppid=2321 vsize=13980732 memory=880772 CPUtime=20.5 cores=0,2,4,6
/proc/2323/task/2327/stat : 2327 (java) S 2321 2321 15523 0 -1 1077944384 19093 0 0 0 1949 101 0 0 20 0 15 0 18230846 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139941247622160 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2328] ppid=2321 vsize=13980732 memory=4012 CPUtime=20.54 cores=0,2,4,6
/proc/2323/task/2328/stat : 2328 (java) S 2321 2321 15523 0 -1 1077944384 19340 0 0 0 1953 101 0 0 20 0 15 0 18230846 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139941246569616 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2329] ppid=2321 vsize=13980732 memory=1380 CPUtime=0.86 cores=0,2,4,6
/proc/2323/task/2329/stat : 2329 (java) S 2321 2321 15523 0 -1 1077944384 43576 0 0 0 71 15 0 0 20 0 15 0 18230848 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940770863088 139941292771970 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2330] ppid=2321 vsize=13980732 memory=901292 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2330/stat : 2330 (java) S 2321 2321 15523 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940769809376 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2331] ppid=2321 vsize=13980732 memory=1194032 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2331/stat : 2331 (java) S 2321 2321 15523 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 18230848 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940768756736 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2332] ppid=2321 vsize=13980732 memory=4198373884061773715 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2332/stat : 2332 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940767705296 139941292779419 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2333] ppid=2321 vsize=13980732 memory=1296 CPUtime=6.01 cores=0,2,4,6
/proc/2323/task/2333/stat : 2333 (java) S 2321 2321 15523 0 -1 1077944384 24835 0 0 0 597 4 0 0 20 0 15 0 18230851 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940766652912 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2334] ppid=2321 vsize=13980732 memory=2412 CPUtime=6.04 cores=0,2,4,6
/proc/2323/task/2334/stat : 2334 (java) S 2321 2321 15523 0 -1 1077944384 42561 0 0 0 598 6 0 0 20 0 15 0 18230851 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940765600368 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2335] ppid=2321 vsize=13980732 memory=1724 CPUtime=1.03 cores=0,2,4,6
/proc/2323/task/2335/stat : 2335 (java) S 2321 2321 15523 0 -1 1077944384 15714 0 0 0 99 4 0 0 20 0 15 0 18230851 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940764547824 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2336] ppid=2321 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/2323/task/2336/stat : 2336 (java) S 2321 2321 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18230851 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940763495520 139941292771029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
[pid=2323/tid=2337] ppid=2321 vsize=13980732 memory=1296 CPUtime=1.32 cores=0,2,4,6
/proc/2323/task/2337/stat : 2337 (java) S 2321 2321 15523 0 -1 1077944384 1037 0 0 0 64 68 0 0 20 0 15 0 18230855 14316269568 217885 18446744073709551615 4194304 4196468 140729398442368 139940762442032 139941292771970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 28442624 140729398444466 140729398444642 140729398444642 140729398448079 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 872920 KiB

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

[startup+2444.81 s]
# the end of solver process 2321 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001736 s, system=0.000954 s

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

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

Child status: 143
Real time (s): 2444.81
CPU time (s): 2520.06
CPU user time (s): 2514.87
CPU system time (s): 5.18988
CPU usage (%): 103.078
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1281940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.87
system time used= 5.18988
maximum resident set size= 1297176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66582
involuntary context switches= 4902


# summary of solver processes directly reported to runsolver:
#   pid: 2321,2323
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2514.87
#   total CPU system time (s): 5.18988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5182 second user time and 25.1371 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml
MD5SUM	bb36812fd58cb568268e8c9b807d30b9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	853
Best CPU time to get the best result obtained on this benchmark	2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	1295
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree	0
Maximum variable degree	69
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	35
Distribution of constraint arities	[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints	0
Number of intensional constraints	35
Distribution of constraint types	[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4283581

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