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 5a (2017-07-05)	SAT (TO)	1482	2400.36	305.512

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246381-1500687714.xml"  -tl '2400s' -p 8 -x 3
0.00/0.23	c [HOME/instance-4246381-1500687714.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.30	c 8 solvers in parallel
0.00/0.38	c parse instance...
4.19/1.31	c solve instance...
4.83/1.40	o 3154 
4.83/1.43	o 3117 
4.83/1.43	o 2078 
15.04/2.76	o 2028 
15.04/2.79	o 2026 
15.81/2.81	o 2000 
15.81/2.82	o 1966 
16.40/2.93	o 1940 
16.40/2.95	o 1891 
16.40/2.99	o 1889 
16.97/3.02	o 1883 
16.97/3.03	o 1876 
16.97/3.04	o 1854 
16.97/3.05	o 1830 
17.68/3.15	o 1822 
17.68/3.19	o 1821 
21.19/3.66	o 1820 
32.60/5.18	o 1795 
36.41/5.65	o 1762 
36.41/5.66	o 1740 
36.73/5.76	o 1739 
37.85/5.98	o 1734 
37.85/5.99	o 1724 
38.57/6.03	o 1720 
40.14/6.21	o 1685 
98.87/13.67	o 1681 
103.61/14.29	o 1647 
116.99/15.99	o 1641 
117.63/16.02	o 1637 
118.77/16.23	o 1625 
118.77/16.28	o 1612 
119.78/16.76	o 1610 
120.12/16.82	o 1608 
120.12/16.86	o 1577 
120.12/16.87	o 1568 
829.26/106.17	o 1566 
989.15/126.91	o 1551 
989.15/126.94	o 1543 
989.48/127.01	o 1523 
989.48/127.02	o 1482 
2400.36/305.53	s SATISFIABLE
2400.36/305.53	v <instantiation>
2400.36/305.53	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.36/305.53	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 49 100 78 16 64 61 82 55 57 99 30 86 78 26 37 81 97 87 94 13 16 44 88 32 54 75 64 31 12 19 23 31 1 </values>
2400.36/305.53	v </instantiation>
2400.36/305.54	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-4246381-1500687714/watcher-4246381-1500687714 -o /tmp/evaluation-result-4246381-1500687714/solver-4246381-1500687714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1116268052 HOME/instance-4246381-1500687714.xml 

pid=435
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.51 15.66 15.18 9/273 438
/proc/meminfo: memFree=28274556/32770624 swapFree=5972/255360
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0

[startup+0.100064 s]
/proc/loadavg: 15.51 15.66 15.18 9/273 438
/proc/meminfo: memFree=28274556/32770624 swapFree=5972/255360
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200253 s]
/proc/loadavg: 15.51 15.66 15.18 9/273 438
/proc/meminfo: memFree=28274556/32770624 swapFree=5972/255360
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300232 s]
/proc/loadavg: 15.51 15.66 15.18 9/273 438
/proc/meminfo: memFree=28274556/32770624 swapFree=5972/255360
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700143 s]
/proc/loadavg: 15.51 15.66 15.18 9/273 438
/proc/meminfo: memFree=28274556/32770624 swapFree=5972/255360
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50078 s]
/proc/loadavg: 15.51 15.66 15.18 13/294 462
/proc/meminfo: memFree=28150036/32770624 swapFree=5972/255396
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
[pid=439] ppid=438 vsize=13801768 CPUtime=5.55 cores=0,2,4,6,8,10,12,14
/proc/439/stat : 439 (java) S 438 438 14626 0 -1 1077944320 23134 0 0 0 543 12 0 0 20 0 28 0 4040866 14133010432 52375 33554432000 4194304 4196468 140736675552960 140736675535504 140154587713271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
/proc/439/statm: 3450442 52375 3259 1 0 3437675 0
[pid=439/tid=440] ppid=438 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/439/task/440/stat : 440 (java) S 438 438 14626 0 -1 1077944384 8352 0 0 0 124 4 0 0 20 0 28 0 4040866 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154591954048 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=442] ppid=438 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/439/task/442/stat : 442 (java) S 438 438 14626 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154519849232 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=444] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/444/stat : 444 (java) S 438 438 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154518796688 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=445] ppid=438 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/439/task/445/stat : 445 (java) S 438 438 14626 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154517744144 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=447] ppid=438 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/439/task/447/stat : 447 (java) S 438 438 14626 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154516691600 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=448] ppid=438 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/439/task/448/stat : 448 (java) S 438 438 14626 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154515639056 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=449] ppid=438 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/439/task/449/stat : 449 (java) S 438 438 14626 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154181225360 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=450] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/450/stat : 450 (java) S 438 438 14626 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154180172816 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=451] ppid=438 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/439/task/451/stat : 451 (java) S 438 438 14626 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 4040867 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154179120272 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=452] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/452/stat : 452 (java) S 438 438 14626 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 28 0 4040869 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154117138416 140154587724418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=453] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/453/stat : 453 (java) S 438 438 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4040870 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154116084640 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=454] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/454/stat : 454 (java) S 438 438 14626 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4040871 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154115032048 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=455] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/455/stat : 455 (java) S 438 438 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154113980624 140154587731867 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=456] ppid=438 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/439/task/456/stat : 456 (java) R 438 438 14626 0 -1 4202560 2942 0 0 0 84 1 0 0 20 0 28 0 4040875 14133010432 52375 33554432000 4194304 4196468 140736675552960 140154112914264 140154565308753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=457] ppid=438 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/439/task/457/stat : 457 (java) R 438 438 14626 0 -1 4202560 3130 0 0 0 93 0 0 0 20 0 28 0 4040875 14133010432 52375 33554432000 4194304 4196468 140736675552960 140153842545696 140154571199285 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=458] ppid=438 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/439/task/458/stat : 458 (java) R 438 438 14626 0 -1 4202560 2715 0 0 0 88 0 0 0 20 0 28 0 4040875 14133010432 52375 33554432000 4194304 4196468 140736675552960 140153841499544 140154572455447 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=459] ppid=438 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/439/task/459/stat : 459 (java) S 438 438 14626 0 -1 1077944384 3279 0 0 0 69 0 0 0 20 0 28 0 4040875 14133010432 52375 33554432000 4194304 4196468 140736675552960 140153840454512 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=460] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/460/stat : 460 (java) S 438 438 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 52375 33554432000 4194304 4196468 140736675552960 140153839401184 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=462] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/462/stat : 462 (java) S 438 438 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 52375 33554432000 4194304 4196468 140736675552960 140153838348720 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 13811280

