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-07-26)	SAT (TO)	1397	2520.0601	2440.4099

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272299-1502760733.xml"  -tl '2520s' -p 1 -x 3
0.11/0.26	c [HOME/instance-4272299-1502760733.xml, -tl, 2520s, -p, 1, -x, 3]
0.31/0.32	c simple solver
0.31/0.39	c parse instance...
1.32/0.79	c solve instance...
8.88/3.13	o 1801 
8.88/3.19	o 1799 
9.17/3.21	o 1782 
9.17/3.24	o 1779 
9.17/3.25	o 1728 
9.17/3.26	o 1725 
11.31/4.01	o 1713 
11.64/4.01	o 1699 
11.64/4.06	o 1689 
58.98/47.46	o 1657 
58.98/47.46	o 1651 
59.20/47.60	o 1579 
59.20/47.61	o 1562 
59.20/47.63	o 1554 
73.42/61.23	o 1539 
73.82/61.61	o 1537 
74.03/61.84	o 1511 
324.18/304.37	o 1493 
324.28/304.45	o 1491 
324.28/304.45	o 1487 
324.58/304.77	o 1483 
324.68/304.80	o 1481 
324.68/304.81	o 1477 
733.10/701.84	o 1473 
734.20/702.98	o 1472 
734.20/702.99	o 1464 
1193.82/1150.36	o 1450 
1197.02/1153.58	o 1446 
1197.13/1153.63	o 1425 
1198.13/1154.69	o 1413 
1229.23/1185.17	o 1406 
1229.23/1185.17	o 1404 
1229.32/1185.22	o 1397 
2520.03/2440.40	s SATISFIABLE
2520.03/2440.40	v <instantiation>
2520.03/2440.40	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.03/2440.40	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.03/2440.40	v </instantiation>
2520.03/2440.40	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 (15195 MiB free)
  memory of node 1: 16384 MiB (13665 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272299-1502760733/watcher-4272299-1502760733 -o /tmp/evaluation-result-4272299-1502760733/solver-4272299-1502760733 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 29590246 HOME/instance-4272299-1502760733.xml 

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

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


[startup+0.10009 s]*
/proc/loadavg: 1.90 1.82 1.79 3/205 22569
/proc/meminfo: memFree=29546672/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13507920 memory=18140 CPUtime=0.02 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 3836 0 0 0 1 1 0 0 20 0 8 0 29955954 13832110080 4535 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3376980 4535 2047 1 0 3366477 0
[pid=22564/tid=22565] ppid=22562 vsize=13574484 memory=7078076838863583841 CPUtime=0.01 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 2591 0 0 0 1 0 0 0 20 0 9 0 29955954 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139846321918472 139846299963440 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13574484 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 29955955 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13574484 memory=140602413127296 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 29955955 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 29955955 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22569/stat : 22569 (java) S 22562 22562 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 29955955 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139845914843408 139846317692629 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22570] ppid=22562 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22570/stat : 22570 (java) S 22562 22562 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 29955956 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139845234445168 139846317693570 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22571] ppid=22562 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22571/stat : 22571 (java) S 22562 22562 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 29955957 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139845233391136 139846317692629 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22572] ppid=22562 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 29955957 13900271616 4585 18446744073709551615 4194304 4196468 140726718902080 139845232338352 139846317692629 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 19520 KiB

