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)	9900	2520.05	2506.52

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306651-1534045146.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306651-1534045146.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
3.92/1.42	c solve instance...
137.28/127.34	o 10342 
138.88/128.65	o 10131 
138.88/128.66	o 10030 
1588.71/1576.42	o 9900 
2520.01/2506.50	s SATISFIABLE
2520.01/2506.50	v <instantiation>
2520.01/2506.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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] 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] 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] 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.01/2506.50	v 	<values>4 0 1 2 0 1 4 1 3 1 0 0 4 4 2 0 0 1 1 4 3 0 4 4 2 4 2 4 4 4 4 0 1 2 0 1 1 1 3 1 0 0 4 4 2 0 0 1 2 1 3 0 4 1 2 2 4 3 4 4 4 1 1 2 4 4 1 1 3 1 0 0 1 0 2 0 0 1 2 2 3 0 0 1 4 4 4 4 4 4 1 4 1 2 4 4 1 1 3 4 1 0 1 0 2 0 4 1 2 2 3 0 0 4 4 4 3 4 4 1 3 4 1 2 0 0 1 1 4 4 4 3 2 0 2 0 4 4 4 2 4 0 1 4 2 4 4 3 4 1 4 0 4 4 1 0 1 4 4 2 4 4 4 0 4 4 4 4 4 2 4 4 1 1 4 4 4 4 4 2 4 0 4 4 1 0 4 4 4 2 4 4 4 1 4 4 0 4 4 2 4 4 1 3 4 4 4 4 4 4 1 0 1 2 1 3 4 0 0 2 0 0 2 4 0 4 0 4 2 4 1 4 1 4 4 4 4 4 4 4 1 3 1 2 4 4 1 1 0 2 0 0 2 4 0 4 0 1 2 4 1 4 4 4 4 4 4 4 4 4 1 4 4 2 4 4 1 1 0 2 0 4 2 0 0 1 0 1 2 4 4 4 4 4 1 4 4 4 1 4 1 4 4 2 0 0 1 1 0 4 0 4 2 0 0 1 0 1 2 4 4 4 4 4 4 2 2 4 4 4 1 0 1 4 0 1 3 4 4 4 3 3 4 1 0 1 1 1 4 4 4 0 0 4 4 2 2 4 4 4 4 0 1 4 4 4 4 4 4 1 4 3 4 4 4 4 4 4 4 0 0 0 0 1 1 2 2 4 1 4 4 0 1 4 4 4 4 0 4 1 4 3 1 4 4 4 4 4 4 1 0 0 0 3 4 4 4 4 4 4 1 0 1 4 4 1 4 0 4 1 4 4 2 4 4 4 4 4 2 1 0 0 0 4 4 4 4 4 4 2 3 0 3 2 0 3 4 0 1 1 4 4 2 2 4 1 1 4 2 1 0 1 0 4 4 2 4 4 4 4 3 4 4 2 0 3 1 4 1 1 4 4 2 2 0 1 1 1 2 1 0 1 0 1 2 3 4 4 4 4 3 4 4 2 0 3 1 4 1 4 4 1 2 2 0 1 1 1 2 1 0 4 4 1 4 4 1 4 4 4 4 4 1 2 0 4 1 0 1 4 0 1 4 2 0 1 1 1 2 4 4 4 4 4 4 4 1 0 4 4 4 4 1 2 4 4 1 0 1 4 1 1 4 3 0 1 1 1 2 4 4 4 4 4 2 4 1 2 4 4 1 4 1 4 4 0 3 0 4 4 3 1 2 4 0 4 1 1 4 4 4 4 4 4 2 4 2 2 4 4 1 0 1 4 4 0 4 0 4 4 3 1 3 4 4 4 4 1 4 0 4 4 1 4 4 4 4 2 4 4 1 0 1 4 4 0 4 0 0 1 3 4 3 2 4 0 4 4 4 1 4 0 1 4 4 2 4 4 1 4 1 0 4 1 0 0 1 4 1 1 4 4 3 2 4 0 4 4 4 1 0 1 1 4 2 2 4 4 1 4 4 0 4 1 0 0 3 4 4 1 4 0 3 2 4 4 1 4 4 1 0 2 1 4 4 2 4 0 1 2 4 1 4 1 0 4 3 4 4 1 0 1 4 2 0 4 1 1 1 1 0 2 1 4 4 3 2 0 1 2 1 4 4 4 0 4 4 4 0 4 1 4 4 4 0 0 4 1 1 4 0 2 4 1 2 4 4 0 3 2 1 4 4 4 1 4 4 4 0 4 1 4 4 4 4 0 4 1 2 4 0 2 4 1 4 4 4 0 4 4 0 13 0 4 11 14 2 0 1 11 0 16 0 1 11 0 3 14 0 11 13 4 0 0 11 9 4 0 4 11 0 13 0 4 11 9 8 0 0 11 7 6 0 4 11 0 12 5 0 11 9 4 0 4 11 7 6 0 4 11 0 3 10 4 11 6 2 8 1 11 12 0 5 0 11 9 8 0 0 11 8 9 0 0 11 0 17 0 0 11 0 3 14 0 11 2 10 5 0 11 11 2 0 4 11 10 3 4 0 11 8 9 0 0 11 0 8 0 2 18 0 2 8 0 18 0 0 8 2 18 0 3 6 1 18 5 0 3 2 18 0 6 0 1 21 0 2 5 0 21 7 6 4 2 11 7 8 5 3 7 7 8 4 2 9 5 8 4 3 10 5 5 5 3 12 3 4 3 0 20 3 3 2 1 21 7 5 4 1 13 5 6 4 1 14 5 7 4 0 14 7 5 5 0 13 5 7 2 3 13 5 5 2 1 17 5 4 0 2 19 5 5 3 0 17 5 6 5 3 11 4 9 5 3 9 3 9 4 2 12 5 8 3 0 14 2 9 4 1 14 3 5 4 2 16 4 5 1 2 18 6 6 2 2 14 5 9 3 1 12 6 6 4 2 12 5 10 4 2 9 6 5 3 1 15 4 5 2 0 19 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 2 2 3 3 0 0 0 0 0 3 3 0 0 0 0 0 0 2 0 0 0 0 2 0 1 1 2 0 0 0 0 0 0 0 0 0 0 2 2 2 2 3 3 0 3 0 0 0 2 2 0 0 1 1 1 1 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 1 3 3 3 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 3 0 0 0 0 0 1 2 0 1 0 0 0 3 0 0 0 0 3 3 3 3 3 2 2 0 0 0 0 0 0 3 3 3 1 1 1 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 300 0 0 1 3 0 0 0 2 5 0 100 0 0 2 300 0 0 0 2 100 0 0 200 0 200 500 0 200 0 300 200 0 2 1 200 300 0 1 1 100 100 0 0 0 200 300 0 1 2 0 200 0 0 2 200 0 0 0 0 300 200 0 0 0 500 0 0 0 0 200 400 0 1 1 0 0 0 1 4 0 100 0 0 3 100 100 0 100 2 0 300 0 200 2 100 200 0 200 1 300 100 0 100 0 300 100 0 1 1 200 100 0 2 4 200 200 0 3 3 200 100 0 2 5 0 200 0 1 1 100 300 0 1 3 0 200 0 </values>
2520.01/2506.50	v </instantiation>
2520.01/2506.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 (3087 MiB free)
  memory of node 1: 16384 MiB (3339 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306651-1534045146/watcher-4306651-1534045146 -o /tmp/evaluation-result-4306651-1534045146/solver-4306651-1534045146 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 36898164 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306651-1534045146.xml 

running on 4 cores: 0,2,4,6

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=26712, runsolver pid=26709

[startup+0.100119 s]*
/proc/loadavg: 1.80 1.78 1.81 4/217 26728
/proc/meminfo: memFree=6529540/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0
[pid=26714] ppid=26712 vsize=14082940 memory=30172 CPUtime=0.12 cores=0,2,4,6
/proc/26714/stat : 26714 (java) S 26712 26712 24759 0 -1 1077944320 5458 0 0 0 11 1 0 0 20 0 15 0 222077837 14420930560 7543 33554432000 4194304 4196468 140729423313872 140729423296416 140411489623799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
/proc/26714/statm: 3520735 7543 2997 1 0 3483012 0
[pid=26714/tid=26715] ppid=26712 vsize=14082940 memory=8514701219880730790 CPUtime=0.08 cores=0,2,4,6
/proc/26714/task/26715/stat : 26715 (java) R 26712 26712 24759 0 -1 4202560 3467 0 0 0 8 0 0 0 20 0 15 0 222077838 14420930560 7543 33554432000 4194304 4196468 140729423313872 140411493849104 140411087725703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26716] ppid=26712 vsize=14082940 memory=3472468487367521488 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26716/stat : 26716 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 7543 33554432000 4194304 4196468 140729423313872 140411419712400 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26717] ppid=26712 vsize=14082940 memory=140358472369792 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26717/stat : 26717 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 7543 33554432000 4194304 4196468 140729423313872 140411418659600 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26718] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26718/stat : 26718 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 7543 33554432000 4194304 4196468 140729423313872 140411417607312 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26719] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26719/stat : 26719 (java) S 26712 26712 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 7543 33554432000 4194304 4196468 140729423313872 140411416554512 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26720] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26720/stat : 26720 (java) S 26712 26712 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222077840 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410670540912 140411489634946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26721] ppid=26712 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26721/stat : 26721 (java) S 26712 26712 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222077840 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410669486880 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26722] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222077841 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410265527408 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) S 26712 26712 24759 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 222077843 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410263423600 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) S 26712 26712 24759 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 222077843 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410262370800 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14082940 memory=140358472369792 CPUtime=0.01 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) R 26712 26712 24759 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 222077843 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410261318512 140411468609024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14082940 memory=140358472369792 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077844 14420930560 7543 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31628 KiB