[startup+3.10121 s]
/proc/loadavg: 15.51 15.66 15.18 20/302 499
/proc/meminfo: memFree=28068628/32770624 swapFree=5972/255396
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
[pid=439] ppid=438 vsize=13801768 CPUtime=17.68 cores=0,2,4,6,8,10,12,14
/proc/439/stat : 439 (java) S 438 438 14626 0 -1 1077944320 29141 0 0 0 1746 22 0 0 20 0 28 0 4040866 14133010432 64437 33554432000 4194304 4196468 140736675552960 140736675535504 140154587713271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
/proc/439/statm: 3450442 64437 3284 1 0 3437675 0
[pid=439/tid=440] ppid=438 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/439/task/440/stat : 440 (java) S 438 438 14626 0 -1 1077944384 8412 0 0 0 125 4 0 0 20 0 28 0 4040866 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154591954048 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=442] ppid=438 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/439/task/442/stat : 442 (java) S 438 438 14626 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154519849232 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=444] ppid=438 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/439/task/444/stat : 444 (java) S 438 438 14626 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154518796688 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=445] ppid=438 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/439/task/445/stat : 445 (java) S 438 438 14626 0 -1 1077944384 54 0 0 0 2 1 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154517744144 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=447] ppid=438 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/439/task/447/stat : 447 (java) S 438 438 14626 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154516691600 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=448] ppid=438 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/439/task/448/stat : 448 (java) S 438 438 14626 0 -1 1077944384 126 0 0 0 3 1 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154515639056 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=449] ppid=438 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/439/task/449/stat : 449 (java) S 438 438 14626 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154181225360 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=450] ppid=438 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/439/task/450/stat : 450 (java) S 438 438 14626 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154180172816 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=451] ppid=438 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/439/task/451/stat : 451 (java) S 438 438 14626 0 -1 1077944384 46 0 0 0 2 1 0 0 20 0 28 0 4040867 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154179120272 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=452] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/452/stat : 452 (java) S 438 438 14626 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 28 0 4040869 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154117138416 140154587724418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=453] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/453/stat : 453 (java) S 438 438 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4040870 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154116084704 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=454] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/454/stat : 454 (java) S 438 438 14626 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4040871 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154115032064 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=455] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/455/stat : 455 (java) S 438 438 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154113980624 140154587731867 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=456] ppid=438 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/439/task/456/stat : 456 (java) R 438 438 14626 0 -1 4202560 3743 0 0 0 197 1 0 0 20 0 28 0 4040875 14133010432 64437 33554432000 4194304 4196468 140736675552960 140154112921432 140154568349216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=457] ppid=438 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/439/task/457/stat : 457 (java) R 438 438 14626 0 -1 4202560 4067 0 0 0 212 1 0 0 20 0 28 0 4040875 14133010432 64437 33554432000 4194304 4196468 140736675552960 140153842546144 140154572828499 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=458] ppid=438 vsize=13801768 CPUtime=2.12 cores=0,2,4,6,8,10,12,14
/proc/439/task/458/stat : 458 (java) R 438 438 14626 0 -1 4202560 3689 0 0 0 212 0 0 0 20 0 28 0 4040875 14133010432 64437 33554432000 4194304 4196468 140736675552960 140153841497008 140154567548929 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=459] ppid=438 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/439/task/459/stat : 459 (java) S 438 438 14626 0 -1 1077944384 4227 0 0 0 96 1 0 0 20 0 28 0 4040875 14133010432 64437 33554432000 4194304 4196468 140736675552960 140153840454512 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=460] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/460/stat : 460 (java) S 438 438 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 64437 33554432000 4194304 4196468 140736675552960 140153839401184 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=462] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/462/stat : 462 (java) S 438 438 14626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 64437 33554432000 4194304 4196468 140736675552960 140153838348720 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
Current children cumulated CPU time (s) 17.68
Current children cumulated vsize (KiB) 13811280

