2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	2750	2520.08	2505.51

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306652-1534043680.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306652-1534043680.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
4.33/1.51	c solve instance...
17.30/9.50	o 6173 
17.30/9.51	o 6072 
17.30/9.51	o 5971 
33.10/24.35	o 3982 
59.53/50.55	o 3460 
59.53/50.59	o 3360 
59.63/50.61	o 3260 
110.32/101.22	o 3157 
110.32/101.22	o 3057 
110.43/101.33	o 3056 
110.43/101.33	o 2956 
114.04/104.95	o 2955 
150.64/141.59	o 2850 
402.58/393.15	o 2750 
2520.05/2505.50	s SATISFIABLE
2520.05/2505.50	v <instantiation>
2520.05/2505.50	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] </list>
2520.05/2505.50	v 	<values>4 1 4 1 1 3 0 4 4 3 4 2 2 2 2 4 4 4 1 4 4 4 4 4 4 4 4 4 1 4 4 4 4 0 4 4 1 1 4 2 1 3 1 0 0 3 4 2 2 2 2 4 4 4 4 4 4 4 2 4 4 1 4 4 1 4 4 4 4 0 4 4 1 1 2 4 1 4 4 0 0 3 2 2 4 2 4 4 4 4 4 4 4 4 2 4 0 1 4 4 4 4 4 4 4 0 4 4 2 1 2 4 1 4 4 0 0 4 2 2 4 4 4 4 4 3 4 4 4 1 2 4 0 1 4 4 4 4 4 4 0 4 1 4 3 2 2 4 1 4 4 2 1 4 2 4 4 4 4 4 4 3 4 4 4 4 4 4 0 1 4 4 4 0 4 4 0 4 4 4 3 4 4 4 4 4 4 4 2 4 4 4 2 4 4 4 2 4 0 4 4 4 4 2 0 1 4 1 4 0 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 4 1 4 2 4 0 4 4 0 4 2 4 4 4 4 3 0 1 4 4 4 4 2 4 0 1 2 4 0 4 4 4 4 4 4 4 4 2 4 2 3 4 4 3 1 4 2 4 4 4 4 4 0 4 4 4 4 4 4 2 1 1 2 4 0 4 1 4 4 4 4 4 0 4 1 4 4 4 3 3 4 4 2 4 4 4 4 4 0 4 4 4 4 4 4 2 4 1 2 4 0 0 1 1 2 4 4 4 0 4 3 4 4 0 4 4 4 4 2 4 4 3 4 4 4 1 4 4 4 4 4 2 4 2 3 4 0 1 4 1 2 4 4 2 0 4 3 4 4 4 4 4 4 4 4 4 0 3 4 4 4 4 4 4 0 1 4 2 4 2 3 0 4 1 4 1 2 2 3 2 1 4 4 4 4 4 1 1 4 4 4 4 0 4 4 4 4 4 0 4 0 1 4 3 4 4 4 0 4 4 4 2 2 2 3 4 4 4 4 4 0 0 1 2 4 4 4 4 4 4 4 4 4 4 0 4 0 1 4 4 4 4 4 0 4 4 3 3 2 2 4 4 4 0 4 4 4 1 1 3 4 2 4 4 4 2 1 4 4 4 0 4 0 4 4 4 4 2 4 1 4 0 3 4 4 2 4 4 4 1 0 4 4 4 4 4 0 4 3 4 4 4 4 4 4 4 0 4 4 4 2 4 0 2 4 1 4 0 3 4 4 4 4 4 4 1 0 1 4 4 4 4 0 4 3 2 4 4 4 4 4 4 4 2 4 4 4 3 1 2 4 4 0 0 3 2 2 4 4 1 4 1 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 1 4 2 4 0 1 3 2 2 4 2 1 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 0 4 4 4 4 2 4 1 4 2 4 0 4 4 4 2 4 2 1 0 4 4 1 2 1 4 0 4 4 4 4 4 4 4 4 4 3 4 4 4 4 2 4 1 4 2 4 0 4 4 4 4 4 2 4 1 4 1 1 4 4 4 0 4 2 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 2 4 3 0 2 4 4 4 3 4 1 4 3 1 4 4 1 0 4 2 4 0 4 4 4 1 4 4 4 0 4 4 4 4 4 0 2 0 4 0 2 4 4 0 4 4 2 4 3 1 2 3 1 4 3 2 4 0 4 2 1 1 4 4 4 0 4 1 4 4 4 1 4 0 4 4 4 0 4 3 4 4 4 3 4 4 2 3 2 4 4 2 0 1 4 4 4 4 4 4 2 0 4 1 2 2 0 1 4 4 1 4 4 0 0 4 4 4 4 3 4 4 2 4 3 4 4 2 0 1 4 2 3 4 4 4 2 4 4 4 4 2 0 4 1 4 1 0 0 1 0 4 2 1 4 3 4 4 2 4 3 4 0 4 4 1 4 4 4 4 4 4 2 4 4 4 2 4 2 4 1 0 3 0 1 4 0 4 2 2 4 3 0 4 2 4 4 4 0 4 4 4 1 4 1 4 4 3 4 4 4 4 2 4 2 2 1 0 3 0 4 4 0 2 4 3 1 4 1 1 4 4 4 4 1 4 4 4 1 4 3 3 4 4 4 4 4 4 4 4 2 2 1 0 4 0 4 4 0 2 4 3 2 4 1 1 4 3 1 4 1 2 4 4 1 2 4 4 3 0 4 4 4 1 4 0 2 7 5 14 4 9 4 0 11 2 5 10 0 11 0 5 9 2 12 8 7 0 0 13 8 2 0 5 13 11 4 0 0 13 4 3 3 5 13 5 5 4 1 13 5 0 8 3 12 1 0 9 1 17 0 0 9 3 16 0 4 7 2 15 4 4 5 0 15 1 4 3 4 16 3 4 0 4 17 0 7 3 0 18 1 0 6 3 18 4 3 0 3 18 0 6 1 3 18 5 1 1 3 18 5 4 0 1 18 0 0 10 0 18 2 0 6 2 18 6 3 1 0 18 2 8 0 0 18 0 0 4 2 22 0 4 0 2 22 0 4 0 2 22 5 0 0 1 22 2 2 0 2 22 4 0 3 0 21 6 0 1 0 21 7 0 0 0 21 0 7 0 0 21 0 0 7 0 21 2 5 4 2 23 3 6 6 2 19 4 4 5 1 22 4 5 5 1 21 3 3 4 2 24 4 2 4 1 25 3 2 4 1 26 3 2 4 2 25 3 4 3 2 24 4 4 4 2 22 4 3 4 3 22 4 6 5 2 19 5 2 4 2 23 4 3 4 3 22 4 2 3 2 25 4 3 3 2 24 3 3 3 2 25 3 3 5 2 23 3 4 5 1 23 2 4 4 0 26 5 4 3 3 21 6 5 6 3 16 4 3 5 3 21 4 3 5 3 21 5 5 5 2 19 5 4 5 3 19 3 6 3 4 20 4 7 6 3 16 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 3 3 0 1 0 0 0 0 0 2 2 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 3 0 3 3 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 0 0 0 0 2 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 200 0 0 0 0 200 0 100 0 0 0 0 100 0 0 0 0 100 0 0 1 2 100 0 0 0 0 0 0 0 0 0 200 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 1 0 100 100 0 0 0 0 0 0 0 0 0 200 0 0 0 0 200 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 200 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 </values>
2520.05/2505.50	v </instantiation>
2520.05/2505.50	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9841 MiB free)
  memory of node 1: 16384 MiB (6375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306652-1534043680/watcher-4306652-1534043680 -o /tmp/evaluation-result-4306652-1534043680/solver-4306652-1534043680 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534038673-26648 --watchdog 2580 HOME/xcsp3-exec -seed 728480491 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306652-1534043680.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=27148, runsolver pid=27145

[startup+0.100141 s]*
/proc/loadavg: 1.89 1.79 1.75 3/217 27164
/proc/meminfo: memFree=16591424/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0
[pid=27150] ppid=27148 vsize=14082940 memory=27472 CPUtime=0.12 cores=1,3,5,7
/proc/27150/stat : 27150 (java) S 27148 27148 25340 0 -1 1077944320 5728 0 0 0 10 2 0 0 20 0 15 0 221931137 14420930560 6868 33554432000 4194304 4196468 140724631265232 140724631247776 139951877447415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
/proc/27150/statm: 3520735 6868 3028 1 0 3483012 0
[pid=27150/tid=27151] ppid=27148 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27150/task/27151/stat : 27151 (java) R 27148 27148 25340 0 -1 4202560 3684 0 0 0 8 1 0 0 20 0 15 0 221931138 14420930560 6868 33554432000 4194304 4196468 140724631265232 139951881680688 139951877459350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27152] ppid=27148 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27152/stat : 27152 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14420930560 6868 33554432000 4194304 4196468 140724631265232 139951473621392 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27153] ppid=27148 vsize=14082940 memory=140576101930624 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27153/stat : 27153 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14420930560 6868 33554432000 4194304 4196468 140724631265232 139951472568592 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27154] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27154/stat : 27154 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14420930560 6868 33554432000 4194304 4196468 140724631265232 139951471516304 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27155] ppid=27148 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27155/stat : 27155 (java) S 27148 27148 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221931139 14420930560 6868 33554432000 4194304 4196468 140724631265232 139951470463504 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27156] ppid=27148 vsize=14082940 memory=140576101930624 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27156/stat : 27156 (java) S 27148 27148 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221931140 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950789601904 139951877458562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27157] ppid=27148 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27157/stat : 27157 (java) S 27148 27148 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221931140 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950788547872 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27158] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221931140 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950787495536 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) S 27148 27148 25340 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950785390704 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950784337904 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14082940 memory=140576101930624 CPUtime=0.01 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) S 27148 27148 25340 0 -1 1077944384 300 0 0 0 1 0 0 0 20 0 15 0 221931143 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14082940 memory=140576101930624 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 6868 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 28924 KiB

