2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	1202	2520.0601	2491.22

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269359-1502762922.xml"  -tl '2520s' -p 1 -x 0
0.08/0.28	c [HOME/instance-4269359-1502762922.xml, -tl, 2520s, -p, 1, -x, 0]
0.26/0.34	c simple solver
0.26/0.41	c parse instance...
1.27/0.78	c solve instance...
2.91/1.24	o 1656 
2.91/1.26	o 1627 
2.91/1.28	o 1625 
2.91/1.29	o 1610 
3.23/1.30	o 1590 
3.23/1.33	o 1585 
3.23/1.34	o 1583 
3.23/1.34	o 1563 
6.73/2.93	o 1469 
6.73/2.93	o 1465 
6.73/2.94	o 1464 
6.73/2.94	o 1460 
6.73/2.94	o 1452 
6.73/2.95	o 1449 
6.73/2.95	o 1441 
6.73/2.96	o 1420 
6.73/2.97	o 1416 
6.73/2.97	o 1411 
6.73/2.97	o 1403 
6.73/2.98	o 1400 
6.73/2.98	o 1392 
6.73/2.98	o 1385 
6.73/2.99	o 1381 
40.78/36.24	o 1373 
78.85/74.12	o 1372 
120.87/116.17	o 1362 
120.87/116.17	o 1344 
121.07/116.32	o 1328 
178.21/173.46	o 1322 
178.92/174.12	o 1320 
178.92/174.15	o 1281 
179.21/174.48	o 1265 
179.21/174.48	o 1234 
220.53/215.73	o 1224 
220.73/215.96	o 1220 
220.73/215.97	o 1207 
220.73/215.99	o 1202 
2520.02/2491.20	s SATISFIABLE
2520.02/2491.20	v <instantiation>
2520.02/2491.20	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] </list>
2520.02/2491.20	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 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 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 91 38 75 90 97 62 57 81 55 99 43 98 32 16 73 23 42 98 65 65 25 48 7 69 59 21 32 21 95 48 100 22 </values>
2520.02/2491.20	v </instantiation>
2520.02/2491.20	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 (14329 MiB free)
  memory of node 1: 16384 MiB (15542 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269359-1502762922/watcher-4269359-1502762922 -o /tmp/evaluation-result-4269359-1502762922/solver-4269359-1502762922 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1644030616 HOME/instance-4269359-1502762922.xml 

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

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


[startup+0.100106 s]*
/proc/loadavg: 1.70 1.67 1.67 3/199 12234
/proc/meminfo: memFree=30588952/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB

[startup+0.209453 s]*
/proc/loadavg: 1.70 1.67 1.67 3/214 12249
/proc/meminfo: memFree=30576888/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
[pid=12235] ppid=12233 vsize=13974352 memory=24844 CPUtime=0.08 cores=1,3,5,7
/proc/12235/stat : 12235 (java) S 12233 12233 4674 0 -1 1077944320 5169 0 0 0 7 1 0 0 20 0 15 0 123798761 14309736448 6211 18446744073709551615 4194304 4196468 140736931050288 140736931032832 140480169004791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
/proc/12235/statm: 3493588 6211 2712 1 0 3482964 0
[pid=12235/tid=12236] ppid=12233 vsize=13974352 memory=8508281356422187169 CPUtime=0.06 cores=1,3,5,7
/proc/12235/task/12236/stat : 12236 (java) R 12233 12233 4674 0 -1 4202560 3330 0 0 0 6 0 0 0 20 0 15 0 123798761 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140480173230480 140480153085278 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12237] ppid=12233 vsize=13974352 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12237/stat : 12237 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479769537296 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12238] ppid=12233 vsize=13974352 memory=140095538472576 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12238/stat : 12238 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479768484752 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12239] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12239/stat : 12239 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479767432208 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12240] ppid=12233 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12240/stat : 12240 (java) S 12233 12233 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479766379664 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12241] ppid=12233 vsize=13974352 memory=140095538472576 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12241/stat : 12241 (java) S 12233 12233 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123798763 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479647537136 140480169015938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12242] ppid=12233 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12242/stat : 12242 (java) S 12233 12233 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123798764 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479646483360 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12243] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123798764 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) S 12233 12233 4674 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 123798766 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479643326960 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798766 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479642274416 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13974352 memory=140095538472576 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) S 12233 12233 4674 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 123798766 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13974352 memory=140095538472576 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798771 14309736448 6277 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26220 KiB