[startup+6.30115 s]
/proc/loadavg: 15.55 15.67 15.18 13/302 628
/proc/meminfo: memFree=27870700/32770624 swapFree=5972/255404
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
[pid=439] ppid=438 vsize=13801768 CPUtime=40.88 cores=0,2,4,6,8,10,12,14
/proc/439/stat : 439 (java) S 438 438 14626 0 -1 1077944320 37744 0 0 0 4042 46 0 0 20 0 28 0 4040866 14133010432 103268 33554432000 4194304 4196468 140736675552960 140736675535504 140154587713271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
/proc/439/statm: 3450442 103268 3288 1 0 3437675 0
[pid=439/tid=440] ppid=438 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/439/task/440/stat : 440 (java) S 438 438 14626 0 -1 1077944384 8425 0 0 0 126 4 0 0 20 0 28 0 4040866 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154591954048 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=442] ppid=438 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/439/task/442/stat : 442 (java) S 438 438 14626 0 -1 1077944384 101 0 0 0 3 3 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154519849232 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=444] ppid=438 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/439/task/444/stat : 444 (java) S 438 438 14626 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154518796688 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=445] ppid=438 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/439/task/445/stat : 445 (java) S 438 438 14626 0 -1 1077944384 75 0 0 0 4 4 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154517744144 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=447] ppid=438 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/439/task/447/stat : 447 (java) S 438 438 14626 0 -1 1077944384 74 0 0 0 4 4 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154516691600 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=448] ppid=438 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/439/task/448/stat : 448 (java) S 438 438 14626 0 -1 1077944384 178 0 0 0 4 3 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154515639056 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=449] ppid=438 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/439/task/449/stat : 449 (java) S 438 438 14626 0 -1 1077944384 66 0 0 0 5 2 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154181225360 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=450] ppid=438 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/439/task/450/stat : 450 (java) S 438 438 14626 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154180172816 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=451] ppid=438 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/439/task/451/stat : 451 (java) S 438 438 14626 0 -1 1077944384 614 0 0 0 4 3 0 0 20 0 28 0 4040867 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154179120272 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=452] ppid=438 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/439/task/452/stat : 452 (java) S 438 438 14626 0 -1 1077944384 342 0 0 0 1 1 0 0 20 0 28 0 4040869 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154117138416 140154587724418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=453] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/453/stat : 453 (java) S 438 438 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4040870 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154116084704 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=454] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/454/stat : 454 (java) S 438 438 14626 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4040871 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154115032064 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=455] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/455/stat : 455 (java) S 438 438 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 103268 33554432000 4194304 4196468 140736675552960 140154113980624 140154587731867 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0

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