[startup+0.210764 s]*
/proc/loadavg: 1.89 1.79 1.75 5/217 27164
/proc/meminfo: memFree=16579136/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0
[pid=27150] ppid=27148 vsize=14082940 memory=40268 CPUtime=0.34 cores=1,3,5,7
/proc/27150/stat : 27150 (java) S 27148 27148 25340 0 -1 1077944320 8552 0 0 0 31 3 0 0 20 0 15 0 221931137 14420930560 10067 33554432000 4194304 4196468 140724631265232 140724631247776 139951877447415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
/proc/27150/statm: 3520735 10067 3231 1 0 3483012 0
[pid=27150/tid=27151] ppid=27148 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27150/task/27151/stat : 27151 (java) R 27148 27148 25340 0 -1 4202560 5492 0 0 0 18 2 0 0 20 0 15 0 221931138 14420930560 10067 33554432000 4194304 4196468 140724631265232 139951881684176 139951861527932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27152] ppid=27148 vsize=14082940 memory=8987 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27152/stat : 27152 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14420930560 10067 33554432000 4194304 4196468 140724631265232 139951473621392 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27153] ppid=27148 vsize=14082940 memory=288370952253642368 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27153/stat : 27153 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14420930560 10067 33554432000 4194304 4196468 140724631265232 139951472568592 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27154] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27154/stat : 27154 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14420930560 10067 33554432000 4194304 4196468 140724631265232 139951471516304 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27155] ppid=27148 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27155/stat : 27155 (java) S 27148 27148 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221931139 14420930560 10067 33554432000 4194304 4196468 140724631265232 139951470463504 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27156] ppid=27148 vsize=14082940 memory=140576101930624 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27156/stat : 27156 (java) S 27148 27148 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221931140 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950789601904 139951877458562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27157] ppid=27148 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27157/stat : 27157 (java) S 27148 27148 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221931140 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950788547872 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27158] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221931140 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950787495536 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) S 27148 27148 25340 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 221931143 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950785390704 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14082940 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) S 27148 27148 25340 0 -1 1077944384 400 0 0 0 3 0 0 0 20 0 15 0 221931143 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950784337904 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14082940 memory=140576101930624 CPUtime=0.07 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) S 27148 27148 25340 0 -1 1077944384 881 0 0 0 7 0 0 0 20 0 15 0 221931143 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931143 14420930560 10067 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41720 KiB

