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)	1771	2400.55	303.627

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246324-1500687191.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4246324-1500687191.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
4.58/1.38	c solve instance...
5.74/1.52	o 3706 
6.49/1.61	o 3701 
6.49/1.63	o 3680 
6.49/1.64	o 3640 
6.49/1.67	o 2187 
18.25/3.11	o 2107 
63.57/8.88	o 2023 
63.57/8.91	o 2022 
64.06/8.96	o 1990 
64.89/9.13	o 1979 
64.89/9.16	o 1971 
65.25/9.22	o 1957 
65.25/9.23	o 1925 
65.25/9.24	o 1917 
582.75/74.42	o 1890 
1439.03/182.30	o 1790 
1650.72/209.06	o 1780 
2331.38/294.92	o 1771 
2400.55/303.65	s SATISFIABLE
2400.55/303.65	v <instantiation>
2400.55/303.65	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list>
2400.55/303.65	v 	<values>0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 50 61 55 89 100 34 98 29 95 26 62 70 90 57 22 35 92 92 98 75 40 34 88 14 93 32 100 60 86 42 70 29 67 100 99 70 20 26 13 76 100 88 69 </values>
2400.55/303.65	v </instantiation>
2400.55/303.65	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-4246324-1500687191/watcher-4246324-1500687191 -o /tmp/evaluation-result-4246324-1500687191/solver-4246324-1500687191 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 146266229 HOME/instance-4246324-1500687191.xml 

pid=25505
running on 8 cores: 1,3,5,7,9,11,13,15

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.92 15.60 15.07 10/272 25508
/proc/meminfo: memFree=29707816/32770624 swapFree=5880/249596
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0

[startup+0.100112 s]
/proc/loadavg: 15.92 15.60 15.07 10/272 25508
/proc/meminfo: memFree=29707816/32770624 swapFree=5880/249596
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200312 s]
/proc/loadavg: 15.92 15.60 15.07 10/272 25508
/proc/meminfo: memFree=29707816/32770624 swapFree=5880/249596
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300217 s]
/proc/loadavg: 15.92 15.60 15.07 10/272 25508
/proc/meminfo: memFree=29707816/32770624 swapFree=5880/249596
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700179 s]
/proc/loadavg: 15.92 15.60 15.07 10/272 25508
/proc/meminfo: memFree=29707816/32770624 swapFree=5880/249596
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50113 s]
/proc/loadavg: 15.61 15.54 15.05 13/293 25529
/proc/meminfo: memFree=29541316/32770624 swapFree=5880/249664
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
[pid=25509] ppid=25508 vsize=13801768 CPUtime=5.74 cores=1,3,5,7,9,11,13,15
/proc/25509/stat : 25509 (java) S 25508 25508 7744 0 -1 1077944320 23576 0 0 0 560 14 0 0 20 0 28 0 3986756 14133010432 52224 33554432000 4194304 4196468 140734081059536 140734081042080 140521474658039 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
/proc/25509/statm: 3450442 52224 3252 1 0 3437675 0
[pid=25509/tid=25510] ppid=25508 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25510/stat : 25510 (java) S 25508 25508 7744 0 -1 1077944384 8344 0 0 0 131 4 0 0 20 0 28 0 3986756 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521478898816 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25512] ppid=25508 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25512/stat : 25512 (java) S 25508 25508 7744 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521406794256 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25513] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25513/stat : 25513 (java) S 25508 25508 7744 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521405741712 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25514] ppid=25508 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25514/stat : 25514 (java) S 25508 25508 7744 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521404688656 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25515] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25515/stat : 25515 (java) S 25508 25508 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521403636112 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25516] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25516/stat : 25516 (java) S 25508 25508 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521402584080 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25517] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25517/stat : 25517 (java) S 25508 25508 7744 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521401531536 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25518] ppid=25508 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25518/stat : 25518 (java) S 25508 25508 7744 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521400478480 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25519] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25519/stat : 25519 (java) S 25508 25508 7744 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 3986757 14133010432 52224 33554432000 4194304 4196468 140734081059536 140521399425936 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25520] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25520/stat : 25520 (java) S 25508 25508 7744 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 28 0 3986759 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520668481776 140521474669186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25521] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25521/stat : 25521 (java) S 25508 25508 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3986760 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520667428000 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25522] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25522/stat : 25522 (java) S 25508 25508 7744 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 3986760 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520666374896 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25523] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25523/stat : 25523 (java) S 25508 25508 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3986764 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520665323472 140521474676635 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25524] ppid=25508 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25524/stat : 25524 (java) R 25508 25508 7744 0 -1 4202560 3001 0 0 0 102 0 0 0 20 0 28 0 3986764 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520664262816 140521458181565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25525] ppid=25508 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25525/stat : 25525 (java) R 25508 25508 7744 0 -1 4202560 3046 0 0 0 107 0 0 0 20 0 28 0 3986764 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520663200624 140521453904785 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25526] ppid=25508 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25526/stat : 25526 (java) R 25508 25508 7744 0 -1 4202560 3770 0 0 0 105 0 0 0 20 0 28 0 3986764 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520662152064 140521460672619 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25527] ppid=25508 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25527/stat : 25527 (java) R 25508 25508 7744 0 -1 4202560 3104 0 0 0 65 1 0 0 20 0 28 0 3986764 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520661111248 140521456067721 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25528] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25528/stat : 25528 (java) S 25508 25508 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3986765 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520592501216 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25529] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25529/stat : 25529 (java) S 25508 25508 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3986765 14133010432 52224 33554432000 4194304 4196468 140734081059536 140520591448752 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 13811280

