2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT (TO)	929	1976.79	252.11501

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281628-1503185452.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281628-1503185452.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.80/1.00	c solve instance...
3.28/1.10	o 2614 
4.02/1.12	o 2567 
4.02/1.13	o 2564 
4.02/1.14	o 1730 
9.32/1.86	o 1556 
9.32/1.88	o 1552 
10.16/1.92	o 1539 
10.16/1.95	o 1510 
10.16/1.95	o 1475 
10.16/1.97	o 1446 
10.16/1.98	o 1438 
28.15/4.21	o 1418 
636.32/80.57	o 1338 
653.83/82.77	o 1335 
657.05/83.17	o 1295 
685.41/86.81	o 1274 
694.90/88.01	o 1220 
702.84/89.09	o 1212 
712.58/90.38	o 1209 
715.96/90.82	o 1188 
722.62/91.73	o 1183 
722.62/91.74	o 1177 
728.71/92.80	o 1175 
731.02/93.18	o 1167 
753.39/96.02	o 1102 
771.52/98.31	o 1101 
773.11/99.13	o 1093 
773.11/99.14	o 1092 
822.12/106.00	o 1071 
840.99/109.01	o 1065 
840.99/109.02	o 1043 
866.76/112.38	o 1034 
871.21/113.05	o 1033 
886.22/115.25	o 1009 
999.64/129.53	o 1001 
1231.46/158.62	o 987 
1338.35/172.02	o 973 
1451.53/186.20	o 967 
1571.10/201.24	o 942 
1914.71/244.32	o 937 
1942.51/247.89	o 929 
1976.02/252.08	s SATISFIABLE
1976.02/252.08	v <instantiation>
1976.02/252.08	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>
1976.02/252.08	v 	<values>0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 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 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 48 23 14 36 82 37 100 49 39 79 45 62 99 72 100 12 38 100 63 76 85 82 61 14 52 51 74 19 20 59 43 39 </values>
1976.02/252.08	v </instantiation>
1976.02/252.08	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 (11242 MiB free)
  memory of node 1: 16384 MiB (12237 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281628-1503185452/watcher-4281628-1503185452 -o /tmp/evaluation-result-4281628-1503185452/solver-4281628-1503185452 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503174863-20898 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1768891469 HOME/instance-4281628-1503185452.xml 

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

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

solver pid=30322, runsolver pid=30319

[startup+0.100116 s]*
/proc/loadavg: 8.85 8.39 8.26 2/199 30343
/proc/meminfo: memFree=24028088/32770624 swapFree=67108860/67108860
[pid=30322] ppid=30319 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151632935 9740288 346 33554432000 4194304 5098028 140725309479504 140725309477608 140583677436540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140725309482090 140725309482300 140725309482300 140725309485035 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30324] ppid=30322 vsize=25999808 memory=27564 CPUtime=0.11 cores=0-7
/proc/30324/stat : 30324 (java) S 30322 30322 20871 0 -1 1077944320 5220 0 0 0 10 1 0 0 20 0 20 0 151632935 26623803392 6891 33554432000 4194304 4196468 140729488348240 140729488330784 139776990617335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
/proc/30324/statm: 6499952 6891 2898 1 0 6488269 0
[pid=30324/tid=30325] ppid=30322 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30324/task/30325/stat : 30325 (java) R 30322 30322 20871 0 -1 4202560 3197 0 0 0 8 1 0 0 20 0 20 0 151632935 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776994850608 139776974660965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30326] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30326/stat : 30326 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776960330384 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30327] ppid=30322 vsize=25999808 memory=140452879640192 CPUtime=0 cores=0-7
/proc/30324/task/30327/stat : 30327 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776548219408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30328] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30328/stat : 30328 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776547166608 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30329] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30329/stat : 30329 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776546113808 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30330] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30330/stat : 30330 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776545062032 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30331] ppid=30322 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30324/task/30331/stat : 30331 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776544009232 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30332] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30332/stat : 30332 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776542956432 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30333] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30333/stat : 30333 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632936 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776541903632 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30334] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30334/stat : 30334 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632938 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776386386288 139776990628482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30335] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30335/stat : 30335 (java) S 30322 30322 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151632938 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776385332256 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30336] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30336/stat : 30336 (java) S 30322 30322 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151632938 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776384279408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30337] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30337/stat : 30337 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632941 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776383227728 139776990635931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30338] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30338/stat : 30338 (java) S 30322 30322 20871 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 151632941 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776382176112 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30339] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30339/stat : 30339 (java) S 30322 30322 20871 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151632941 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776381123312 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30340] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30340/stat : 30340 (java) S 30322 30322 20871 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 20 0 151632941 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776380070512 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30341] ppid=30322 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/30324/task/30341/stat : 30341 (java) S 30322 30322 20871 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 151632941 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776379017712 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30342] ppid=30322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30342/stat : 30342 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632941 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776377965152 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30343] ppid=30322 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30324/task/30343/stat : 30343 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632941 26623803392 6891 33554432000 4194304 4196468 140729488348240 139776376912432 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28948 KiB