[startup+0.310813 s]*
/proc/loadavg: 1.89 1.79 1.75 5/217 27164
/proc/meminfo: memFree=16572684/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0
[pid=27150] ppid=27148 vsize=14087196 memory=47376 CPUtime=0.53 cores=1,3,5,7
/proc/27150/stat : 27150 (java) S 27148 27148 25340 0 -1 1077944320 9475 0 0 0 49 4 0 0 20 0 15 0 221931137 14425288704 11844 33554432000 4194304 4196468 140724631265232 140724631247776 139951877447415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
/proc/27150/statm: 3521799 11844 3274 1 0 3483012 0
[pid=27150/tid=27151] ppid=27148 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27150/task/27151/stat : 27151 (java) R 27148 27148 25340 0 -1 4202560 6140 0 0 0 27 2 0 0 20 0 15 0 221931138 14425288704 11844 33554432000 4194304 4196468 140724631265232 139951881678528 139951877469341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27152] ppid=27148 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27152/stat : 27152 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14425288704 11844 33554432000 4194304 4196468 140724631265232 139951473621392 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27153] ppid=27148 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27153/stat : 27153 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14425288704 11844 33554432000 4194304 4196468 140724631265232 139951472568592 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27154] ppid=27148 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27154/stat : 27154 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14425288704 11844 33554432000 4194304 4196468 140724631265232 139951471516304 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27155] ppid=27148 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27155/stat : 27155 (java) S 27148 27148 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221931139 14425288704 11844 33554432000 4194304 4196468 140724631265232 139951470463504 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27156] ppid=27148 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27156/stat : 27156 (java) S 27148 27148 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221931140 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950789601904 139951877458562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27157] ppid=27148 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27157/stat : 27157 (java) S 27148 27148 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221931140 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950788547872 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27158] ppid=27148 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221931140 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950787495536 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) R 27148 27148 25340 0 -1 4202560 614 0 0 0 4 0 0 0 20 0 15 0 221931143 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950785371720 139951858969643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) S 27148 27148 25340 0 -1 1077944384 409 0 0 0 4 0 0 0 20 0 15 0 221931143 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950784337904 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) S 27148 27148 25340 0 -1 1077944384 1006 0 0 0 12 0 0 0 20 0 15 0 221931143 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931143 14425288704 11844 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48828 KiB