[startup+3.10166 s]
/proc/loadavg: 15.61 15.54 15.05 20/301 25577
/proc/meminfo: memFree=29475164/32770624 swapFree=5880/249632
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
[pid=25509] ppid=25508 vsize=13801768 CPUtime=18.25 cores=1,3,5,7,9,11,13,15
/proc/25509/stat : 25509 (java) S 25508 25508 7744 0 -1 1077944320 27931 0 0 0 1782 43 0 0 20 0 28 0 3986756 14133010432 94477 33554432000 4194304 4196468 140734081059536 140734081042080 140521474658039 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
/proc/25509/statm: 3450442 94477 3284 1 0 3437675 0
[pid=25509/tid=25510] ppid=25508 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25510/stat : 25510 (java) S 25508 25508 7744 0 -1 1077944384 8347 0 0 0 132 4 0 0 20 0 28 0 3986756 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521478898816 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25512] ppid=25508 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25512/stat : 25512 (java) S 25508 25508 7744 0 -1 1077944384 111 0 0 0 3 3 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521406794256 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25513] ppid=25508 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25513/stat : 25513 (java) S 25508 25508 7744 0 -1 1077944384 92 0 0 0 3 3 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521405741712 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25514] ppid=25508 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25514/stat : 25514 (java) S 25508 25508 7744 0 -1 1077944384 64 0 0 0 4 3 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521404688656 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25515] ppid=25508 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25515/stat : 25515 (java) S 25508 25508 7744 0 -1 1077944384 637 0 0 0 3 4 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521403636112 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25516] ppid=25508 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25516/stat : 25516 (java) S 25508 25508 7744 0 -1 1077944384 65 0 0 0 3 3 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521402584080 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25517] ppid=25508 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25517/stat : 25517 (java) S 25508 25508 7744 0 -1 1077944384 85 0 0 0 2 3 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521401531536 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25518] ppid=25508 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25518/stat : 25518 (java) S 25508 25508 7744 0 -1 1077944384 77 0 0 0 4 3 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521400478480 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25519] ppid=25508 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25519/stat : 25519 (java) S 25508 25508 7744 0 -1 1077944384 197 0 0 0 3 3 0 0 20 0 28 0 3986757 14133010432 94477 33554432000 4194304 4196468 140734081059536 140521399425936 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25520] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25520/stat : 25520 (java) S 25508 25508 7744 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 28 0 3986759 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520668481776 140521474669186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25521] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25521/stat : 25521 (java) S 25508 25508 7744 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3986760 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520667428064 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25522] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25522/stat : 25522 (java) S 25508 25508 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3986760 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520666374912 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25523] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25523/stat : 25523 (java) S 25508 25508 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3986764 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520665323472 140521474676635 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25524] ppid=25508 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25524/stat : 25524 (java) R 25508 25508 7744 0 -1 4202560 3318 0 0 0 206 0 0 0 20 0 28 0 3986764 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520664257360 140521458558640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25525] ppid=25508 vsize=13801768 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25525/stat : 25525 (java) R 25508 25508 7744 0 -1 4202560 3482 0 0 0 212 0 0 0 20 0 28 0 3986764 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520663205624 140521455351411 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25526] ppid=25508 vsize=13801768 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25526/stat : 25526 (java) R 25508 25508 7744 0 -1 4202560 4098 0 0 0 208 1 0 0 20 0 28 0 3986764 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520662154224 140521455357572 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25527] ppid=25508 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25527/stat : 25527 (java) R 25508 25508 7744 0 -1 4202560 3838 0 0 0 103 2 0 0 20 0 28 0 3986764 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520661113456 140521474679386 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25528] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25528/stat : 25528 (java) S 25508 25508 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3986765 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520592501216 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25529] ppid=25508 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25529/stat : 25529 (java) S 25508 25508 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3986765 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520591448752 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25570] ppid=25508 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25570/stat : 25570 (java) R 25508 25508 7744 0 -1 4202560 83 0 0 0 102 0 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520579222232 140521085744002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25571] ppid=25508 vsize=13801768 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25571/stat : 25571 (java) R 25508 25508 7744 0 -1 4202560 133 0 0 0 100 0 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520580276440 140521088000733 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25572] ppid=25508 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25572/stat : 25572 (java) R 25508 25508 7744 0 -1 4202560 238 0 0 0 91 0 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520576065024 140521087412968 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25573] ppid=25508 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25573/stat : 25573 (java) R 25508 25508 7744 0 -1 4202560 87 0 0 0 97 0 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520578171688 140521084540582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25574] ppid=25508 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25574/stat : 25574 (java) R 25508 25508 7744 0 -1 4202560 98 0 0 0 109 1 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520581329784 140521086711498 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25575] ppid=25508 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25575/stat : 25575 (java) R 25508 25508 7744 0 -1 4202560 86 0 0 0 106 0 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520577118144 140521085744203 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25576] ppid=25508 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25576/stat : 25576 (java) R 25508 25508 7744 0 -1 4202560 29 0 0 0 95 0 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520582380840 140521085953760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25577] ppid=25508 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25577/stat : 25577 (java) R 25508 25508 7744 0 -1 4202560 71 0 0 0 87 0 0 0 20 0 28 0 3986923 14133010432 94477 33554432000 4194304 4196468 140734081059536 140520583433800 140521085872001 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
Current children cumulated CPU time (s) 18.25
Current children cumulated vsize (KiB) 13811280

