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 5a (2017-08-18)	SAT (TO)	1397	2520.03	2443.3101

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283579-1503198233.xml"  -tl '2520s' -p 1 -x 3
0.11/0.25	c [HOME/instance-4283579-1503198233.xml, -tl, 2520s, -p, 1, -x, 3]
0.11/0.31	c simple solver
0.31/0.38	c parse instance...
1.35/0.78	c solve instance...
7.95/2.81	o 1801 
7.95/2.87	o 1799 
7.95/2.89	o 1782 
8.28/2.91	o 1779 
8.28/2.92	o 1728 
8.28/2.93	o 1725 
10.19/3.60	o 1713 
10.19/3.61	o 1699 
10.46/3.74	o 1689 
59.58/48.68	o 1657 
59.58/48.69	o 1651 
59.80/48.82	o 1579 
59.80/48.83	o 1562 
59.80/48.85	o 1554 
73.85/62.47	o 1539 
74.25/62.84	o 1537 
74.46/63.07	o 1511 
328.48/312.49	o 1493 
328.58/312.57	o 1491 
328.58/312.57	o 1487 
328.98/312.90	o 1483 
328.98/312.93	o 1481 
328.98/312.94	o 1477 
754.83/726.44	o 1473 
756.03/727.60	o 1472 
756.03/727.61	o 1464 
1233.18/1191.93	o 1450 
1236.89/1195.50	o 1446 
1236.89/1195.56	o 1425 
1238.00/1196.69	o 1413 
1272.08/1230.18	o 1406 
1272.08/1230.19	o 1404 
1272.17/1230.23	o 1397 
2520.00/2443.30	s SATISFIABLE
2520.00/2443.30	v <instantiation>
2520.00/2443.30	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.00/2443.30	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 28 94 71 36 77 70 57 52 79 25 65 98 96 44 84 32 24 42 44 62 25 73 7 21 11 100 22 65 69 47 2 22 </values>
2520.00/2443.30	v </instantiation>
2520.00/2443.30	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 (14291 MiB free)
  memory of node 1: 16384 MiB (15244 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283579-1503198233/watcher-4283579-1503198233 -o /tmp/evaluation-result-4283579-1503198233/solver-4283579-1503198233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25501 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 607925336 HOME/instance-4283579-1503198233.xml 

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

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

solver pid=30804, runsolver pid=30801

[startup+0.10016 s]*
/proc/loadavg: 1.82 1.93 1.90 3/205 30814
/proc/meminfo: memFree=30236852/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13574484 memory=19244 CPUtime=0.03 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 4122 0 0 0 2 1 0 0 20 0 9 0 122043782 13900271616 4811 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3393621 4811 2099 1 0 3383118 0
[pid=30806/tid=30807] ppid=30804 vsize=13574484 memory=-8713483618642457695 CPUtime=0.02 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 2826 0 0 0 2 0 0 0 20 0 9 0 122043782 13900271616 4811 18446744073709551615 4194304 4196468 140724752142928 140634196178064 140634184616493 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 122043783 13900271616 4811 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13575508 memory=140561917765248 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 122043783 13901320192 4811 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13575508 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 122043783 13901320192 4811 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13575508 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30811/stat : 30811 (java) S 30804 30804 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122043783 13901320192 4811 18446744073709551615 4194304 4196468 140724752142928 140634145745424 140634191947477 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30812] ppid=30804 vsize=13574484 memory=140561917765248 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122043784 13900271616 4838 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 122043785 13900271616 4838 18446744073709551615 4194304 4196468 140724752142928 140633668830496 140634191947477 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 122043785 13900271616 4838 18446744073709551615 4194304 4196468 140724752142928 140633667778224 140634191947477 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20620 KiB