[pid=439/tid=1743] ppid=438 vsize=13801768 CPUtime=151.88 cores=0,2,4,6,8,10,12,14
/proc/439/task/1743/stat : 1743 (java) R 438 438 14626 0 -1 4202560 2239 0 0 0 15185 3 0 0 20 0 28 0 4053568 14133010432 392934 33554432000 4194304 4196468 140736675552960 140153829781080 140154203393052 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1744] ppid=438 vsize=13801768 CPUtime=152.34 cores=0,2,4,6,8,10,12,14
/proc/439/task/1744/stat : 1744 (java) R 438 438 14626 0 -1 4202560 1417 0 0 0 15232 2 0 0 20 0 28 0 4053568 14133010432 392934 33554432000 4194304 4196468 140736675552960 140153828728440 140154199297863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
Current children cumulated CPU time (s) 2216.04
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+305.502 s]
/proc/loadavg: 12.80 13.78 14.54 17/300 2854
/proc/meminfo: memFree=30077108/32770624 swapFree=5972/256708
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
[pid=439] ppid=438 vsize=13801768 CPUtime=2400.36 cores=0,2,4,6,8,10,12,14
/proc/439/stat : 439 (java) S 438 438 14626 0 -1 1077944320 140820 0 0 0 239700 336 0 0 20 0 28 0 4040866 14133010432 387667 33554432000 4194304 4196468 140736675552960 140736675535504 140154587713271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
/proc/439/statm: 3450442 387667 3312 1 0 3437675 0
[pid=439/tid=440] ppid=438 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/439/task/440/stat : 440 (java) S 438 438 14626 0 -1 1077944384 8968 0 0 0 127 4 0 0 20 0 28 0 4040866 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154591954048 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=442] ppid=438 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/439/task/442/stat : 442 (java) S 438 438 14626 0 -1 1077944384 2143 0 0 0 61 15 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154519849232 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=444] ppid=438 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/439/task/444/stat : 444 (java) S 438 438 14626 0 -1 1077944384 1499 0 0 0 59 17 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154518796688 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=445] ppid=438 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/439/task/445/stat : 445 (java) S 438 438 14626 0 -1 1077944384 2242 0 0 0 63 17 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154517744144 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=447] ppid=438 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/439/task/447/stat : 447 (java) S 438 438 14626 0 -1 1077944384 2090 0 0 0 60 18 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154516691600 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=448] ppid=438 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/439/task/448/stat : 448 (java) S 438 438 14626 0 -1 1077944384 2142 0 0 0 59 19 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154515639056 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=449] ppid=438 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/439/task/449/stat : 449 (java) S 438 438 14626 0 -1 1077944384 1454 0 0 0 61 18 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154181225360 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=450] ppid=438 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/439/task/450/stat : 450 (java) S 438 438 14626 0 -1 1077944384 1821 0 0 0 58 19 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154180172816 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=451] ppid=438 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/439/task/451/stat : 451 (java) S 438 438 14626 0 -1 1077944384 3279 0 0 0 59 19 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154179120272 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=452] ppid=438 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/439/task/452/stat : 452 (java) S 438 438 14626 0 -1 1077944384 9959 0 0 0 62 107 0 0 20 0 28 0 4040869 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154117138416 140154587724418 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 2 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=453] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/453/stat : 453 (java) S 438 438 14626 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4040870 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154116084704 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=454] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/454/stat : 454 (java) S 438 438 14626 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 4040871 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154115032064 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=455] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/455/stat : 455 (java) S 438 438 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154113980624 140154587731867 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=456] ppid=438 vsize=13801768 CPUtime=3.93 cores=0,2,4,6,8,10,12,14
/proc/439/task/456/stat : 456 (java) S 438 438 14626 0 -1 1077944384 14272 0 0 0 390 3 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154112928240 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=457] ppid=438 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/439/task/457/stat : 457 (java) S 438 438 14626 0 -1 1077944384 15064 0 0 0 397 1 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153842559600 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=458] ppid=438 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/439/task/458/stat : 458 (java) S 438 438 14626 0 -1 1077944384 15167 0 0 0 396 2 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153841507056 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=459] ppid=438 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/439/task/459/stat : 459 (java) S 438 438 14626 0 -1 1077944384 11045 0 0 0 118 2 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153840454512 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=460] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/460/stat : 460 (java) S 438 438 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153839401184 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=462] ppid=438 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/439/task/462/stat : 462 (java) S 438 438 14626 0 -1 1077944384 1267 0 0 0 7 6 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153838348720 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1737] ppid=438 vsize=13801768 CPUtime=175.56 cores=0,2,4,6,8,10,12,14
/proc/439/task/1737/stat : 1737 (java) R 438 438 14626 0 -1 4202560 966 0 0 0 17555 1 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153826622248 140736676527240 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1738] ppid=438 vsize=13801768 CPUtime=175.53 cores=0,2,4,6,8,10,12,14
/proc/439/task/1738/stat : 1738 (java) R 438 438 14626 0 -1 4202560 1831 0 0 0 17552 1 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153824518104 140154204477001 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1739] ppid=438 vsize=13801768 CPUtime=176.39 cores=0,2,4,6,8,10,12,14
/proc/439/task/1739/stat : 1739 (java) R 438 438 14626 0 -1 4202560 2630 0 0 0 17638 1 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153825570688 140154203734491 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1740] ppid=438 vsize=13801768 CPUtime=175.79 cores=0,2,4,6,8,10,12,14
/proc/439/task/1740/stat : 1740 (java) R 438 438 14626 0 -1 4202560 1721 0 0 0 17577 2 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153827676552 140154203734491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1741] ppid=438 vsize=13801768 CPUtime=175.84 cores=0,2,4,6,8,10,12,14
/proc/439/task/1741/stat : 1741 (java) R 438 438 14626 0 -1 4202560 1805 0 0 0 17582 2 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153830837104 140154203841790 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1742] ppid=438 vsize=13801768 CPUtime=175.48 cores=0,2,4,6,8,10,12,14
/proc/439/task/1742/stat : 1742 (java) R 438 438 14626 0 -1 4202560 650 0 0 0 17546 2 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153823466248 140154201525517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1743] ppid=438 vsize=13801768 CPUtime=174.83 cores=0,2,4,6,8,10,12,14
/proc/439/task/1743/stat : 1743 (java) R 438 438 14626 0 -1 4202560 2275 0 0 0 17480 3 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153829781080 140154201823993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1744] ppid=438 vsize=13801768 CPUtime=175.38 cores=0,2,4,6,8,10,12,14
/proc/439/task/1744/stat : 1744 (java) R 438 438 14626 0 -1 4202560 1530 0 0 0 17535 3 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153828728712 140154204478415 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
Current children cumulated CPU time (s) 2400.36
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 439 sig 9
??? kill 438 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+305.502 s]
/proc/loadavg: 12.80 13.78 14.54 17/300 2854
/proc/meminfo: memFree=30077108/32770624 swapFree=5972/256708
[pid=438] ppid=435 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/438/stat : 438 (xcsp3-exec) S 435 438 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4040865 9740288 346 33554432000 4194304 5098028 140736551882704 140736551880808 140443090608764 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 40140800 140736551888014 140736551888224 140736551888224 140736551890923 0
/proc/438/statm: 2378 346 289 221 0 87 0
[pid=439] ppid=438 vsize=13801768 CPUtime=2400.36 cores=0,2,4,6,8,10,12,14
/proc/439/stat : 439 (java) S 438 438 14626 0 -1 1077944320 140820 0 0 0 239700 336 0 0 20 0 28 0 4040866 14133010432 387667 33554432000 4194304 4196468 140736675552960 140736675535504 140154587713271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
/proc/439/statm: 3450442 387667 3312 1 0 3437675 0
[pid=439/tid=440] ppid=438 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/439/task/440/stat : 440 (java) S 438 438 14626 0 -1 1077944384 8968 0 0 0 127 4 0 0 20 0 28 0 4040866 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154591954048 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=442] ppid=438 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/439/task/442/stat : 442 (java) S 438 438 14626 0 -1 1077944384 2143 0 0 0 61 15 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154519849232 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=444] ppid=438 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/439/task/444/stat : 444 (java) S 438 438 14626 0 -1 1077944384 1499 0 0 0 59 17 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154518796688 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=445] ppid=438 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/439/task/445/stat : 445 (java) S 438 438 14626 0 -1 1077944384 2242 0 0 0 63 17 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154517744144 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=447] ppid=438 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/439/task/447/stat : 447 (java) S 438 438 14626 0 -1 1077944384 2090 0 0 0 60 18 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154516691600 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=448] ppid=438 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/439/task/448/stat : 448 (java) S 438 438 14626 0 -1 1077944384 2142 0 0 0 59 19 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154515639056 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=449] ppid=438 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/439/task/449/stat : 449 (java) S 438 438 14626 0 -1 1077944384 1454 0 0 0 61 18 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154181225360 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=450] ppid=438 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/439/task/450/stat : 450 (java) S 438 438 14626 0 -1 1077944384 1821 0 0 0 58 19 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154180172816 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=451] ppid=438 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/439/task/451/stat : 451 (java) S 438 438 14626 0 -1 1077944384 3279 0 0 0 59 19 0 0 20 0 28 0 4040867 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154179120272 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=452] ppid=438 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/439/task/452/stat : 452 (java) S 438 438 14626 0 -1 1077944384 9959 0 0 0 62 107 0 0 20 0 28 0 4040869 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154117138416 140154587724418 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 2 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=453] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/453/stat : 453 (java) S 438 438 14626 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4040870 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154116084704 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=454] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/454/stat : 454 (java) S 438 438 14626 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 4040871 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154115032064 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=455] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/455/stat : 455 (java) S 438 438 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154113980624 140154587731867 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=456] ppid=438 vsize=13801768 CPUtime=3.93 cores=0,2,4,6,8,10,12,14
/proc/439/task/456/stat : 456 (java) S 438 438 14626 0 -1 1077944384 14272 0 0 0 390 3 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140154112928240 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=457] ppid=438 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/439/task/457/stat : 457 (java) S 438 438 14626 0 -1 1077944384 15064 0 0 0 397 1 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153842559600 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=458] ppid=438 vsize=13801768 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/439/task/458/stat : 458 (java) S 438 438 14626 0 -1 1077944384 15167 0 0 0 396 2 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153841507056 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=459] ppid=438 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/439/task/459/stat : 459 (java) S 438 438 14626 0 -1 1077944384 11045 0 0 0 118 2 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153840454512 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=460] ppid=438 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/439/task/460/stat : 460 (java) S 438 438 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153839401184 140154587723477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=462] ppid=438 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/439/task/462/stat : 462 (java) S 438 438 14626 0 -1 1077944384 1267 0 0 0 7 6 0 0 20 0 28 0 4040875 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153838348720 140154587724418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1737] ppid=438 vsize=13801768 CPUtime=175.56 cores=0,2,4,6,8,10,12,14
/proc/439/task/1737/stat : 1737 (java) R 438 438 14626 0 -1 4202560 966 0 0 0 17555 1 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153826622248 140736676527240 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1738] ppid=438 vsize=13801768 CPUtime=175.53 cores=0,2,4,6,8,10,12,14
/proc/439/task/1738/stat : 1738 (java) R 438 438 14626 0 -1 4202560 1831 0 0 0 17552 1 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153824518104 140154204477001 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1739] ppid=438 vsize=13801768 CPUtime=176.39 cores=0,2,4,6,8,10,12,14
/proc/439/task/1739/stat : 1739 (java) R 438 438 14626 0 -1 4202560 2630 0 0 0 17638 1 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153825570688 140154203734491 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1740] ppid=438 vsize=13801768 CPUtime=175.79 cores=0,2,4,6,8,10,12,14
/proc/439/task/1740/stat : 1740 (java) R 438 438 14626 0 -1 4202560 1721 0 0 0 17577 2 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153827676552 140154203734491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1741] ppid=438 vsize=13801768 CPUtime=175.84 cores=0,2,4,6,8,10,12,14
/proc/439/task/1741/stat : 1741 (java) R 438 438 14626 0 -1 4202560 1805 0 0 0 17582 2 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153830837104 140154203841790 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1742] ppid=438 vsize=13801768 CPUtime=175.48 cores=0,2,4,6,8,10,12,14
/proc/439/task/1742/stat : 1742 (java) R 438 438 14626 0 -1 4202560 650 0 0 0 17546 2 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153823466248 140154201525517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1743] ppid=438 vsize=13801768 CPUtime=174.83 cores=0,2,4,6,8,10,12,14
/proc/439/task/1743/stat : 1743 (java) R 438 438 14626 0 -1 4202560 2275 0 0 0 17480 3 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153829781080 140154201823993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
[pid=439/tid=1744] ppid=438 vsize=13801768 CPUtime=175.38 cores=0,2,4,6,8,10,12,14
/proc/439/task/1744/stat : 1744 (java) R 438 438 14626 0 -1 4202560 1530 0 0 0 17535 3 0 0 20 0 28 0 4053568 14133010432 387667 33554432000 4194304 4196468 140736675552960 140153828728712 140154204478415 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35934208 140736675554492 140736675554668 140736675554668 140736675557327 0
Current children cumulated CPU time (s) 2400.36
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 438 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1462
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1462
# CPU time returned by wait4() is 0.002924
# while last known CPU time is 2400.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 305.512
CPU time (s): 2400.36
CPU user time (s): 2397
CPU system time (s): 3.36
CPU usage (%): 785.683
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001462
system time used= 0.001462
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.83157 second user time and 4.24698 second system time