[startup+0.310255 s]*
/proc/loadavg: 1.70 1.67 1.67 3/214 12249
/proc/meminfo: memFree=30562108/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
[pid=12235] ppid=12233 vsize=13974352 memory=36420 CPUtime=0.26 cores=1,3,5,7
/proc/12235/stat : 12235 (java) S 12233 12233 4674 0 -1 1077944320 8726 0 0 0 23 3 0 0 20 0 15 0 123798761 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140736931032832 140480169004791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
/proc/12235/statm: 3493588 9105 2940 1 0 3482964 0
[pid=12235/tid=12236] ppid=12233 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=1,3,5,7
/proc/12235/task/12236/stat : 12236 (java) R 12233 12233 4674 0 -1 4202560 6074 0 0 0 14 2 0 0 20 0 15 0 123798761 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140480173209200 140480150414640 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12237] ppid=12233 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12237/stat : 12237 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479769537296 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12238] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12238/stat : 12238 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479768484752 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12239] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12239/stat : 12239 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479767432208 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12240] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12240/stat : 12240 (java) S 12233 12233 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123798762 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479766379664 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12241] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12241/stat : 12241 (java) S 12233 12233 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123798763 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479647537136 140480169015938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12242] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12242/stat : 12242 (java) S 12233 12233 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123798764 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479646483360 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12243] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123798764 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) R 12233 12233 4674 0 -1 4202560 605 0 0 0 2 0 0 0 20 0 15 0 123798766 14309736448 9105 18446744073709551615 4194304 4196468 140736931050288 140479643326960 140480146639440 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) S 12233 12233 4674 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 123798766 14309736448 9170 18446744073709551615 4194304 4196468 140736931050288 140479642274416 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) S 12233 12233 4674 0 -1 1077944384 699 0 0 0 5 0 0 0 20 0 15 0 123798766 14309736448 9170 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14309736448 9170 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798771 14309736448 9170 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37796 KiB

[startup+0.700924 s]
/proc/loadavg: 1.70 1.67 1.67 4/214 12249
/proc/meminfo: memFree=30551164/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
[pid=12235] ppid=12233 vsize=13980732 memory=73120 CPUtime=1.27 cores=1,3,5,7
/proc/12235/stat : 12235 (java) S 12233 12233 4674 0 -1 1077944320 12990 0 0 0 122 5 0 0 20 0 15 0 123798761 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140736931032832 140480169004791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
/proc/12235/statm: 3495183 18280 3167 1 0 3483476 0
[pid=12235/tid=12236] ppid=12233 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/12235/task/12236/stat : 12236 (java) R 12233 12233 4674 0 -1 4202560 8012 0 0 0 51 3 0 0 20 0 15 0 123798761 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140480173242208 140479807171716 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12237] ppid=12233 vsize=13980732 memory=2820 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12237/stat : 12237 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479769537296 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12238] ppid=12233 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12238/stat : 12238 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479768484752 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12239] ppid=12233 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12239/stat : 12239 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479767432208 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12240] ppid=12233 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12240/stat : 12240 (java) S 12233 12233 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123798762 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479766379664 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12241] ppid=12233 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12241/stat : 12241 (java) S 12233 12233 4674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 123798763 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479647537136 140480169015938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12242] ppid=12233 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12242/stat : 12242 (java) S 12233 12233 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479646483360 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12243] ppid=12233 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) R 12233 12233 4674 0 -1 4202560 1341 0 0 0 20 0 0 0 20 0 15 0 123798766 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479643312984 140480150548880 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13980732 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) R 12233 12233 4674 0 -1 4202560 763 0 0 0 17 0 0 0 20 0 15 0 123798766 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479642263216 140480147137332 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13980732 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) R 12233 12233 4674 0 -1 4202560 1568 0 0 0 32 0 0 0 20 0 15 0 123798766 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480147618596 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798771 14316269568 18280 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 74496 KiB

