2018 XCSP3 competition: parallel solvers tracks competition: execution trace

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

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297511-1532711606.xml"  -tl '20160s' -p 8
0.10/0.18	c Choco e747e1e
0.10/0.18	c [HOME/instance-4297511-1532711606.xml, -tl, 20160s, -p, 8]
0.10/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
29.15/9.92	c solve instance...
35.02/10.77	o 14356 
36.26/11.00	o 14340 
36.73/11.05	o 14329 
36.73/11.06	o 14302 
36.73/11.08	o 14255 
36.73/11.09	o 14220 
37.38/11.13	o 14203 
41.77/12.18	o 14182 
43.59/12.43	o 14173 
45.12/12.63	o 14172 
46.67/12.83	o 14151 
64.87/15.12	o 14096 
100.28/19.63	o 14077 
100.28/19.68	o 14048 
100.63/19.73	o 14003 
101.34/20.36	o 13981 
329.73/49.58	o 13977 
446.80/64.47	o 13953 
741.66/101.62	o 13948 
975.72/131.30	o 13934 
1289.89/170.83	o 13534 
1289.89/170.84	o 13452 
1289.89/170.88	o 13392 
1290.25/170.93	o 13368 
1290.89/171.05	o 13353 
1291.64/171.17	o 13340 
2449.53/316.57	o 13299 
2449.53/316.59	o 13241 
2449.83/316.63	o 13229 
2449.83/316.65	o 13209 
2449.83/316.66	o 13199 
2449.83/316.67	o 13177 
6538.38/829.22	o 13169 
6538.38/829.26	o 13161 
6541.25/829.60	o 13141 
6542.86/830.29	o 13139 
6843.41/868.06	o 13073 
6846.09/868.98	o 13057 
6846.32/869.07	o 13029 
6847.78/869.29	o 13025 
6850.82/869.69	o 13014 
7014.32/890.76	o 13004 
7016.29/891.05	o 13002 
7237.07/918.72	o 12910 
7237.81/918.85	o 12904 
7239.11/919.06	o 12886 
20004.81/2520.09	s SATISFIABLE
20004.81/2520.09	v <instantiation>
20004.81/2520.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48] </list>
20004.81/2520.09	v 	<values>16 3 31 32 43 9 8 0 35 12 46 37 13 36 14 18 40 23 38 1 5 24 10 29 7 20 22 44 21 41 2 15 4 30 42 39 11 34 25 28 26 33 6 27 47 48 45 17 19 10 10 0 10 5 0 1 10 0 2 3 1 0 2 1 3 0 3 1 0 5 0 5 2 1 0 0 5 0 1 0 5 0 5 0 3 2 0 1 2 2 4 2 2 1 0 0 0 0 6 1 0 4 1 0 5 1 2 2 4 5 5 5 10 0 1 0 1 1 0 3 2 0 2 3 2 0 5 2 0 0 1 5 2 3 2 2 0 0 0 1 0 0 2 2 10 0 5 1 2 5 0 0 6 5 1 5 5 5 2 0 2 1 0 0 5 5 5 1 0 5 2 0 6 3 2 0 2 0 5 0 0 0 0 10 2 0 2 0 0 0 5 3 1 5 1 2 0 2 2 10 2 0 1 2 1 0 5 1 4 10 2 0 10 5 2 2 0 0 10 5 0 1 0 1 5 0 3 1 10 5 0 10 1 0 10 0 5 5 0 0 1 5 0 0 0 5 1 1 5 5 5 1 1 3 10 0 2 0 4 0 3 2 1 5 0 2 5 0 2 1 0 0 1 0 2 1 1 5 4 10 1 1 2 0 2 5 5 10 1 10 1 0 3 10 3 0 0 4 2 2 2 3 0 0 1 6 2 5 1 3 10 1 4 5 10 2 2 3 0 2 1 0 2 4 10 1 5 5 5 10 0 5 10 2 5 1 0 0 3 0 2 5 3 5 2 0 0 1 1 0 0 10 5 2 3 2 10 6 0 1 1 0 2 4 3 2 1 5 2 0 6 5 5 2 0 5 5 0 0 0 0 0 0 3 2 5 2 0 1 0 5 0 5 5 2 3 5 2 6 2 0 2 0 0 0 5 10 0 1 0 3 5 0 10 0 0 5 5 5 0 2 1 0 1 5 10 0 6 2 0 4 5 5 0 10 0 2 2 5 2 0 2 2 5 0 6 0 5 1 3 5 5 1 1 0 1 0 0 0 2 0 0 1 0 5 2 3 2 5 5 5 0 5 1 2 3 0 2 2 0 0 0 0 2 5 5 0 4 0 10 0 5 0 0 3 0 0 5 0 0 5 1 5 1 0 0 4 1 0 2 0 5 2 0 1 0 0 0 2 2 0 5 5 0 5 0 0 2 5 5 2 0 4 0 10 0 2 10 0 5 5 0 2 5 5 0 1 2 0 5 10 6 0 6 3 0 3 2 0 5 0 2 10 2 1 5 0 2 6 0 0 0 2 2 0 4 5 0 0 2 5 0 2 2 5 1 5 2 2 0 1 0 5 6 2 0 5 2 2 2 10 10 0 0 3 1 2 0 10 5 4 1 0 4 0 10 0 0 2 2 2 2 1 0 0 0 1 0 0 0 2 2 2 0 2 2 5 3 2 5 2 4 2 1 5 10 5 5 0 0 0 2 0 2 5 0 5 1 0 0 0 0 4 5 0 1 0 1 1 5 5 10 0 6 5 0 2 6 1 0 2 0 2 0 0 5 0 2 1 1 4 0 0 0 1 0 6 3 0 1 5 2 5 2 5 2 0 10 0 10 0 1 2 5 0 0 0 10 2 10 5 0 5 2 2 2 1 6 2 2 0 5 0 0 5 2 5 0 2 2 1 1 0 2 10 0 2 0 0 10 1 0 5 2 1 5 2 0 1 1 2 5 0 5 0 5 5 2 2 0 0 0 5 5 0 2 0 4 3 5 5 2 0 1 5 2 0 2 2 0 10 0 5 5 5 0 5 1 0 0 1 5 0 10 2 2 1 5 0 5 0 5 0 0 10 1 5 0 0 10 3 0 0 0 1 5 1 0 2 1 5 10 10 5 2 0 0 1 2 10 5 0 5 1 0 2 2 10 5 5 0 0 5 0 5 1 2 1 1 0 5 1 0 10 5 0 3 2 10 2 0 5 0 2 4 2 0 4 2 6 1 1 5 1 0 5 10 5 1 2 5 1 2 5 2 2 2 0 5 2 5 10 0 1 5 2 10 5 0 5 1 0 1 2 5 2 2 10 6 0 3 0 1 2 2 5 10 0 2 10 0 5 5 5 0 2 1 0 0 0 0 1 0 0 4 1 0 5 0 1 6 4 3 3 10 3 0 2 0 0 6 2 5 5 0 0 4 1 0 0 0 5 1 2 0 10 5 2 10 4 0 2 1 2 3 10 0 0 1 10 0 2 0 2 5 2 0 5 2 0 5 0 5 2 2 5 5 2 0 0 1 0 0 5 2 2 2 5 2 5 0 10 2 1 0 0 5 0 0 0 1 5 1 5 0 6 5 3 0 0 1 2 5 0 0 4 5 10 5 0 0 2 10 5 0 5 10 2 5 10 3 2 0 5 0 0 3 2 0 0 1 2 10 5 5 5 2 1 5 1 1 10 0 0 2 2 0 2 0 5 0 2 0 2 5 4 5 0 1 5 5 0 0 0 0 2 5 5 5 2 0 2 2 0 5 0 10 0 1 5 2 5 0 1 1 5 0 3 1 5 5 3 0 10 10 5 1 1 5 4 5 0 5 5 4 0 0 0 2 10 1 2 2 1 2 0 2 2 0 5 5 0 0 1 4 10 4 5 0 2 5 0 0 4 2 5 10 0 4 2 2 5 5 0 3 3 10 5 5 5 1 2 3 5 2 0 10 1 1 5 2 5 10 4 0 5 1 6 5 0 1 2 10 2 10 10 0 5 0 2 3 0 5 5 10 </values>
20004.81/2520.09	v </instantiation>
20004.81/2520.09	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8458 MiB free)
  memory of node 1: 16384 MiB (11552 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297511-1532711606/watcher-4297511-1532711606 -o /tmp/evaluation-result-4297511-1532711606/solver-4297511-1532711606 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532708384-2485 --watchdog 2580 HOME/xcsp3-exec -seed 1080678488 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297511-1532711606.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 6.96 6.99 7.33 2/200 3224
/proc/meminfo: memFree=20474752/32770624 swapFree=67108860/67108860
[pid=3203] ppid=3200 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3203/stat : 3203 (xcsp3-exec) S 3200 3203 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88723789 115843072 364 33554432000 4194304 5098028 140737336642672 140737336640776 140432532337276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12951552 140737336648757 140737336648960 140737336648960 140737336651722 0
/proc/3203/statm: 28282 364 306 221 0 87 0
[pid=3205] ppid=3203 vsize=26104152 memory=27360 CPUtime=0.1 cores=0-7
/proc/3205/stat : 3205 (java) S 3203 3203 2458 0 -1 1077944320 5763 0 0 0 9 1 0 0 20 0 20 0 88723789 26730651648 6840 33554432000 4194304 4196468 140723490062256 140723490044800 140122121498359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
/proc/3205/statm: 6526038 6840 2999 1 0 6488315 0
[pid=3205/tid=3206] ppid=3203 vsize=26104152 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3205/task/3206/stat : 3206 (java) R 3203 3203 2458 0 -1 4202560 3778 0 0 0 7 1 0 0 20 0 20 0 88723789 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122125724608 140122121510294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3207] ppid=3203 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3205/task/3207/stat : 3207 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122044078608 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3208] ppid=3203 vsize=26104152 memory=140650983270016 CPUtime=0 cores=0-7
/proc/3205/task/3208/stat : 3208 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122043026064 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3209] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3209/stat : 3209 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122041973008 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3210] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3210/stat : 3210 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122040920464 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3211] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3211/stat : 3211 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122039868432 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3212] ppid=3203 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/3205/task/3212/stat : 3212 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122038815888 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3213] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3213/stat : 3213 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122037762832 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3214] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3214/stat : 3214 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 6840 33554432000 4194304 4196468 140723490062256 140122036710288 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3215] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3215/stat : 3215 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723791 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120528005360 140122121509506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3216] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3216/stat : 3216 (java) S 3203 3203 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88723792 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120526951584 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3217] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3217/stat : 3217 (java) S 3203 3203 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88723792 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120525898480 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3218] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3218/stat : 3218 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120524847056 140122121516955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3219] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3219/stat : 3219 (java) S 3203 3203 2458 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120523795184 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3220] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3220/stat : 3220 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120522742640 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3221] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3221/stat : 3221 (java) S 3203 3203 2458 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120521689584 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3222] ppid=3203 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/3205/task/3222/stat : 3222 (java) R 3203 3203 2458 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 88723795 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120520637040 140122100132272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3223] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3223/stat : 3223 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120519584224 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3224] ppid=3203 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/3205/task/3224/stat : 3224 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 6840 33554432000 4194304 4196468 140723490062256 140120518531760 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28816 KiB

