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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	1473	244.647	240.022

0.00/0.11	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270350-1502621587.xml"  -tl '264s' -p 1 -x 0
0.06/0.29	c [HOME/instance-4270350-1502621587.xml, -tl, 264s, -p, 1, -x, 0]
0.23/0.35	c simple solver
0.41/0.42	c parse instance...
1.56/0.80	c solve instance...
3.17/1.34	o 2028 
3.17/1.35	o 2026 
3.17/1.36	o 2000 
3.17/1.36	o 1966 
3.17/1.37	o 1940 
3.17/1.38	o 1891 
3.17/1.38	o 1889 
3.17/1.39	o 1883 
3.17/1.39	o 1876 
3.49/1.40	o 1854 
3.49/1.41	o 1836 
3.49/1.42	o 1822 
3.49/1.42	o 1821 
5.84/2.71	o 1712 
5.84/2.73	o 1709 
5.84/2.74	o 1703 
5.84/2.74	o 1660 
5.84/2.74	o 1656 
5.84/2.76	o 1647 
5.84/2.77	o 1646 
6.11/2.82	o 1593 
53.54/49.22	o 1575 
53.54/49.22	o 1573 
112.50/108.09	o 1557 
174.16/169.63	o 1504 
174.16/169.64	o 1473 
244.62/240.01	s SATISFIABLE
244.62/240.01	v <instantiation>
244.62/240.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
244.62/240.01	v 	<values>0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 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 59 79 84 93 35 59 7 76 92 17 51 60 73 44 78 99 15 29 38 42 75 55 31 20 38 20 22 32 12 19 36 53 100 </values>
244.62/240.01	v </instantiation>
244.62/240.01	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 (15190 MiB free)
  memory of node 1: 16384 MiB (15647 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270350-1502621587/watcher-4270350-1502621587 -o /tmp/evaluation-result-4270350-1502621587/solver-4270350-1502621587 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 73377554 HOME/instance-4270350-1502621587.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=22203, runsolver pid=22200

[startup+0.100108 s]*
/proc/loadavg: 2.02 1.93 1.79 2/196 22204
/proc/meminfo: memFree=31578436/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (runsolver) D 22200 22203 11586 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 50499367 34791424 114 18446744073709551615 4194304 4346622 140729641242656 140729641239288 139748793795287 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 19652608 140729641246785 140729641247273 140729641247273 140729641250762 0
/proc/22203/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.208913 s]*
/proc/loadavg: 2.02 1.93 1.79 2/210 22218
/proc/meminfo: memFree=31567932/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (xcsp3-exec) S 22200 22203 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50499367 9740288 345 18446744073709551615 4194304 5098028 140735891357504 140735891355608 140490663113340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 32534528 140735891362176 140735891362378 140735891362378 140735891365867 0
/proc/22203/statm: 2378 345 289 221 0 87 0
[pid=22205] ppid=22203 vsize=13973868 memory=22696 CPUtime=0.06 cores=1,3,5,7
/proc/22205/stat : 22205 (java) S 22203 22203 11586 0 -1 1077944320 4596 0 0 0 5 1 0 0 20 0 15 0 50499379 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140737030595552 140675771084535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
/proc/22205/statm: 3493467 5674 2573 1 0 3482964 0
[pid=22205/tid=22206] ppid=22203 vsize=13973868 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/22205/task/22206/stat : 22206 (java) R 22203 22203 11586 0 -1 4202560 2759 0 0 0 4 1 0 0 20 0 15 0 50499379 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675775326816 140675771106461 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22207] ppid=22203 vsize=13973868 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675690498576 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22208] ppid=22203 vsize=13973868 memory=3761270167253239456 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675689446032 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22209] ppid=22203 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675688392976 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22210] ppid=22203 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50499380 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675687340432 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22211] ppid=22203 vsize=13973868 memory=139748796745344 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50499381 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675248536304 140675771095682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22212] ppid=22203 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50499381 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675247482528 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22213] ppid=22203 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50499382 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) S 22203 22203 11586 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 50499384 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675244325104 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675243272560 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13973868 memory=139748796745344 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) S 22203 22203 11586 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 50499384 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13973868 memory=139748796745344 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499389 14309240832 5674 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 24076 KiB