[startup+0.210507 s]*
/proc/loadavg: 1.80 1.78 1.81 4/217 26728
/proc/meminfo: memFree=6518764/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0
[pid=26714] ppid=26712 vsize=14082940 memory=42512 CPUtime=0.34 cores=0,2,4,6
/proc/26714/stat : 26714 (java) S 26712 26712 24759 0 -1 1077944320 8184 0 0 0 31 3 0 0 20 0 15 0 222077837 14420930560 10628 33554432000 4194304 4196468 140729423313872 140729423296416 140411489623799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
/proc/26714/statm: 3520735 10628 3196 1 0 3483012 0
[pid=26714/tid=26715] ppid=26712 vsize=14082940 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/26714/task/26715/stat : 26715 (java) R 26712 26712 24759 0 -1 4202560 5300 0 0 0 18 2 0 0 20 0 15 0 222077838 14420930560 10628 33554432000 4194304 4196468 140729423313872 140411493858784 140411473704286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26716] ppid=26712 vsize=14082940 memory=3472468487367521488 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26716/stat : 26716 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 10628 33554432000 4194304 4196468 140729423313872 140411419712400 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26717] ppid=26712 vsize=14082940 memory=140358472369792 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26717/stat : 26717 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 10628 33554432000 4194304 4196468 140729423313872 140411418659600 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26718] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26718/stat : 26718 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 10628 33554432000 4194304 4196468 140729423313872 140411417607312 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26719] ppid=26712 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26719/stat : 26719 (java) S 26712 26712 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222077839 14420930560 10628 33554432000 4194304 4196468 140729423313872 140411416554512 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26720] ppid=26712 vsize=14082940 memory=140358472369792 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26720/stat : 26720 (java) S 26712 26712 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222077840 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410670540912 140411489634946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26721] ppid=26712 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26721/stat : 26721 (java) S 26712 26712 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222077840 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410669486880 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26722] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222077841 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410265527408 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) S 26712 26712 24759 0 -1 1077944384 576 0 0 0 2 0 0 0 20 0 15 0 222077843 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410263423600 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) S 26712 26712 24759 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 222077843 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410262370800 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14082940 memory=140358472369792 CPUtime=0.08 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) S 26712 26712 24759 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 15 0 222077843 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410261318512 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14082940 memory=140358472369792 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077844 14420930560 10628 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 43968 KiB