[startup+0.210166 s]*
/proc/loadavg: 1.82 1.93 1.90 3/211 30820
/proc/meminfo: memFree=30228380/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13974352 memory=27696 CPUtime=0.11 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 5437 0 0 0 10 1 0 0 20 0 15 0 122043782 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3493588 6924 2813 1 0 3482964 0
[pid=30806/tid=30807] ppid=30804 vsize=13974352 memory=-6871798056524144002 CPUtime=0.09 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 3449 0 0 0 8 1 0 0 20 0 15 0 122043782 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140634196161744 140633822074048 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13974352 memory=140561917765248 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30811/stat : 30811 (java) S 30804 30804 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140634145745424 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30812] ppid=30804 vsize=13974352 memory=140561917765248 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122043784 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122043785 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633668830496 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122043785 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633667778160 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30815] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30815/stat : 30815 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043787 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633666726480 140634191955867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30816] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30816/stat : 30816 (java) S 30804 30804 8563 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 122043787 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633665673328 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30817] ppid=30804 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30817/stat : 30817 (java) S 30804 30804 8563 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 122043787 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633664620528 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30818] ppid=30804 vsize=13974352 memory=140561917765248 CPUtime=0.01 cores=1,3,5,7
/proc/30806/task/30818/stat : 30818 (java) S 30804 30804 8563 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 122043787 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633663568240 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30819] ppid=30804 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30819/stat : 30819 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043788 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633662515680 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30820] ppid=30804 vsize=13974352 memory=140561917765248 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30820/stat : 30820 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043793 14309736448 6924 18446744073709551615 4194304 4196468 140724752142928 140633661463472 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29072 KiB

[startup+0.310189 s]*
/proc/loadavg: 1.82 1.93 1.90 4/211 30820
/proc/meminfo: memFree=30215336/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13974352 memory=39724 CPUtime=0.31 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 9134 0 0 0 29 2 0 0 20 0 15 0 122043782 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3493588 9931 2988 1 0 3482964 0
[pid=30806/tid=30807] ppid=30804 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 6287 0 0 0 17 2 0 0 20 0 15 0 122043782 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140634196155344 140634191959197 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30811/stat : 30811 (java) S 30804 30804 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122043783 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140634145745424 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30812] ppid=30804 vsize=13974352 memory=140561917772241 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122043784 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122043785 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633668830496 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122043785 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633667778160 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30815] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30815/stat : 30815 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043787 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633666726480 140634191955867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30816] ppid=30804 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30806/task/30816/stat : 30816 (java) S 30804 30804 8563 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 122043787 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633665673328 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30817] ppid=30804 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30806/task/30817/stat : 30817 (java) S 30804 30804 8563 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 122043787 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633664620528 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30818] ppid=30804 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30806/task/30818/stat : 30818 (java) R 30804 30804 8563 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 15 0 122043787 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633663568240 140634170902428 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30819] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30819/stat : 30819 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043788 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633662515680 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30820] ppid=30804 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30820/stat : 30820 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043793 14309736448 9931 18446744073709551615 4194304 4196468 140724752142928 140633661463472 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41100 KiB

[startup+0.709406 s]
/proc/loadavg: 1.82 1.93 1.90 4/211 30820
/proc/meminfo: memFree=30206048/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13980732 memory=74020 CPUtime=1.35 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 13203 0 0 0 130 5 0 0 20 0 15 0 122043782 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3495183 18505 3172 1 0 3483476 0
[pid=30806/tid=30807] ppid=30804 vsize=13980732 memory=5938676076658386518 CPUtime=0.58 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 8050 0 0 0 54 4 0 0 20 0 15 0 122043782 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140634196171504 140633825186119 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13980732 memory=7449330234657166691 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13980732 memory=6370158481492960344 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13980732 memory=-8629894644521537641 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30811/stat : 30811 (java) S 30804 30804 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122043783 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140634145745424 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30812] ppid=30804 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122043784 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633668830496 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633667778160 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30815] ppid=30804 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30815/stat : 30815 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043787 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633666726480 140634191955867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30816] ppid=30804 vsize=13980732 memory=140561797358192 CPUtime=0.21 cores=1,3,5,7
/proc/30806/task/30816/stat : 30816 (java) R 30804 30804 8563 0 -1 1077944384 1096 0 0 0 21 0 0 0 20 0 15 0 122043787 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633665673328 140634191948418 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30817] ppid=30804 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/30806/task/30817/stat : 30817 (java) R 30804 30804 8563 0 -1 4202560 1084 0 0 0 20 0 0 0 20 0 15 0 122043787 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633664613552 140634171592193 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30818] ppid=30804 vsize=13980732 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/30806/task/30818/stat : 30818 (java) R 30804 30804 8563 0 -1 4202560 1666 0 0 0 34 0 0 0 20 0 15 0 122043787 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633663562592 140634170975164 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30819] ppid=30804 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30819/stat : 30819 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043788 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633662515680 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30820] ppid=30804 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30820/stat : 30820 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043793 14316269568 18505 18446744073709551615 4194304 4196468 140724752142928 140633661463472 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75396 KiB

