2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	295	20050.6	2520.11

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297366-1532690221.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297366-1532690221.xml, -tl, 20160s, -p, 8]
0.11/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
6.81/2.02	c solve instance...
10.51/2.56	o 0 
10.51/2.58	o 4 
13.53/2.97	o 6 
14.27/3.04	o 8 
15.06/3.27	o 10 
15.36/3.31	o 12 
15.36/3.33	o 14 
15.36/3.37	o 16 
16.09/3.41	o 17 
16.09/3.45	o 18 
16.83/3.65	o 20 
17.30/3.72	o 22 
18.64/3.99	o 24 
19.08/4.05	o 25 
20.29/4.29	o 26 
20.58/4.38	o 27 
22.92/4.60	o 28 
22.92/4.67	o 29 
24.48/4.87	o 30 
25.24/4.92	o 31 
26.71/5.14	o 32 
27.94/5.30	o 82 
27.94/5.30	o 83 
28.16/5.47	o 84 
28.16/5.50	o 86 
28.48/5.51	o 90 
44.28/7.59	o 239 
57.76/9.23	o 240 
108.73/15.69	o 241 
108.73/15.70	o 242 
109.46/15.70	o 243 
109.46/15.70	o 244 
109.46/15.71	o 245 
109.46/15.71	o 246 
109.46/15.71	o 247 
109.46/15.72	o 248 
109.46/15.72	o 249 
109.46/15.72	o 250 
109.46/15.73	o 251 
109.46/15.73	o 252 
109.46/15.74	o 253 
109.46/15.74	o 254 
109.46/15.74	o 255 
109.46/15.75	o 256 
109.46/15.77	o 257 
109.78/15.89	o 258 
109.78/15.89	o 259 
109.90/15.92	o 260 
110.10/16.04	o 261 
110.10/16.04	o 262 
110.10/16.07	o 263 
110.24/16.19	o 264 
110.24/16.19	o 265 
110.35/16.21	o 266 
110.35/16.22	o 267 
110.35/16.22	o 268 
110.48/16.34	o 269 
110.48/16.34	o 270 
110.48/16.37	o 271 
110.62/16.48	o 272 
110.62/16.49	o 273 
110.76/16.51	o 274 
110.87/16.63	o 275 
110.87/16.64	o 276 
110.87/16.66	o 277 
111.03/16.77	o 278 
111.03/16.78	o 279 
111.03/16.78	o 280 
111.17/16.80	o 281 
111.28/16.92	o 282 
111.28/16.93	o 283 
111.28/16.94	o 284 
111.44/17.06	o 285 
112.39/17.22	o 286 
112.39/17.22	o 287 
112.39/17.24	o 288 
112.91/17.36	o 289 
112.91/17.37	o 290 
112.91/17.37	o 291 
112.91/17.38	o 292 
167.66/24.32	o 293 
167.66/24.34	o 294 
347.91/47.02	o 295 
20049.90/2520.09	s SATISFIABLE
20049.90/2520.09	v <instantiation>
20049.90/2520.09	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] z </list>
20049.90/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 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 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 1 0 1 0 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 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 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 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 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 8 9 9 18 18 19 47 54 56 58 62 64 82 92 99 101 105 114 123 126 133 141 142 146 151 160 170 295 </values>
20049.90/2520.09	v </instantiation>
20049.90/2520.09	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 (9399 MiB free)
  memory of node 1: 16384 MiB (11931 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297366-1532690221/watcher-4297366-1532690221 -o /tmp/evaluation-result-4297366-1532690221/solver-4297366-1532690221 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532685147-13674 --watchdog 2580 HOME/xcsp3-exec -seed 725378151 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297366-1532690221.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=14699, runsolver pid=14696

[startup+0.100152 s]*
/proc/loadavg: 1.33 1.41 2.02 3/202 14720
/proc/meminfo: memFree=21826920/32770624 swapFree=67108860/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 13647 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86585328 115843072 363 33554432000 4194304 5098028 140728810378160 140728810376264 140463806280316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18083840 140728810386486 140728810386688 140728810386688 140728810389450 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=26104152 memory=27056 CPUtime=0.11 cores=0-7
/proc/14701/stat : 14701 (java) S 14699 14699 13647 0 -1 1077944320 5656 0 0 0 10 1 0 0 20 0 20 0 86585329 26730651648 6764 33554432000 4194304 4196468 140736070268256 140736070250800 139980615438071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
/proc/14701/statm: 6526038 6764 2999 1 0 6488315 0
[pid=14701/tid=14702] ppid=14699 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 13647 0 -1 4202560 3665 0 0 0 8 1 0 0 20 0 20 0 86585329 26730651648 6764 33554432000 4194304 4196468 140736070268256 139980619663792 139980615450006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14703] ppid=14699 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6764 33554432000 4194304 4196468 140736070268256 139980173605392 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14704] ppid=14699 vsize=26104152 memory=140602513987200 CPUtime=0 cores=0-7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6764 33554432000 4194304 4196468 140736070268256 139980172552848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14705] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6764 33554432000 4194304 4196468 140736070268256 139980171499792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14706] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 13647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6764 33554432000 4194304 4196468 140736070268256 139980170447248 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14707] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6828 33554432000 4194304 4196468 140736070268256 139980169395216 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14708] ppid=14699 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6828 33554432000 4194304 4196468 140736070268256 139980168342672 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14709] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6828 33554432000 4194304 4196468 140736070268256 139980167289616 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14710] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 6828 33554432000 4194304 4196468 140736070268256 139980166237072 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14711] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 13647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86585331 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979608459504 139980615449218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14712] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 13647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86585332 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979607405728 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14713] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 13647 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86585332 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979606352624 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14714] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585334 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979605301200 139980615456667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14715] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 13647 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 86585334 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979604249328 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14716] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14716/stat : 14716 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585334 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979603196784 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14717] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14717/stat : 14717 (java) S 14699 14699 13647 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86585334 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979602143728 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14718] ppid=14699 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14701/task/14718/stat : 14718 (java) R 14699 14699 13647 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 86585334 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979601091184 139980599518558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14719] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14719/stat : 14719 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585335 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979600038368 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14720] ppid=14699 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14701/task/14720/stat : 14720 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585335 26730651648 6828 33554432000 4194304 4196468 140736070268256 139979598985904 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28508 KiB