[startup+0.210598 s]*
/proc/loadavg: 8.85 8.39 8.26 2/199 30343
/proc/meminfo: memFree=24016584/32770624 swapFree=67108860/67108860
[pid=30322] ppid=30319 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151632935 9740288 346 33554432000 4194304 5098028 140725309479504 140725309477608 140583677436540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140725309482090 140725309482300 140725309482300 140725309485035 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30324] ppid=30322 vsize=26004064 memory=39512 CPUtime=0.33 cores=0-7
/proc/30324/stat : 30324 (java) S 30322 30322 20871 0 -1 1077944320 7997 0 0 0 31 2 0 0 20 0 20 0 151632935 26628161536 9878 33554432000 4194304 4196468 140729488348240 140729488330784 139776990617335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
/proc/30324/statm: 6501016 9878 3054 1 0 6488269 0
[pid=30324/tid=30325] ppid=30322 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30324/task/30325/stat : 30325 (java) R 30322 30322 20871 0 -1 4202560 4921 0 0 0 18 1 0 0 20 0 20 0 151632935 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776994838160 139776974697822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30326] ppid=30322 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/30324/task/30326/stat : 30326 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776960330384 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30327] ppid=30322 vsize=26004064 memory=140452879660986 CPUtime=0 cores=0-7
/proc/30324/task/30327/stat : 30327 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776548219408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30328] ppid=30322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30324/task/30328/stat : 30328 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776547166608 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30329] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30329/stat : 30329 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776546113808 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30330] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30330/stat : 30330 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776545062032 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30331] ppid=30322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30324/task/30331/stat : 30331 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776544009232 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30332] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30332/stat : 30332 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776542956432 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30333] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30333/stat : 30333 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776541903632 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30334] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30334/stat : 30334 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632938 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776386386288 139776990628482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30335] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30335/stat : 30335 (java) S 30322 30322 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151632938 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776385332256 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30336] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30336/stat : 30336 (java) S 30322 30322 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151632938 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776384279408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30337] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30337/stat : 30337 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632941 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776383227728 139776990635931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30338] ppid=30322 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/30324/task/30338/stat : 30338 (java) S 30322 30322 20871 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 151632941 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776382176112 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30339] ppid=30322 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/30324/task/30339/stat : 30339 (java) S 30322 30322 20871 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 151632941 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776381123312 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30340] ppid=30322 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/30324/task/30340/stat : 30340 (java) S 30322 30322 20871 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 151632941 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776380070512 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30341] ppid=30322 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/30324/task/30341/stat : 30341 (java) R 30322 30322 20871 0 -1 4202560 845 0 0 0 7 0 0 0 20 0 20 0 151632941 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776379017712 139776990638682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30342] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30342/stat : 30342 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632941 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776377965152 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30343] ppid=30322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30324/task/30343/stat : 30343 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632941 26628161536 9878 33554432000 4194304 4196468 140729488348240 139776376912432 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40896 KiB