[startup+1.50157 s]
/proc/loadavg: 1.82 1.93 1.90 5/211 30820
/proc/meminfo: memFree=30169956/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13980732 memory=134616 CPUtime=3.93 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 35991 0 0 0 384 9 0 0 20 0 15 0 122043782 14316269568 33654 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3495183 33654 3191 1 0 3483476 0
[pid=30806/tid=30807] ppid=30804 vsize=13980732 memory=-8774313645642428999 CPUtime=1.36 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 9089 0 0 0 132 4 0 0 20 0 15 0 122043782 14316269568 33654 18446744073709551615 4194304 4196468 140724752142928 140634196173352 140633827900679 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13980732 memory=8316178437708805999 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14316269568 33654 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14316269568 33654 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13980732 memory=-1161699032756281182 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122043783 14316269568 33654 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7

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

[pid=30806/tid=30812] ppid=30804 vsize=13980732 memory=1376 CPUtime=0.72 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 49272 0 0 0 56 16 0 0 20 0 15 0 122043784 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633668830560 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13980732 memory=734616 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633667778176 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30815] ppid=30804 vsize=13980732 memory=734616 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30815/stat : 30815 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043787 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633666726480 140634191955867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30816] ppid=30804 vsize=13980732 memory=1376 CPUtime=5.79 cores=1,3,5,7
/proc/30806/task/30816/stat : 30816 (java) S 30804 30804 8563 0 -1 1077944384 28232 0 0 0 576 3 0 0 20 0 15 0 122043787 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633665673328 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30817] ppid=30804 vsize=13980732 memory=1376 CPUtime=5.26 cores=1,3,5,7
/proc/30806/task/30817/stat : 30817 (java) S 30804 30804 8563 0 -1 1077944384 34696 0 0 0 521 5 0 0 20 0 15 0 122043787 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633664620528 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30818] ppid=30804 vsize=13980732 memory=1376 CPUtime=1.06 cores=1,3,5,7
/proc/30806/task/30818/stat : 30818 (java) S 30804 30804 8563 0 -1 1077944384 15367 0 0 0 103 3 0 0 20 0 15 0 122043787 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633663568240 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30819] ppid=30804 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30819/stat : 30819 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043788 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633662515680 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30820] ppid=30804 vsize=13980732 memory=734616 CPUtime=1.3 cores=1,3,5,7
/proc/30806/task/30820/stat : 30820 (java) S 30804 30804 8563 0 -1 1077944384 1085 0 0 0 61 69 0 0 20 0 15 0 122043793 14316269568 183654 18446744073709551615 4194304 4196468 140724752142928 140633661463472 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 2456.44 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 735992 KiB