[startup+0.309985 s]*
/proc/loadavg: 2.02 1.93 1.79 4/211 22219
/proc/meminfo: memFree=31552616/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (xcsp3-exec) S 22200 22203 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50499367 9740288 345 18446744073709551615 4194304 5098028 140735891357504 140735891355608 140490663113340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 32534528 140735891362176 140735891362378 140735891362378 140735891365867 0
/proc/22203/statm: 2378 345 289 221 0 87 0
[pid=22205] ppid=22203 vsize=13974352 memory=37240 CPUtime=0.23 cores=1,3,5,7
/proc/22205/stat : 22205 (java) S 22203 22203 11586 0 -1 1077944320 8328 0 0 0 21 2 0 0 20 0 15 0 50499379 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140737030595552 140675771084535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
/proc/22205/statm: 3493588 9310 2986 1 0 3482964 0
[pid=22205/tid=22206] ppid=22203 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/22205/task/22206/stat : 22206 (java) R 22203 22203 11586 0 -1 4202560 5591 0 0 0 12 2 0 0 20 0 15 0 50499379 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675775306912 140675771096470 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22207] ppid=22203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675690498576 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22208] ppid=22203 vsize=13974352 memory=139748796745344 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675689446032 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22209] ppid=22203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675688392976 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22210] ppid=22203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50499380 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675687340432 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22211] ppid=22203 vsize=13974352 memory=139748796745344 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50499381 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675248536304 140675771095682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22212] ppid=22203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50499381 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675247482528 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22213] ppid=22203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50499382 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) S 22203 22203 11586 0 -1 1077944384 662 0 0 0 1 0 0 0 20 0 15 0 50499384 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675244325104 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) S 22203 22203 11586 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 15 0 50499384 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675243272560 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13974352 memory=139748796745344 CPUtime=0.05 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) R 22203 22203 11586 0 -1 4202560 695 0 0 0 5 0 0 0 20 0 15 0 50499384 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675750095697 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13974352 memory=139748796745344 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499389 14309736448 9310 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38620 KiB

[startup+0.70078 s]
/proc/loadavg: 2.02 1.93 1.79 4/211 22219
/proc/meminfo: memFree=31542456/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (xcsp3-exec) S 22200 22203 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50499367 9740288 345 18446744073709551615 4194304 5098028 140735891357504 140735891355608 140490663113340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 32534528 140735891362176 140735891362378 140735891362378 140735891365867 0
/proc/22203/statm: 2378 345 289 221 0 87 0
[pid=22205] ppid=22203 vsize=13980732 memory=68672 CPUtime=1.22 cores=1,3,5,7
/proc/22205/stat : 22205 (java) S 22203 22203 11586 0 -1 1077944320 12343 0 0 0 117 5 0 0 20 0 15 0 50499379 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140737030595552 140675771084535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
/proc/22205/statm: 3495183 17168 3163 1 0 3483476 0
[pid=22205/tid=22206] ppid=22203 vsize=13980732 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/22205/task/22206/stat : 22206 (java) R 22203 22203 11586 0 -1 4202560 7547 0 0 0 49 3 0 0 20 0 15 0 50499379 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675775311088 140675749330401 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22207] ppid=22203 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675690498576 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22208] ppid=22203 vsize=13980732 memory=7663244581450901345 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675689446032 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22209] ppid=22203 vsize=13980732 memory=7372786582024121444 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675688392976 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22210] ppid=22203 vsize=13980732 memory=4639059873309409382 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50499380 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675687340432 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22211] ppid=22203 vsize=13980732 memory=-9033795734659767669 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50499381 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675248536304 140675771095682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22212] ppid=22203 vsize=13980732 memory=-7887927021948682183 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50499381 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675247482528 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22213] ppid=22203 vsize=13980732 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50499382 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13980732 memory=-7522837415797432223 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13980732 memory=-7606742920825102191 CPUtime=0.18 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) S 22203 22203 11586 0 -1 1077944384 1332 0 0 0 18 0 0 0 20 0 15 0 50499384 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675244325104 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13980732 memory=48400 CPUtime=0.17 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) R 22203 22203 11586 0 -1 4202560 676 0 0 0 17 0 0 0 20 0 15 0 50499384 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675243253464 140675754990540 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13980732 memory=-8774313645642428999 CPUtime=0.3 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) S 22203 22203 11586 0 -1 1077944384 1483 0 0 0 30 0 0 0 20 0 15 0 50499384 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499389 14316269568 17168 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70052 KiB