[startup+6.30175 s]
/proc/loadavg: 15.48 15.52 15.05 18/302 25586
/proc/meminfo: memFree=29313376/32770624 swapFree=5880/249640
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
[pid=25509] ppid=25508 vsize=13801768 CPUtime=43.62 cores=1,3,5,7,9,11,13,15
/proc/25509/stat : 25509 (java) S 25508 25508 7744 0 -1 1077944320 31407 0 0 0 4308 54 0 0 20 0 28 0 3986756 14133010432 129774 33554432000 4194304 4196468 140734081059536 140734081042080 140521474658039 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
/proc/25509/statm: 3450442 129774 3289 1 0 3437675 0
[pid=25509/tid=25510] ppid=25508 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25510/stat : 25510 (java) S 25508 25508 7744 0 -1 1077944384 8387 0 0 0 133 4 0 0 20 0 28 0 3986756 14133010432 129774 33554432000 4194304 4196468 140734081059536 140521478898816 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25512] ppid=25508 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25512/stat : 25512 (java) S 25508 25508 7744 0 -1 1077944384 116 0 0 0 4 4 0 0 20 0 28 0 3986757 14133010432 129774 33554432000 4194304 4196468 140734081059536 140521406794256 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25513] ppid=25508 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25513/stat : 25513 (java) S 25508 25508 7744 0 -1 1077944384 105 0 0 0 5 4 0 0 20 0 28 0 3986757 14133010432 129774 33554432000 4194304 4196468 140734081059536 140521405741712 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25514] ppid=25508 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25514/stat : 25514 (java) S 25508 25508 7744 0 -1 1077944384 76 0 0 0 6 4 0 0 20 0 28 0 3986757 14133010432 129774 33554432000 4194304 4196468 140734081059536 140521404688656 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25515] ppid=25508 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25515/stat : 25515 (java) S 25508 25508 7744 0 -1 1077944384 641 0 0 0 3 5 0 0 20 0 28 0 3986757 14133010432 129774 33554432000 4194304 4196468 140734081059536 140521403636112 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0

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