[startup+0.210669 s]*
/proc/loadavg: 1.33 1.41 2.02 3/202 14720
/proc/meminfo: memFree=21816088/32770624 swapFree=67108860/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 13647 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86585328 115843072 363 33554432000 4194304 5098028 140728810378160 140728810376264 140463806280316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18083840 140728810386486 140728810386688 140728810386688 140728810389450 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=26104152 memory=38896 CPUtime=0.34 cores=0-7
/proc/14701/stat : 14701 (java) S 14699 14699 13647 0 -1 1077944320 8376 0 0 0 31 3 0 0 20 0 20 0 86585329 26730651648 9724 33554432000 4194304 4196468 140736070268256 140736070250800 139980615438071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
/proc/14701/statm: 6526038 9724 3159 1 0 6488315 0
[pid=14701/tid=14702] ppid=14699 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 13647 0 -1 4202560 5561 0 0 0 18 2 0 0 20 0 20 0 86585329 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980619673056 139980599481701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14703] ppid=14699 vsize=26104152 memory=329 CPUtime=0 cores=0-7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980173605392 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14704] ppid=14699 vsize=26104152 memory=288370978665698944 CPUtime=0 cores=0-7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980172552848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14705] ppid=14699 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980171499792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14706] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 13647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980170447248 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14707] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980169395216 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14708] ppid=14699 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980168342672 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14709] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980167289616 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14710] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26730651648 9724 33554432000 4194304 4196468 140736070268256 139980166237072 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14711] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 13647 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86585331 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979608459504 139980615449218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14712] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 13647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86585332 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979607405728 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14713] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 13647 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86585332 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979606352624 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14714] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585334 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979605301200 139980615456667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14715] ppid=14699 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 13647 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 86585334 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979604249328 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14716] ppid=14699 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/14701/task/14716/stat : 14716 (java) S 14699 14699 13647 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 86585334 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979603196784 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14717] ppid=14699 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/14701/task/14717/stat : 14717 (java) S 14699 14699 13647 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 86585334 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979602143728 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14718] ppid=14699 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/14701/task/14718/stat : 14718 (java) S 14699 14699 13647 0 -1 1077944384 771 0 0 0 7 0 0 0 20 0 20 0 86585334 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979601091184 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14719] ppid=14699 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14719/stat : 14719 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585335 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979600038368 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14720] ppid=14699 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/14701/task/14720/stat : 14720 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585335 26730651648 9724 33554432000 4194304 4196468 140736070268256 139979598985904 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40348 KiB