[startup+0.313019 s]*
/proc/loadavg: 1.80 1.78 1.81 5/217 26728
/proc/meminfo: memFree=6512344/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0
[pid=26714] ppid=26712 vsize=14087196 memory=49832 CPUtime=0.53 cores=0,2,4,6
/proc/26714/stat : 26714 (java) S 26712 26712 24759 0 -1 1077944320 9104 0 0 0 50 3 0 0 20 0 15 0 222077837 14425288704 12458 33554432000 4194304 4196468 140729423313872 140729423296416 140411489623799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
/proc/26714/statm: 3521799 12458 3259 1 0 3483012 0
[pid=26714/tid=26715] ppid=26712 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/26714/task/26715/stat : 26715 (java) R 26712 26712 24759 0 -1 4202560 6026 0 0 0 27 2 0 0 20 0 15 0 222077838 14425288704 12458 33554432000 4194304 4196468 140729423313872 140411493854912 140411473704286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26716] ppid=26712 vsize=14087196 memory=3472468487367521488 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26716/stat : 26716 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14425288704 12458 33554432000 4194304 4196468 140729423313872 140411419712400 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26717] ppid=26712 vsize=14087196 memory=140358472369792 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26717/stat : 26717 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14425288704 12458 33554432000 4194304 4196468 140729423313872 140411418659600 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26718] ppid=26712 vsize=14087196 memory=8 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26718/stat : 26718 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14425288704 12458 33554432000 4194304 4196468 140729423313872 140411417607312 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26719] ppid=26712 vsize=14087196 memory=140358323415071 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26719/stat : 26719 (java) S 26712 26712 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222077839 14425288704 12458 33554432000 4194304 4196468 140729423313872 140411416554512 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26720] ppid=26712 vsize=14087196 memory=280716646790912 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26720/stat : 26720 (java) S 26712 26712 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222077840 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410670540912 140411489634946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26721] ppid=26712 vsize=14087196 memory=140358323392015 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26721/stat : 26721 (java) S 26712 26712 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222077840 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410669486880 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26722] ppid=26712 vsize=14087196 memory=280716795770976 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222077841 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410265527408 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14087196 memory=140358323396623 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) S 26712 26712 24759 0 -1 1077944384 678 0 0 0 5 0 0 0 20 0 15 0 222077843 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410263423600 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) S 26712 26712 24759 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 15 0 222077843 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410262370800 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) S 26712 26712 24759 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 222077843 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410261318512 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077844 14425288704 12458 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51288 KiB