[startup+0.210317 s]*
/proc/loadavg: 1.90 1.82 1.79 3/214 22578
/proc/meminfo: memFree=29536724/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13974352 memory=29568 CPUtime=0.11 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 5379 0 0 0 10 1 0 0 20 0 15 0 29955954 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3493588 7392 2809 1 0 3482964 0
[pid=22564/tid=22565] ppid=22562 vsize=13974352 memory=7078076838863583841 CPUtime=0.08 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 3398 0 0 0 8 0 0 0 20 0 15 0 29955954 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139846321910656 139846317694358 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13974352 memory=140602413127296 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22569/stat : 22569 (java) S 22562 22562 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845914843408 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22570] ppid=22562 vsize=13974352 memory=140602413127296 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22570/stat : 22570 (java) S 22562 22562 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29955956 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845234445168 139846317693570 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22571] ppid=22562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22571/stat : 22571 (java) S 22562 22562 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 29955957 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845233391136 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22572] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 29955957 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845232338288 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22573] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22573/stat : 22573 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845231286608 139846317701019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22574] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22574/stat : 22574 (java) S 22562 22562 7968 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 29955960 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845230233968 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22575] ppid=22562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22575/stat : 22575 (java) S 22562 22562 7968 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 29955960 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845229181168 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22576] ppid=22562 vsize=13974352 memory=140602413127296 CPUtime=0.01 cores=0,2,4,6
/proc/22564/task/22576/stat : 22576 (java) R 22562 22562 7968 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 15 0 29955960 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845228128368 139846317703770 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22577] ppid=22562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22577/stat : 22577 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845227075808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22578] ppid=22562 vsize=13974352 memory=140602413127296 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22578/stat : 22578 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955964 14309736448 7392 18446744073709551615 4194304 4196468 140726718902080 139845226024112 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30948 KiB

[startup+0.310525 s]*
/proc/loadavg: 1.90 1.82 1.79 4/214 22578
/proc/meminfo: memFree=29526548/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13974352 memory=41076 CPUtime=0.31 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 8998 0 0 0 28 3 0 0 20 0 15 0 29955954 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3493588 10269 3000 1 0 3482964 0
[pid=22564/tid=22565] ppid=22562 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 6217 0 0 0 16 2 0 0 20 0 15 0 29955954 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139846321916688 139846317694358 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22569/stat : 22569 (java) S 22562 22562 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29955955 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845914843408 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22570] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22570/stat : 22570 (java) S 22562 22562 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29955956 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845234445168 139846317693570 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22571] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22571/stat : 22571 (java) S 22562 22562 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 29955957 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845233391136 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22572] ppid=22562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 29955957 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845232338288 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22573] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22573/stat : 22573 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845231286608 139846317701019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22574] ppid=22562 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22564/task/22574/stat : 22574 (java) S 22562 22562 7968 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 15 0 29955960 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845230233968 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22575] ppid=22562 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22564/task/22575/stat : 22575 (java) S 22562 22562 7968 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 29955960 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845229181168 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22576] ppid=22562 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/22564/task/22576/stat : 22576 (java) R 22562 22562 7968 0 -1 4202560 717 0 0 0 6 0 0 0 20 0 15 0 29955960 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845228128368 139846301762910 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22577] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22577/stat : 22577 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845227075808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22578] ppid=22562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22578/stat : 22578 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955964 14309736448 10269 18446744073709551615 4194304 4196468 140726718902080 139845226024112 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 42456 KiB

[startup+0.701198 s]
/proc/loadavg: 1.99 1.84 1.80 4/214 22578
/proc/meminfo: memFree=29512332/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13980732 memory=75512 CPUtime=1.32 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 13040 0 0 0 128 4 0 0 20 0 15 0 29955954 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3495183 18878 3171 1 0 3483476 0
[pid=22564/tid=22565] ppid=22562 vsize=13980732 memory=2562015102721 CPUtime=0.56 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 7993 0 0 0 53 3 0 0 20 0 15 0 29955954 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139846321920416 139845959568666 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13980732 memory=2587784906497 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13980732 memory=2635029546753 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13980732 memory=2677979219713 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13980732 memory=2806828238593 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22569/stat : 22569 (java) S 22562 22562 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29955955 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845914843408 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22570] ppid=22562 vsize=13980732 memory=3833325422337 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22570/stat : 22570 (java) S 22562 22562 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 29955956 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845234445168 139846317693570 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22571] ppid=22562 vsize=13980732 memory=3846210324225 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22571/stat : 22571 (java) S 22562 22562 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845233391136 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22572] ppid=22562 vsize=13980732 memory=241404840 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845232338288 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22573] ppid=22562 vsize=13980732 memory=7084570512127795087 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22573/stat : 22573 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845231286608 139846317701019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22574] ppid=22562 vsize=13980732 memory=4124 CPUtime=0.19 cores=0,2,4,6
/proc/22564/task/22574/stat : 22574 (java) R 22562 22562 7968 0 -1 4202560 1089 0 0 0 19 0 0 0 20 0 15 0 29955960 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845230233968 139846310779259 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22575] ppid=22562 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/22564/task/22575/stat : 22575 (java) R 22562 22562 7968 0 -1 4202560 1095 0 0 0 22 0 0 0 20 0 15 0 29955960 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845229167192 139846302809147 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22576] ppid=22562 vsize=13980732 memory=140602264003184 CPUtime=0.33 cores=0,2,4,6
/proc/22564/task/22576/stat : 22576 (java) R 22562 22562 7968 0 -1 4202560 1558 0 0 0 33 0 0 0 20 0 15 0 29955960 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845228128368 139846296321746 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22577] ppid=22562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22577/stat : 22577 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845227075808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22578] ppid=22562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22578/stat : 22578 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955964 14316269568 18878 18446744073709551615 4194304 4196468 140726718902080 139845226024112 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76892 KiB