[startup+0.310264 s]*
/proc/loadavg: 8.85 8.39 8.26 4/199 30343
/proc/meminfo: memFree=24011436/32770624 swapFree=67108860/67108860
[pid=30322] ppid=30319 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151632935 9740288 346 33554432000 4194304 5098028 140725309479504 140725309477608 140583677436540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140725309482090 140725309482300 140725309482300 140725309485035 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30324] ppid=30322 vsize=26004064 memory=45200 CPUtime=0.51 cores=0-7
/proc/30324/stat : 30324 (java) S 30322 30322 20871 0 -1 1077944320 8953 0 0 0 48 3 0 0 20 0 20 0 151632935 26628161536 11300 33554432000 4194304 4196468 140729488348240 140729488330784 139776990617335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
/proc/30324/statm: 6501016 11300 3116 1 0 6488269 0
[pid=30324/tid=30325] ppid=30322 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30324/task/30325/stat : 30325 (java) R 30322 30322 20871 0 -1 4202560 5588 0 0 0 27 2 0 0 20 0 20 0 151632935 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776994856112 139776990629270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30326] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30326/stat : 30326 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776960330384 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30327] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30327/stat : 30327 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776548219408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30328] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30328/stat : 30328 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776547166608 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30329] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30329/stat : 30329 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776546113808 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30330] ppid=30322 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/30324/task/30330/stat : 30330 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776545062032 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30331] ppid=30322 vsize=26004064 memory=140452745540527 CPUtime=0 cores=0-7
/proc/30324/task/30331/stat : 30331 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776544009232 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30332] ppid=30322 vsize=26004064 memory=140452745542832 CPUtime=0 cores=0-7
/proc/30324/task/30332/stat : 30332 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776542956432 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30333] ppid=30322 vsize=26004064 memory=140452745545136 CPUtime=0 cores=0-7
/proc/30324/task/30333/stat : 30333 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632936 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776541903632 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30334] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30334/stat : 30334 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632938 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776386386288 139776990628482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30335] ppid=30322 vsize=26004064 memory=280905491097232 CPUtime=0 cores=0-7
/proc/30324/task/30335/stat : 30335 (java) S 30322 30322 20871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151632938 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776385332256 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30336] ppid=30322 vsize=26004064 memory=280905491104144 CPUtime=0 cores=0-7
/proc/30324/task/30336/stat : 30336 (java) S 30322 30322 20871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151632938 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776384279408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30337] ppid=30322 vsize=26004064 memory=280905491045424 CPUtime=0 cores=0-7
/proc/30324/task/30337/stat : 30337 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632941 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776383227728 139776990635931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30338] ppid=30322 vsize=26004064 memory=280905491117968 CPUtime=0.02 cores=0-7
/proc/30324/task/30338/stat : 30338 (java) S 30322 30322 20871 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 151632941 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776382176112 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30339] ppid=30322 vsize=26004064 memory=280905491124880 CPUtime=0.03 cores=0-7
/proc/30324/task/30339/stat : 30339 (java) R 30322 30322 20871 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 20 0 151632941 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776381123312 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30340] ppid=30322 vsize=26004064 memory=280905491122576 CPUtime=0.02 cores=0-7
/proc/30324/task/30340/stat : 30340 (java) R 30322 30322 20871 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 151632941 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776380070512 139776990628482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30341] ppid=30322 vsize=26004064 memory=280905491138736 CPUtime=0.12 cores=0-7
/proc/30324/task/30341/stat : 30341 (java) R 30322 30322 20871 0 -1 4202560 1007 0 0 0 12 0 0 0 20 0 20 0 151632941 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776379014080 139776990629270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30342] ppid=30322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30342/stat : 30342 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632941 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776377965152 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30343] ppid=30322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30324/task/30343/stat : 30343 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632941 26628161536 11300 33554432000 4194304 4196468 140729488348240 139776376912432 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46584 KiB