[startup+0.700898 s]
/proc/loadavg: 1.80 1.78 1.81 6/217 26728
/proc/meminfo: memFree=6456324/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0
[pid=26714] ppid=26712 vsize=14089320 memory=96212 CPUtime=1.73 cores=0,2,4,6
/proc/26714/stat : 26714 (java) S 26712 26712 24759 0 -1 1077944320 12516 0 0 0 167 6 0 0 20 0 15 0 222077837 14427463680 24053 33554432000 4194304 4196468 140729423313872 140729423296416 140411489623799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
/proc/26714/statm: 3522330 24053 3352 1 0 3483524 0
[pid=26714/tid=26715] ppid=26712 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/26714/task/26715/stat : 26715 (java) R 26712 26712 24759 0 -1 4202560 6590 0 0 0 64 3 0 0 20 0 15 0 222077838 14427463680 24053 33554432000 4194304 4196468 140729423313872 140411493862464 140411090979839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26716] ppid=26712 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26716/stat : 26716 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14427463680 24053 33554432000 4194304 4196468 140729423313872 140411419712400 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26717] ppid=26712 vsize=14089320 memory=5859271421084390760 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26717/stat : 26717 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14427463680 24053 33554432000 4194304 4196468 140729423313872 140411418659600 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26718] ppid=26712 vsize=14089320 memory=8041645962788481611 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26718/stat : 26718 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077839 14427463680 24053 33554432000 4194304 4196468 140729423313872 140411417607312 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26719] ppid=26712 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26719/stat : 26719 (java) S 26712 26712 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222077839 14427463680 24053 33554432000 4194304 4196468 140729423313872 140411416554512 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26720] ppid=26712 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26720/stat : 26720 (java) S 26712 26712 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222077840 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410670540912 140411489634946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26721] ppid=26712 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26721/stat : 26721 (java) S 26712 26712 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222077840 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410669486880 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26722] ppid=26712 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222077841 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410265527408 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14089320 memory=60348 CPUtime=0.35 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) R 26712 26712 24759 0 -1 4202560 1510 0 0 0 35 0 0 0 20 0 15 0 222077843 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410263404616 140411473120587 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14089320 memory=1220 CPUtime=0.3 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) R 26712 26712 24759 0 -1 4202560 1203 0 0 0 30 0 0 0 20 0 15 0 222077843 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410262351816 140411473036634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14089320 memory=2380 CPUtime=0.37 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) S 26712 26712 24759 0 -1 1077944384 1904 0 0 0 37 0 0 0 20 0 15 0 222077843 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410261318512 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222077844 14427463680 24053 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 97668 KiB