[startup+0.210347 s]*
/proc/loadavg: 6.96 6.99 7.33 3/200 3224
/proc/meminfo: memFree=20463992/32770624 swapFree=67108860/67108860
[pid=3203] ppid=3200 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3203/stat : 3203 (xcsp3-exec) S 3200 3203 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88723789 115843072 364 33554432000 4194304 5098028 140737336642672 140737336640776 140432532337276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12951552 140737336648757 140737336648960 140737336648960 140737336651722 0
/proc/3203/statm: 28282 364 306 221 0 87 0
[pid=3205] ppid=3203 vsize=26104152 memory=39840 CPUtime=0.33 cores=0-7
/proc/3205/stat : 3205 (java) S 3203 3203 2458 0 -1 1077944320 8473 0 0 0 30 3 0 0 20 0 20 0 88723789 26730651648 9960 33554432000 4194304 4196468 140723490062256 140723490044800 140122121498359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
/proc/3205/statm: 6526038 9960 3210 1 0 6488315 0
[pid=3205/tid=3206] ppid=3203 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3205/task/3206/stat : 3206 (java) R 3203 3203 2458 0 -1 4202560 5595 0 0 0 17 2 0 0 20 0 20 0 88723789 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122125731536 140122105541989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3207] ppid=3203 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/3205/task/3207/stat : 3207 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122044078608 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3208] ppid=3203 vsize=26104152 memory=140650983839595 CPUtime=0 cores=0-7
/proc/3205/task/3208/stat : 3208 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122043026064 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3209] ppid=3203 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/3205/task/3209/stat : 3209 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122041973008 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3210] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3210/stat : 3210 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122040920464 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3211] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3211/stat : 3211 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122039868432 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3212] ppid=3203 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/3205/task/3212/stat : 3212 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122038815888 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3213] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3213/stat : 3213 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122037762832 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3214] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3214/stat : 3214 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26730651648 9960 33554432000 4194304 4196468 140723490062256 140122036710288 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3215] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3215/stat : 3215 (java) S 3203 3203 2458 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88723791 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120528005360 140122121509506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3216] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3216/stat : 3216 (java) S 3203 3203 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88723792 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120526951584 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3217] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3217/stat : 3217 (java) S 3203 3203 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88723792 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120525898480 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3218] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3218/stat : 3218 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120524847056 140122121516955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3219] ppid=3203 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/3205/task/3219/stat : 3219 (java) S 3203 3203 2458 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 88723795 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120523795184 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3220] ppid=3203 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/3205/task/3220/stat : 3220 (java) S 3203 3203 2458 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 88723795 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120522742640 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3221] ppid=3203 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/3205/task/3221/stat : 3221 (java) S 3203 3203 2458 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 88723795 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120521689584 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3222] ppid=3203 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/3205/task/3222/stat : 3222 (java) R 3203 3203 2458 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 88723795 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120520637040 140122121519706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3223] ppid=3203 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3223/stat : 3223 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120519584224 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3224] ppid=3203 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/3205/task/3224/stat : 3224 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723795 26730651648 9960 33554432000 4194304 4196468 140723490062256 140120518531760 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41296 KiB

