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
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	1324	2400.17	306.938

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246380-1500687428.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4246380-1500687428.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
3.79/1.15	c solve instance...
4.35/1.26	o 3154 
4.35/1.29	o 3117 
4.99/1.31	o 3090 
4.99/1.33	o 2078 
11.27/2.15	o 1779 
15.24/2.69	o 1753 
16.83/2.81	o 1752 
38.15/5.53	o 1751 
40.41/5.84	o 1710 
49.90/7.03	o 1694 
62.18/8.79	o 1692 
63.63/9.11	o 1661 
113.66/15.47	o 1617 
161.23/21.43	o 1567 
162.78/21.60	o 1561 
168.28/22.38	o 1558 
710.55/90.51	o 1546 
779.42/99.83	o 1520 
1074.80/137.08	o 1519 
1075.56/137.15	o 1477 
1452.78/184.72	o 1466 
1713.53/217.72	o 1428 
1721.47/219.52	o 1425 
1981.41/252.93	o 1369 
2029.58/259.34	o 1324 
2400.17/306.96	s SATISFIABLE
2400.17/306.96	v <instantiation>
2400.17/306.96	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>
2400.17/306.96	v 	<values>0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 99 5 87 17 30 75 20 25 31 7 66 93 34 13 39 96 60 20 41 15 36 44 67 100 75 80 74 23 51 94 45 53 100 </values>
2400.17/306.96	v </instantiation>
2400.17/306.96	c Unexpected resolution interruption!

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246380-1500687428/watcher-4246380-1500687428 -o /tmp/evaluation-result-4246380-1500687428/solver-4246380-1500687428 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1222148565 HOME/instance-4246380-1500687428.xml 

pid=27805
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.35 15.41 14.21 9/271 27808
/proc/meminfo: memFree=29598012/32770624 swapFree=5892/115908
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 15.35 15.41 14.21 9/271 27808
/proc/meminfo: memFree=29598012/32770624 swapFree=5892/115908
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200302 s]
/proc/loadavg: 15.35 15.41 14.21 9/271 27808
/proc/meminfo: memFree=29598012/32770624 swapFree=5892/115908
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300275 s]
/proc/loadavg: 15.35 15.41 14.21 9/271 27808
/proc/meminfo: memFree=29598012/32770624 swapFree=5892/115908
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70019 s]
/proc/loadavg: 15.35 15.41 14.21 9/271 27808
/proc/meminfo: memFree=29598012/32770624 swapFree=5892/115908
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5012 s]
/proc/loadavg: 15.35 15.41 14.21 11/292 27829
/proc/meminfo: memFree=29410816/32770624 swapFree=5892/115924
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
[pid=27809] ppid=27808 vsize=13801768 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/27809/stat : 27809 (java) S 27808 27808 15667 0 -1 1077944320 24620 0 0 0 637 14 0 0 20 0 28 0 4012467 14133010432 52844 33554432000 4194304 4196468 140730911004320 140730910986864 140493193346807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
/proc/27809/statm: 3450442 52844 3255 1 0 3437675 0
[pid=27809/tid=27810] ppid=27808 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27810/stat : 27810 (java) S 27808 27808 15667 0 -1 1077944384 8083 0 0 0 108 4 0 0 20 0 28 0 4012467 14133010432 52844 33554432000 4194304 4196468 140730911004320 140493197587584 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27812] ppid=27808 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27812/stat : 27812 (java) S 27808 27808 15667 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492792069136 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27813] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27813/stat : 27813 (java) S 27808 27808 15667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492791016592 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27814] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27814/stat : 27814 (java) S 27808 27808 15667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492789963536 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27815] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27815/stat : 27815 (java) S 27808 27808 15667 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492788910992 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27816] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27816/stat : 27816 (java) S 27808 27808 15667 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492787857936 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27817] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27817/stat : 27817 (java) S 27808 27808 15667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492786805392 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27818] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27818/stat : 27818 (java) S 27808 27808 15667 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492785752336 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27819] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27819/stat : 27819 (java) S 27808 27808 15667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492784699792 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27820] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27820/stat : 27820 (java) S 27808 27808 15667 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 28 0 4012470 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492454263536 140493193357954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27821] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27821/stat : 27821 (java) S 27808 27808 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492453209760 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27822] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27822/stat : 27822 (java) S 27808 27808 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492452156656 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27823] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27823/stat : 27823 (java) S 27808 27808 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012475 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492451105232 140493193365403 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27824] ppid=27808 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27824/stat : 27824 (java) R 27808 27808 15667 0 -1 4202560 3574 0 0 0 98 0 0 0 20 0 28 0 4012475 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492450041824 140493178246370 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27825] ppid=27808 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27825/stat : 27825 (java) R 27808 27808 15667 0 -1 4202560 2931 0 0 0 92 1 0 0 20 0 28 0 4012475 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492448988456 140493176863381 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27826] ppid=27808 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27826/stat : 27826 (java) R 27808 27808 15667 0 -1 4202560 3160 0 0 0 103 1 0 0 20 0 28 0 4012475 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492447927752 140493176843591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27827] ppid=27808 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27827/stat : 27827 (java) R 27808 27808 15667 0 -1 4202560 3976 0 0 0 75 1 0 0 20 0 28 0 4012475 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492446894192 140493172766481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27828] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27828/stat : 27828 (java) S 27808 27808 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012476 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492445842400 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27829] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27829/stat : 27829 (java) S 27808 27808 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012476 14133010432 52844 33554432000 4194304 4196468 140730911004320 140492444789936 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 13811280