[startup+1.50087 s]
/proc/loadavg: 1.70 1.67 1.67 5/214 12249
/proc/meminfo: memFree=30510508/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
[pid=12235] ppid=12233 vsize=13983076 memory=145472 CPUtime=3.83 cores=1,3,5,7
/proc/12235/stat : 12235 (java) S 12233 12233 4674 0 -1 1077944320 29831 0 0 0 375 8 0 0 20 0 15 0 123798761 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140736931032832 140480169004791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
/proc/12235/statm: 3495769 36368 3191 1 0 3484062 0
[pid=12235/tid=12236] ppid=12233 vsize=13983076 memory=662364497384251440 CPUtime=1.34 cores=1,3,5,7
/proc/12235/task/12236/stat : 12236 (java) R 12233 12233 4674 0 -1 4202560 9194 0 0 0 130 4 0 0 20 0 15 0 123798761 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140480173237176 140479812359542 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12237] ppid=12233 vsize=13983076 memory=18983755451683 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12237/stat : 12237 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479769537296 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12238] ppid=12233 vsize=13983076 memory=6369885810274087985 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12238/stat : 12238 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479768484752 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12239] ppid=12233 vsize=13983076 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12239/stat : 12239 (java) S 12233 12233 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123798762 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479767432208 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12240] ppid=12233 vsize=13983076 memory=280190781489392 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12240/stat : 12240 (java) S 12233 12233 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123798762 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479766379664 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12241] ppid=12233 vsize=13983076 memory=280190781932256 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12241/stat : 12241 (java) S 12233 12233 4674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 123798763 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479647537136 140480169015938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12242] ppid=12233 vsize=13983076 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12242/stat : 12242 (java) S 12233 12233 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123798764 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479646483360 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12243] ppid=12233 vsize=13983076 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123798764 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13983076 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13983076 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) R 12233 12233 4674 0 -1 4202560 8400 0 0 0 97 1 0 0 20 0 15 0 123798766 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479643312456 140480150549025 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13983076 memory=-1807685287725067907 CPUtime=0.95 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) R 12233 12233 4674 0 -1 4202560 8053 0 0 0 94 1 0 0 20 0 15 0 123798766 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479642260392 140480148175837 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13983076 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) S 12233 12233 4674 0 -1 1077944384 2872 0 0 0 53 0 0 0 20 0 15 0 123798766 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13983076 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13983076 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123798771 14318669824 36368 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0

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

/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 909828 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13980732 memory=3639312 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14316269568 909828 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13980732 memory=1376 CPUtime=2.21 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) S 12233 12233 4674 0 -1 1077944384 17651 0 0 0 219 2 0 0 20 0 15 0 123798766 14316269568 909828 18446744073709551615 4194304 4196468 140736931050288 140479643326960 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13980732 memory=2012 CPUtime=2.09 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) S 12233 12233 4674 0 -1 1077944384 14738 0 0 0 207 2 0 0 20 0 15 0 123798766 14316269568 909828 18446744073709551615 4194304 4196468 140736931050288 140479642274416 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13980732 memory=11048 CPUtime=0.65 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) S 12233 12233 4674 0 -1 1077944384 8629 0 0 0 63 2 0 0 20 0 15 0 123798766 14316269568 909828 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13980732 memory=3639312 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14316269568 909828 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13980732 memory=2320 CPUtime=0.66 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 2006 0 0 0 29 37 0 0 20 0 15 0 123798771 14316269568 909828 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
Current children cumulated CPU time: 2348.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3640688 KiB