[startup+1.50082 s]
/proc/loadavg: 2.02 1.93 1.79 5/211 22219
/proc/meminfo: memFree=31503520/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (xcsp3-exec) S 22200 22203 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50499367 9740288 345 18446744073709551615 4194304 5098028 140735891357504 140735891355608 140490663113340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 32534528 140735891362176 140735891362378 140735891362378 140735891365867 0
/proc/22203/statm: 2378 345 289 221 0 87 0
[pid=22205] ppid=22203 vsize=13982976 memory=128308 CPUtime=3.8 cores=1,3,5,7
/proc/22205/stat : 22205 (java) S 22203 22203 11586 0 -1 1077944320 24229 0 0 0 373 7 0 0 20 0 15 0 50499379 14318567424 32077 18446744073709551615 4194304 4196468 140737030613008 140737030595552 140675771084535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
/proc/22205/statm: 3495744 32077 3190 1 0 3484037 0
[pid=22205/tid=22206] ppid=22203 vsize=13982976 memory=-8774313645642428999 CPUtime=1.32 cores=1,3,5,7
/proc/22205/task/22206/stat : 22206 (java) R 22203 22203 11586 0 -1 4202560 8790 0 0 0 128 4 0 0 20 0 15 0 50499379 14318567424 32077 18446744073709551615 4194304 4196468 140737030613008 140675775321456 140675367240603 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22207] ppid=22203 vsize=13982976 memory=3472468044058730261 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14318567424 32077 18446744073709551615 4194304 4196468 140737030613008 140675690498576 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22208] ppid=22203 vsize=13982976 memory=7162361833456936950 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14318567424 32077 18446744073709551615 4194304 4196468 140737030613008 140675689446032 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22209] ppid=22203 vsize=13982976 memory=4207739262285918423 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50499380 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675688392976 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22210] ppid=22203 vsize=13982976 memory=3472468044058737080 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50499380 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675687340432 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22211] ppid=22203 vsize=13982976 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 11586 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 50499381 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675248536304 140675771095682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22212] ppid=22203 vsize=13982976 memory=7089618335782298726 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50499381 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675247482528 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22213] ppid=22203 vsize=13982976 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50499382 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13982976 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13982976 memory=3047711553320166262 CPUtime=0.95 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) R 22203 22203 11586 0 -1 4202560 6464 0 0 0 94 1 0 0 20 0 15 0 50499384 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675244309720 140675752628258 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13982976 memory=8226496019563244444 CPUtime=0.96 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) R 22203 22203 11586 0 -1 4202560 4695 0 0 0 96 0 0 0 20 0 15 0 50499384 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675243258024 140675756012856 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13982976 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) S 22203 22203 11586 0 -1 1077944384 3026 0 0 0 53 0 0 0 20 0 15 0 50499384 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13982976 memory=-6881596013435251547 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14318567424 32143 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13982976 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 50499389 14318567424 32209 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0

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