[startup+0.700957 s]
/proc/loadavg: 8.85 8.39 8.26 6/199 30343
/proc/meminfo: memFree=23989816/32770624 swapFree=67108860/67108860
[pid=30322] ppid=30319 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151632935 9740288 346 33554432000 4194304 5098028 140725309479504 140725309477608 140583677436540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140725309482090 140725309482300 140725309482300 140725309485035 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30324] ppid=30322 vsize=26006188 memory=95596 CPUtime=1.96 cores=0-7
/proc/30324/stat : 30324 (java) S 30322 30322 20871 0 -1 1077944320 12930 0 0 0 191 5 0 0 20 0 20 0 151632935 26630336512 23899 33554432000 4194304 4196468 140729488348240 140729488330784 139776990617335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
/proc/30324/statm: 6501547 23899 3206 1 0 6488781 0
[pid=30324/tid=30325] ppid=30322 vsize=26006188 memory=280905491496624 CPUtime=0.67 cores=0-7
/proc/30324/task/30325/stat : 30325 (java) R 30322 30322 20871 0 -1 4202560 6184 0 0 0 64 3 0 0 20 0 20 0 151632935 26630336512 23899 33554432000 4194304 4196468 140729488348240 139776994851920 139776628392165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30326] ppid=30322 vsize=26006188 memory=140452745749360 CPUtime=0 cores=0-7
/proc/30324/task/30326/stat : 30326 (java) S 30322 30322 20871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632936 26630336512 23899 33554432000 4194304 4196468 140729488348240 139776960330384 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30327] ppid=30322 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/30324/task/30327/stat : 30327 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26630336512 23899 33554432000 4194304 4196468 140729488348240 139776548219408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30328] ppid=30322 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/30324/task/30328/stat : 30328 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632936 26630336512 23899 33554432000 4194304 4196468 140729488348240 139776547166608 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0

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

[pid=30324/tid=30639] ppid=30322 vsize=26538700 memory=1002740 CPUtime=3.65 cores=0-7
/proc/30324/task/30639/stat : 30639 (java) R 30322 30322 20871 0 -1 4202560 142 0 0 0 365 0 0 0 20 0 28 0 151648798 27175628800 250944 33554432000 4194304 4196468 140729488348240 139776368909256 139776633639179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
Current children cumulated CPU time: 1260.95 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1005160 KiB