[startup+2442.3 s]
/proc/loadavg: 1.70 1.69 1.69 3/214 31079
/proc/meminfo: memFree=28773932/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13980732 memory=967516 CPUtime=2518.89 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 264989 0 0 0 251394 495 0 0 20 0 15 0 122043782 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3495183 241879 3253 1 0 3483476 0
[pid=30806/tid=30807] ppid=30804 vsize=13980732 memory=967516 CPUtime=2419.86 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 70160 0 0 0 241954 32 0 0 20 0 15 0 122043782 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140634196176688 140633831517741 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13980732 memory=976264 CPUtime=21.22 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 15458 0 0 0 2028 94 0 0 20 0 15 0 122043783 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.15 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 16143 0 0 0 2020 95 0 0 20 0 15 0 122043783 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.16 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 15657 0 0 0 2021 95 0 0 20 0 15 0 122043783 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.21 cores=1,3,5,7
/proc/30806/task/30811/stat : 30811 (java) S 30804 30804 8563 0 -1 1077944384 16377 0 0 0 2026 95 0 0 20 0 15 0 122043783 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140634145745424 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30812] ppid=30804 vsize=13980732 memory=967516 CPUtime=0.76 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 50444 0 0 0 60 16 0 0 20 0 15 0 122043784 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633668830560 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633667778176 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30815] ppid=30804 vsize=13980732 memory=981360 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30815/stat : 30815 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043787 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633666726480 140634191955867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30816] ppid=30804 vsize=13980732 memory=1376 CPUtime=5.79 cores=1,3,5,7
/proc/30806/task/30816/stat : 30816 (java) S 30804 30804 8563 0 -1 1077944384 28232 0 0 0 576 3 0 0 20 0 15 0 122043787 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633665673328 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30817] ppid=30804 vsize=13980732 memory=967516 CPUtime=5.26 cores=1,3,5,7
/proc/30806/task/30817/stat : 30817 (java) S 30804 30804 8563 0 -1 1077944384 34696 0 0 0 521 5 0 0 20 0 15 0 122043787 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633664620528 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30818] ppid=30804 vsize=13980732 memory=1376 CPUtime=1.06 cores=1,3,5,7
/proc/30806/task/30818/stat : 30818 (java) S 30804 30804 8563 0 -1 1077944384 15367 0 0 0 103 3 0 0 20 0 15 0 122043787 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633663568240 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30819] ppid=30804 vsize=13980732 memory=967516 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30819/stat : 30819 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043788 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633662515680 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30820] ppid=30804 vsize=13980732 memory=1376 CPUtime=1.33 cores=1,3,5,7
/proc/30806/task/30820/stat : 30820 (java) S 30804 30804 8563 0 -1 1077944384 1101 0 0 0 62 71 0 0 20 0 15 0 122043793 14316269568 241879 18446744073709551615 4194304 4196468 140724752142928 140633661463472 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 2518.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 968892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2443.3 s]
/proc/loadavg: 1.70 1.69 1.69 3/214 31079
/proc/meminfo: memFree=28773932/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13980732 memory=948536 CPUtime=2520 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 264996 0 0 0 251505 495 0 0 20 0 15 0 122043782 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3495183 237134 3253 1 0 3483476 0
[pid=30806/tid=30807] ppid=30804 vsize=13980732 memory=967516 CPUtime=2420.82 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 70161 0 0 0 242050 32 0 0 20 0 15 0 122043782 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634196176976 140633830312137 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13980732 memory=976264 CPUtime=21.26 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 15458 0 0 0 2032 94 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.18 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 16143 0 0 0 2023 95 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.19 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 15661 0 0 0 2024 95 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.25 cores=1,3,5,7
/proc/30806/task/30811/stat : 30811 (java) S 30804 30804 8563 0 -1 1077944384 16379 0 0 0 2030 95 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634145745424 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30812] ppid=30804 vsize=13980732 memory=1376 CPUtime=0.76 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 50444 0 0 0 60 16 0 0 20 0 15 0 122043784 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13980732 memory=967516 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633668830560 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633667778176 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30815] ppid=30804 vsize=13980732 memory=967516 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30815/stat : 30815 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633666726480 140634191955867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30816] ppid=30804 vsize=13980732 memory=1376 CPUtime=5.79 cores=1,3,5,7
/proc/30806/task/30816/stat : 30816 (java) S 30804 30804 8563 0 -1 1077944384 28232 0 0 0 576 3 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633665673328 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30817] ppid=30804 vsize=13980732 memory=1376 CPUtime=5.26 cores=1,3,5,7
/proc/30806/task/30817/stat : 30817 (java) S 30804 30804 8563 0 -1 1077944384 34696 0 0 0 521 5 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633664620528 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30818] ppid=30804 vsize=13980732 memory=981360 CPUtime=1.06 cores=1,3,5,7
/proc/30806/task/30818/stat : 30818 (java) S 30804 30804 8563 0 -1 1077944384 15367 0 0 0 103 3 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633663568240 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30819] ppid=30804 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30819/stat : 30819 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043788 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633662515680 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30820] ppid=30804 vsize=13980732 memory=967516 CPUtime=1.33 cores=1,3,5,7
/proc/30806/task/30820/stat : 30820 (java) S 30804 30804 8563 0 -1 1077944384 1101 0 0 0 62 71 0 0 20 0 15 0 122043793 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633661463472 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 949912 KiB

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

[startup+2443.31 s]
# the end of solver process 30804 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.07 s, system=4.96114 s

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