/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 50499382 14316269568 52588 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 52588 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13980732 memory=209332 CPUtime=2 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) S 22203 22203 11586 0 -1 1077944384 12306 0 0 0 199 1 0 0 20 0 15 0 50499384 14316269568 52588 18446744073709551615 4194304 4196468 140737030613008 140675244325104 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13980732 memory=1296 CPUtime=2.01 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) S 22203 22203 11586 0 -1 1077944384 10426 0 0 0 200 1 0 0 20 0 15 0 50499384 14316269568 52588 18446744073709551615 4194304 4196468 140737030613008 140675243272560 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13980732 memory=1728 CPUtime=0.64 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) S 22203 22203 11586 0 -1 1077944384 6220 0 0 0 63 1 0 0 20 0 15 0 50499384 14316269568 52588 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 52588 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13980732 memory=218044 CPUtime=0.01 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 1097 0 0 0 0 1 0 0 20 0 15 0 50499389 14316269568 52588 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
Current children cumulated CPU time: 106.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211732 KiB

[startup+162.301 s]
/proc/loadavg: 1.85 1.90 1.80 3/214 22238
/proc/meminfo: memFree=31269328/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (xcsp3-exec) S 22200 22203 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50499367 9740288 345 18446744073709551615 4194304 5098028 140735891357504 140735891355608 140490663113340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 32534528 140735891362176 140735891362378 140735891362378 140735891365867 0
/proc/22203/statm: 2378 345 289 221 0 87 0
[pid=22205] ppid=22203 vsize=13980732 memory=186292 CPUtime=166.85 cores=1,3,5,7
/proc/22205/stat : 22205 (java) S 22203 22203 11586 0 -1 1077944320 54591 0 0 0 16669 16 0 0 20 0 15 0 50499379 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140737030595552 140675771084535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
/proc/22205/statm: 3495183 46573 3233 1 0 3483476 0
[pid=22205/tid=22206] ppid=22203 vsize=13980732 memory=186292 CPUtime=161.9 cores=1,3,5,7
/proc/22205/task/22206/stat : 22206 (java) R 22203 22203 11586 0 -1 4202560 13081 0 0 0 16184 6 0 0 20 0 15 0 50499379 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675775324000 140675367753292 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22207] ppid=22203 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 11586 0 -1 1077944384 1522 0 0 0 3 0 0 0 20 0 15 0 50499380 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675690498576 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22208] ppid=22203 vsize=13980732 memory=186812 CPUtime=0.03 cores=1,3,5,7
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 11586 0 -1 1077944384 2058 0 0 0 2 1 0 0 20 0 15 0 50499380 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675689446032 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22209] ppid=22203 vsize=13980732 memory=186812 CPUtime=0.02 cores=1,3,5,7
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 11586 0 -1 1077944384 2159 0 0 0 2 0 0 0 20 0 15 0 50499380 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675688392976 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22210] ppid=22203 vsize=13980732 memory=188348 CPUtime=0.02 cores=1,3,5,7
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 11586 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 50499380 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675687340432 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22211] ppid=22203 vsize=13980732 memory=186292 CPUtime=0.02 cores=1,3,5,7
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 11586 0 -1 1077944384 1533 0 0 0 2 0 0 0 20 0 15 0 50499381 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675248536304 140675771095682 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22212] ppid=22203 vsize=13980732 memory=186292 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 11586 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 50499381 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675247482528 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22213] ppid=22203 vsize=13980732 memory=186292 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 50499382 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13980732 memory=1380 CPUtime=2.04 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) S 22203 22203 11586 0 -1 1077944384 13332 0 0 0 202 2 0 0 20 0 15 0 50499384 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675244325104 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13980732 memory=186292 CPUtime=2.01 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) S 22203 22203 11586 0 -1 1077944384 10847 0 0 0 200 1 0 0 20 0 15 0 50499384 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675243272560 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13980732 memory=1380 CPUtime=0.65 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) S 22203 22203 11586 0 -1 1077944384 7171 0 0 0 64 1 0 0 20 0 15 0 50499384 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 1136 0 0 0 1 2 0 0 20 0 15 0 50499389 14316269568 46573 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
Current children cumulated CPU time: 166.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 187672 KiB