[startup+1.50086 s]
/proc/loadavg: 1.90 1.80 1.82 3/217 26728
/proc/meminfo: memFree=6325200/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0

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

/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 222077841 14429560832 70060 33554432000 4194304 4196468 140729423313872 140410265527424 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14091368 memory=280240 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 70060 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14091368 memory=1456 CPUtime=4.81 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) S 26712 26712 24759 0 -1 1077944384 17745 0 0 0 479 2 0 0 20 0 15 0 222077843 14429560832 70060 33554432000 4194304 4196468 140729423313872 140410263423600 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14091368 memory=280240 CPUtime=5.3 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) S 26712 26712 24759 0 -1 1077944384 31883 0 0 0 525 5 0 0 20 0 15 0 222077843 14429560832 70060 33554432000 4194304 4196468 140729423313872 140410262370800 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14091368 memory=280240 CPUtime=1 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) S 26712 26712 24759 0 -1 1077944384 12231 0 0 0 98 2 0 0 20 0 15 0 222077843 14429560832 70060 33554432000 4194304 4196468 140729423313872 140410261318512 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 70060 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14091368 memory=1456 CPUtime=0.59 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1168 0 0 0 25 34 0 0 20 0 15 0 222077844 14429560832 70060 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 2455.61 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 281696 KiB