[startup+2443.3 s]
/proc/loadavg: 1.70 1.69 1.69 3/214 31079
/proc/meminfo: memFree=28773932/32770624 swapFree=67108860/67108860
[pid=30804] ppid=30801 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30804/stat : 30804 (xcsp3-exec) S 30801 30804 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122043775 9740288 344 18446744073709551615 4194304 5098028 140726470458400 140726470456504 140069170565756 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 35180544 140726470463865 140726470464069 140726470464069 140726470467563 0
/proc/30804/statm: 2378 344 289 221 0 87 0
[pid=30806] ppid=30804 vsize=13980732 memory=948536 CPUtime=2520 cores=1,3,5,7
/proc/30806/stat : 30806 (java) S 30804 30804 8563 0 -1 1077944320 264996 0 0 0 251505 495 0 0 20 0 15 0 122043782 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140724752125472 140634191937271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
/proc/30806/statm: 3495183 237134 3253 1 0 3483476 0
[pid=30806/tid=30807] ppid=30804 vsize=13980732 memory=967516 CPUtime=2420.82 cores=1,3,5,7
/proc/30806/task/30807/stat : 30807 (java) R 30804 30804 8563 0 -1 4202560 70161 0 0 0 242050 32 0 0 20 0 15 0 122043782 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634196176976 140633830312137 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30808] ppid=30804 vsize=13980732 memory=976264 CPUtime=21.26 cores=1,3,5,7
/proc/30806/task/30808/stat : 30808 (java) S 30804 30804 8563 0 -1 1077944384 15458 0 0 0 2032 94 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634148903312 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30809] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.18 cores=1,3,5,7
/proc/30806/task/30809/stat : 30809 (java) S 30804 30804 8563 0 -1 1077944384 16143 0 0 0 2023 95 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634147850512 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30810] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.19 cores=1,3,5,7
/proc/30806/task/30810/stat : 30810 (java) S 30804 30804 8563 0 -1 1077944384 15661 0 0 0 2024 95 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634146798224 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30811] ppid=30804 vsize=13980732 memory=967516 CPUtime=21.25 cores=1,3,5,7
/proc/30806/task/30811/stat : 30811 (java) S 30804 30804 8563 0 -1 1077944384 16379 0 0 0 2030 95 0 0 20 0 15 0 122043783 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140634145745424 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30812] ppid=30804 vsize=13980732 memory=1376 CPUtime=0.76 cores=1,3,5,7
/proc/30806/task/30812/stat : 30812 (java) S 30804 30804 8563 0 -1 1077944384 50444 0 0 0 60 16 0 0 20 0 15 0 122043784 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633669884528 140634191948418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30813] ppid=30804 vsize=13980732 memory=967516 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30813/stat : 30813 (java) S 30804 30804 8563 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633668830560 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30814] ppid=30804 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30814/stat : 30814 (java) S 30804 30804 8563 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122043785 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633667778176 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30815] ppid=30804 vsize=13980732 memory=967516 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30815/stat : 30815 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633666726480 140634191955867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30816] ppid=30804 vsize=13980732 memory=1376 CPUtime=5.79 cores=1,3,5,7
/proc/30806/task/30816/stat : 30816 (java) S 30804 30804 8563 0 -1 1077944384 28232 0 0 0 576 3 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633665673328 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30817] ppid=30804 vsize=13980732 memory=1376 CPUtime=5.26 cores=1,3,5,7
/proc/30806/task/30817/stat : 30817 (java) S 30804 30804 8563 0 -1 1077944384 34696 0 0 0 521 5 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633664620528 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30818] ppid=30804 vsize=13980732 memory=981360 CPUtime=1.06 cores=1,3,5,7
/proc/30806/task/30818/stat : 30818 (java) S 30804 30804 8563 0 -1 1077944384 15367 0 0 0 103 3 0 0 20 0 15 0 122043787 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633663568240 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30819] ppid=30804 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30806/task/30819/stat : 30819 (java) S 30804 30804 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122043788 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633662515680 140634191947477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
[pid=30806/tid=30820] ppid=30804 vsize=13980732 memory=967516 CPUtime=1.33 cores=1,3,5,7
/proc/30806/task/30820/stat : 30820 (java) S 30804 30804 8563 0 -1 1077944384 1101 0 0 0 62 71 0 0 20 0 15 0 122043793 14316269568 237134 18446744073709551615 4194304 4196468 140724752142928 140633661463472 140634191948418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23420928 140724752146865 140724752147041 140724752147041 140724752150479 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 949912 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2443.31
CPU time (s): 2520.03
CPU user time (s): 2515.07
CPU system time (s): 4.96114
CPU usage (%): 103.14
Max. virtual memory (cumulated for all children) (KiB): 13992868
Max. memory (cumulated for all children) (KiB): 1230692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.07
system time used= 4.96114
maximum resident set size= 1240980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65031
involuntary context switches= 3028


# summary of solver processes directly reported to runsolver:
#   pid: 30804
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2515.07
#   total CPU system time (s): 4.96114

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0789 second user time and 24.3617 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 4283579

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