[startup+0.310535 s]*
/proc/loadavg: 1.33 1.41 2.02 5/202 14720
/proc/meminfo: memFree=21809652/32770624 swapFree=67108860/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 13647 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86585328 115843072 363 33554432000 4194304 5098028 140728810378160 140728810376264 140463806280316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18083840 140728810386486 140728810386688 140728810386688 140728810389450 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=26108408 memory=46220 CPUtime=0.53 cores=0-7
/proc/14701/stat : 14701 (java) S 14699 14699 13647 0 -1 1077944320 9312 0 0 0 49 4 0 0 20 0 20 0 86585329 26735009792 11555 33554432000 4194304 4196468 140736070268256 140736070250800 139980615438071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
/proc/14701/statm: 6527102 11555 3217 1 0 6488315 0
[pid=14701/tid=14702] ppid=14699 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 13647 0 -1 4202560 6247 0 0 0 27 2 0 0 20 0 20 0 86585329 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980619667744 139980599518558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14703] ppid=14699 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980173605392 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14704] ppid=14699 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980172552848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14705] ppid=14699 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980171499792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14706] ppid=14699 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 13647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980170447248 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14707] ppid=14699 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980169395216 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14708] ppid=14699 vsize=26108408 memory=140602398307247 CPUtime=0 cores=0-7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980168342672 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14709] ppid=14699 vsize=26108408 memory=140602398309552 CPUtime=0 cores=0-7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980167289616 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14710] ppid=14699 vsize=26108408 memory=140602398311856 CPUtime=0 cores=0-7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26735009792 11555 33554432000 4194304 4196468 140736070268256 139980166237072 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14711] ppid=14699 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 13647 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86585331 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979608459504 139980615449218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14712] ppid=14699 vsize=26108408 memory=281204796630672 CPUtime=0 cores=0-7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 13647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86585332 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979607405728 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14713] ppid=14699 vsize=26108408 memory=281204796637584 CPUtime=0 cores=0-7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 13647 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86585332 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979606352624 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14714] ppid=14699 vsize=26108408 memory=281204796578864 CPUtime=0 cores=0-7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585334 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979605301200 139980615456667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14715] ppid=14699 vsize=26108408 memory=281204796651408 CPUtime=0.02 cores=0-7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 13647 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 20 0 86585334 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979604249328 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14716] ppid=14699 vsize=26108408 memory=281204796658320 CPUtime=0.02 cores=0-7
/proc/14701/task/14716/stat : 14716 (java) S 14699 14699 13647 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 20 0 86585334 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979603196784 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14717] ppid=14699 vsize=26108408 memory=281204796656016 CPUtime=0.04 cores=0-7
/proc/14701/task/14717/stat : 14717 (java) R 14699 14699 13647 0 -1 4202560 343 0 0 0 4 0 0 0 20 0 20 0 86585334 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979602134112 139980593034239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14718] ppid=14699 vsize=26108408 memory=281204796672176 CPUtime=0.12 cores=0-7
/proc/14701/task/14718/stat : 14718 (java) S 14699 14699 13647 0 -1 1077944384 905 0 0 0 12 0 0 0 20 0 20 0 86585334 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979601091184 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14719] ppid=14699 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14719/stat : 14719 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585335 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979600038368 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14720] ppid=14699 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/14701/task/14720/stat : 14720 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585335 26735009792 11555 33554432000 4194304 4196468 140736070268256 139979598985904 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47672 KiB