The end

Launcher Data

Begin job on node105 at 2017-07-22 03:41:54
IDJOB=4246381
IDBENCH=124459
IDSOLVER=2626
FILE ID=node105/4246381-1500687714
RUNJOBID= node105-1500682495-14657
PBS_JOBID= 20623326
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 5a
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-4246381-1500687714/watcher-4246381-1500687714 -o /tmp/evaluation-result-4246381-1500687714/solver-4246381-1500687714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1116268052 HOME/instance-4246381-1500687714.xml

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

MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab
RANDOM SEED=1116268052

node105.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		: 1600.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	: 5333.33
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.55
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	: 5333.33
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.55
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		: 1733.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	: 5333.33
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.55
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	: 5333.33
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.55
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		: 1733.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	: 5333.33
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.55
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		: 1600.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	: 5333.33
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.55
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		: 2267.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	: 5333.33
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.55
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		: 1600.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	: 5333.33
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28275408 kB
MemAvailable:   28430260 kB
Buffers:          110896 kB
Cached:           326176 kB
SwapCached:            0 kB
Active:          3795376 kB
Inactive:         263988 kB
Active(anon):    3625696 kB
Inactive(anon):     8628 kB
Active(file):     169680 kB
Inactive(file):   255360 kB
Unevictable:        5972 kB
Mlocked:            6004 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8156 kB
Writeback:             0 kB
AnonPages:       3633620 kB
Mapped:            43132 kB
Shmem:              8852 kB
Slab:             124052 kB
SReclaimable:      91296 kB
SUnreclaim:        32756 kB
KernelStack:        5040 kB
PageTables:        12296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4439688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3506176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61996 MiB
End job on node105 at 2017-07-22 03:46:59

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 4246381

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