[startup+1.50079 s]
/proc/loadavg: 1.99 1.84 1.80 6/214 22578
/proc/meminfo: memFree=29475260/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13980732 memory=147804 CPUtime=3.93 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 36826 0 0 0 385 8 0 0 20 0 15 0 29955954 14316269568 36951 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3495183 36951 3193 1 0 3483476 0
[pid=22564/tid=22565] ppid=22562 vsize=13980732 memory=140602413127295 CPUtime=1.36 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 8534 0 0 0 132 4 0 0 20 0 15 0 29955954 14316269568 36951 18446744073709551615 4194304 4196468 140726718902080 139846321918424 139845961567408 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14316269568 36951 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14316269568 36951 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13980732 memory=11830 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29955955 14316269568 36951 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13980732 memory=20825 CPUtime=0 cores=0,2,4,6

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

/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 201232 18446744073709551615 4194304 4196468 140726718902080 139845232338304 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22573] ppid=22562 vsize=13980732 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22573/stat : 22573 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 201232 18446744073709551615 4194304 4196468 140726718902080 139845231286608 139846317701019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22574] ppid=22562 vsize=13980732 memory=2012 CPUtime=5.57 cores=0,2,4,6
/proc/22564/task/22574/stat : 22574 (java) S 22562 22562 7968 0 -1 1077944384 24948 0 0 0 554 3 0 0 20 0 15 0 29955960 14316269568 201232 18446744073709551615 4194304 4196468 140726718902080 139845230233968 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22575] ppid=22562 vsize=13980732 memory=829016 CPUtime=5.83 cores=0,2,4,6
/proc/22564/task/22575/stat : 22575 (java) S 22562 22562 7968 0 -1 1077944384 46180 0 0 0 578 5 0 0 20 0 15 0 29955960 14316269568 201232 18446744073709551615 4194304 4196468 140726718902080 139845229181168 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22576] ppid=22562 vsize=13980732 memory=4124 CPUtime=1.07 cores=0,2,4,6
/proc/22564/task/22576/stat : 22576 (java) S 22562 22562 7968 0 -1 1077944384 18749 0 0 0 104 3 0 0 20 0 15 0 29955960 14316269568 201232 18446744073709551615 4194304 4196468 140726718902080 139845228128368 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22577] ppid=22562 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22577/stat : 22577 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 201232 18446744073709551615 4194304 4196468 140726718902080 139845227075808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22578] ppid=22562 vsize=13980732 memory=1380 CPUtime=1.26 cores=0,2,4,6
/proc/22564/task/22578/stat : 22578 (java) S 22562 22562 7968 0 -1 1077944384 1093 0 0 0 63 63 0 0 20 0 15 0 29955964 14316269568 201232 18446744073709551615 4194304 4196468 140726718902080 139845226024112 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 2336.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 806308 KiB