[startup+0.700981 s]
/proc/loadavg: 1.33 1.41 2.02 5/202 14720
/proc/meminfo: memFree=21794316/32770624 swapFree=67108860/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 13647 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86585328 115843072 363 33554432000 4194304 5098028 140728810378160 140728810376264 140463806280316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18083840 140728810386486 140728810386688 140728810386688 140728810389450 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=26110532 memory=91632 CPUtime=1.84 cores=0-7
/proc/14701/stat : 14701 (java) S 14699 14699 13647 0 -1 1077944320 13574 0 0 0 179 5 0 0 20 0 20 0 86585329 26737184768 22908 33554432000 4194304 4196468 140736070268256 140736070250800 139980615438071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
/proc/14701/statm: 6527633 22908 3355 1 0 6488827 0
[pid=14701/tid=14702] ppid=14699 vsize=26110532 memory=281204797030064 CPUtime=0.67 cores=0-7
/proc/14701/task/14702/stat : 14702 (java) R 14699 14699 13647 0 -1 4202560 7088 0 0 0 64 3 0 0 20 0 20 0 86585329 26737184768 22908 33554432000 4194304 4196468 140736070268256 139980619675584 139980615450006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14703] ppid=14699 vsize=26110532 memory=140602398516080 CPUtime=0 cores=0-7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26737184768 22908 33554432000 4194304 4196468 140736070268256 139980173605392 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14704] ppid=14699 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86585330 26737184768 22908 33554432000 4194304 4196468 140736070268256 139980172552848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14705] ppid=14699 vsize=26110532 memory=10612 CPUtime=0 cores=0-7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86585330 26737184768 22908 33554432000 4194304 4196468 140736070268256 139980171499792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0

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

[pid=14701/tid=15392] ppid=14699 vsize=26779248 memory=1452 CPUtime=2375.07 cores=0-7
/proc/14701/task/15392/stat : 15392 (java) R 14699 14699 13647 0 -1 4202560 36961 0 0 0 237481 26 0 0 20 0 28 0 86590031 27421949952 334286 33554432000 4194304 4196468 140736070268256 139979581788088 139980258249315 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
Current children cumulated CPU time: 19430.2 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 1338596 KiB