[startup+2382.3 s]
/proc/loadavg: 1.89 1.73 1.73 3/214 12500
/proc/meminfo: memFree=27878524/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
[pid=12235] ppid=12233 vsize=13980732 memory=3644420 CPUtime=2409.53 cores=1,3,5,7
/proc/12235/stat : 12235 (java) S 12233 12233 4674 0 -1 1077944320 173291 0 0 0 240749 204 0 0 20 0 15 0 123798761 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140736931032832 140480169004791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
/proc/12235/statm: 3495183 911105 3255 1 0 3483476 0
[pid=12235/tid=12236] ppid=12233 vsize=13980732 memory=3642884 CPUtime=2372.7 cores=1,3,5,7
/proc/12235/task/12236/stat : 12236 (java) R 12233 12233 4674 0 -1 4202560 68399 0 0 0 237164 106 0 0 20 0 15 0 123798761 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140480173243824 140479810778063 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12237] ppid=12233 vsize=13980732 memory=3643400 CPUtime=7.5 cores=1,3,5,7
/proc/12235/task/12237/stat : 12237 (java) S 12233 12233 4674 0 -1 1077944384 10979 0 0 0 738 12 0 0 20 0 15 0 123798762 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479769537296 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12238] ppid=12233 vsize=13980732 memory=3642884 CPUtime=7.49 cores=1,3,5,7
/proc/12235/task/12238/stat : 12238 (java) S 12233 12233 4674 0 -1 1077944384 12466 0 0 0 735 14 0 0 20 0 15 0 123798762 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479768484752 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12239] ppid=12233 vsize=13980732 memory=3644420 CPUtime=7.47 cores=1,3,5,7
/proc/12235/task/12239/stat : 12239 (java) S 12233 12233 4674 0 -1 1077944384 11544 0 0 0 734 13 0 0 20 0 15 0 123798762 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479767432208 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12240] ppid=12233 vsize=13980732 memory=1376 CPUtime=7.47 cores=1,3,5,7
/proc/12235/task/12240/stat : 12240 (java) S 12233 12233 4674 0 -1 1077944384 11489 0 0 0 735 12 0 0 20 0 15 0 123798762 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479766379664 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12241] ppid=12233 vsize=13980732 memory=1376 CPUtime=1.17 cores=1,3,5,7
/proc/12235/task/12241/stat : 12241 (java) S 12233 12233 4674 0 -1 1077944384 14003 0 0 0 103 14 0 0 20 0 15 0 123798763 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479647537136 140480169015938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12242] ppid=12233 vsize=13980732 memory=140095390838065 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12242/stat : 12242 (java) S 12233 12233 4674 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479646483360 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12243] ppid=12233 vsize=13980732 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13980732 memory=3644420 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13980732 memory=4148 CPUtime=2.21 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) S 12233 12233 4674 0 -1 1077944384 17653 0 0 0 219 2 0 0 20 0 15 0 123798766 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479643326960 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13980732 memory=1376 CPUtime=2.09 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) S 12233 12233 4674 0 -1 1077944384 14740 0 0 0 207 2 0 0 20 0 15 0 123798766 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479642274416 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13980732 memory=1376 CPUtime=0.65 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) S 12233 12233 4674 0 -1 1077944384 8631 0 0 0 63 2 0 0 20 0 15 0 123798766 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13980732 memory=4572 CPUtime=0.69 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 2025 0 0 0 30 39 0 0 20 0 15 0 123798771 14316269568 911105 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
Current children cumulated CPU time: 2409.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3645796 KiB