[startup+0.311465 s]*
/proc/loadavg: 6.96 6.99 7.33 3/200 3224
/proc/meminfo: memFree=20456764/32770624 swapFree=67108860/67108860
[pid=3203] ppid=3200 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3203/stat : 3203 (xcsp3-exec) S 3200 3203 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88723789 115843072 364 33554432000 4194304 5098028 140737336642672 140737336640776 140432532337276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12951552 140737336648757 140737336648960 140737336648960 140737336651722 0
/proc/3203/statm: 28282 364 306 221 0 87 0
[pid=3205] ppid=3203 vsize=26108408 memory=46780 CPUtime=0.51 cores=0-7
/proc/3205/stat : 3205 (java) S 3203 3203 2458 0 -1 1077944320 9390 0 0 0 48 3 0 0 20 0 20 0 88723789 26735009792 11695 33554432000 4194304 4196468 140723490062256 140723490044800 140122121498359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
/proc/3205/statm: 6527102 11695 3252 1 0 6488315 0
[pid=3205/tid=3206] ppid=3203 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3205/task/3206/stat : 3206 (java) R 3203 3203 2458 0 -1 4202560 6319 0 0 0 27 2 0 0 20 0 20 0 88723789 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122125728032 140122105578846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3207] ppid=3203 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3207/stat : 3207 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122044078608 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3208] ppid=3203 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3208/stat : 3208 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122043026064 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3209] ppid=3203 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3209/stat : 3209 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122041973008 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3210] ppid=3203 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3210/stat : 3210 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122040920464 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3211] ppid=3203 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/3205/task/3211/stat : 3211 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122039868432 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3212] ppid=3203 vsize=26108408 memory=140650850907055 CPUtime=0 cores=0-7
/proc/3205/task/3212/stat : 3212 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122038815888 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3213] ppid=3203 vsize=26108408 memory=140650850909360 CPUtime=0 cores=0-7
/proc/3205/task/3213/stat : 3213 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122037762832 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3214] ppid=3203 vsize=26108408 memory=140650850911664 CPUtime=0 cores=0-7
/proc/3205/task/3214/stat : 3214 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26735009792 11695 33554432000 4194304 4196468 140723490062256 140122036710288 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3215] ppid=3203 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3215/stat : 3215 (java) S 3203 3203 2458 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88723791 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120528005360 140122121509506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3216] ppid=3203 vsize=26108408 memory=281301701830288 CPUtime=0 cores=0-7
/proc/3205/task/3216/stat : 3216 (java) S 3203 3203 2458 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88723792 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120526951584 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3217] ppid=3203 vsize=26108408 memory=281301701837200 CPUtime=0 cores=0-7
/proc/3205/task/3217/stat : 3217 (java) S 3203 3203 2458 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88723792 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120525898480 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3218] ppid=3203 vsize=26108408 memory=281301701778480 CPUtime=0 cores=0-7
/proc/3205/task/3218/stat : 3218 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723795 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120524847056 140122121516955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3219] ppid=3203 vsize=26108408 memory=281301701851024 CPUtime=0.04 cores=0-7
/proc/3205/task/3219/stat : 3219 (java) S 3203 3203 2458 0 -1 1077944384 484 0 0 0 4 0 0 0 20 0 20 0 88723795 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120523795184 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3220] ppid=3203 vsize=26108408 memory=281301701857936 CPUtime=0.02 cores=0-7
/proc/3205/task/3220/stat : 3220 (java) S 3203 3203 2458 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 20 0 88723795 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120522742640 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3221] ppid=3203 vsize=26108408 memory=281301701855632 CPUtime=0.01 cores=0-7
/proc/3205/task/3221/stat : 3221 (java) S 3203 3203 2458 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 88723795 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120521689584 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3222] ppid=3203 vsize=26108408 memory=281301701871792 CPUtime=0.12 cores=0-7
/proc/3205/task/3222/stat : 3222 (java) S 3203 3203 2458 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 20 0 88723795 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120520637040 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3223] ppid=3203 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3223/stat : 3223 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723795 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120519584224 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3224] ppid=3203 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/3205/task/3224/stat : 3224 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723795 26735009792 11695 33554432000 4194304 4196468 140723490062256 140120518531760 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48236 KiB