[startup+2322.3 s]
/proc/loadavg: 1.60 1.65 1.72 3/213 22907
/proc/meminfo: memFree=28848780/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13980732 memory=971228 CPUtime=2398.41 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 280788 0 0 0 239269 572 0 0 20 0 15 0 29955954 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3495183 242807 3257 1 0 3483476 0
[pid=22564/tid=22565] ppid=22562 vsize=13980732 memory=1380 CPUtime=2299.58 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 87475 0 0 0 229929 29 0 0 20 0 15 0 29955954 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139846321921936 139845968407011 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13980732 memory=971228 CPUtime=21.08 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 12273 0 0 0 1992 116 0 0 20 0 15 0 29955955 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13980732 memory=909528 CPUtime=21.09 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 14612 0 0 0 1994 115 0 0 20 0 15 0 29955955 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13980732 memory=950604 CPUtime=21.03 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 12652 0 0 0 1986 117 0 0 20 0 15 0 29955955 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13980732 memory=950604 CPUtime=21.05 cores=0,2,4,6
/proc/22564/task/22569/stat : 22569 (java) S 22562 22562 7968 0 -1 1077944384 14888 0 0 0 1987 118 0 0 20 0 15 0 29955955 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845914843408 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22570] ppid=22562 vsize=13980732 memory=950604 CPUtime=0.71 cores=0,2,4,6
/proc/22564/task/22570/stat : 22570 (java) S 22562 22562 7968 0 -1 1077944384 46537 0 0 0 57 14 0 0 20 0 15 0 29955956 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845234445168 139846317693570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22571] ppid=22562 vsize=13980732 memory=950604 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22571/stat : 22571 (java) S 22562 22562 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845233391200 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22572] ppid=22562 vsize=13980732 memory=971228 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845232338304 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22573] ppid=22562 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22573/stat : 22573 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845231286608 139846317701019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22574] ppid=22562 vsize=13980732 memory=950604 CPUtime=5.57 cores=0,2,4,6
/proc/22564/task/22574/stat : 22574 (java) S 22562 22562 7968 0 -1 1077944384 24951 0 0 0 554 3 0 0 20 0 15 0 29955960 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845230233968 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22575] ppid=22562 vsize=13980732 memory=909528 CPUtime=5.83 cores=0,2,4,6
/proc/22564/task/22575/stat : 22575 (java) S 22562 22562 7968 0 -1 1077944384 46182 0 0 0 578 5 0 0 20 0 15 0 29955960 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845229181168 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22576] ppid=22562 vsize=13980732 memory=1380 CPUtime=1.07 cores=0,2,4,6
/proc/22564/task/22576/stat : 22576 (java) S 22562 22562 7968 0 -1 1077944384 18751 0 0 0 104 3 0 0 20 0 15 0 29955960 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845228128368 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22577] ppid=22562 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22577/stat : 22577 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845227075808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22578] ppid=22562 vsize=13980732 memory=1380 CPUtime=1.29 cores=0,2,4,6
/proc/22564/task/22578/stat : 22578 (java) S 22562 22562 7968 0 -1 1077944384 1111 0 0 0 65 64 0 0 20 0 15 0 29955964 14316269568 242807 18446744073709551615 4194304 4196468 140726718902080 139845226024112 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 2398.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 972608 KiB