[startup+2442.3 s]
/proc/loadavg: 1.93 1.76 1.74 3/214 12502
/proc/meminfo: memFree=27886980/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
[pid=12235] ppid=12233 vsize=13980732 memory=3645948 CPUtime=2470.02 cores=1,3,5,7
/proc/12235/stat : 12235 (java) S 12233 12233 4674 0 -1 1077944320 177553 0 0 0 246795 207 0 0 20 0 15 0 123798761 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140736931032832 140480169004791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
/proc/12235/statm: 3495183 911487 3255 1 0 3483476 0
[pid=12235/tid=12236] ppid=12233 vsize=13980732 memory=1376 CPUtime=2432.53 cores=1,3,5,7
/proc/12235/task/12236/stat : 12236 (java) R 12233 12233 4674 0 -1 4202560 70534 0 0 0 243147 106 0 0 20 0 15 0 123798761 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140480173243936 140479813285133 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12237] ppid=12233 vsize=13980732 memory=3645948 CPUtime=7.65 cores=1,3,5,7
/proc/12235/task/12237/stat : 12237 (java) S 12233 12233 4674 0 -1 1077944384 11258 0 0 0 753 12 0 0 20 0 15 0 123798762 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479769537296 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12238] ppid=12233 vsize=13980732 memory=3645948 CPUtime=7.64 cores=1,3,5,7
/proc/12235/task/12238/stat : 12238 (java) S 12233 12233 4674 0 -1 1077944384 13164 0 0 0 750 14 0 0 20 0 15 0 123798762 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479768484752 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12239] ppid=12233 vsize=13980732 memory=3645948 CPUtime=7.64 cores=1,3,5,7
/proc/12235/task/12239/stat : 12239 (java) S 12233 12233 4674 0 -1 1077944384 11847 0 0 0 750 14 0 0 20 0 15 0 123798762 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479767432208 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12240] ppid=12233 vsize=13980732 memory=3645948 CPUtime=7.63 cores=1,3,5,7
/proc/12235/task/12240/stat : 12240 (java) S 12233 12233 4674 0 -1 1077944384 12177 0 0 0 750 13 0 0 20 0 15 0 123798762 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479766379664 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12241] ppid=12233 vsize=13980732 memory=3645948 CPUtime=1.18 cores=1,3,5,7
/proc/12235/task/12241/stat : 12241 (java) S 12233 12233 4674 0 -1 1077944384 14137 0 0 0 104 14 0 0 20 0 15 0 123798763 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479647537136 140480169015938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12242] ppid=12233 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12242/stat : 12242 (java) S 12233 12233 4674 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479646483360 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12243] ppid=12233 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13980732 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13980732 memory=3645948 CPUtime=2.21 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) S 12233 12233 4674 0 -1 1077944384 17655 0 0 0 219 2 0 0 20 0 15 0 123798766 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479643326960 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13980732 memory=1376 CPUtime=2.09 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) S 12233 12233 4674 0 -1 1077944384 14742 0 0 0 207 2 0 0 20 0 15 0 123798766 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479642274416 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13980732 memory=1376 CPUtime=0.65 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) S 12233 12233 4674 0 -1 1077944384 8633 0 0 0 63 2 0 0 20 0 15 0 123798766 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13980732 memory=3645948 CPUtime=0.7 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 2044 0 0 0 30 40 0 0 20 0 15 0 123798771 14316269568 911487 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
Current children cumulated CPU time: 2470.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3647324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2491.2 s]
/proc/loadavg: 1.80 1.75 1.74 3/215 12505
/proc/meminfo: memFree=27894524/32770624 swapFree=67108764/67108860
[pid=12233] ppid=12230 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/12233/stat : 12233 (xcsp3-exec) S 12230 12233 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 123798751 9740288 344 18446744073709551615 4194304 5098028 140732275084224 140732275082328 140049400140412 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 17428480 140732275089784 140732275089989 140732275089989 140732275093483 0
/proc/12233/statm: 2378 344 289 221 0 87 0
[pid=12235] ppid=12233 vsize=13980732 memory=3650032 CPUtime=2520.02 cores=1,3,5,7
/proc/12235/stat : 12235 (java) S 12233 12233 4674 0 -1 1077944320 183177 0 0 0 251793 209 0 0 20 0 15 0 123798761 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140736931032832 140480169004791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
/proc/12235/statm: 3495183 912508 3255 1 0 3483476 0
[pid=12235/tid=12236] ppid=12233 vsize=13980732 memory=1376 CPUtime=2481.03 cores=1,3,5,7
/proc/12235/task/12236/stat : 12236 (java) R 12233 12233 4674 0 -1 4202560 73795 0 0 0 247997 106 0 0 20 0 15 0 123798761 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140480173244336 140479814693442 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12237] ppid=12233 vsize=13980732 memory=3650032 CPUtime=8.02 cores=1,3,5,7
/proc/12235/task/12237/stat : 12237 (java) S 12233 12233 4674 0 -1 1077944384 11603 0 0 0 790 12 0 0 20 0 15 0 123798762 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479769537296 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12238] ppid=12233 vsize=13980732 memory=2320 CPUtime=8.01 cores=1,3,5,7
/proc/12235/task/12238/stat : 12238 (java) S 12233 12233 4674 0 -1 1077944384 13514 0 0 0 787 14 0 0 20 0 15 0 123798762 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479768484752 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12239] ppid=12233 vsize=13980732 memory=1376 CPUtime=8.01 cores=1,3,5,7
/proc/12235/task/12239/stat : 12239 (java) S 12233 12233 4674 0 -1 1077944384 12605 0 0 0 787 14 0 0 20 0 15 0 123798762 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479767432208 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12240] ppid=12233 vsize=13980732 memory=3650544 CPUtime=8 cores=1,3,5,7
/proc/12235/task/12240/stat : 12240 (java) S 12233 12233 4674 0 -1 1077944384 12937 0 0 0 787 13 0 0 20 0 15 0 123798762 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479766379664 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12241] ppid=12233 vsize=13980732 memory=928 CPUtime=1.19 cores=1,3,5,7
/proc/12235/task/12241/stat : 12241 (java) S 12233 12233 4674 0 -1 1077944384 14267 0 0 0 105 14 0 0 20 0 15 0 123798763 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479647537136 140480169015938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12242] ppid=12233 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12242/stat : 12242 (java) S 12233 12233 4674 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479646483360 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12243] ppid=12233 vsize=13980732 memory=844 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12243/stat : 12243 (java) S 12233 12233 4674 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 123798764 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479645430768 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12244] ppid=12233 vsize=13980732 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12244/stat : 12244 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798766 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479644379344 140480169023387 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12245] ppid=12233 vsize=13980732 memory=3908 CPUtime=2.21 cores=1,3,5,7
/proc/12235/task/12245/stat : 12245 (java) S 12233 12233 4674 0 -1 1077944384 17657 0 0 0 219 2 0 0 20 0 15 0 123798766 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479643326960 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12246] ppid=12233 vsize=13980732 memory=60140 CPUtime=2.09 cores=1,3,5,7
/proc/12235/task/12246/stat : 12246 (java) S 12233 12233 4674 0 -1 1077944384 14744 0 0 0 207 2 0 0 20 0 15 0 123798766 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479642274416 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12247] ppid=12233 vsize=13980732 memory=1296 CPUtime=0.65 cores=1,3,5,7
/proc/12235/task/12247/stat : 12247 (java) S 12233 12233 4674 0 -1 1077944384 8635 0 0 0 63 2 0 0 20 0 15 0 123798766 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479641221872 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12248] ppid=12233 vsize=13980732 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/12235/task/12248/stat : 12248 (java) S 12233 12233 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123798767 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479640169568 140480169014997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
[pid=12235/tid=12249] ppid=12233 vsize=13980732 memory=1724 CPUtime=0.72 cores=1,3,5,7
/proc/12235/task/12249/stat : 12249 (java) S 12233 12233 4674 0 -1 1077944384 2058 0 0 0 31 41 0 0 20 0 15 0 123798771 14316269568 912508 18446744073709551615 4194304 4196468 140736931050288 140479639116080 140480169015938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34045952 140736931058097 140736931058273 140736931058273 140736931061711 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3651408 KiB

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

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

[startup+2491.22 s]
# the end of solver process 12235 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.95 s, system=2.11497 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): 2491.22
CPU time (s): 2520.06
CPU user time (s): 2517.95
CPU system time (s): 2.11497
CPU usage (%): 101.158
Max. virtual memory (cumulated for all children) (KiB): 13992592
Max. memory (cumulated for all children) (KiB): 3651920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.95
system time used= 2.11497
maximum resident set size= 3650544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85324
involuntary context switches= 4234


# summary of solver processes directly reported to runsolver:
#   pid: 12233,12235
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.95
#   total CPU system time (s): 2.11497

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2324 second user time and 24.4915 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml
MD5SUM	65a76f6052f0c7193e3442ad9f3b990a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	743
Best CPU time to get the best result obtained on this benchmark	2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4269359

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