[startup+0.701002 s]
/proc/loadavg: 6.96 6.99 7.33 6/200 3224
/proc/meminfo: memFree=20434556/32770624 swapFree=67108860/67108860
[pid=3203] ppid=3200 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3203/stat : 3203 (xcsp3-exec) S 3200 3203 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88723789 115843072 364 33554432000 4194304 5098028 140737336642672 140737336640776 140432532337276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12951552 140737336648757 140737336648960 140737336648960 140737336651722 0
/proc/3203/statm: 28282 364 306 221 0 87 0
[pid=3205] ppid=3203 vsize=26110532 memory=90164 CPUtime=1.76 cores=0-7
/proc/3205/stat : 3205 (java) S 3203 3203 2458 0 -1 1077944320 13636 0 0 0 171 5 0 0 20 0 20 0 88723789 26737184768 22541 33554432000 4194304 4196468 140723490062256 140723490044800 140122121498359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
/proc/3205/statm: 6527633 22541 3357 1 0 6488827 0
[pid=3205/tid=3206] ppid=3203 vsize=26110532 memory=281301702229680 CPUtime=0.67 cores=0-7
/proc/3205/task/3206/stat : 3206 (java) R 3203 3203 2458 0 -1 4202560 7053 0 0 0 64 3 0 0 20 0 20 0 88723789 26737184768 22541 33554432000 4194304 4196468 140723490062256 140122125735232 140121718806948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3207] ppid=3203 vsize=26110532 memory=140650851115888 CPUtime=0 cores=0-7
/proc/3205/task/3207/stat : 3207 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88723790 26737184768 22541 33554432000 4194304 4196468 140723490062256 140122044078608 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3208] ppid=3203 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/3205/task/3208/stat : 3208 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88723790 26737184768 22541 33554432000 4194304 4196468 140723490062256 140122043026064 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3209] ppid=3203 vsize=26110532 memory=8540 CPUtime=0 cores=0-7
/proc/3205/task/3209/stat : 3209 (java) S 3203 3203 2458 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88723790 26737184768 22541 33554432000 4194304 4196468 140723490062256 140122041973008 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0

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