[startup+2502.3 s]
/proc/loadavg: 1.93 1.94 1.90 3/218 26916
/proc/meminfo: memFree=6790380/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0
[pid=26714] ppid=26712 vsize=14091368 memory=478956 CPUtime=2515.81 cores=0,2,4,6
/proc/26714/stat : 26714 (java) S 26712 26712 24759 0 -1 1077944320 106187 0 0 0 251485 96 0 0 20 0 15 0 222077837 14429560832 119739 33554432000 4194304 4196468 140729423313872 140729423296416 140411489623799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
/proc/26714/statm: 3522842 119739 3436 1 0 3484036 0
[pid=26714/tid=26715] ppid=26712 vsize=14091368 memory=431680 CPUtime=2500.42 cores=0,2,4,6
/proc/26714/task/26715/stat : 26715 (java) R 26712 26712 24759 0 -1 4202560 26492 0 0 0 250009 33 0 0 20 0 15 0 222077838 14429560832 119739 33554432000 4194304 4196468 140729423313872 140411493863448 140411091780419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26716] ppid=26712 vsize=14091368 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/26714/task/26716/stat : 26716 (java) S 26712 26712 24759 0 -1 1077944384 2062 0 0 0 74 5 0 0 20 0 15 0 222077839 14429560832 119739 33554432000 4194304 4196468 140729423313872 140411419712400 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26717] ppid=26712 vsize=14091368 memory=414552 CPUtime=0.79 cores=0,2,4,6
/proc/26714/task/26717/stat : 26717 (java) S 26712 26712 24759 0 -1 1077944384 2980 0 0 0 75 4 0 0 20 0 15 0 222077839 14429560832 119739 33554432000 4194304 4196468 140729423313872 140411418659600 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26718] ppid=26712 vsize=14091368 memory=1456 CPUtime=0.81 cores=0,2,4,6
/proc/26714/task/26718/stat : 26718 (java) S 26712 26712 24759 0 -1 1077944384 2196 0 0 0 76 5 0 0 20 0 15 0 222077839 14429560832 119739 33554432000 4194304 4196468 140729423313872 140411417607312 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26719] ppid=26712 vsize=14091368 memory=414552 CPUtime=0.8 cores=0,2,4,6
/proc/26714/task/26719/stat : 26719 (java) S 26712 26712 24759 0 -1 1077944384 4559 0 0 0 75 5 0 0 20 0 15 0 222077839 14429560832 119739 33554432000 4194304 4196468 140729423313872 140411416554512 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26720] ppid=26712 vsize=14091368 memory=414552 CPUtime=0.39 cores=0,2,4,6
/proc/26714/task/26720/stat : 26720 (java) S 26712 26712 24759 0 -1 1077944384 3489 0 0 0 32 7 0 0 20 0 15 0 222077840 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410670540912 140411489634946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26721] ppid=26712 vsize=14091368 memory=431680 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26721/stat : 26721 (java) S 26712 26712 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 222077840 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410669486944 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26722] ppid=26712 vsize=14091368 memory=456336 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 222077841 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410265527424 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14091368 memory=478956 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14091368 memory=414552 CPUtime=4.81 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) S 26712 26712 24759 0 -1 1077944384 17745 0 0 0 479 2 0 0 20 0 15 0 222077843 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410263423600 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14091368 memory=414552 CPUtime=5.3 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) S 26712 26712 24759 0 -1 1077944384 31883 0 0 0 525 5 0 0 20 0 15 0 222077843 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410262370800 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14091368 memory=1456 CPUtime=1 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) S 26712 26712 24759 0 -1 1077944384 12231 0 0 0 98 2 0 0 20 0 15 0 222077843 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410261318512 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14091368 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14091368 memory=1264 CPUtime=0.59 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1172 0 0 0 25 34 0 0 20 0 15 0 222077844 14429560832 119739 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 2515.81 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 480412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 1.93 1.94 1.90 3/218 26916
/proc/meminfo: memFree=6648324/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0
[pid=26714] ppid=26712 vsize=14091368 memory=598200 CPUtime=2520.01 cores=0,2,4,6
/proc/26714/stat : 26714 (java) S 26712 26712 24759 0 -1 1077944320 106359 0 0 0 251903 98 0 0 20 0 15 0 222077837 14429560832 149550 33554432000 4194304 4196468 140729423313872 140729423296416 140411489623799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
/proc/26714/statm: 3522842 149550 3436 1 0 3484036 0
[pid=26714/tid=26715] ppid=26712 vsize=14091368 memory=1456 CPUtime=2504.62 cores=0,2,4,6
/proc/26714/task/26715/stat : 26715 (java) R 26712 26712 24759 0 -1 4202560 26664 0 0 0 250427 35 0 0 20 0 15 0 222077838 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411493863448 140411095388319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26716] ppid=26712 vsize=14091368 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/26714/task/26716/stat : 26716 (java) S 26712 26712 24759 0 -1 1077944384 2062 0 0 0 74 5 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411419712400 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26717] ppid=26712 vsize=14091368 memory=598200 CPUtime=0.79 cores=0,2,4,6
/proc/26714/task/26717/stat : 26717 (java) S 26712 26712 24759 0 -1 1077944384 2980 0 0 0 75 4 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411418659600 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26718] ppid=26712 vsize=14091368 memory=550912 CPUtime=0.81 cores=0,2,4,6
/proc/26714/task/26718/stat : 26718 (java) S 26712 26712 24759 0 -1 1077944384 2196 0 0 0 76 5 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411417607312 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26719] ppid=26712 vsize=14091368 memory=456336 CPUtime=0.8 cores=0,2,4,6
/proc/26714/task/26719/stat : 26719 (java) S 26712 26712 24759 0 -1 1077944384 4559 0 0 0 75 5 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411416554512 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26720] ppid=26712 vsize=14091368 memory=431680 CPUtime=0.39 cores=0,2,4,6
/proc/26714/task/26720/stat : 26720 (java) S 26712 26712 24759 0 -1 1077944384 3489 0 0 0 32 7 0 0 20 0 15 0 222077840 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410670540912 140411489634946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26721] ppid=26712 vsize=14091368 memory=414552 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26721/stat : 26721 (java) S 26712 26712 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 222077840 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410669486944 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26722] ppid=26712 vsize=14091368 memory=414552 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 222077841 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410265527424 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14091368 memory=414552 CPUtime=4.81 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) S 26712 26712 24759 0 -1 1077944384 17745 0 0 0 479 2 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410263423600 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14091368 memory=1456 CPUtime=5.3 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) S 26712 26712 24759 0 -1 1077944384 31883 0 0 0 525 5 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410262370800 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14091368 memory=431680 CPUtime=1 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) S 26712 26712 24759 0 -1 1077944384 12231 0 0 0 98 2 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410261318512 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14091368 memory=598200 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14091368 memory=3892 CPUtime=0.59 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1172 0 0 0 25 34 0 0 20 0 15 0 222077844 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 599656 KiB

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

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