[startup+0.700822 s]
/proc/loadavg: 1.89 1.79 1.75 6/217 27164
/proc/meminfo: memFree=16550572/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0
[pid=27150] ppid=27148 vsize=14089320 memory=93700 CPUtime=1.71 cores=1,3,5,7
/proc/27150/stat : 27150 (java) S 27148 27148 25340 0 -1 1077944320 12898 0 0 0 166 5 0 0 20 0 15 0 221931137 14427463680 23425 33554432000 4194304 4196468 140724631265232 140724631247776 139951877447415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
/proc/27150/statm: 3522330 23425 3348 1 0 3483524 0
[pid=27150/tid=27151] ppid=27148 vsize=14089320 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/27150/task/27151/stat : 27151 (java) R 27148 27148 25340 0 -1 4202560 6774 0 0 0 64 3 0 0 20 0 15 0 221931138 14427463680 23425 33554432000 4194304 4196468 140724631265232 139951881683952 139951877459350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27152] ppid=27148 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27152/stat : 27152 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14427463680 23425 33554432000 4194304 4196468 140724631265232 139951473621392 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27153] ppid=27148 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27153/stat : 27153 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14427463680 23425 33554432000 4194304 4196468 140724631265232 139951472568592 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27154] ppid=27148 vsize=14089320 memory=60328 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27154/stat : 27154 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931138 14427463680 23425 33554432000 4194304 4196468 140724631265232 139951471516304 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27155] ppid=27148 vsize=14089320 memory=2056 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27155/stat : 27155 (java) S 27148 27148 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221931139 14427463680 23425 33554432000 4194304 4196468 140724631265232 139951470463504 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27156] ppid=27148 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27156/stat : 27156 (java) S 27148 27148 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221931140 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950789601904 139951877458562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27157] ppid=27148 vsize=14089320 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27157/stat : 27157 (java) S 27148 27148 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221931140 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950788547872 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27158] ppid=27148 vsize=14089320 memory=8628 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221931140 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950787495536 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14089320 memory=1080 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14089320 memory=752 CPUtime=0.33 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) R 27148 27148 25340 0 -1 4202560 1546 0 0 0 33 0 0 0 20 0 15 0 221931143 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950785381536 139951860858216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14089320 memory=820 CPUtime=0.32 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) R 27148 27148 25340 0 -1 4202560 1183 0 0 0 32 0 0 0 20 0 15 0 221931143 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950784324096 139951858990704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14089320 memory=1592 CPUtime=0.36 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) R 27148 27148 25340 0 -1 1077944384 2087 0 0 0 36 0 0 0 20 0 15 0 221931143 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14089320 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14089320 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221931143 14427463680 23425 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 95152 KiB