[pid=3205/tid=3609] ppid=3203 vsize=26645092 memory=1936 CPUtime=1514.53 cores=0-7
/proc/3205/task/3609/stat : 3609 (java) R 3203 3203 2458 0 -1 4202560 16224 0 0 0 151424 29 0 0 20 0 28 0 88815696 27284574208 399651 33554432000 4194304 4196468 140723490062256 140120509747000 140121721919664 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
Current children cumulated CPU time: 19385.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1600060 KiB

[startup+2502.3 s]
/proc/loadavg: 8.91 8.44 8.25 9/207 3634
/proc/meminfo: memFree=18899464/32770624 swapFree=67108860/67108860
[pid=3203] ppid=3200 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3203/stat : 3203 (xcsp3-exec) S 3200 3203 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88723789 115843072 364 33554432000 4194304 5098028 140737336642672 140737336640776 140432532337276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12951552 140737336648757 140737336648960 140737336648960 140737336651722 0
/proc/3203/statm: 28282 364 306 221 0 87 0
[pid=3205] ppid=3203 vsize=26645092 memory=1602744 CPUtime=19863.7 cores=0-7
/proc/3205/stat : 3205 (java) S 3203 3203 2458 0 -1 1077944320 743619 0 0 0 1985004 1365 0 0 20 0 28 0 88723789 27284574208 400686 33554432000 4194304 4196468 140723490062256 140723490044800 140122121498359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
/proc/3205/statm: 6661273 400686 3467 1 0 6622467 0
[pid=3205/tid=3206] ppid=3203 vsize=26645092 memory=1602744 CPUtime=7.56 cores=0-7
/proc/3205/task/3206/stat : 3206 (java) S 3203 3203 2458 0 -1 1077944384 11857 0 0 0 746 10 0 0 20 0 28 0 88723789 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122125739136 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3207] ppid=3203 vsize=26645092 memory=1456 CPUtime=7.07 cores=0-7
/proc/3205/task/3207/stat : 3207 (java) S 3203 3203 2458 0 -1 1077944384 17775 0 0 0 628 79 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122044078608 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3208] ppid=3203 vsize=26645092 memory=1456 CPUtime=7.09 cores=0-7
/proc/3205/task/3208/stat : 3208 (java) S 3203 3203 2458 0 -1 1077944384 18008 0 0 0 630 79 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122043026064 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3209] ppid=3203 vsize=26645092 memory=1601728 CPUtime=7.08 cores=0-7
/proc/3205/task/3209/stat : 3209 (java) S 3203 3203 2458 0 -1 1077944384 14870 0 0 0 625 83 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122041973008 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3210] ppid=3203 vsize=26645092 memory=1456 CPUtime=7.09 cores=0-7
/proc/3205/task/3210/stat : 3210 (java) S 3203 3203 2458 0 -1 1077944384 18965 0 0 0 627 82 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122040920464 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3211] ppid=3203 vsize=26645092 memory=1456 CPUtime=7.07 cores=0-7
/proc/3205/task/3211/stat : 3211 (java) S 3203 3203 2458 0 -1 1077944384 15035 0 0 0 628 79 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122039868432 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3212] ppid=3203 vsize=26645092 memory=1601732 CPUtime=7.09 cores=0-7
/proc/3205/task/3212/stat : 3212 (java) S 3203 3203 2458 0 -1 1077944384 17458 0 0 0 626 83 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122038815888 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3213] ppid=3203 vsize=26645092 memory=1456 CPUtime=7.1 cores=0-7
/proc/3205/task/3213/stat : 3213 (java) S 3203 3203 2458 0 -1 1077944384 18587 0 0 0 630 80 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122037762832 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3214] ppid=3203 vsize=26645092 memory=1936 CPUtime=7.12 cores=0-7
/proc/3205/task/3214/stat : 3214 (java) S 3203 3203 2458 0 -1 1077944384 18484 0 0 0 630 82 0 0 20 0 28 0 88723790 27284574208 400686 33554432000 4194304 4196468 140723490062256 140122036710288 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3215] ppid=3203 vsize=26645092 memory=1456 CPUtime=0.66 cores=0-7
/proc/3205/task/3215/stat : 3215 (java) S 3203 3203 2458 0 -1 1077944384 26721 0 0 0 49 17 0 0 20 0 28 0 88723791 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120528005360 140122121509506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3216] ppid=3203 vsize=26645092 memory=4486604260213485459 CPUtime=0 cores=0-7
/proc/3205/task/3216/stat : 3216 (java) S 3203 3203 2458 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 88723792 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120526951648 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3217] ppid=3203 vsize=26645092 memory=916 CPUtime=0 cores=0-7
/proc/3205/task/3217/stat : 3217 (java) S 3203 3203 2458 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 88723792 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120525898496 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3218] ppid=3203 vsize=26645092 memory=1601732 CPUtime=0 cores=0-7
/proc/3205/task/3218/stat : 3218 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88723795 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120524847056 140122121516955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3219] ppid=3203 vsize=26645092 memory=1456 CPUtime=4.21 cores=0-7
/proc/3205/task/3219/stat : 3219 (java) S 3203 3203 2458 0 -1 1077944384 37527 0 0 0 413 8 0 0 20 0 28 0 88723795 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120523795184 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3220] ppid=3203 vsize=26645092 memory=2344 CPUtime=3.73 cores=0-7
/proc/3205/task/3220/stat : 3220 (java) S 3203 3203 2458 0 -1 1077944384 30590 0 0 0 367 6 0 0 20 0 28 0 88723795 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120522742640 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3221] ppid=3203 vsize=26645092 memory=928 CPUtime=3.86 cores=0-7
/proc/3205/task/3221/stat : 3221 (java) S 3203 3203 2458 0 -1 1077944384 33714 0 0 0 381 5 0 0 20 0 28 0 88723795 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120521689584 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3222] ppid=3203 vsize=26645092 memory=2420 CPUtime=1.16 cores=0-7
/proc/3205/task/3222/stat : 3222 (java) S 3203 3203 2458 0 -1 1077944384 32160 0 0 0 111 5 0 0 20 0 28 0 88723795 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120520637040 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3223] ppid=3203 vsize=26645092 memory=1292 CPUtime=0 cores=0-7
/proc/3205/task/3223/stat : 3223 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88723795 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120519584224 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3224] ppid=3203 vsize=26645092 memory=1139 CPUtime=1.06 cores=0-7
/proc/3205/task/3224/stat : 3224 (java) S 3203 3203 2458 0 -1 1077944384 5732 0 0 0 26 80 0 0 20 0 28 0 88723795 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120518531760 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3602] ppid=3203 vsize=26645092 memory=421 CPUtime=1568.81 cores=0-7
/proc/3205/task/3602/stat : 3602 (java) R 3203 3203 2458 0 -1 4202560 18797 0 0 0 156874 7 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120508693160 140121721485791 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3603] ppid=3203 vsize=26645092 memory=4052 CPUtime=1572.1 cores=0-7
/proc/3205/task/3603/stat : 3603 (java) R 3203 3203 2458 0 -1 4202560 16486 0 0 0 157189 21 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120504483344 140121722929556 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3604] ppid=3203 vsize=26645092 memory=18252 CPUtime=1578.14 cores=0-7
/proc/3205/task/3604/stat : 3604 (java) R 3203 3203 2458 0 -1 4202560 15147 0 0 0 157805 9 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120507642264 140121722078653 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3605] ppid=3203 vsize=26645092 memory=1456 CPUtime=1577.24 cores=0-7
/proc/3205/task/3605/stat : 3605 (java) R 3203 3203 2458 0 -1 4202560 16309 0 0 0 157708 16 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120506589848 140121721455487 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3606] ppid=3203 vsize=26645092 memory=1456 CPUtime=1574.8 cores=0-7
/proc/3205/task/3606/stat : 3606 (java) R 3203 3203 2458 0 -1 4202560 25096 0 0 0 157461 19 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120505536664 140121722080431 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3607] ppid=3203 vsize=26645092 memory=1602744 CPUtime=1579.07 cores=0-7
/proc/3205/task/3607/stat : 3607 (java) R 3203 3203 2458 0 -1 4202560 12099 0 0 0 157903 4 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120503431480 140121721455487 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3608] ppid=3203 vsize=26645092 memory=1456 CPUtime=1577.23 cores=0-7
/proc/3205/task/3608/stat : 3608 (java) R 3203 3203 2458 0 -1 4202560 30870 0 0 0 157688 35 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120502378008 140121721455487 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3609] ppid=3203 vsize=26645092 memory=1456 CPUtime=1574.36 cores=0-7
/proc/3205/task/3609/stat : 3609 (java) R 3203 3203 2458 0 -1 4202560 16330 0 0 0 157407 29 0 0 20 0 28 0 88815696 27284574208 400686 33554432000 4194304 4196468 140723490062256 140120509749840 140121723090033 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
Current children cumulated CPU time: 19863.7 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1604200 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.93 8.47 8.27 9/207 3634
/proc/meminfo: memFree=18900096/32770624 swapFree=67108860/67108860
[pid=3203] ppid=3200 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3203/stat : 3203 (xcsp3-exec) S 3200 3203 2458 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88723789 115843072 364 33554432000 4194304 5098028 140737336642672 140737336640776 140432532337276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12951552 140737336648757 140737336648960 140737336648960 140737336651722 0
/proc/3203/statm: 28282 364 306 221 0 87 0
[pid=3205] ppid=3203 vsize=26645092 memory=1602252 CPUtime=20004.8 cores=0-7
/proc/3205/stat : 3205 (java) S 3203 3203 2458 0 -1 1077944320 746567 0 0 0 1999114 1367 0 0 20 0 28 0 88723789 27284574208 400563 33554432000 4194304 4196468 140723490062256 140723490044800 140122121498359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
/proc/3205/statm: 6661273 400563 3467 1 0 6622467 0
[pid=3205/tid=3206] ppid=3203 vsize=26645092 memory=7305209476228606311 CPUtime=7.56 cores=0-7
/proc/3205/task/3206/stat : 3206 (java) S 3203 3203 2458 0 -1 1077944384 11857 0 0 0 746 10 0 0 20 0 28 0 88723789 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122125739136 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3207] ppid=3203 vsize=26645092 memory=7305209476228606311 CPUtime=7.15 cores=0-7
/proc/3205/task/3207/stat : 3207 (java) S 3203 3203 2458 0 -1 1077944384 17821 0 0 0 636 79 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122044078608 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3208] ppid=3203 vsize=26645092 memory=4872558044660077418 CPUtime=7.17 cores=0-7
/proc/3205/task/3208/stat : 3208 (java) S 3203 3203 2458 0 -1 1077944384 18092 0 0 0 638 79 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122043026064 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3209] ppid=3203 vsize=26645092 memory=4616 CPUtime=7.15 cores=0-7
/proc/3205/task/3209/stat : 3209 (java) S 3203 3203 2458 0 -1 1077944384 14958 0 0 0 632 83 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122041973008 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3210] ppid=3203 vsize=26645092 memory=1424 CPUtime=7.16 cores=0-7
/proc/3205/task/3210/stat : 3210 (java) S 3203 3203 2458 0 -1 1077944384 19307 0 0 0 634 82 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122040920464 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3211] ppid=3203 vsize=26645092 memory=1456 CPUtime=7.14 cores=0-7
/proc/3205/task/3211/stat : 3211 (java) S 3203 3203 2458 0 -1 1077944384 15483 0 0 0 635 79 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122039868432 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3212] ppid=3203 vsize=26645092 memory=1602256 CPUtime=7.16 cores=0-7
/proc/3205/task/3212/stat : 3212 (java) S 3203 3203 2458 0 -1 1077944384 17520 0 0 0 633 83 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122038815888 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3213] ppid=3203 vsize=26645092 memory=18252 CPUtime=7.17 cores=0-7
/proc/3205/task/3213/stat : 3213 (java) S 3203 3203 2458 0 -1 1077944384 18651 0 0 0 637 80 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122037762832 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3214] ppid=3203 vsize=26645092 memory=4572164749098055210 CPUtime=7.2 cores=0-7
/proc/3205/task/3214/stat : 3214 (java) S 3203 3203 2458 0 -1 1077944384 18529 0 0 0 638 82 0 0 20 0 28 0 88723790 27284574208 400563 33554432000 4194304 4196468 140723490062256 140122036710288 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3215] ppid=3203 vsize=26645092 memory=8328453600958622283 CPUtime=0.68 cores=0-7
/proc/3205/task/3215/stat : 3215 (java) S 3203 3203 2458 0 -1 1077944384 26937 0 0 0 50 18 0 0 20 0 28 0 88723791 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120528005360 140122121509506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3216] ppid=3203 vsize=26645092 memory=-8412652160765825907 CPUtime=0 cores=0-7
/proc/3205/task/3216/stat : 3216 (java) S 3203 3203 2458 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 88723792 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120526951648 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3217] ppid=3203 vsize=26645092 memory=-8634980985311628903 CPUtime=0 cores=0-7
/proc/3205/task/3217/stat : 3217 (java) S 3203 3203 2458 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 88723792 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120525898496 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3218] ppid=3203 vsize=26645092 memory=7100839878645619564 CPUtime=0 cores=0-7
/proc/3205/task/3218/stat : 3218 (java) S 3203 3203 2458 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88723795 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120524847056 140122121516955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3219] ppid=3203 vsize=26645092 memory=2344 CPUtime=4.21 cores=0-7
/proc/3205/task/3219/stat : 3219 (java) S 3203 3203 2458 0 -1 1077944384 37529 0 0 0 413 8 0 0 20 0 28 0 88723795 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120523795184 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3220] ppid=3203 vsize=26645092 memory=928 CPUtime=3.73 cores=0-7
/proc/3205/task/3220/stat : 3220 (java) S 3203 3203 2458 0 -1 1077944384 30592 0 0 0 367 6 0 0 20 0 28 0 88723795 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120522742640 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3221] ppid=3203 vsize=26645092 memory=1228 CPUtime=3.86 cores=0-7
/proc/3205/task/3221/stat : 3221 (java) S 3203 3203 2458 0 -1 1077944384 33716 0 0 0 381 5 0 0 20 0 28 0 88723795 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120521689584 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3222] ppid=3203 vsize=26645092 memory=1712 CPUtime=1.16 cores=0-7
/proc/3205/task/3222/stat : 3222 (java) S 3203 3203 2458 0 -1 1077944384 32162 0 0 0 111 5 0 0 20 0 28 0 88723795 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120520637040 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3223] ppid=3203 vsize=26645092 memory=9996 CPUtime=0 cores=0-7
/proc/3205/task/3223/stat : 3223 (java) S 3203 3203 2458 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88723795 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120519584224 140122121508565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3224] ppid=3203 vsize=26645092 memory=5792 CPUtime=1.06 cores=0-7
/proc/3205/task/3224/stat : 3224 (java) S 3203 3203 2458 0 -1 1077944384 5747 0 0 0 26 80 0 0 20 0 28 0 88723795 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120518531760 140122121509506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3602] ppid=3203 vsize=26645092 memory=1936 CPUtime=1586.39 cores=0-7
/proc/3205/task/3602/stat : 3602 (java) R 3203 3203 2458 0 -1 4202560 18970 0 0 0 158632 7 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120508693160 140121723089882 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3603] ppid=3203 vsize=26645092 memory=1456 CPUtime=1589.67 cores=0-7
/proc/3205/task/3603/stat : 3603 (java) R 3203 3203 2458 0 -1 4202560 16684 0 0 0 158946 21 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120504483640 140121721455487 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3604] ppid=3203 vsize=26645092 memory=1602764 CPUtime=1595.48 cores=0-7
/proc/3205/task/3604/stat : 3604 (java) R 3203 3203 2458 0 -1 4202560 15237 0 0 0 159538 10 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120507642264 140121721455256 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3605] ppid=3203 vsize=26645092 memory=4616 CPUtime=1594.85 cores=0-7
/proc/3205/task/3605/stat : 3605 (java) R 3203 3203 2458 0 -1 4202560 16451 0 0 0 159469 16 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120506592560 140121721456492 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3606] ppid=3203 vsize=26645092 memory=1424 CPUtime=1592.38 cores=0-7
/proc/3205/task/3606/stat : 3606 (java) R 3203 3203 2458 0 -1 4202560 25374 0 0 0 159219 19 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120505536664 140121716798974 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3607] ppid=3203 vsize=26645092 memory=33 CPUtime=1596.68 cores=0-7
/proc/3205/task/3607/stat : 3607 (java) R 3203 3203 2458 0 -1 4202560 12206 0 0 0 159664 4 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120503431576 140121723089183 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3608] ppid=3203 vsize=26645092 memory=6944656592455359580 CPUtime=1594.83 cores=0-7
/proc/3205/task/3608/stat : 3608 (java) R 3203 3203 2458 0 -1 4202560 31110 0 0 0 159448 35 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120502378272 140121721792784 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
[pid=3205/tid=3609] ppid=3203 vsize=26645092 memory=6944656592455360604 CPUtime=1591.97 cores=0-7
/proc/3205/task/3609/stat : 3609 (java) R 3203 3203 2458 0 -1 4202560 16632 0 0 0 159168 29 0 0 20 0 28 0 88815696 27284574208 400563 33554432000 4194304 4196468 140723490062256 140120509747544 140121721149874 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10137600 140723490063489 140723490063661 140723490063661 140723490066383 0
Current children cumulated CPU time: 20004.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1603708 KiB

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

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

[startup+2520.11 s]
# the end of solver process 3205 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19991.8 s, system=13.6912 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 20005.5
CPU user time (s): 19991.8
CPU system time (s): 13.6912
CPU usage (%): 793.835
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 3069372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19991.8
system time used= 13.6912
maximum resident set size= 3067996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 747521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95437
involuntary context switches= 205826


# summary of solver processes directly reported to runsolver:
#   pid: 3203,3205
#   total CPU time (s): 20005.5
#   total CPU user time (s): 19991.8
#   total CPU system time (s): 13.6912

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1274 second user time and 31.4849 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml
MD5SUM	69d2b1c9cf4919b13dd8bc483772d8bf
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	12886
Best CPU time to get the best result obtained on this benchmark	20005.5
Satisfiable
(Un)Satisfiability was proved
Number of variables	2450
Number of constraints	1177
Number of domains	2
Minimum domain size	8
Maximum domain size	49
Distribution of domain sizes	[{"size":8,"count":1176},{"size":49,"count":49}]
Minimum variable degree	0
Maximum variable degree	49
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}]
Minimum constraint arity	3
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":3,"count":1176},{"arity":49,"count":1}]
Number of extensional constraints	1176
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1176},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297511

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