[startup+2502.3 s]
/proc/loadavg: 8.28 8.33 7.88 9/207 15429
/proc/meminfo: memFree=20520228/32770624 swapFree=67108860/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 13647 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86585328 115843072 363 33554432000 4194304 5098028 140728810378160 140728810376264 140463806280316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18083840 140728810386486 140728810386688 140728810386688 140728810389450 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=26779248 memory=1332016 CPUtime=19908.8 cores=0-7
/proc/14701/stat : 14701 (java) S 14699 14699 13647 0 -1 1077944320 632915 0 1 0 1990285 592 0 0 20 0 28 0 86585329 27421949952 333004 33554432000 4194304 4196468 140736070268256 140736070250800 139980615438071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
/proc/14701/statm: 6694812 333004 3463 1 0 6656006 0
[pid=14701/tid=14702] ppid=14699 vsize=26779248 memory=1332016 CPUtime=1.97 cores=0-7
/proc/14701/task/14702/stat : 14702 (java) S 14699 14699 13647 0 -1 1077944384 9236 0 0 0 191 6 0 0 20 0 28 0 86585329 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980619678848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14703] ppid=14699 vsize=26779248 memory=1332016 CPUtime=4.5 cores=0-7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 13647 0 -1 1077944384 20692 0 0 0 426 24 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980173605392 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14704] ppid=14699 vsize=26779248 memory=1452 CPUtime=4.42 cores=0-7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 13647 0 -1 1077944384 17045 0 0 0 418 24 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980172552848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14705] ppid=14699 vsize=26779248 memory=1332016 CPUtime=4.45 cores=0-7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 13647 0 -1 1077944384 22997 0 0 0 421 24 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980171499792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14706] ppid=14699 vsize=26779248 memory=1452 CPUtime=4.45 cores=0-7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 13647 0 -1 1077944384 20665 0 0 0 420 25 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980170447248 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14707] ppid=14699 vsize=26779248 memory=16412 CPUtime=4.42 cores=0-7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 13647 0 -1 1077944384 24237 0 0 0 417 25 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980169395216 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14708] ppid=14699 vsize=26779248 memory=14692 CPUtime=4.45 cores=0-7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 13647 0 -1 1077944384 21072 0 0 0 421 24 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980168342672 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14709] ppid=14699 vsize=26779248 memory=1334580 CPUtime=4.41 cores=0-7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 13647 0 -1 1077944384 20120 0 0 0 417 24 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980167289616 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14710] ppid=14699 vsize=26779248 memory=1334580 CPUtime=4.42 cores=0-7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 13647 0 -1 1077944384 24304 0 0 0 420 22 0 0 20 0 28 0 86585330 27421949952 333004 33554432000 4194304 4196468 140736070268256 139980166237072 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14711] ppid=14699 vsize=26779248 memory=1452 CPUtime=1.65 cores=0-7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 13647 0 -1 1077944384 54553 0 0 0 120 45 0 0 20 0 28 0 86585331 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979608459504 139980615449218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14712] ppid=14699 vsize=26779248 memory=1334580 CPUtime=0 cores=0-7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 13647 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 86585332 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979607405792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14713] ppid=14699 vsize=26779248 memory=1452 CPUtime=0 cores=0-7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 13647 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 86585332 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979606352640 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14714] ppid=14699 vsize=26779248 memory=1334580 CPUtime=0 cores=0-7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86585334 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979605301200 139980615456667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14715] ppid=14699 vsize=26779248 memory=1452 CPUtime=3.89 cores=0-7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 13647 0 -1 1077944384 27691 0 0 0 385 4 0 0 20 0 28 0 86585334 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979604249328 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14716] ppid=14699 vsize=26779248 memory=1452 CPUtime=4.12 cores=0-7
/proc/14701/task/14716/stat : 14716 (java) S 14699 14699 13647 0 -1 1077944384 20120 0 0 0 408 4 0 0 20 0 28 0 86585334 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979603196784 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14717] ppid=14699 vsize=26779248 memory=1452 CPUtime=3.79 cores=0-7
/proc/14701/task/14717/stat : 14717 (java) S 14699 14699 13647 0 -1 1077944384 23225 0 1 0 375 4 0 0 20 0 28 0 86585334 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979602143728 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14718] ppid=14699 vsize=26779248 memory=1452 CPUtime=1.21 cores=0-7
/proc/14701/task/14718/stat : 14718 (java) S 14699 14699 13647 0 -1 1077944384 17156 0 0 0 118 3 0 0 20 0 28 0 86585334 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979601091184 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14719] ppid=14699 vsize=26779248 memory=5816 CPUtime=0 cores=0-7
/proc/14701/task/14719/stat : 14719 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86585335 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979600038368 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14720] ppid=14699 vsize=26779248 memory=4112 CPUtime=0.96 cores=0-7
/proc/14701/task/14720/stat : 14720 (java) S 14699 14699 13647 0 -1 1077944384 5235 0 0 0 27 69 0 0 20 0 28 0 86585335 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979598985904 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15385] ppid=14699 vsize=26779248 memory=1452 CPUtime=2443.01 cores=0-7
/proc/14701/task/15385/stat : 15385 (java) R 14699 14699 13647 0 -1 4202560 21463 0 0 0 244274 27 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979585997496 139980258896780 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15386] ppid=14699 vsize=26779248 memory=1336120 CPUtime=2436.18 cores=0-7
/proc/14701/task/15386/stat : 15386 (java) R 14699 14699 13647 0 -1 4202560 21774 0 0 0 243597 21 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979584946664 139980258896780 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15387] ppid=14699 vsize=26779248 memory=6791534058613427641 CPUtime=2446 cores=0-7
/proc/14701/task/15387/stat : 15387 (java) R 14699 14699 13647 0 -1 4202560 20970 0 0 0 244582 18 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979579683432 139980258570135 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15388] ppid=14699 vsize=26779248 memory=1341760 CPUtime=2436.84 cores=0-7
/proc/14701/task/15388/stat : 15388 (java) R 14699 14699 13647 0 -1 4202560 90942 0 0 0 243584 100 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979577578344 139980258896753 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15389] ppid=14699 vsize=26779248 memory=1452 CPUtime=2444.34 cores=0-7
/proc/14701/task/15389/stat : 15389 (java) R 14699 14699 13647 0 -1 4202560 26344 0 0 0 244408 26 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979588104520 139980258624357 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15390] ppid=14699 vsize=26779248 memory=4128 CPUtime=2446.01 cores=0-7
/proc/14701/task/15390/stat : 15390 (java) R 14699 14699 13647 0 -1 4202560 17506 0 0 0 244586 15 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979580738672 139980258624362 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15391] ppid=14699 vsize=26779248 memory=25200 CPUtime=2438.58 cores=0-7
/proc/14701/task/15391/stat : 15391 (java) R 14699 14699 13647 0 -1 4202560 30613 0 0 0 243829 29 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979578629936 139980258349833 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15392] ppid=14699 vsize=26779248 memory=1452 CPUtime=2434.96 cores=0-7
/proc/14701/task/15392/stat : 15392 (java) R 14699 14699 13647 0 -1 4202560 37156 0 0 0 243470 26 0 0 20 0 28 0 86590031 27421949952 333004 33554432000 4194304 4196468 140736070268256 139979581788312 139980258861469 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
Current children cumulated CPU time: 19908.8 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 1333468 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.31 7.88 9/207 15429
/proc/meminfo: memFree=20520972/32770624 swapFree=67108860/67108860
[pid=14699] ppid=14696 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14699/stat : 14699 (xcsp3-exec) S 14696 14699 13647 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86585328 115843072 363 33554432000 4194304 5098028 140728810378160 140728810376264 140463806280316 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18083840 140728810386486 140728810386688 140728810386688 140728810389450 0
/proc/14699/statm: 28282 363 305 221 0 87 0
[pid=14701] ppid=14699 vsize=26779248 memory=1330988 CPUtime=20049.9 cores=0-7
/proc/14701/stat : 14701 (java) S 14699 14699 13647 0 -1 1077944320 634675 0 1 0 2004397 593 0 0 20 0 28 0 86585329 27421949952 332747 33554432000 4194304 4196468 140736070268256 140736070250800 139980615438071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
/proc/14701/statm: 6694812 332747 3463 1 0 6656006 0
[pid=14701/tid=14702] ppid=14699 vsize=26779248 memory=2240 CPUtime=1.97 cores=0-7
/proc/14701/task/14702/stat : 14702 (java) S 14699 14699 13647 0 -1 1077944384 9236 0 0 0 191 6 0 0 20 0 28 0 86585329 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980619678848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14703] ppid=14699 vsize=26779248 memory=4124 CPUtime=4.51 cores=0-7
/proc/14701/task/14703/stat : 14703 (java) S 14699 14699 13647 0 -1 1077944384 20755 0 0 0 427 24 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980173605392 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14704] ppid=14699 vsize=26779248 memory=4872558044660077418 CPUtime=4.43 cores=0-7
/proc/14701/task/14704/stat : 14704 (java) S 14699 14699 13647 0 -1 1077944384 17196 0 0 0 419 24 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980172552848 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14705] ppid=14699 vsize=26779248 memory=1428 CPUtime=4.45 cores=0-7
/proc/14701/task/14705/stat : 14705 (java) S 14699 14699 13647 0 -1 1077944384 23086 0 0 0 421 24 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980171499792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14706] ppid=14699 vsize=26779248 memory=15876 CPUtime=4.46 cores=0-7
/proc/14701/task/14706/stat : 14706 (java) S 14699 14699 13647 0 -1 1077944384 20700 0 0 0 421 25 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980170447248 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14707] ppid=14699 vsize=26779248 memory=16412 CPUtime=4.42 cores=0-7
/proc/14701/task/14707/stat : 14707 (java) S 14699 14699 13647 0 -1 1077944384 24302 0 0 0 417 25 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980169395216 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14708] ppid=14699 vsize=26779248 memory=14696 CPUtime=4.46 cores=0-7
/proc/14701/task/14708/stat : 14708 (java) S 14699 14699 13647 0 -1 1077944384 21385 0 0 0 422 24 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980168342672 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14709] ppid=14699 vsize=26779248 memory=4048 CPUtime=4.42 cores=0-7
/proc/14701/task/14709/stat : 14709 (java) S 14699 14699 13647 0 -1 1077944384 20140 0 0 0 418 24 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980167289616 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14710] ppid=14699 vsize=26779248 memory=1796 CPUtime=4.42 cores=0-7
/proc/14701/task/14710/stat : 14710 (java) S 14699 14699 13647 0 -1 1077944384 24317 0 0 0 420 22 0 0 20 0 28 0 86585330 27421949952 332747 33554432000 4194304 4196468 140736070268256 139980166237072 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14711] ppid=14699 vsize=26779248 memory=636 CPUtime=1.65 cores=0-7
/proc/14701/task/14711/stat : 14711 (java) S 14699 14699 13647 0 -1 1077944384 54770 0 0 0 120 45 0 0 20 0 28 0 86585331 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979608459504 139980615449218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14712] ppid=14699 vsize=26779248 memory=960 CPUtime=0 cores=0-7
/proc/14701/task/14712/stat : 14712 (java) S 14699 14699 13647 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 86585332 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979607405792 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14713] ppid=14699 vsize=26779248 memory=1232 CPUtime=0 cores=0-7
/proc/14701/task/14713/stat : 14713 (java) S 14699 14699 13647 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 86585332 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979606352640 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14714] ppid=14699 vsize=26779248 memory=2344 CPUtime=0 cores=0-7
/proc/14701/task/14714/stat : 14714 (java) S 14699 14699 13647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86585334 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979605301200 139980615456667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14715] ppid=14699 vsize=26779248 memory=932 CPUtime=3.89 cores=0-7
/proc/14701/task/14715/stat : 14715 (java) S 14699 14699 13647 0 -1 1077944384 27693 0 0 0 385 4 0 0 20 0 28 0 86585334 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979604249328 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14716] ppid=14699 vsize=26779248 memory=1580 CPUtime=4.12 cores=0-7
/proc/14701/task/14716/stat : 14716 (java) S 14699 14699 13647 0 -1 1077944384 20122 0 0 0 408 4 0 0 20 0 28 0 86585334 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979603196784 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14717] ppid=14699 vsize=26779248 memory=2240 CPUtime=3.79 cores=0-7
/proc/14701/task/14717/stat : 14717 (java) S 14699 14699 13647 0 -1 1077944384 23227 0 1 0 375 4 0 0 20 0 28 0 86585334 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979602143728 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14718] ppid=14699 vsize=26779248 memory=4124 CPUtime=1.21 cores=0-7
/proc/14701/task/14718/stat : 14718 (java) S 14699 14699 13647 0 -1 1077944384 17158 0 0 0 118 3 0 0 20 0 28 0 86585334 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979601091184 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14719] ppid=14699 vsize=26779248 memory=1452 CPUtime=0 cores=0-7
/proc/14701/task/14719/stat : 14719 (java) S 14699 14699 13647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86585335 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979600038368 139980615448277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=14720] ppid=14699 vsize=26779248 memory=1330988 CPUtime=0.98 cores=0-7
/proc/14701/task/14720/stat : 14720 (java) S 14699 14699 13647 0 -1 1077944384 5246 0 0 0 28 70 0 0 20 0 28 0 86585335 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979598985904 139980615449218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15385] ppid=14699 vsize=26779248 memory=14134428972616243 CPUtime=2460.63 cores=0-7
/proc/14701/task/15385/stat : 15385 (java) R 14699 14699 13647 0 -1 4202560 21554 0 0 0 246036 27 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979585997672 139980252802334 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15386] ppid=14699 vsize=26779248 memory=1332016 CPUtime=2453.76 cores=0-7
/proc/14701/task/15386/stat : 15386 (java) R 14699 14699 13647 0 -1 4202560 21872 0 0 0 245355 21 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979584946120 139980258192612 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15387] ppid=14699 vsize=26779248 memory=6791534058613427641 CPUtime=2463.7 cores=0-7
/proc/14701/task/15387/stat : 15387 (java) R 14699 14699 13647 0 -1 4202560 21042 0 0 0 246352 18 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979579683400 139980258569328 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15388] ppid=14699 vsize=26779248 memory=4872558044660077418 CPUtime=2454.54 cores=0-7
/proc/14701/task/15388/stat : 15388 (java) R 14699 14699 13647 0 -1 4202560 91024 0 0 0 245354 100 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979577580912 139980258352285 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15389] ppid=14699 vsize=26779248 memory=6944656592455360604 CPUtime=2462.04 cores=0-7
/proc/14701/task/15389/stat : 15389 (java) R 14699 14699 13647 0 -1 4202560 26459 0 0 0 246178 26 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979588104520 139980253592543 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15390] ppid=14699 vsize=26779248 memory=6944656592455359580 CPUtime=2463.65 cores=0-7
/proc/14701/task/15390/stat : 15390 (java) R 14699 14699 13647 0 -1 4202560 17590 0 0 0 246350 15 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979580735944 139980258192890 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15391] ppid=14699 vsize=26779248 memory=6944656592455359580 CPUtime=2456.03 cores=0-7
/proc/14701/task/15391/stat : 15391 (java) R 14699 14699 13647 0 -1 4202560 30725 0 0 0 245574 29 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979578629632 139980249755744 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
[pid=14701/tid=15392] ppid=14699 vsize=26779248 memory=2321236243980304486 CPUtime=2452.65 cores=0-7
/proc/14701/task/15392/stat : 15392 (java) R 14699 14699 13647 0 -1 4202560 37277 0 0 0 245239 26 0 0 20 0 28 0 86590031 27421949952 332747 33554432000 4194304 4196468 140736070268256 139979581788312 139980258349828 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 15507456 140736070276225 140736070276397 140736070276397 140736070279119 0
Current children cumulated CPU time: 20049.9 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 1332440 KiB

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