[startup+3.10126 s]
/proc/loadavg: 15.35 15.41 14.21 21/300 27877
/proc/meminfo: memFree=29365840/32770624 swapFree=5892/115924
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
[pid=27809] ppid=27808 vsize=13801768 CPUtime=19.15 cores=0,2,4,6,8,10,12,14
/proc/27809/stat : 27809 (java) S 27808 27808 15667 0 -1 1077944320 30086 0 0 0 1892 23 0 0 20 0 28 0 4012467 14133010432 71975 33554432000 4194304 4196468 140730911004320 140730910986864 140493193346807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
/proc/27809/statm: 3450442 71975 3285 1 0 3437675 0
[pid=27809/tid=27810] ppid=27808 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27810/stat : 27810 (java) S 27808 27808 15667 0 -1 1077944384 8083 0 0 0 109 4 0 0 20 0 28 0 4012467 14133010432 71975 33554432000 4194304 4196468 140730911004320 140493197587584 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27812] ppid=27808 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27812/stat : 27812 (java) S 27808 27808 15667 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492792069136 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27813] ppid=27808 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27813/stat : 27813 (java) S 27808 27808 15667 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492791016592 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27814] ppid=27808 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27814/stat : 27814 (java) S 27808 27808 15667 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492789963536 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27815] ppid=27808 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27815/stat : 27815 (java) S 27808 27808 15667 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492788910992 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27816] ppid=27808 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27816/stat : 27816 (java) S 27808 27808 15667 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492787857936 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27817] ppid=27808 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27817/stat : 27817 (java) S 27808 27808 15667 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492786805392 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27818] ppid=27808 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27818/stat : 27818 (java) S 27808 27808 15667 0 -1 1077944384 186 0 0 0 1 1 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492785752336 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27819] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27819/stat : 27819 (java) S 27808 27808 15667 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4012468 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492784699792 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27820] ppid=27808 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27820/stat : 27820 (java) S 27808 27808 15667 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 28 0 4012470 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492454263536 140493193357954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27821] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27821/stat : 27821 (java) S 27808 27808 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492453209824 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27822] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27822/stat : 27822 (java) S 27808 27808 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492452156672 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27823] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27823/stat : 27823 (java) S 27808 27808 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012475 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492451105232 140493193365403 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27824] ppid=27808 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27824/stat : 27824 (java) R 27808 27808 15667 0 -1 4202560 4326 0 0 0 213 0 0 0 20 0 28 0 4012475 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492450038880 140493176558468 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27825] ppid=27808 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27825/stat : 27825 (java) R 27808 27808 15667 0 -1 4202560 4562 0 0 0 218 1 0 0 20 0 28 0 4012475 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492448985888 140493171094264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27826] ppid=27808 vsize=13801768 CPUtime=2.14 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27826/stat : 27826 (java) R 27808 27808 15667 0 -1 1077944384 4296 0 0 0 213 1 0 0 20 0 28 0 4012475 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492447939760 140493193357013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27827] ppid=27808 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27827/stat : 27827 (java) S 27808 27808 15667 0 -1 1077944384 4791 0 0 0 99 1 0 0 20 0 28 0 4012475 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492446894192 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27828] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27828/stat : 27828 (java) S 27808 27808 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012476 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492445842400 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27829] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27829/stat : 27829 (java) S 27808 27808 15667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4012476 14133010432 71975 33554432000 4194304 4196468 140730911004320 140492444789936 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (KiB) 13811280