[startup+1.50774 s]
/proc/loadavg: 1.89 1.79 1.75 6/217 27164
/proc/meminfo: memFree=16487340/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0

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

/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 221931140 14429560832 197331 33554432000 4194304 4196468 140724631265232 139950787495552 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 197331 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14091368 memory=620732 CPUtime=4.26 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) S 27148 27148 25340 0 -1 1077944384 19240 0 0 0 423 3 0 0 20 0 15 0 221931143 14429560832 197331 33554432000 4194304 4196468 140724631265232 139950785390704 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14091368 memory=1452 CPUtime=3.77 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) S 27148 27148 25340 0 -1 1077944384 14915 0 0 0 375 2 0 0 20 0 15 0 221931143 14429560832 197331 33554432000 4194304 4196468 140724631265232 139950784337904 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14091368 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) S 27148 27148 25340 0 -1 1077944384 12314 0 0 0 103 1 0 0 20 0 15 0 221931143 14429560832 197331 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14091368 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 197331 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14091368 memory=5640 CPUtime=0.66 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 929 0 0 0 30 36 0 0 20 0 15 0 221931143 14429560832 197331 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 2456.57 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 790776 KiB

[startup+2502.3 s]
/proc/loadavg: 1.66 1.60 1.67 3/216 27398
/proc/meminfo: memFree=16684884/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0
[pid=27150] ppid=27148 vsize=14091368 memory=511320 CPUtime=2516.84 cores=1,3,5,7
/proc/27150/stat : 27150 (java) S 27148 27148 25340 0 -1 1077944320 97955 0 0 0 251593 91 0 0 20 0 15 0 221931137 14429560832 127830 33554432000 4194304 4196468 140724631265232 140724631247776 139951877447415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
/proc/27150/statm: 3522842 127830 3429 1 0 3484036 0
[pid=27150/tid=27151] ppid=27148 vsize=14091368 memory=511320 CPUtime=2499.77 cores=1,3,5,7
/proc/27150/task/27151/stat : 27151 (java) R 27148 27148 25340 0 -1 4202560 28369 0 0 0 249953 24 0 0 20 0 15 0 221931138 14429560832 127830 33554432000 4194304 4196468 140724631265232 139951881687064 139951523836308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27152] ppid=27148 vsize=14091368 memory=378636 CPUtime=1.68 cores=1,3,5,7
/proc/27150/task/27152/stat : 27152 (java) S 27148 27148 25340 0 -1 1077944384 3632 0 0 0 164 4 0 0 20 0 15 0 221931138 14429560832 127830 33554432000 4194304 4196468 140724631265232 139951473621392 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27153] ppid=27148 vsize=14091368 memory=1168 CPUtime=1.68 cores=1,3,5,7
/proc/27150/task/27153/stat : 27153 (java) S 27148 27148 25340 0 -1 1077944384 3406 0 0 0 163 5 0 0 20 0 15 0 221931138 14429560832 127830 33554432000 4194304 4196468 140724631265232 139951472568592 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27154] ppid=27148 vsize=14091368 memory=3884 CPUtime=1.7 cores=1,3,5,7
/proc/27150/task/27154/stat : 27154 (java) S 27148 27148 25340 0 -1 1077944384 6684 0 0 0 165 5 0 0 20 0 15 0 221931138 14429560832 127830 33554432000 4194304 4196468 140724631265232 139951471516304 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27155] ppid=27148 vsize=14091368 memory=1452 CPUtime=1.69 cores=1,3,5,7
/proc/27150/task/27155/stat : 27155 (java) S 27148 27148 25340 0 -1 1077944384 1715 0 0 0 164 5 0 0 20 0 15 0 221931139 14429560832 127830 33554432000 4194304 4196468 140724631265232 139951470463504 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27156] ppid=27148 vsize=14091368 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/27150/task/27156/stat : 27156 (java) S 27148 27148 25340 0 -1 1077944384 5368 0 0 0 39 7 0 0 20 0 15 0 221931140 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950789601904 139951877458562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27157] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27157/stat : 27157 (java) S 27148 27148 25340 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 221931140 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950788547936 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27158] ppid=27148 vsize=14091368 memory=383880 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 221931140 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950787495552 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14091368 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14091368 memory=60372 CPUtime=4.26 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) S 27148 27148 25340 0 -1 1077944384 19240 0 0 0 423 3 0 0 20 0 15 0 221931143 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950785390704 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14091368 memory=1452 CPUtime=3.77 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) S 27148 27148 25340 0 -1 1077944384 14915 0 0 0 375 2 0 0 20 0 15 0 221931143 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950784337904 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14091368 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) S 27148 27148 25340 0 -1 1077944384 12314 0 0 0 103 1 0 0 20 0 15 0 221931143 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14091368 memory=404404 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14091368 memory=1452 CPUtime=0.68 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 933 0 0 0 31 37 0 0 20 0 15 0 221931143 14429560832 127830 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 2516.84 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 512772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.5 s]
/proc/loadavg: 1.61 1.59 1.67 3/216 27398
/proc/meminfo: memFree=16641580/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0
[pid=27150] ppid=27148 vsize=14091368 memory=554584 CPUtime=2520.05 cores=1,3,5,7
/proc/27150/stat : 27150 (java) S 27148 27148 25340 0 -1 1077944320 98021 0 0 0 251913 92 0 0 20 0 15 0 221931137 14429560832 138646 33554432000 4194304 4196468 140724631265232 140724631247776 139951877447415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
/proc/27150/statm: 3522842 138646 3429 1 0 3484036 0
[pid=27150/tid=27151] ppid=27148 vsize=14091368 memory=534020 CPUtime=2502.97 cores=1,3,5,7
/proc/27150/task/27151/stat : 27151 (java) R 27148 27148 25340 0 -1 4202560 28433 0 0 0 250272 25 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951881687064 139951523339398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27152] ppid=27148 vsize=14091368 memory=534020 CPUtime=1.68 cores=1,3,5,7
/proc/27150/task/27152/stat : 27152 (java) S 27148 27148 25340 0 -1 1077944384 3632 0 0 0 164 4 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951473621392 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27153] ppid=27148 vsize=14091368 memory=554584 CPUtime=1.69 cores=1,3,5,7
/proc/27150/task/27153/stat : 27153 (java) S 27148 27148 25340 0 -1 1077944384 3406 0 0 0 164 5 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951472568592 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27154] ppid=27148 vsize=14091368 memory=378636 CPUtime=1.7 cores=1,3,5,7
/proc/27150/task/27154/stat : 27154 (java) S 27148 27148 25340 0 -1 1077944384 6684 0 0 0 165 5 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951471516304 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27155] ppid=27148 vsize=14091368 memory=1452 CPUtime=1.7 cores=1,3,5,7
/proc/27150/task/27155/stat : 27155 (java) S 27148 27148 25340 0 -1 1077944384 1717 0 0 0 165 5 0 0 20 0 15 0 221931139 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951470463504 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27156] ppid=27148 vsize=14091368 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/27150/task/27156/stat : 27156 (java) S 27148 27148 25340 0 -1 1077944384 5368 0 0 0 39 7 0 0 20 0 15 0 221931140 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950789601904 139951877458562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27157] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27157/stat : 27157 (java) S 27148 27148 25340 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 221931140 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950788547936 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27158] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 221931140 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950787495552 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14091368 memory=383880 CPUtime=4.26 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) S 27148 27148 25340 0 -1 1077944384 19240 0 0 0 423 3 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950785390704 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14091368 memory=1168 CPUtime=3.77 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) S 27148 27148 25340 0 -1 1077944384 14915 0 0 0 375 2 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950784337904 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14091368 memory=3884 CPUtime=1.04 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) S 27148 27148 25340 0 -1 1077944384 12314 0 0 0 103 1 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14091368 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14091368 memory=60372 CPUtime=0.68 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 933 0 0 0 31 37 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 556036 KiB

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

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

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

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