[startup+2506.52 s]
# the end of solver process 26714 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.05 s, system=1.00005 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+2506.5 s]
/proc/loadavg: 1.93 1.94 1.90 3/218 26916
/proc/meminfo: memFree=6648324/32770624 swapFree=67108792/67108860
[pid=26712] ppid=26709 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26712/stat : 26712 (xcsp3-exec) S 26709 26712 24759 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222077837 115843072 364 33554432000 4194304 5098028 140732103804752 140732103802856 140226813993596 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35774464 140732103808060 140732103808260 140732103808260 140732103811018 0
/proc/26712/statm: 28282 364 306 221 0 87 0
[pid=26714] ppid=26712 vsize=14091368 memory=598200 CPUtime=2520.01 cores=0,2,4,6
/proc/26714/stat : 26714 (java) S 26712 26712 24759 0 -1 1077944320 106359 0 0 0 251903 98 0 0 20 0 15 0 222077837 14429560832 149550 33554432000 4194304 4196468 140729423313872 140729423296416 140411489623799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
/proc/26714/statm: 3522842 149550 3436 1 0 3484036 0
[pid=26714/tid=26715] ppid=26712 vsize=14091368 memory=1456 CPUtime=2504.62 cores=0,2,4,6
/proc/26714/task/26715/stat : 26715 (java) R 26712 26712 24759 0 -1 4202560 26664 0 0 0 250427 35 0 0 20 0 15 0 222077838 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411493863448 140411095388319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26716] ppid=26712 vsize=14091368 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/26714/task/26716/stat : 26716 (java) S 26712 26712 24759 0 -1 1077944384 2062 0 0 0 74 5 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411419712400 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26717] ppid=26712 vsize=14091368 memory=598200 CPUtime=0.79 cores=0,2,4,6
/proc/26714/task/26717/stat : 26717 (java) S 26712 26712 24759 0 -1 1077944384 2980 0 0 0 75 4 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411418659600 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26718] ppid=26712 vsize=14091368 memory=550912 CPUtime=0.81 cores=0,2,4,6
/proc/26714/task/26718/stat : 26718 (java) S 26712 26712 24759 0 -1 1077944384 2196 0 0 0 76 5 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411417607312 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26719] ppid=26712 vsize=14091368 memory=456336 CPUtime=0.8 cores=0,2,4,6
/proc/26714/task/26719/stat : 26719 (java) S 26712 26712 24759 0 -1 1077944384 4559 0 0 0 75 5 0 0 20 0 15 0 222077839 14429560832 149550 33554432000 4194304 4196468 140729423313872 140411416554512 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26720] ppid=26712 vsize=14091368 memory=431680 CPUtime=0.39 cores=0,2,4,6
/proc/26714/task/26720/stat : 26720 (java) S 26712 26712 24759 0 -1 1077944384 3489 0 0 0 32 7 0 0 20 0 15 0 222077840 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410670540912 140411489634946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26721] ppid=26712 vsize=14091368 memory=414552 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26721/stat : 26721 (java) S 26712 26712 24759 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 222077840 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410669486944 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26722] ppid=26712 vsize=14091368 memory=414552 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26722/stat : 26722 (java) S 26712 26712 24759 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 222077841 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410265527424 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26723] ppid=26712 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26723/stat : 26723 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410264475728 140411489642395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26724] ppid=26712 vsize=14091368 memory=414552 CPUtime=4.81 cores=0,2,4,6
/proc/26714/task/26724/stat : 26724 (java) S 26712 26712 24759 0 -1 1077944384 17745 0 0 0 479 2 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410263423600 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26725] ppid=26712 vsize=14091368 memory=1456 CPUtime=5.3 cores=0,2,4,6
/proc/26714/task/26725/stat : 26725 (java) S 26712 26712 24759 0 -1 1077944384 31883 0 0 0 525 5 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410262370800 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26726] ppid=26712 vsize=14091368 memory=431680 CPUtime=1 cores=0,2,4,6
/proc/26714/task/26726/stat : 26726 (java) S 26712 26712 24759 0 -1 1077944384 12231 0 0 0 98 2 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410261318512 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26727] ppid=26712 vsize=14091368 memory=598200 CPUtime=0 cores=0,2,4,6
/proc/26714/task/26727/stat : 26727 (java) S 26712 26712 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222077843 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410260265952 140411489634005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
[pid=26714/tid=26728] ppid=26712 vsize=14091368 memory=3892 CPUtime=0.59 cores=0,2,4,6
/proc/26714/task/26728/stat : 26728 (java) S 26712 26712 24759 0 -1 1077944384 1172 0 0 0 25 34 0 0 20 0 15 0 222077844 14429560832 149550 33554432000 4194304 4196468 140729423313872 140410259212720 140411489634946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23953408 140729423316102 140729423316273 140729423316273 140729423318991 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 599656 KiB