[startup+6.30128 s]
/proc/loadavg: 15.48 15.44 14.22 17/300 27893
/proc/meminfo: memFree=29213232/32770624 swapFree=5892/115936
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
[pid=27809] ppid=27808 vsize=13801768 CPUtime=44.34 cores=0,2,4,6,8,10,12,14
/proc/27809/stat : 27809 (java) S 27808 27808 15667 0 -1 1077944320 32361 0 0 0 4388 46 0 0 20 0 28 0 4012467 14133010432 99848 33554432000 4194304 4196468 140730911004320 140730910986864 140493193346807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
/proc/27809/statm: 3450442 99848 3287 1 0 3437675 0
[pid=27809/tid=27810] ppid=27808 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27810/stat : 27810 (java) S 27808 27808 15667 0 -1 1077944384 8115 0 0 0 109 4 0 0 20 0 28 0 4012467 14133010432 99848 33554432000 4194304 4196468 140730911004320 140493197587584 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27812] ppid=27808 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27812/stat : 27812 (java) S 27808 27808 15667 0 -1 1077944384 843 0 0 0 5 3 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492792069136 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27813] ppid=27808 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27813/stat : 27813 (java) S 27808 27808 15667 0 -1 1077944384 53 0 0 0 3 3 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492791016592 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27814] ppid=27808 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27814/stat : 27814 (java) S 27808 27808 15667 0 -1 1077944384 46 0 0 0 3 3 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492789963536 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27815] ppid=27808 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27815/stat : 27815 (java) S 27808 27808 15667 0 -1 1077944384 95 0 0 0 3 4 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492788910992 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27816] ppid=27808 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27816/stat : 27816 (java) S 27808 27808 15667 0 -1 1077944384 69 0 0 0 4 3 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492787857936 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27817] ppid=27808 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27817/stat : 27817 (java) S 27808 27808 15667 0 -1 1077944384 51 0 0 0 4 3 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492786805392 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27818] ppid=27808 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27818/stat : 27818 (java) S 27808 27808 15667 0 -1 1077944384 260 0 0 0 3 3 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492785752336 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27819] ppid=27808 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27819/stat : 27819 (java) S 27808 27808 15667 0 -1 1077944384 46 0 0 0 2 3 0 0 20 0 28 0 4012468 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492784699792 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27820] ppid=27808 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27820/stat : 27820 (java) S 27808 27808 15667 0 -1 1077944384 429 0 0 0 2 1 0 0 20 0 28 0 4012470 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492454263536 140493193357954 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27821] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27821/stat : 27821 (java) S 27808 27808 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492453209824 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27822] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27822/stat : 27822 (java) S 27808 27808 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492452156672 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27823] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27823/stat : 27823 (java) S 27808 27808 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012475 14133010432 99848 33554432000 4194304 4196468 140730911004320 140492451105232 140493193365403 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0

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