[startup+222.301 s]
/proc/loadavg: 7.75 7.94 8.11 9/208 30670
/proc/meminfo: memFree=23160644/32770624 swapFree=67108860/67108860
[pid=30322] ppid=30319 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151632935 9740288 346 33554432000 4194304 5098028 140725309479504 140725309477608 140583677436540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140725309482090 140725309482300 140725309482300 140725309485035 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30324] ppid=30322 vsize=26538700 memory=892048 CPUtime=1739.28 cores=0-7
/proc/30324/stat : 30324 (java) S 30322 30322 20871 0 -1 1077944320 179054 0 0 0 173745 183 0 0 20 0 28 0 151632935 27175628800 223012 33554432000 4194304 4196468 140729488348240 140729488330784 139776990617335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
/proc/30324/statm: 6634675 223012 3289 1 0 6621909 0
[pid=30324/tid=30325] ppid=30322 vsize=26538700 memory=897684 CPUtime=1.02 cores=0-7
/proc/30324/task/30325/stat : 30325 (java) S 30322 30322 20871 0 -1 1077944384 8053 0 0 0 97 5 0 0 20 0 28 0 151632935 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776994858112 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30326] ppid=30322 vsize=26538700 memory=917660 CPUtime=0.16 cores=0-7
/proc/30324/task/30326/stat : 30326 (java) S 30322 30322 20871 0 -1 1077944384 1410 0 0 0 10 6 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776960330384 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30327] ppid=30322 vsize=26538700 memory=1002740 CPUtime=0.15 cores=0-7
/proc/30324/task/30327/stat : 30327 (java) S 30322 30322 20871 0 -1 1077944384 3475 0 0 0 10 5 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776548219408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30328] ppid=30322 vsize=26538700 memory=1002740 CPUtime=0.15 cores=0-7
/proc/30324/task/30328/stat : 30328 (java) S 30322 30322 20871 0 -1 1077944384 4831 0 0 0 9 6 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776547166608 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30329] ppid=30322 vsize=26538700 memory=985840 CPUtime=0.15 cores=0-7
/proc/30324/task/30329/stat : 30329 (java) S 30322 30322 20871 0 -1 1077944384 3630 0 0 0 10 5 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776546113808 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30330] ppid=30322 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/30324/task/30330/stat : 30330 (java) S 30322 30322 20871 0 -1 1077944384 1396 0 0 0 11 5 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776545062032 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30331] ppid=30322 vsize=26538700 memory=917660 CPUtime=0.15 cores=0-7
/proc/30324/task/30331/stat : 30331 (java) S 30322 30322 20871 0 -1 1077944384 2496 0 0 0 10 5 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776544009232 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30332] ppid=30322 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/30324/task/30332/stat : 30332 (java) S 30322 30322 20871 0 -1 1077944384 2868 0 0 0 10 6 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776542956432 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30333] ppid=30322 vsize=26538700 memory=898192 CPUtime=0.15 cores=0-7
/proc/30324/task/30333/stat : 30333 (java) S 30322 30322 20871 0 -1 1077944384 1722 0 0 0 11 4 0 0 20 0 28 0 151632936 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776541903632 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30334] ppid=30322 vsize=26538700 memory=898192 CPUtime=0.13 cores=0-7
/proc/30324/task/30334/stat : 30334 (java) S 30322 30322 20871 0 -1 1077944384 6730 0 0 0 8 5 0 0 20 0 28 0 151632938 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776386386288 139776990628482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30335] ppid=30322 vsize=26538700 memory=897684 CPUtime=0 cores=0-7
/proc/30324/task/30335/stat : 30335 (java) S 30322 30322 20871 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151632938 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776385332320 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30336] ppid=30322 vsize=26538700 memory=897684 CPUtime=0 cores=0-7
/proc/30324/task/30336/stat : 30336 (java) S 30322 30322 20871 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 151632938 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776384279424 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30337] ppid=30322 vsize=26538700 memory=892048 CPUtime=0 cores=0-7
/proc/30324/task/30337/stat : 30337 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151632941 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776383227728 139776990635931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30338] ppid=30322 vsize=26538700 memory=1384 CPUtime=2.71 cores=0-7
/proc/30324/task/30338/stat : 30338 (java) S 30322 30322 20871 0 -1 1077944384 13570 0 0 0 269 2 0 0 20 0 28 0 151632941 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776382176112 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30339] ppid=30322 vsize=26538700 memory=892048 CPUtime=2.83 cores=0-7
/proc/30324/task/30339/stat : 30339 (java) S 30322 30322 20871 0 -1 1077944384 13697 0 0 0 280 3 0 0 20 0 28 0 151632941 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776381123312 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30340] ppid=30322 vsize=26538700 memory=1384 CPUtime=2.59 cores=0-7
/proc/30324/task/30340/stat : 30340 (java) S 30322 30322 20871 0 -1 1077944384 13123 0 0 0 256 3 0 0 20 0 28 0 151632941 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776380070512 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30341] ppid=30322 vsize=26538700 memory=0 CPUtime=0.99 cores=0-7
/proc/30324/task/30341/stat : 30341 (java) S 30322 30322 20871 0 -1 1077944384 19464 0 0 0 95 4 0 0 20 0 28 0 151632941 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776379017712 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30342] ppid=30322 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/30324/task/30342/stat : 30342 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151632941 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776377965152 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30343] ppid=30322 vsize=26538700 memory=280905492290848 CPUtime=0.05 cores=0-7
/proc/30324/task/30343/stat : 30343 (java) S 30322 30322 20871 0 -1 1077944384 1966 0 0 0 0 5 0 0 20 0 28 0 151632941 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776376912432 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30656] ppid=30322 vsize=26538700 memory=892048 CPUtime=21.02 cores=0-7
/proc/30324/task/30656/stat : 30656 (java) R 30322 30322 20871 0 -1 4202560 671 0 0 0 2102 0 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776365742856 139776633353152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30657] ppid=30322 vsize=26538700 memory=1384 CPUtime=20.97 cores=0-7
/proc/30324/task/30657/stat : 30657 (java) R 30322 30322 20871 0 -1 4202560 537 0 0 0 2097 0 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776362586248 139776633881021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30658] ppid=30322 vsize=26538700 memory=1384 CPUtime=20.96 cores=0-7
/proc/30324/task/30658/stat : 30658 (java) R 30322 30322 20871 0 -1 4202560 1993 0 0 0 2096 0 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776366797304 139776634031775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30659] ppid=30322 vsize=26538700 memory=1384 CPUtime=20.99 cores=0-7
/proc/30324/task/30659/stat : 30659 (java) R 30322 30322 20871 0 -1 4202560 1067 0 0 0 2097 2 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776364691328 139776634223472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30660] ppid=30322 vsize=26538700 memory=1384 CPUtime=20.98 cores=0-7
/proc/30324/task/30660/stat : 30660 (java) R 30322 30322 20871 0 -1 4202560 1964 0 0 0 2097 1 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776361533544 139776634032367 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30661] ppid=30322 vsize=26538700 memory=1384 CPUtime=21.01 cores=0-7
/proc/30324/task/30661/stat : 30661 (java) R 30322 30322 20871 0 -1 4202560 709 0 0 0 2101 0 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776363639432 139776634031603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30662] ppid=30322 vsize=26538700 memory=1384 CPUtime=21.01 cores=0-7
/proc/30324/task/30662/stat : 30662 (java) R 30322 30322 20871 0 -1 4202560 1964 0 0 0 2099 2 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776367849832 139776637711313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30663] ppid=30322 vsize=26538700 memory=4140 CPUtime=20.7 cores=0-7
/proc/30324/task/30663/stat : 30663 (java) R 30322 30322 20871 0 -1 4202560 644 0 0 0 2070 0 0 0 20 0 28 0 151653060 27175628800 223012 33554432000 4194304 4196468 140729488348240 139776368904960 139776635649754 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
Current children cumulated CPU time: 1739.28 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 893432 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.05 7.99 8.12 9/208 30686
/proc/meminfo: memFree=23193672/32770624 swapFree=67108860/67108860
[pid=30322] ppid=30319 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30322/stat : 30322 (xcsp3-exec) S 30319 30322 20871 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151632935 9740288 346 33554432000 4194304 5098028 140725309479504 140725309477608 140583677436540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28401664 140725309482090 140725309482300 140725309482300 140725309485035 0
/proc/30322/statm: 2378 346 289 221 0 87 0
[pid=30324] ppid=30322 vsize=26538700 memory=858784 CPUtime=1976.02 cores=0-7
/proc/30324/stat : 30324 (java) S 30322 30322 20871 0 -1 1077944320 193454 0 0 0 197413 189 0 0 20 0 28 0 151632935 27175628800 214696 33554432000 4194304 4196468 140729488348240 140729488330784 139776990617335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
/proc/30324/statm: 6634675 214696 3289 1 0 6621909 0
[pid=30324/tid=30325] ppid=30322 vsize=26538700 memory=6791534058613427641 CPUtime=1.02 cores=0-7
/proc/30324/task/30325/stat : 30325 (java) S 30322 30322 20871 0 -1 1077944384 8361 0 0 0 97 5 0 0 20 0 28 0 151632935 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776994858112 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30326] ppid=30322 vsize=26538700 memory=4100 CPUtime=0.18 cores=0-7
/proc/30324/task/30326/stat : 30326 (java) S 30322 30322 20871 0 -1 1077944384 1620 0 0 0 12 6 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776960330384 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30327] ppid=30322 vsize=26538700 memory=1156 CPUtime=0.17 cores=0-7
/proc/30324/task/30327/stat : 30327 (java) S 30322 30322 20871 0 -1 1077944384 3973 0 0 0 12 5 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776548219408 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30328] ppid=30322 vsize=26538700 memory=3908 CPUtime=0.16 cores=0-7
/proc/30324/task/30328/stat : 30328 (java) S 30322 30322 20871 0 -1 1077944384 5313 0 0 0 10 6 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776547166608 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30329] ppid=30322 vsize=26538700 memory=4126316290023845779 CPUtime=0.17 cores=0-7
/proc/30324/task/30329/stat : 30329 (java) S 30322 30322 20871 0 -1 1077944384 4254 0 0 0 12 5 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776546113808 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30330] ppid=30322 vsize=26538700 memory=15876 CPUtime=0.17 cores=0-7
/proc/30324/task/30330/stat : 30330 (java) S 30322 30322 20871 0 -1 1077944384 1638 0 0 0 12 5 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776545062032 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30331] ppid=30322 vsize=26538700 memory=16448 CPUtime=0.16 cores=0-7
/proc/30324/task/30331/stat : 30331 (java) S 30322 30322 20871 0 -1 1077944384 3041 0 0 0 11 5 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776544009232 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30332] ppid=30322 vsize=26538700 memory=23392 CPUtime=0.17 cores=0-7
/proc/30324/task/30332/stat : 30332 (java) S 30322 30322 20871 0 -1 1077944384 3119 0 0 0 11 6 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776542956432 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30333] ppid=30322 vsize=26538700 memory=4048 CPUtime=0.16 cores=0-7
/proc/30324/task/30333/stat : 30333 (java) S 30322 30322 20871 0 -1 1077944384 1899 0 0 0 12 4 0 0 20 0 28 0 151632936 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776541903632 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30334] ppid=30322 vsize=26538700 memory=1236 CPUtime=0.14 cores=0-7
/proc/30324/task/30334/stat : 30334 (java) S 30322 30322 20871 0 -1 1077944384 7825 0 0 0 9 5 0 0 20 0 28 0 151632938 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776386386288 139776990628482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30335] ppid=30322 vsize=26538700 memory=644 CPUtime=0 cores=0-7
/proc/30324/task/30335/stat : 30335 (java) S 30322 30322 20871 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151632938 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776385332320 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30336] ppid=30322 vsize=26538700 memory=1788 CPUtime=0 cores=0-7
/proc/30324/task/30336/stat : 30336 (java) S 30322 30322 20871 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 151632938 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776384279424 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30337] ppid=30322 vsize=26538700 memory=952 CPUtime=0 cores=0-7
/proc/30324/task/30337/stat : 30337 (java) S 30322 30322 20871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151632941 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776383227728 139776990635931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30338] ppid=30322 vsize=26538700 memory=2424 CPUtime=2.71 cores=0-7
/proc/30324/task/30338/stat : 30338 (java) S 30322 30322 20871 0 -1 1077944384 13580 0 0 0 269 2 0 0 20 0 28 0 151632941 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776382176112 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30339] ppid=30322 vsize=26538700 memory=1580 CPUtime=2.83 cores=0-7
/proc/30324/task/30339/stat : 30339 (java) S 30322 30322 20871 0 -1 1077944384 14453 0 0 0 280 3 0 0 20 0 28 0 151632941 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776381123312 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30340] ppid=30322 vsize=26538700 memory=928 CPUtime=2.61 cores=0-7
/proc/30324/task/30340/stat : 30340 (java) S 30322 30322 20871 0 -1 1077944384 14345 0 0 0 258 3 0 0 20 0 28 0 151632941 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776380070512 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30341] ppid=30322 vsize=26538700 memory=2240 CPUtime=0.99 cores=0-7
/proc/30324/task/30341/stat : 30341 (java) S 30322 30322 20871 0 -1 1077944384 20150 0 0 0 95 4 0 0 20 0 28 0 151632941 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776379017712 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30342] ppid=30322 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/30324/task/30342/stat : 30342 (java) S 30322 30322 20871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151632941 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776377965152 139776990627541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30343] ppid=30322 vsize=26538700 memory=288230587427455269 CPUtime=0.06 cores=0-7
/proc/30324/task/30343/stat : 30343 (java) S 30322 30322 20871 0 -1 1077944384 2162 0 0 0 0 6 0 0 20 0 28 0 151632941 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776376912432 139776990628482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30679] ppid=30322 vsize=26538700 memory=14130035204294023 CPUtime=4.11 cores=0-7
/proc/30324/task/30679/stat : 30679 (java) R 30322 30322 20871 0 -1 4202560 35 0 0 0 411 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776361531776 139776635649822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30680] ppid=30322 vsize=26538700 memory=4560 CPUtime=4.11 cores=0-7
/proc/30324/task/30680/stat : 30680 (java) R 30322 30322 20871 0 -1 4202560 20 0 0 0 411 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776363639048 139776635652609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30681] ppid=30322 vsize=26538700 memory=4100 CPUtime=4.06 cores=0-7
/proc/30324/task/30681/stat : 30681 (java) R 30322 30322 20871 0 -1 4202560 31 0 0 0 406 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776362587272 139776634523873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30682] ppid=30322 vsize=26538700 memory=2428 CPUtime=4.11 cores=0-7
/proc/30324/task/30682/stat : 30682 (java) R 30322 30322 20871 0 -1 4202560 23 0 0 0 411 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776366796896 139776636369496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30683] ppid=30322 vsize=26538700 memory=1728 CPUtime=4.06 cores=0-7
/proc/30324/task/30683/stat : 30683 (java) R 30322 30322 20871 0 -1 4202560 21 0 0 0 406 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776365744240 139776629354601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30684] ppid=30322 vsize=26538700 memory=288230587427455269 CPUtime=4.09 cores=0-7
/proc/30324/task/30684/stat : 30684 (java) R 30322 30322 20871 0 -1 4202560 17 0 0 0 409 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776364691432 139776634754820 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30685] ppid=30322 vsize=26538700 memory=14130035204294023 CPUtime=4.1 cores=0-7
/proc/30324/task/30685/stat : 30685 (java) R 30322 30322 20871 0 -1 4202560 25 0 0 0 410 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776368904992 139776633859920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
[pid=30324/tid=30686] ppid=30322 vsize=26538700 memory=1952 CPUtime=4.1 cores=0-7
/proc/30324/task/30686/stat : 30686 (java) R 30322 30322 20871 0 -1 4202560 25 0 0 0 410 0 0 0 20 0 28 0 151657724 27175628800 214696 33554432000 4194304 4196468 140729488348240 139776367848800 139776627700769 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29138944 140729488356504 140729488356680 140729488356680 140729488359375 0
Current children cumulated CPU time: 1976.02 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 860168 KiB

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

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

[startup+252.114 s]
# the end of solver process 30324 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1974.88 s, system=1.91001 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): 252.115
CPU time (s): 1976.79
CPU user time (s): 1974.88
CPU system time (s): 1.91001
CPU usage (%): 784.085
Max. virtual memory (cumulated for all children) (KiB): 26550448
Max. memory (cumulated for all children) (KiB): 1153844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1974.88
system time used= 1.91001
maximum resident set size= 1159576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17892
involuntary context switches= 21576


# summary of solver processes directly reported to runsolver:
#   pid: 30322,30324
#   total CPU time (s): 1976.79
#   total CPU user time (s): 1974.88
#   total CPU system time (s): 1.91001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.59971 second user time and 2.38081 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	664
Best CPU time to get the best result obtained on this benchmark	251.89101
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 4281628

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