Child status: 143
Real time (s): 2506.52
CPU time (s): 2520.05
CPU user time (s): 2519.05
CPU system time (s): 1.00005
CPU usage (%): 100.54
Max. virtual memory (cumulated for all children) (KiB): 14207500
Max. memory (cumulated for all children) (KiB): 1319332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.05
system time used= 1.00005
maximum resident set size= 1340612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65816
involuntary context switches= 3049


# summary of solver processes directly reported to runsolver:
#   pid: 26712,26714
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.05
#   total CPU system time (s): 1.00005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9079 second user time and 24.0851 second system time

The end

Name	NurseRostering/ NurseRostering-08_c18.xml
MD5SUM	d61cb971f7c35e7f42e62a62e90db6df
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	9900
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1615
Number of constraints	4057
Number of domains	17
Minimum domain size	1
Maximum domain size	31
Distribution of domain sizes	[{"size":1,"count":65},{"size":2,"count":347},{"size":3,"count":4},{"size":5,"count":856},{"size":6,"count":1},{"size":9,"count":6},{"size":15,"count":24},{"size":29,"count":60},{"size":31,"count":252}]
Minimum variable degree	2
Maximum variable degree	27
Distribution of variable degrees	[{"degree":2,"count":655},{"degree":3,"count":120},{"degree":14,"count":3},{"degree":15,"count":26},{"degree":16,"count":25},{"degree":17,"count":11},{"degree":18,"count":21},{"degree":19,"count":40},{"degree":20,"count":52},{"degree":21,"count":62},{"degree":22,"count":101},{"degree":23,"count":201},{"degree":24,"count":145},{"degree":25,"count":88},{"degree":26,"count":52},{"degree":27,"count":13}]
Minimum constraint arity	2
Maximum constraint arity	60
Distribution of constraint arities	[{"arity":2,"count":1704},{"arity":3,"count":1144},{"arity":4,"count":205},{"arity":5,"count":30},{"arity":6,"count":529},{"arity":7,"count":154},{"arity":29,"count":150},{"arity":31,"count":140},{"arity":60,"count":1}]
Number of extensional constraints	950
Number of intensional constraints	511
Distribution of constraint types	[{"type":"extension","count":950},{"type":"intension","count":511},{"type":"regular","count":1562},{"type":"sum","count":60},{"type":"count","count":973},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4306651

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