/proc/27809/task/28228/stat : 28228 (java) R 27808 27808 15667 0 -1 4202560 1011 0 0 0 2183 0 0 0 20 0 28 0 4038401 14133010432 324000 33554432000 4194304 4196468 140730911004320 140492433617352 140492835088883 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28229] ppid=27808 vsize=13801768 CPUtime=21.78 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28229/stat : 28229 (java) R 27808 27808 15667 0 -1 4202560 1068 0 0 0 2178 0 0 0 20 0 28 0 4038401 14133010432 324000 33554432000 4194304 4196468 140730911004320 140492429406696 140492834490714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
Current children cumulated CPU time (s) 2206.71
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+306.902 s]
/proc/loadavg: 11.87 12.99 13.51 17/292 28230
/proc/meminfo: memFree=20014272/32770624 swapFree=5892/116400
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
[pid=27809] ppid=27808 vsize=13801768 CPUtime=2400.17 cores=0,2,4,6,8,10,12,14
/proc/27809/stat : 27809 (java) S 27808 27808 15667 0 -1 1077944320 205602 0 0 0 239595 422 0 0 20 0 28 0 4012467 14133010432 296776 33554432000 4194304 4196468 140730911004320 140730910986864 140493193346807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
/proc/27809/statm: 3450442 296776 3305 1 0 3437675 0
[pid=27809/tid=27810] ppid=27808 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27810/stat : 27810 (java) S 27808 27808 15667 0 -1 1077944384 9975 0 0 0 111 5 0 0 20 0 28 0 4012467 14133010432 296776 33554432000 4194304 4196468 140730911004320 140493197587584 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27812] ppid=27808 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27812/stat : 27812 (java) S 27808 27808 15667 0 -1 1077944384 7480 0 0 0 57 20 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492792069136 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27813] ppid=27808 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27813/stat : 27813 (java) S 27808 27808 15667 0 -1 1077944384 3241 0 0 0 55 21 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492791016592 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27814] ppid=27808 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27814/stat : 27814 (java) S 27808 27808 15667 0 -1 1077944384 3332 0 0 0 57 17 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492789963536 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27815] ppid=27808 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27815/stat : 27815 (java) S 27808 27808 15667 0 -1 1077944384 3349 0 0 0 54 20 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492788910992 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27816] ppid=27808 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27816/stat : 27816 (java) S 27808 27808 15667 0 -1 1077944384 3581 0 0 0 55 18 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492787857936 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27817] ppid=27808 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27817/stat : 27817 (java) S 27808 27808 15667 0 -1 1077944384 4252 0 0 0 59 19 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492786805392 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27818] ppid=27808 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27818/stat : 27818 (java) S 27808 27808 15667 0 -1 1077944384 3626 0 0 0 55 19 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492785752336 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27819] ppid=27808 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27819/stat : 27819 (java) S 27808 27808 15667 0 -1 1077944384 3634 0 0 0 53 20 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492784699792 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27820] ppid=27808 vsize=13801768 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27820/stat : 27820 (java) S 27808 27808 15667 0 -1 1077944384 16626 0 0 0 98 181 0 0 20 0 28 0 4012470 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492454263536 140493193357954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27821] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27821/stat : 27821 (java) S 27808 27808 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492453209824 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27822] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27822/stat : 27822 (java) S 27808 27808 15667 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492452156672 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27823] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27823/stat : 27823 (java) S 27808 27808 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492451105232 140493193365403 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27824] ppid=27808 vsize=13801768 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27824/stat : 27824 (java) S 27808 27808 15667 0 -1 1077944384 14436 0 0 0 332 1 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492450052336 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27825] ppid=27808 vsize=13801768 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27825/stat : 27825 (java) S 27808 27808 15667 0 -1 1077944384 15415 0 0 0 339 3 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492448999792 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27826] ppid=27808 vsize=13801768 CPUtime=3.22 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27826/stat : 27826 (java) S 27808 27808 15667 0 -1 1077944384 17373 0 0 0 319 3 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492447946736 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27827] ppid=27808 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27827/stat : 27827 (java) S 27808 27808 15667 0 -1 1077944384 18299 0 0 0 116 2 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492446894192 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27828] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27828/stat : 27828 (java) S 27808 27808 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012476 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492445842400 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27829] ppid=27808 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27829/stat : 27829 (java) S 27808 27808 15667 0 -1 1077944384 1719 0 0 0 7 7 0 0 20 0 28 0 4012476 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492444789936 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28222] ppid=27808 vsize=13801768 CPUtime=45.9 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28222/stat : 28222 (java) R 27808 27808 15667 0 -1 4202560 1517 0 0 0 4590 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492431510888 140492832509221 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28223] ppid=27808 vsize=13801768 CPUtime=45.69 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28223/stat : 28223 (java) R 27808 27808 15667 0 -1 4202560 1245 0 0 0 4568 1 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492435722712 140493173057249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28224] ppid=27808 vsize=13801768 CPUtime=46.29 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28224/stat : 28224 (java) R 27808 27808 15667 0 -1 4202560 1426 0 0 0 4629 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492432564072 140492834307194 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28225] ppid=27808 vsize=13801768 CPUtime=45.97 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28225/stat : 28225 (java) R 27808 27808 15667 0 -1 4202560 975 0 0 0 4597 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492430458704 140492834307415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28226] ppid=27808 vsize=13801768 CPUtime=46.28 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28226/stat : 28226 (java) R 27808 27808 15667 0 -1 4202560 486 0 0 0 4628 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492434672048 140492834307184 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28227] ppid=27808 vsize=13801768 CPUtime=45.83 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28227/stat : 28227 (java) R 27808 27808 15667 0 -1 4202560 610 0 0 0 4583 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492436775080 140492834600224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28228] ppid=27808 vsize=13801768 CPUtime=45.95 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28228/stat : 28228 (java) R 27808 27808 15667 0 -1 4202560 1205 0 0 0 4595 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492433616824 140492834490172 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28229] ppid=27808 vsize=13801768 CPUtime=45.71 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28229/stat : 28229 (java) R 27808 27808 15667 0 -1 4202560 1265 0 0 0 4571 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492429407480 140492834268812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 13811280

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27809 sig 9
??? kill 27808 sig 9
??? kill -27808 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+306.902 s]
/proc/loadavg: 11.87 12.99 13.51 17/292 28230
/proc/meminfo: memFree=20014272/32770624 swapFree=5892/116400
[pid=27808] ppid=27805 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27808/stat : 27808 (xcsp3-exec) S 27805 27808 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4012466 9740288 346 33554432000 4194304 5098028 140728607133824 140728607131928 140393159180924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17776640 140728607138958 140728607139168 140728607139168 140728607141867 0
/proc/27808/statm: 2378 346 289 221 0 87 0
[pid=27809] ppid=27808 vsize=13801768 CPUtime=2400.17 cores=0,2,4,6,8,10,12,14
/proc/27809/stat : 27809 (java) S 27808 27808 15667 0 -1 1077944320 205602 0 0 0 239595 422 0 0 20 0 28 0 4012467 14133010432 296776 33554432000 4194304 4196468 140730911004320 140730910986864 140493193346807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
/proc/27809/statm: 3450442 296776 3305 1 0 3437675 0
[pid=27809/tid=27810] ppid=27808 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27810/stat : 27810 (java) S 27808 27808 15667 0 -1 1077944384 9975 0 0 0 111 5 0 0 20 0 28 0 4012467 14133010432 296776 33554432000 4194304 4196468 140730911004320 140493197587584 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27812] ppid=27808 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27812/stat : 27812 (java) S 27808 27808 15667 0 -1 1077944384 7480 0 0 0 57 20 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492792069136 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27813] ppid=27808 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27813/stat : 27813 (java) S 27808 27808 15667 0 -1 1077944384 3241 0 0 0 55 21 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492791016592 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27814] ppid=27808 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27814/stat : 27814 (java) S 27808 27808 15667 0 -1 1077944384 3332 0 0 0 57 17 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492789963536 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27815] ppid=27808 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27815/stat : 27815 (java) S 27808 27808 15667 0 -1 1077944384 3349 0 0 0 54 20 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492788910992 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27816] ppid=27808 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27816/stat : 27816 (java) S 27808 27808 15667 0 -1 1077944384 3581 0 0 0 55 18 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492787857936 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27817] ppid=27808 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27817/stat : 27817 (java) S 27808 27808 15667 0 -1 1077944384 4252 0 0 0 59 19 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492786805392 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27818] ppid=27808 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27818/stat : 27818 (java) S 27808 27808 15667 0 -1 1077944384 3626 0 0 0 55 19 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492785752336 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27819] ppid=27808 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27819/stat : 27819 (java) S 27808 27808 15667 0 -1 1077944384 3634 0 0 0 53 20 0 0 20 0 28 0 4012468 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492784699792 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27820] ppid=27808 vsize=13801768 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27820/stat : 27820 (java) S 27808 27808 15667 0 -1 1077944384 16626 0 0 0 98 181 0 0 20 0 28 0 4012470 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492454263536 140493193357954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27821] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27821/stat : 27821 (java) S 27808 27808 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492453209824 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27822] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27822/stat : 27822 (java) S 27808 27808 15667 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 4012471 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492452156672 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27823] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27823/stat : 27823 (java) S 27808 27808 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492451105232 140493193365403 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27824] ppid=27808 vsize=13801768 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27824/stat : 27824 (java) S 27808 27808 15667 0 -1 1077944384 14436 0 0 0 332 1 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492450052336 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27825] ppid=27808 vsize=13801768 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27825/stat : 27825 (java) S 27808 27808 15667 0 -1 1077944384 15415 0 0 0 339 3 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492448999792 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27826] ppid=27808 vsize=13801768 CPUtime=3.22 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27826/stat : 27826 (java) S 27808 27808 15667 0 -1 1077944384 17373 0 0 0 319 3 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492447946736 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27827] ppid=27808 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27827/stat : 27827 (java) S 27808 27808 15667 0 -1 1077944384 18299 0 0 0 116 2 0 0 20 0 28 0 4012475 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492446894192 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27828] ppid=27808 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27828/stat : 27828 (java) S 27808 27808 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4012476 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492445842400 140493193357013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=27829] ppid=27808 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/27809/task/27829/stat : 27829 (java) S 27808 27808 15667 0 -1 1077944384 1719 0 0 0 7 7 0 0 20 0 28 0 4012476 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492444789936 140493193357954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28222] ppid=27808 vsize=13801768 CPUtime=45.9 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28222/stat : 28222 (java) R 27808 27808 15667 0 -1 4202560 1517 0 0 0 4590 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492431510888 140492832509221 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28223] ppid=27808 vsize=13801768 CPUtime=45.69 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28223/stat : 28223 (java) R 27808 27808 15667 0 -1 4202560 1245 0 0 0 4568 1 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492435722712 140493173057249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28224] ppid=27808 vsize=13801768 CPUtime=46.29 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28224/stat : 28224 (java) R 27808 27808 15667 0 -1 4202560 1426 0 0 0 4629 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492432564072 140492834307194 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28225] ppid=27808 vsize=13801768 CPUtime=45.97 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28225/stat : 28225 (java) R 27808 27808 15667 0 -1 4202560 975 0 0 0 4597 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492430458704 140492834307415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28226] ppid=27808 vsize=13801768 CPUtime=46.28 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28226/stat : 28226 (java) R 27808 27808 15667 0 -1 4202560 486 0 0 0 4628 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492434672048 140492834307184 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28227] ppid=27808 vsize=13801768 CPUtime=45.83 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28227/stat : 28227 (java) R 27808 27808 15667 0 -1 4202560 610 0 0 0 4583 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492436775080 140492834600224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28228] ppid=27808 vsize=13801768 CPUtime=45.95 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28228/stat : 28228 (java) R 27808 27808 15667 0 -1 4202560 1205 0 0 0 4595 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492433616824 140492834490172 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
[pid=27809/tid=28229] ppid=27808 vsize=13801768 CPUtime=45.71 cores=0,2,4,6,8,10,12,14
/proc/27809/task/28229/stat : 28229 (java) R 27808 27808 15667 0 -1 4202560 1265 0 0 0 4571 0 0 0 20 0 28 0 4038401 14133010432 296776 33554432000 4194304 4196468 140730911004320 140492429407480 140492834268812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140730911012028 140730911012204 140730911012204 140730911014863 0
Current children cumulated CPU time (s) 2400.17
Current children cumulated vsize (KiB) 13811280

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27808 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2531
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002531
# while last known CPU time is 2400.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 306.938
CPU time (s): 2400.17
CPU user time (s): 2395.95
CPU system time (s): 4.22
CPU usage (%): 781.971
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002531
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78266 second user time and 4.74848 second system time