[startup+222.301 s]
/proc/loadavg: 1.73 1.85 1.78 3/211 22240
/proc/meminfo: memFree=31080336/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (xcsp3-exec) S 22200 22203 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50499367 9740288 345 18446744073709551615 4194304 5098028 140735891357504 140735891355608 140490663113340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 32534528 140735891362176 140735891362378 140735891362378 140735891365867 0
/proc/22203/statm: 2378 345 289 221 0 87 0
[pid=22205] ppid=22203 vsize=13980732 memory=162212 CPUtime=226.89 cores=1,3,5,7
/proc/22205/stat : 22205 (java) S 22203 22203 11586 0 -1 1077944320 56291 0 0 0 22673 16 0 0 20 0 15 0 50499379 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140737030595552 140675771084535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
/proc/22205/statm: 3495183 40553 3233 1 0 3483476 0
[pid=22205/tid=22206] ppid=22203 vsize=13980732 memory=162212 CPUtime=221.87 cores=1,3,5,7
/proc/22205/task/22206/stat : 22206 (java) R 22203 22203 11586 0 -1 4202560 13733 0 0 0 22181 6 0 0 20 0 15 0 50499379 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675775323584 140675751927424 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22207] ppid=22203 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 11586 0 -1 1077944384 1551 0 0 0 4 0 0 0 20 0 15 0 50499380 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675690498576 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22208] ppid=22203 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 11586 0 -1 1077944384 2083 0 0 0 3 1 0 0 20 0 15 0 50499380 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675689446032 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22209] ppid=22203 vsize=13980732 memory=162212 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 11586 0 -1 1077944384 2226 0 0 0 4 0 0 0 20 0 15 0 50499380 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675688392976 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22210] ppid=22203 vsize=13980732 memory=162212 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 11586 0 -1 1077944384 763 0 0 0 4 0 0 0 20 0 15 0 50499380 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675687340432 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22211] ppid=22203 vsize=13980732 memory=162212 CPUtime=0.03 cores=1,3,5,7
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 11586 0 -1 1077944384 1768 0 0 0 3 0 0 0 20 0 15 0 50499381 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675248536304 140675771095682 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22212] ppid=22203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 11586 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 50499381 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675247482528 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22213] ppid=22203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 50499382 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13980732 memory=279497278639768 CPUtime=2.04 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) S 22203 22203 11586 0 -1 1077944384 13437 0 0 0 202 2 0 0 20 0 15 0 50499384 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675244325104 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13980732 memory=1380 CPUtime=2.01 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) S 22203 22203 11586 0 -1 1077944384 10946 0 0 0 200 1 0 0 20 0 15 0 50499384 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675243272560 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13980732 memory=2384 CPUtime=0.65 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) S 22203 22203 11586 0 -1 1077944384 7278 0 0 0 64 1 0 0 20 0 15 0 50499384 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13980732 memory=1728 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 1158 0 0 0 1 3 0 0 20 0 15 0 50499389 14316269568 40553 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
Current children cumulated CPU time: 226.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 163592 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.81 1.86 1.79 3/211 22318
/proc/meminfo: memFree=31386344/32770624 swapFree=67108860/67108860
[pid=22203] ppid=22200 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (xcsp3-exec) S 22200 22203 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50499367 9740288 345 18446744073709551615 4194304 5098028 140735891357504 140735891355608 140490663113340 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 32534528 140735891362176 140735891362378 140735891362378 140735891365867 0
/proc/22203/statm: 2378 345 289 221 0 87 0
[pid=22205] ppid=22203 vsize=13980732 memory=154516 CPUtime=244.62 cores=1,3,5,7
/proc/22205/stat : 22205 (java) S 22203 22203 11586 0 -1 1077944320 56307 0 0 0 24445 17 0 0 20 0 15 0 50499379 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140737030595552 140675771084535 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
/proc/22205/statm: 3495183 38629 3233 1 0 3483476 0
[pid=22205/tid=22206] ppid=22203 vsize=13980732 memory=-8774313645642428999 CPUtime=239.57 cores=1,3,5,7
/proc/22205/task/22206/stat : 22206 (java) R 22203 22203 11586 0 -1 4202560 13746 0 0 0 23951 6 0 0 20 0 15 0 50499379 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675775324112 140675368619323 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22207] ppid=22203 vsize=13980732 memory=4126316290023845779 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 11586 0 -1 1077944384 1551 0 0 0 4 0 0 0 20 0 15 0 50499380 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675690498576 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22208] ppid=22203 vsize=13980732 memory=1296 CPUtime=0.05 cores=1,3,5,7
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 11586 0 -1 1077944384 2085 0 0 0 4 1 0 0 20 0 15 0 50499380 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675689446032 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22209] ppid=22203 vsize=13980732 memory=1728 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 11586 0 -1 1077944384 2226 0 0 0 4 0 0 0 20 0 15 0 50499380 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675688392976 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22210] ppid=22203 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 11586 0 -1 1077944384 764 0 0 0 4 0 0 0 20 0 15 0 50499380 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675687340432 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22211] ppid=22203 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 11586 0 -1 1077944384 1768 0 0 0 3 0 0 0 20 0 15 0 50499381 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675248536304 140675771095682 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22212] ppid=22203 vsize=13980732 memory=154516 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 11586 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 50499381 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675247482528 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22213] ppid=22203 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22213/stat : 22213 (java) S 22203 22203 11586 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 50499382 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675246429424 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22214] ppid=22203 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22214/stat : 22214 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675245378000 140675771103131 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22215] ppid=22203 vsize=13980732 memory=16240 CPUtime=2.04 cores=1,3,5,7
/proc/22205/task/22215/stat : 22215 (java) S 22203 22203 11586 0 -1 1077944384 13437 0 0 0 202 2 0 0 20 0 15 0 50499384 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675244325104 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22216] ppid=22203 vsize=13980732 memory=16732 CPUtime=2.01 cores=1,3,5,7
/proc/22205/task/22216/stat : 22216 (java) S 22203 22203 11586 0 -1 1077944384 10946 0 0 0 200 1 0 0 20 0 15 0 50499384 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675243272560 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22217] ppid=22203 vsize=13980732 memory=4048 CPUtime=0.65 cores=1,3,5,7
/proc/22205/task/22217/stat : 22217 (java) S 22203 22203 11586 0 -1 1077944384 7278 0 0 0 64 1 0 0 20 0 15 0 50499384 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675242219504 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22218] ppid=22203 vsize=13980732 memory=6944656592455359546 CPUtime=0 cores=1,3,5,7
/proc/22205/task/22218/stat : 22218 (java) S 22203 22203 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50499384 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675241167200 140675771094741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
[pid=22205/tid=22219] ppid=22203 vsize=13980732 memory=6656426216303648864 CPUtime=0.05 cores=1,3,5,7
/proc/22205/task/22219/stat : 22219 (java) S 22203 22203 11586 0 -1 1077944384 1158 0 0 0 2 3 0 0 20 0 15 0 50499389 14316269568 38629 18446744073709551615 4194304 4196468 140737030613008 140675240115248 140675771095682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 27045888 140737030619575 140737030619750 140737030619750 140737030623183 0
Current children cumulated CPU time: 244.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 155896 KiB

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

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

[startup+240.022 s]
# the end of solver process 22205 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.466 s, system=0.180965 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): 240.022
CPU time (s): 244.647
CPU user time (s): 244.466
CPU system time (s): 0.180965
CPU usage (%): 101.927
Max. virtual memory (cumulated for all children) (KiB): 13992488
Max. memory (cumulated for all children) (KiB): 219424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.466
system time used= 0.180965
maximum resident set size= 223700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8239
involuntary context switches= 189


# summary of solver processes directly reported to runsolver:
#   pid: 22203,22205
#   total CPU time (s): 244.647
#   total CPU user time (s): 244.466
#   total CPU system time (s): 0.180965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34998 second user time and 2.22672 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml
MD5SUM	72c979ceab0684897cea6dc90bd0dbab
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	789
Best CPU time to get the best result obtained on this benchmark	251.90401
Satisfiable
(Un)Satisfiability was proved
Number of variables	1190
Number of constraints	1155
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree	0
Maximum variable degree	65
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity	1
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints	0
Number of intensional constraints	33
Distribution of constraint types	[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4270350

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