/proc/25509/task/25677/stat : 25677 (java) R 25508 25508 7744 0 -1 4202560 229 0 0 0 1298 0 0 0 20 0 28 0 4007662 14473818112 579707 33554432000 4194304 4196468 140734081059536 140520570802104 140521088360591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25678] ppid=25508 vsize=14134588 CPUtime=13.16 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25678/stat : 25678 (java) R 25508 25508 7744 0 -1 4202560 850 0 0 0 1316 0 0 0 20 0 28 0 4007662 14473818112 579707 33554432000 4194304 4196468 140734081059536 140520583437152 140521087651465 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
Current children cumulated CPU time (s) 1756.13
Current children cumulated vsize (KiB) 14144100

[startup+282.302 s]
/proc/loadavg: 15.85 15.73 15.26 17/302 26461
/proc/meminfo: memFree=28979544/32770624 swapFree=5880/250348
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
[pid=25509] ppid=25508 vsize=14134588 CPUtime=2233.38 cores=1,3,5,7,9,11,13,15
/proc/25509/stat : 25509 (java) S 25508 25508 7744 0 -1 1077944320 122075 0 0 0 223074 264 0 0 20 0 28 0 3986756 14473818112 582807 33554432000 4194304 4196468 140734081059536 140734081042080 140521474658039 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
/proc/25509/statm: 3533647 582807 3295 1 0 3520880 0
[pid=25509/tid=25510] ppid=25508 vsize=14134588 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25510/stat : 25510 (java) S 25508 25508 7744 0 -1 1077944384 9155 0 0 0 135 4 0 0 20 0 28 0 3986756 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521478898816 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25512] ppid=25508 vsize=14134588 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25512/stat : 25512 (java) S 25508 25508 7744 0 -1 1077944384 892 0 0 0 18 22 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521406794256 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25513] ppid=25508 vsize=14134588 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25513/stat : 25513 (java) S 25508 25508 7744 0 -1 1077944384 893 0 0 0 20 22 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521405741712 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25514] ppid=25508 vsize=14134588 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25514/stat : 25514 (java) S 25508 25508 7744 0 -1 1077944384 2450 0 0 0 21 20 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521404688656 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25515] ppid=25508 vsize=14134588 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25515/stat : 25515 (java) S 25508 25508 7744 0 -1 1077944384 2910 0 0 0 19 20 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521403636112 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25516] ppid=25508 vsize=14134588 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25516/stat : 25516 (java) S 25508 25508 7744 0 -1 1077944384 1416 0 0 0 18 22 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521402584080 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25517] ppid=25508 vsize=14134588 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25517/stat : 25517 (java) S 25508 25508 7744 0 -1 1077944384 984 0 0 0 18 22 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521401531536 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25518] ppid=25508 vsize=14134588 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25518/stat : 25518 (java) S 25508 25508 7744 0 -1 1077944384 690 0 0 0 20 22 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521400478480 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25519] ppid=25508 vsize=14134588 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25519/stat : 25519 (java) S 25508 25508 7744 0 -1 1077944384 1554 0 0 0 21 21 0 0 20 0 28 0 3986757 14473818112 582807 33554432000 4194304 4196468 140734081059536 140521399425936 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25520] ppid=25508 vsize=14134588 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25520/stat : 25520 (java) S 25508 25508 7744 0 -1 1077944384 4908 0 0 0 11 19 0 0 20 0 28 0 3986759 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520668481776 140521474669186 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25521] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25521/stat : 25521 (java) S 25508 25508 7744 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3986760 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520667428064 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25522] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25522/stat : 25522 (java) S 25508 25508 7744 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 3986760 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520666374912 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25523] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25523/stat : 25523 (java) S 25508 25508 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3986764 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520665323472 140521474676635 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25524] ppid=25508 vsize=14134588 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25524/stat : 25524 (java) S 25508 25508 7744 0 -1 1077944384 13218 0 0 0 339 1 0 0 20 0 28 0 3986764 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520664271600 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25525] ppid=25508 vsize=14134588 CPUtime=3.83 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25525/stat : 25525 (java) S 25508 25508 7744 0 -1 1077944384 11788 0 0 0 382 1 0 0 20 0 28 0 3986764 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520663219056 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25526] ppid=25508 vsize=14134588 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25526/stat : 25526 (java) S 25508 25508 7744 0 -1 1077944384 10626 0 0 0 333 2 0 0 20 0 28 0 3986764 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520662166000 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25527] ppid=25508 vsize=14134588 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25527/stat : 25527 (java) S 25508 25508 7744 0 -1 1077944384 11702 0 0 0 127 3 0 0 20 0 28 0 3986764 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520661113456 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 13 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25528] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25528/stat : 25528 (java) S 25508 25508 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3986765 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520592501216 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25529] ppid=25508 vsize=14134588 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25529/stat : 25529 (java) S 25508 25508 7744 0 -1 1077944384 1342 0 0 0 7 9 0 0 20 0 28 0 3986765 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520591448752 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25671] ppid=25508 vsize=14134588 CPUtime=72.26 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25671/stat : 25671 (java) R 25508 25508 7744 0 -1 4202560 951 0 0 0 7226 0 0 0 20 0 28 0 4007661 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520575011496 140521087651345 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25672] ppid=25508 vsize=14134588 CPUtime=72.85 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25672/stat : 25672 (java) R 25508 25508 7744 0 -1 4202560 1081 0 0 0 7285 0 0 0 20 0 28 0 4007662 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520579223592 140521088359516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25673] ppid=25508 vsize=14134588 CPUtime=73.04 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25673/stat : 25673 (java) R 25508 25508 7744 0 -1 4202560 1642 0 0 0 7304 0 0 0 20 0 28 0 4007662 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520571855104 140521087205577 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25674] ppid=25508 vsize=14134588 CPUtime=73.01 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25674/stat : 25674 (java) R 25508 25508 7744 0 -1 4202560 978 0 0 0 7301 0 0 0 20 0 28 0 4007662 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520573960840 140521088143306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25675] ppid=25508 vsize=14134588 CPUtime=73 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25675/stat : 25675 (java) R 25508 25508 7744 0 -1 4202560 1980 0 0 0 7300 0 0 0 20 0 28 0 4007662 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520572907784 140521088002219 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25676] ppid=25508 vsize=14134588 CPUtime=72.93 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25676/stat : 25676 (java) R 25508 25508 7744 0 -1 4202560 1115 0 0 0 7292 1 0 0 20 0 28 0 4007662 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520582381832 140521086106790 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25677] ppid=25508 vsize=14134588 CPUtime=72.77 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25677/stat : 25677 (java) R 25508 25508 7744 0 -1 4202560 416 0 0 0 7277 0 0 0 20 0 28 0 4007662 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520570802104 140521086105692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25678] ppid=25508 vsize=14134588 CPUtime=71.95 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25678/stat : 25678 (java) R 25508 25508 7744 0 -1 4202560 1800 0 0 0 7195 0 0 0 20 0 28 0 4007662 14473818112 582807 33554432000 4194304 4196468 140734081059536 140520583437152 140521086292657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
Current children cumulated CPU time (s) 2233.38
Current children cumulated vsize (KiB) 14144100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.602 s]
/proc/loadavg: 15.96 15.76 15.28 17/302 26469
/proc/meminfo: memFree=27557924/32770624 swapFree=5880/250360
[pid=25508] ppid=25505 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25508/stat : 25508 (xcsp3-exec) S 25505 25508 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3986755 9740288 346 33554432000 4194304 5098028 140730380167616 140730380165720 140503236551292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 25686016 140730380174479 140730380174688 140730380174688 140730380177387 0
/proc/25508/statm: 2378 346 289 221 0 87 0
[pid=25509] ppid=25508 vsize=14134588 CPUtime=2400.55 cores=1,3,5,7,9,11,13,15
/proc/25509/stat : 25509 (java) S 25508 25508 7744 0 -1 1077944320 127173 0 0 0 239781 274 0 0 20 0 28 0 3986756 14473818112 585239 33554432000 4194304 4196468 140734081059536 140734081042080 140521474658039 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
/proc/25509/statm: 3533647 585239 3295 1 0 3520880 0
[pid=25509/tid=25510] ppid=25508 vsize=14134588 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25510/stat : 25510 (java) S 25508 25508 7744 0 -1 1077944384 9319 0 0 0 135 4 0 0 20 0 28 0 3986756 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521478898816 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25512] ppid=25508 vsize=14134588 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25512/stat : 25512 (java) S 25508 25508 7744 0 -1 1077944384 895 0 0 0 19 22 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521406794256 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25513] ppid=25508 vsize=14134588 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25513/stat : 25513 (java) S 25508 25508 7744 0 -1 1077944384 923 0 0 0 22 22 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521405741712 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25514] ppid=25508 vsize=14134588 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25514/stat : 25514 (java) S 25508 25508 7744 0 -1 1077944384 2468 0 0 0 23 21 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521404688656 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25515] ppid=25508 vsize=14134588 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25515/stat : 25515 (java) S 25508 25508 7744 0 -1 1077944384 2923 0 0 0 21 21 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521403636112 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25516] ppid=25508 vsize=14134588 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25516/stat : 25516 (java) S 25508 25508 7744 0 -1 1077944384 1448 0 0 0 19 22 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521402584080 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25517] ppid=25508 vsize=14134588 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25517/stat : 25517 (java) S 25508 25508 7744 0 -1 1077944384 1017 0 0 0 19 22 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521401531536 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25518] ppid=25508 vsize=14134588 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25518/stat : 25518 (java) S 25508 25508 7744 0 -1 1077944384 705 0 0 0 22 23 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521400478480 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25519] ppid=25508 vsize=14134588 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25519/stat : 25519 (java) S 25508 25508 7744 0 -1 1077944384 1564 0 0 0 23 22 0 0 20 0 28 0 3986757 14473818112 585239 33554432000 4194304 4196468 140734081059536 140521399425936 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25520] ppid=25508 vsize=14134588 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25520/stat : 25520 (java) S 25508 25508 7744 0 -1 1077944384 4931 0 0 0 13 21 0 0 20 0 28 0 3986759 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520668481776 140521474669186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25521] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25521/stat : 25521 (java) S 25508 25508 7744 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3986760 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520667428064 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25522] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25522/stat : 25522 (java) S 25508 25508 7744 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 3986760 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520666374912 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25523] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25523/stat : 25523 (java) S 25508 25508 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3986764 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520665323472 140521474676635 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25524] ppid=25508 vsize=14134588 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25524/stat : 25524 (java) S 25508 25508 7744 0 -1 1077944384 13227 0 0 0 339 1 0 0 20 0 28 0 3986764 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520664271600 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25525] ppid=25508 vsize=14134588 CPUtime=3.83 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25525/stat : 25525 (java) S 25508 25508 7744 0 -1 1077944384 11791 0 0 0 382 1 0 0 20 0 28 0 3986764 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520663219056 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 10 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25526] ppid=25508 vsize=14134588 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25526/stat : 25526 (java) S 25508 25508 7744 0 -1 1077944384 10629 0 0 0 333 2 0 0 20 0 28 0 3986764 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520662166000 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25527] ppid=25508 vsize=14134588 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25527/stat : 25527 (java) S 25508 25508 7744 0 -1 1077944384 12912 0 0 0 128 3 0 0 20 0 28 0 3986764 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520661113456 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25528] ppid=25508 vsize=14134588 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25528/stat : 25528 (java) S 25508 25508 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3986765 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520592501216 140521474668245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=25529] ppid=25508 vsize=14134588 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/25509/task/25529/stat : 25529 (java) S 25508 25508 7744 0 -1 1077944384 1433 0 0 0 8 9 0 0 20 0 28 0 3986765 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520591448752 140521474669186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26462] ppid=25508 vsize=14134588 CPUtime=8.66 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26462/stat : 26462 (java) R 25508 25508 7744 0 -1 4202560 333 0 0 0 866 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520572905880 140521086463724 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26463] ppid=25508 vsize=14134588 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26463/stat : 26463 (java) R 25508 25508 7744 0 -1 4202560 361 0 0 0 867 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520579223192 140521086106888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26464] ppid=25508 vsize=14134588 CPUtime=8.68 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26464/stat : 26464 (java) R 25508 25508 7744 0 -1 4202560 405 0 0 0 868 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520575013120 140521088143051 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26465] ppid=25508 vsize=14134588 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26465/stat : 26465 (java) R 25508 25508 7744 0 -1 4202560 297 0 0 0 867 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520570802760 140521088143216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26466] ppid=25508 vsize=14134588 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26466/stat : 26466 (java) R 25508 25508 7744 0 -1 4202560 567 0 0 0 867 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520583434968 140521088143248 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26467] ppid=25508 vsize=14134588 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26467/stat : 26467 (java) R 25508 25508 7744 0 -1 4202560 203 0 0 0 867 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520573961048 140734081886751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26468] ppid=25508 vsize=14134588 CPUtime=8.44 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26468/stat : 26468 (java) R 25508 25508 7744 0 -1 4202560 202 0 0 0 844 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520582381512 140521086710092 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
[pid=25509/tid=26469] ppid=25508 vsize=14134588 CPUtime=8.65 cores=1,3,5,7,9,11,13,15
/proc/25509/task/26469/stat : 26469 (java) R 25508 25508 7744 0 -1 4202560 491 0 0 0 865 0 0 0 20 0 28 0 4016248 14473818112 585239 33554432000 4194304 4196468 140734081059536 140520571855448 140521085695958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14700544 140734081062076 140734081062252 140734081062252 140734081064911 0
Current children cumulated CPU time (s) 2400.55
Current children cumulated vsize (KiB) 14144100

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 25509 sig 9
??? kill 25508 sig 9
??? kill -25508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 303.627
CPU time (s): 2400.55
CPU user time (s): 2397.81
CPU system time (s): 2.74
CPU usage (%): 790.624
Max. virtual memory (cumulated for all children) (KiB): 14144100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001598
system time used= 0.001598
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.82324 second user time and 4.78295 second system time