The end

Launcher Data

Begin job on node104 at 2017-07-22 03:37:08
IDJOB=4246380
IDBENCH=124459
IDSOLVER=2625
FILE ID=node104/4246380-1500687428
RUNJOBID= node104-1500684128-16796
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246380-1500687428/watcher-4246380-1500687428 -o /tmp/evaluation-result-4246380-1500687428/solver-4246380-1500687428 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1222148565 HOME/instance-4246380-1500687428.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab
RANDOM SEED=1222148565

node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29598092 kB
MemAvailable:   29677692 kB
Buffers:          163220 kB
Cached:           179888 kB
SwapCached:          256 kB
Active:          2528104 kB
Inactive:         172280 kB
Active(anon):    2311788 kB
Inactive(anon):    56372 kB
Active(file):     216316 kB
Inactive(file):   115908 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105468 kB
Dirty:              7704 kB
Writeback:             0 kB
AnonPages:       2356016 kB
Mapped:            42468 kB
Shmem:              8772 kB
Slab:             161360 kB
SReclaimable:     126424 kB
SUnreclaim:        34936 kB
KernelStack:        5152 kB
PageTables:        10440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4154664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2228224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61896 MiB
End job on node104 at 2017-07-22 03:42:15

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	783
Best CPU time to get the best result obtained on this benchmark	19994.6
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 4246380

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