[startup+2520.04 s]
# the end of solver process 14699 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001161 s, system=0.001161 s

[startup+2520.11 s]
# the end of solver process 14701 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20044.7 s, system=5.93946 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

Child status: 143
Real time (s): 2520.11
CPU time (s): 20050.6
CPU user time (s): 20044.7
CPU system time (s): 5.93946
CPU usage (%): 795.625
Max. virtual memory (cumulated for all children) (KiB): 26892376
Max. memory (cumulated for all children) (KiB): 1448724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20044.7
system time used= 5.93946
maximum resident set size= 1447272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635711
page faults= 1
swaps= 0
block input operations= 64
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158724
involuntary context switches= 205257


# summary of solver processes directly reported to runsolver:
#   pid: 14699,14701
#   total CPU time (s): 20050.6
#   total CPU user time (s): 20044.7
#   total CPU system time (s): 5.93946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4546 second user time and 30.0336 second system time

The end

Name	StillLife/ StillLife-wastage-25_c18.xml
MD5SUM	633a0f5b4e603fff9205bbaeb6c03cff
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	295
Best CPU time to get the best result obtained on this benchmark	20050.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1486
Number of constraints	883
Number of domains	4
Minimum domain size	2
Maximum domain size	1459
Distribution of domain sizes	[{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}]
Minimum variable degree	1
Maximum variable degree	28
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	29
Distribution of constraint arities	[{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}]
Number of extensional constraints	725
Number of intensional constraints	126
Distribution of constraint types	[{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4297366

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