The end

Launcher Data

Begin job on node127 at 2017-07-22 03:33:11
IDJOB=4246324
IDBENCH=124419
IDSOLVER=2625
FILE ID=node127/4246324-1500687191
RUNJOBID= node127-1500682387-7776
PBS_JOBID= 20623323
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-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-4246324-1500687191/watcher-4246324-1500687191 -o /tmp/evaluation-result-4246324-1500687191/solver-4246324-1500687191 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 146266229 HOME/instance-4246324-1500687191.xml

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

MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9
RANDOM SEED=146266229

node127.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		: 2668.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.94
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		: 1733.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		: 2668.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.94
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		: 1600.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		: 2668.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.94
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		: 2133.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		: 2668.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.94
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		: 1600.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		: 2668.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.94
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		: 1733.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		: 2668.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.94
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		: 2267.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		: 2668.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.94
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		: 1600.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		: 2668.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.94
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		: 1600.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:        29708648 kB
MemAvailable:   29772024 kB
Buffers:           49952 kB
Cached:           323548 kB
SwapCached:            0 kB
Active:          2428776 kB
Inactive:         258272 kB
Active(anon):    2315960 kB
Inactive(anon):     8676 kB
Active(file):     112816 kB
Inactive(file):   249596 kB
Unevictable:        5880 kB
Mlocked:            5880 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7800 kB
Writeback:             0 kB
AnonPages:       2390316 kB
Mapped:            42588 kB
Shmem:              8872 kB
Slab:              67096 kB
SReclaimable:      33596 kB
SUnreclaim:        33500 kB
KernelStack:        5200 kB
PageTables:        10632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4467252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2258944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61968 MiB
End job on node127 at 2017-07-22 03:38:15

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml
MD5SUM	4e8baeb7bdba194b7c2724961347fdb9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	756
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	2070
Number of constraints	2024
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree	0
Maximum variable degree	87
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity	1
Maximum constraint arity	44
Distribution of constraint arities	[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints	0
Number of intensional constraints	44
Distribution of constraint types	[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4246324

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