[startup+2505.5 s]
/proc/loadavg: 1.61 1.59 1.67 3/216 27398
/proc/meminfo: memFree=16641580/32770624 swapFree=67108796/67108860
[pid=27148] ppid=27145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27148/stat : 27148 (xcsp3-exec) S 27145 27148 25340 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 221931137 115843072 363 33554432000 4194304 5098028 140730888261184 140730888259288 139935845929596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20443136 140730888262715 140730888262916 140730888262916 140730888265674 0
/proc/27148/statm: 28282 363 306 221 0 87 0
[pid=27150] ppid=27148 vsize=14091368 memory=554584 CPUtime=2520.05 cores=1,3,5,7
/proc/27150/stat : 27150 (java) S 27148 27148 25340 0 -1 1077944320 98021 0 0 0 251913 92 0 0 20 0 15 0 221931137 14429560832 138646 33554432000 4194304 4196468 140724631265232 140724631247776 139951877447415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
/proc/27150/statm: 3522842 138646 3429 1 0 3484036 0
[pid=27150/tid=27151] ppid=27148 vsize=14091368 memory=534020 CPUtime=2502.97 cores=1,3,5,7
/proc/27150/task/27151/stat : 27151 (java) R 27148 27148 25340 0 -1 4202560 28433 0 0 0 250272 25 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951881687064 139951523339398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27152] ppid=27148 vsize=14091368 memory=534020 CPUtime=1.68 cores=1,3,5,7
/proc/27150/task/27152/stat : 27152 (java) S 27148 27148 25340 0 -1 1077944384 3632 0 0 0 164 4 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951473621392 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27153] ppid=27148 vsize=14091368 memory=554584 CPUtime=1.69 cores=1,3,5,7
/proc/27150/task/27153/stat : 27153 (java) S 27148 27148 25340 0 -1 1077944384 3406 0 0 0 164 5 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951472568592 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27154] ppid=27148 vsize=14091368 memory=378636 CPUtime=1.7 cores=1,3,5,7
/proc/27150/task/27154/stat : 27154 (java) S 27148 27148 25340 0 -1 1077944384 6684 0 0 0 165 5 0 0 20 0 15 0 221931138 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951471516304 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27155] ppid=27148 vsize=14091368 memory=1452 CPUtime=1.7 cores=1,3,5,7
/proc/27150/task/27155/stat : 27155 (java) S 27148 27148 25340 0 -1 1077944384 1717 0 0 0 165 5 0 0 20 0 15 0 221931139 14429560832 138646 33554432000 4194304 4196468 140724631265232 139951470463504 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27156] ppid=27148 vsize=14091368 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/27150/task/27156/stat : 27156 (java) S 27148 27148 25340 0 -1 1077944384 5368 0 0 0 39 7 0 0 20 0 15 0 221931140 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950789601904 139951877458562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27157] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27157/stat : 27157 (java) S 27148 27148 25340 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 221931140 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950788547936 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27158] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27158/stat : 27158 (java) S 27148 27148 25340 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 221931140 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950787495552 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27159] ppid=27148 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27159/stat : 27159 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950786443856 139951877466011 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27160] ppid=27148 vsize=14091368 memory=383880 CPUtime=4.26 cores=1,3,5,7
/proc/27150/task/27160/stat : 27160 (java) S 27148 27148 25340 0 -1 1077944384 19240 0 0 0 423 3 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950785390704 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27161] ppid=27148 vsize=14091368 memory=1168 CPUtime=3.77 cores=1,3,5,7
/proc/27150/task/27161/stat : 27161 (java) S 27148 27148 25340 0 -1 1077944384 14915 0 0 0 375 2 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950784337904 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27162] ppid=27148 vsize=14091368 memory=3884 CPUtime=1.04 cores=1,3,5,7
/proc/27150/task/27162/stat : 27162 (java) S 27148 27148 25340 0 -1 1077944384 12314 0 0 0 103 1 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950783285616 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27163] ppid=27148 vsize=14091368 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/27150/task/27163/stat : 27163 (java) S 27148 27148 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950782233056 139951877457621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
[pid=27150/tid=27164] ppid=27148 vsize=14091368 memory=60372 CPUtime=0.68 cores=1,3,5,7
/proc/27150/task/27164/stat : 27164 (java) S 27148 27148 25340 0 -1 1077944384 933 0 0 0 31 37 0 0 20 0 15 0 221931143 14429560832 138646 33554432000 4194304 4196468 140724631265232 139950781180848 139951877458562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 7401472 140724631266438 140724631266609 140724631266609 140724631269327 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 556036 KiB

Child status: 143
Real time (s): 2505.51
CPU time (s): 2520.08
CPU user time (s): 2519.15
CPU system time (s): 0.927187
CPU usage (%): 100.581
Max. virtual memory (cumulated for all children) (KiB): 14207568
Max. memory (cumulated for all children) (KiB): 1069484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.15
system time used= 0.927187
maximum resident set size= 1076408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98733
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66931
involuntary context switches= 1583


# summary of solver processes directly reported to runsolver:
#   pid: 27148,27150
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.15
#   total CPU system time (s): 0.927187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5821 second user time and 23.05 second system time

The end

Name	NurseRostering/ NurseRostering-09_c18.xml
MD5SUM	01a28a521b9bba3b9351b91d9c8d3e2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	2750
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1844
Number of constraints	4787
Number of domains	17
Minimum domain size	1
Maximum domain size	37
Distribution of domain sizes	[{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}]
Minimum constraint arity	2
Maximum constraint arity	72
Distribution of constraint arities	[{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}]
Number of extensional constraints	1112
Number of intensional constraints	552
Distribution of constraint types	[{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4306652

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