[startup+2382.3 s]
/proc/loadavg: 1.76 1.70 1.74 3/213 22911
/proc/meminfo: memFree=29029764/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13980732 memory=909572 CPUtime=2459.5 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 282000 0 0 0 245372 578 0 0 20 0 15 0 29955954 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3495183 227393 3257 1 0 3483476 0
[pid=22564/tid=22565] ppid=22562 vsize=13980732 memory=1380 CPUtime=2359.19 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 88532 0 0 0 235890 29 0 0 20 0 15 0 29955954 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139846321921792 139845970327744 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13980732 memory=971648 CPUtime=21.44 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 12317 0 0 0 2027 117 0 0 20 0 15 0 29955955 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13980732 memory=4124 CPUtime=21.45 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 14641 0 0 0 2029 116 0 0 20 0 15 0 29955955 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13980732 memory=18924 CPUtime=21.39 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 12687 0 0 0 2021 118 0 0 20 0 15 0 29955955 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13980732 memory=1228 CPUtime=21.41 cores=0,2,4,6
/proc/22564/task/22569/stat : 22569 (java) S 22562 22562 7968 0 -1 1077944384 14916 0 0 0 2022 119 0 0 20 0 15 0 29955955 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845914843408 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22570] ppid=22562 vsize=13980732 memory=1000 CPUtime=0.71 cores=0,2,4,6
/proc/22564/task/22570/stat : 22570 (java) S 22562 22562 7968 0 -1 1077944384 46544 0 0 0 57 14 0 0 20 0 15 0 29955956 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845234445168 139846317693570 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22571] ppid=22562 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22571/stat : 22571 (java) S 22562 22562 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845233391200 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22572] ppid=22562 vsize=13980732 memory=18924 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845232338304 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22573] ppid=22562 vsize=13980732 memory=932660 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22573/stat : 22573 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845231286608 139846317701019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22574] ppid=22562 vsize=13980732 memory=1380 CPUtime=5.57 cores=0,2,4,6
/proc/22564/task/22574/stat : 22574 (java) S 22562 22562 7968 0 -1 1077944384 24953 0 0 0 554 3 0 0 20 0 15 0 29955960 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845230233968 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22575] ppid=22562 vsize=13980732 memory=-8774313645642428999 CPUtime=5.83 cores=0,2,4,6
/proc/22564/task/22575/stat : 22575 (java) S 22562 22562 7968 0 -1 1077944384 46184 0 0 0 578 5 0 0 20 0 15 0 29955960 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845229181168 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22576] ppid=22562 vsize=13980732 memory=1380 CPUtime=1.07 cores=0,2,4,6
/proc/22564/task/22576/stat : 22576 (java) S 22562 22562 7968 0 -1 1077944384 18753 0 0 0 104 3 0 0 20 0 15 0 29955960 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845228128368 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22577] ppid=22562 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22577/stat : 22577 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845227075808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22578] ppid=22562 vsize=13980732 memory=909572 CPUtime=1.32 cores=0,2,4,6
/proc/22564/task/22578/stat : 22578 (java) S 22562 22562 7968 0 -1 1077944384 1117 0 0 0 66 66 0 0 20 0 15 0 29955964 14316269568 227393 18446744073709551615 4194304 4196468 140726718902080 139845226024112 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 2459.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 910952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2440.4 s]
/proc/loadavg: 1.69 1.69 1.73 3/213 22916
/proc/meminfo: memFree=29172668/32770624 swapFree=67108860/67108860
[pid=22562] ppid=22559 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22562/stat : 22562 (xcsp3-exec) S 22559 22562 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 29955946 9740288 345 18446744073709551615 4194304 5098028 140734208292384 140734208290488 139882268664444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 21647360 140734208299387 140734208299590 140734208299590 140734208303083 0
/proc/22562/statm: 2378 345 289 221 0 87 0
[pid=22564] ppid=22562 vsize=13980732 memory=977456 CPUtime=2520.03 cores=0,2,4,6
/proc/22564/stat : 22564 (java) S 22562 22562 7968 0 -1 1077944320 284311 0 0 0 251410 593 0 0 20 0 15 0 29955954 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 140726718884624 139846317682423 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
/proc/22564/statm: 3495183 244364 3257 1 0 3483476 0
[pid=22564/tid=22565] ppid=22562 vsize=13980732 memory=1440 CPUtime=2416.42 cores=0,2,4,6
/proc/22564/task/22565/stat : 22565 (java) R 22562 22562 7968 0 -1 4202560 89175 0 0 0 241612 30 0 0 20 0 15 0 29955954 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139846321921744 139845963497320 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22566] ppid=22562 vsize=13980732 memory=9916 CPUtime=22.24 cores=0,2,4,6
/proc/22564/task/22566/stat : 22566 (java) S 22562 22562 7968 0 -1 1077944384 12866 0 0 0 2104 120 0 0 20 0 15 0 29955955 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845918001808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22567] ppid=22562 vsize=13980732 memory=1200 CPUtime=22.26 cores=0,2,4,6
/proc/22564/task/22567/stat : 22567 (java) S 22562 22562 7968 0 -1 1077944384 14778 0 0 0 2106 120 0 0 20 0 15 0 29955955 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845916949008 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22568] ppid=22562 vsize=13980732 memory=15872 CPUtime=22.2 cores=0,2,4,6
/proc/22564/task/22568/stat : 22568 (java) S 22562 22562 7968 0 -1 1077944384 12829 0 0 0 2098 122 0 0 20 0 15 0 29955955 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845915896208 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22569] ppid=22562 vsize=13980732 memory=4040 CPUtime=22.21 cores=0,2,4,6
/proc/22564/task/22569/stat : 22569 (java) S 22562 22562 7968 0 -1 1077944384 15018 0 0 0 2099 122 0 0 20 0 15 0 29955955 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845914843408 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22570] ppid=22562 vsize=13980732 memory=16444 CPUtime=0.76 cores=0,2,4,6
/proc/22564/task/22570/stat : 22570 (java) S 22562 22562 7968 0 -1 1077944384 47266 0 0 0 62 14 0 0 20 0 15 0 29955956 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845234445168 139846317693570 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22571] ppid=22562 vsize=13980732 memory=11936 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22571/stat : 22571 (java) S 22562 22562 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845233391200 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22572] ppid=22562 vsize=13980732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22572/stat : 22572 (java) S 22562 22562 7968 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 29955957 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845232338304 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22573] ppid=22562 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22573/stat : 22573 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845231286608 139846317701019 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22574] ppid=22562 vsize=13980732 memory=1792 CPUtime=5.57 cores=0,2,4,6
/proc/22564/task/22574/stat : 22574 (java) S 22562 22562 7968 0 -1 1077944384 24953 0 0 0 554 3 0 0 20 0 15 0 29955960 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845230233968 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22575] ppid=22562 vsize=13980732 memory=960 CPUtime=5.83 cores=0,2,4,6
/proc/22564/task/22575/stat : 22575 (java) S 22562 22562 7968 0 -1 1077944384 46184 0 0 0 578 5 0 0 20 0 15 0 29955960 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845229181168 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22576] ppid=22562 vsize=13980732 memory=2248 CPUtime=1.07 cores=0,2,4,6
/proc/22564/task/22576/stat : 22576 (java) S 22562 22562 7968 0 -1 1077944384 18754 0 0 0 104 3 0 0 20 0 15 0 29955960 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845228128368 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22577] ppid=22562 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/22564/task/22577/stat : 22577 (java) S 22562 22562 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29955960 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845227075808 139846317692629 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
[pid=22564/tid=22578] ppid=22562 vsize=13980732 memory=1588 CPUtime=1.37 cores=0,2,4,6
/proc/22564/task/22578/stat : 22578 (java) S 22562 22562 7968 0 -1 1077944384 1132 0 0 0 69 68 0 0 20 0 15 0 29955964 14316269568 244364 18446744073709551615 4194304 4196468 140726718902080 139845226024112 139846317693570 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 21389312 140726718910898 140726718911074 140726718911074 140726718914511 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 978836 KiB

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

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

[startup+2440.41 s]
# the end of solver process 22564 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.12 s, system=5.94136 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): 2440.41
CPU time (s): 2520.06
CPU user time (s): 2514.12
CPU system time (s): 5.94136
CPU usage (%): 103.264
Max. virtual memory (cumulated for all children) (KiB): 13992456
Max. memory (cumulated for all children) (KiB): 1234292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.12
system time used= 5.94136
maximum resident set size= 1241104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65647
involuntary context switches= 4909


# summary of solver processes directly reported to runsolver:
#   pid: 22562,22564
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2514.12
#   total CPU system time (s): 5.94136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8182 second user time and 24.3292 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 4272299

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