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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	31658	2400.58	609.713

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394337-1568329202.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394337-1568329202.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
10.39/3.40	c solve instance...
13.13/4.17	o 31919 
13.13/4.18	o 31912 
13.13/4.20	o 31907 
13.45/4.21	o 31904 
13.45/4.22	o 31894 
13.45/4.23	o 31878 
13.45/4.28	o 31869 
14.94/4.65	o 31865 
15.91/4.92	o 31836 
15.91/4.96	o 31827 
19.82/5.97	o 31826 
20.59/6.21	o 31817 
28.19/8.59	o 31812 
36.45/11.28	o 31768 
42.87/13.87	o 31732 
50.50/16.41	o 31707 
183.99/51.07	o 31691 
207.25/57.00	o 31690 
245.89/67.52	o 31687 
312.28/84.97	o 31658 
2400.19/609.67	s SATISFIABLE
2400.19/609.67	v <instantiation>
2400.19/609.67	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] x[49] 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][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] 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][45] d[1][46] d[1][47] d[1][48] d[1][49] 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][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[2][49] 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][48] d[3][49] 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][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[4][49] 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][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[5][49] 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][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[6][49] 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][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[7][49] 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[8][49] 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][45] d[9][46] d[9][47] d[9][48] d[9][49] 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][49] 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][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][13] d[12][14] d[12][15] d[12][16] 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[12][49] 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][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] 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][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[14][49] 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][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[15][49] 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[16][49] 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[17][49] 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[18][49] 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][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[19][49] 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][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[20][49] 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][49] 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][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] 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[23][49] 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][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] 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[25][49] 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[26][49] 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[27][49] 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][49] 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][49] 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[30][49] 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[31][49] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] 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[32][49] 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[33][49] 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[34][49] 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[35][49] 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[36][49] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] 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[38][49] 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][49] 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[40][49] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][46] d[45][47] d[45][48] d[45][49] d[46][47] d[46][48] d[46][49] d[47][48] d[47][49] d[48][49] </list>
2400.19/609.67	v 	<values>48 22 6 42 40 25 26 49 39 36 12 10 17 43 15 32 9 38 18 30 19 37 34 8 23 5 24 33 0 20 41 7 28 29 1 31 13 45 2 35 46 14 3 4 21 11 44 16 47 27 32 17 29 17 36 29 31 16 41 10 20 14 40 27 42 42 22 23 45 26 18 26 13 35 6 35 48 34 46 29 23 28 23 15 17 39 12 30 34 28 22 14 26 35 30 44 31 43 10 47 24 22 31 35 28 17 27 13 11 36 21 20 15 35 32 15 36 32 26 17 38 29 28 32 12 26 25 35 27 14 24 35 30 22 26 23 16 33 16 28 36 26 18 7 14 30 15 36 27 15 30 36 37 22 30 12 42 35 11 25 24 45 33 15 34 41 27 18 27 41 24 24 26 44 36 24 28 10 27 19 44 25 20 22 6 10 22 29 15 11 34 20 26 15 35 27 11 31 40 29 39 27 33 30 37 32 43 22 13 27 4 33 14 13 38 34 34 27 15 6 24 13 35 31 17 6 35 25 44 24 27 21 25 40 32 46 16 19 34 38 11 36 9 21 43 14 23 32 20 14 37 28 22 8 43 11 10 44 42 15 39 22 30 32 9 37 11 20 26 34 18 5 19 40 11 10 20 34 27 23 32 24 29 23 13 22 35 31 35 11 47 25 16 26 11 24 24 38 35 30 34 30 14 22 31 27 22 28 26 20 35 14 45 27 47 9 26 21 22 37 25 34 25 27 23 16 15 27 22 34 16 34 21 17 25 20 41 26 12 39 34 26 17 33 33 13 13 29 27 31 16 34 30 19 29 23 29 26 49 16 35 10 28 30 18 32 35 32 6 35 19 23 19 44 24 25 20 24 12 33 16 29 19 28 29 22 20 38 45 4 31 34 18 26 29 38 22 34 19 38 19 8 36 20 19 27 27 30 15 41 38 42 28 18 31 22 24 29 23 27 42 27 30 28 17 14 5 29 28 21 37 44 41 31 24 25 24 21 27 28 36 17 26 13 36 8 18 24 11 14 5 28 31 22 33 27 39 17 24 20 25 16 29 39 10 38 28 25 19 21 7 11 25 7 18 38 10 26 26 33 41 39 33 35 42 30 18 41 9 16 19 33 30 16 37 37 26 46 35 31 14 21 34 33 5 23 25 9 35 22 24 23 33 21 47 39 28 34 27 33 41 32 26 14 6 32 36 19 19 25 21 33 16 29 23 35 19 26 15 16 27 30 25 20 25 48 28 39 11 8 9 13 11 19 40 31 17 23 18 18 16 14 33 38 11 40 38 20 30 24 32 35 39 25 9 27 28 28 34 38 28 26 24 7 24 6 18 15 21 41 35 17 41 27 36 19 33 41 11 37 24 38 47 18 36 25 28 29 24 13 28 24 24 35 41 35 20 25 31 44 21 5 32 32 24 3 6 26 13 31 39 32 34 28 27 11 30 12 33 15 29 26 16 19 28 25 35 33 25 28 28 36 15 29 7 23 20 35 11 33 34 32 10 45 14 30 22 41 2 33 12 35 34 10 28 17 33 21 17 28 25 28 44 25 27 33 48 25 7 37 22 27 29 13 8 37 14 45 47 24 34 27 29 46 28 48 24 30 16 34 19 5 27 25 36 34 29 27 47 37 48 33 23 35 24 28 22 42 43 35 30 40 14 29 24 7 14 27 22 30 14 35 35 14 32 35 29 15 12 21 16 12 27 25 42 26 40 9 30 21 26 34 29 7 28 17 24 29 26 34 29 37 29 44 15 23 31 41 22 36 42 29 26 46 35 29 17 38 34 18 24 21 23 36 18 27 22 34 39 28 29 41 39 25 20 19 49 42 17 29 34 26 28 6 27 26 23 38 18 20 21 34 21 24 29 42 27 19 27 26 34 31 28 28 5 14 31 48 46 18 22 14 14 32 36 21 28 7 29 15 10 30 35 14 16 27 38 22 26 35 8 26 31 30 18 16 20 40 21 36 42 30 44 17 25 34 26 33 21 27 36 17 29 7 31 35 28 27 27 35 25 36 8 30 4 20 19 30 38 22 33 29 28 33 24 35 23 44 33 19 19 6 38 22 5 43 16 23 11 9 18 21 37 7 36 7 29 38 19 17 18 29 46 14 7 31 33 8 22 25 17 22 21 18 25 45 13 14 47 13 31 30 5 24 33 20 13 22 37 28 23 33 22 26 26 36 18 30 7 24 31 17 16 19 35 20 26 32 9 30 28 49 30 31 21 42 40 8 24 27 45 5 23 28 2 29 26 43 28 18 33 20 24 13 29 31 29 15 26 37 40 36 14 40 36 23 44 33 33 8 26 35 32 29 33 47 23 29 23 14 17 37 27 11 23 25 21 31 40 12 29 10 29 30 18 20 35 38 21 27 24 27 45 15 23 19 11 11 13 24 31 25 21 24 33 35 22 26 4 35 25 31 26 14 39 24 34 43 18 44 46 25 34 38 35 16 38 21 11 49 38 24 36 11 21 35 37 11 20 35 44 23 28 27 29 31 14 17 20 38 33 44 20 20 37 31 26 34 47 13 26 23 44 24 25 32 16 23 37 27 22 17 14 28 26 29 35 22 22 30 34 26 29 21 23 27 14 30 40 12 35 28 21 19 19 19 31 15 33 38 17 8 44 12 15 19 29 26 25 34 38 14 29 25 41 31 8 24 30 25 44 27 3 22 26 9 31 28 27 29 15 32 16 32 15 35 14 31 43 28 33 28 31 27 17 28 22 22 21 14 34 21 14 25 30 32 42 8 22 14 29 21 28 25 25 37 22 2 16 22 35 35 33 10 32 5 9 17 25 33 21 20 20 24 35 8 27 19 33 </values>
2400.19/609.67	v </instantiation>
2400.19/609.67	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 (7256 MiB free)
  memory of node 1: 16384 MiB (12396 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394337-1568329202/watcher-4394337-1568329202 -o /tmp/evaluation-result-4394337-1568329202/solver-4394337-1568329202 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 504888620 HOME/instance-4394337-1568329202.xml 

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

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


[startup+0.10008 s]*
/proc/loadavg: 8.70 8.49 6.61 8/233 21507
/proc/meminfo: memFree=20108680/32770624 swapFree=66939824/67108860
[pid=21491] ppid=21488 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21491/stat : 21491 (xcsp3-exec) S 21488 21491 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408835133 115843072 362 33554432000 4194304 5098028 140722549109504 140722549107608 140415486923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25399296 140722549117819 140722549118061 140722549118061 140722549120970 0
/proc/21491/statm: 28282 362 304 221 0 87 0
[pid=21493] ppid=21491 vsize=15144768 memory=27996 CPUtime=0.13 cores=1,3,5,7
/proc/21493/stat : 21493 (java) S 21491 21491 19528 0 -1 1077944320 5931 0 0 0 12 1 0 0 20 0 15 0 408835133 15508242432 6999 33554432000 4194304 4196468 140723970171584 140723970154128 140645041999607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
/proc/21493/statm: 3786192 6999 3175 1 0 3748377 0
[pid=21493/tid=21494] ppid=21491 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/21493/task/21494/stat : 21494 (java) R 21491 21491 19528 0 -1 4202560 3765 0 0 0 8 1 0 0 20 0 15 0 408835133 15508242432 6999 33554432000 4194304 4196468 140723970171584 140645046234752 140645026489503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21495] ppid=21491 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21495/stat : 21495 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 6999 33554432000 4194304 4196468 140723970171584 140645013842448 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21496] ppid=21491 vsize=15144768 memory=140174718428800 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21496/stat : 21496 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644633381520 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21497] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21497/stat : 21497 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644632328464 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21498] ppid=21491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21498/stat : 21498 (java) S 21491 21491 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644631275920 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21499] ppid=21491 vsize=15144768 memory=140174718428800 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21499/stat : 21499 (java) S 21491 21491 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408835136 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644510628592 140645042010754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21500] ppid=21491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21500/stat : 21500 (java) S 21491 21491 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408835136 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644509574816 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21501] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21501/stat : 21501 (java) S 21491 21491 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408835136 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644508521712 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21502] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21502/stat : 21502 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644507470288 140645042018203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21503] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21503/stat : 21503 (java) R 21491 21491 19528 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644506417392 140645042010754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21504] ppid=21491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21504/stat : 21504 (java) R 21491 21491 19528 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644505364848 140645022412912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21505] ppid=21491 vsize=15144768 memory=140174718428800 CPUtime=0.02 cores=1,3,5,7
/proc/21493/task/21505/stat : 21505 (java) R 21491 21491 19528 0 -1 4202560 416 0 0 0 2 0 0 0 20 0 15 0 408835139 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644504311792 140645042020954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21506] ppid=21491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21506/stat : 21506 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644503259488 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21507] ppid=21491 vsize=15144768 memory=140174718428800 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21507/stat : 21507 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 6999 33554432000 4194304 4196468 140723970171584 140644502207536 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29444 KiB

[startup+0.210726 s]*
/proc/loadavg: 8.70 8.49 6.61 6/233 21507
/proc/meminfo: memFree=20096776/32770624 swapFree=66939824/67108860
[pid=21491] ppid=21488 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21491/stat : 21491 (xcsp3-exec) S 21488 21491 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408835133 115843072 362 33554432000 4194304 5098028 140722549109504 140722549107608 140415486923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25399296 140722549117819 140722549118061 140722549118061 140722549120970 0
/proc/21491/statm: 28282 362 304 221 0 87 0
[pid=21493] ppid=21491 vsize=15144768 memory=39084 CPUtime=0.34 cores=1,3,5,7
/proc/21493/stat : 21493 (java) S 21491 21491 19528 0 -1 1077944320 9509 0 0 0 31 3 0 0 20 0 15 0 408835133 15508242432 9771 33554432000 4194304 4196468 140723970171584 140723970154128 140645041999607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
/proc/21493/statm: 3786192 9771 3291 1 0 3748377 0
[pid=21493/tid=21494] ppid=21491 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21493/task/21494/stat : 21494 (java) R 21491 21491 19528 0 -1 4202560 6653 0 0 0 18 2 0 0 20 0 15 0 408835133 15508242432 9771 33554432000 4194304 4196468 140723970171584 140645046233280 140644678393975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21495] ppid=21491 vsize=15144768 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21495/stat : 21495 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 9771 33554432000 4194304 4196468 140723970171584 140645013842448 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21496] ppid=21491 vsize=15144768 memory=4266934393173704736 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21496/stat : 21496 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644633381520 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21497] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21497/stat : 21497 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644632328464 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21498] ppid=21491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21498/stat : 21498 (java) S 21491 21491 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408835134 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644631275920 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21499] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21499/stat : 21499 (java) S 21491 21491 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408835136 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644510628592 140645042010754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21500] ppid=21491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21500/stat : 21500 (java) S 21491 21491 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408835136 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644509574816 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21501] ppid=21491 vsize=15144768 memory=140174718428800 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21501/stat : 21501 (java) S 21491 21491 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408835136 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644508521712 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21502] ppid=21491 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21502/stat : 21502 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644507470288 140645042018203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21503] ppid=21491 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21493/task/21503/stat : 21503 (java) S 21491 21491 19528 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 408835139 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644506417392 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21504] ppid=21491 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21493/task/21504/stat : 21504 (java) S 21491 21491 19528 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 15 0 408835139 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644505364848 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21505] ppid=21491 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21493/task/21505/stat : 21505 (java) R 21491 21491 19528 0 -1 4202560 916 0 0 0 8 0 0 0 20 0 15 0 408835139 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644504311792 140645026856353 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21506] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21506/stat : 21506 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644503259488 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21507] ppid=21491 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21507/stat : 21507 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835139 15508242432 9771 33554432000 4194304 4196468 140723970171584 140644502207536 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 40532 KiB

[startup+0.320926 s]*
/proc/loadavg: 8.70 8.49 6.61 7/233 21507
/proc/meminfo: memFree=20088500/32770624 swapFree=66939824/67108860
[pid=21491] ppid=21488 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21491/stat : 21491 (xcsp3-exec) S 21488 21491 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408835133 115843072 362 33554432000 4194304 5098028 140722549109504 140722549107608 140415486923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25399296 140722549117819 140722549118061 140722549118061 140722549120970 0
/proc/21491/statm: 28282 362 304 221 0 87 0
[pid=21493] ppid=21491 vsize=15149024 memory=49420 CPUtime=0.55 cores=1,3,5,7
/proc/21493/stat : 21493 (java) S 21491 21491 19528 0 -1 1077944320 11321 0 0 0 51 4 0 0 20 0 15 0 408835133 15512600576 12355 33554432000 4194304 4196468 140723970171584 140723970154128 140645041999607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
/proc/21493/statm: 3787256 12355 3371 1 0 3748377 0
[pid=21493/tid=21494] ppid=21491 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/21493/task/21494/stat : 21494 (java) R 21491 21491 19528 0 -1 4202560 8048 0 0 0 28 2 0 0 20 0 15 0 408835133 15512600576 12355 33554432000 4194304 4196468 140723970171584 140645046230720 140645026080094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21495] ppid=21491 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21495/stat : 21495 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15512600576 12355 33554432000 4194304 4196468 140723970171584 140645013842448 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21496] ppid=21491 vsize=15149024 memory=4051323461501714464 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21496/stat : 21496 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644633381520 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21497] ppid=21491 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21497/stat : 21497 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644632328464 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21498] ppid=21491 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21498/stat : 21498 (java) S 21491 21491 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408835134 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644631275920 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21499] ppid=21491 vsize=15149024 memory=140174718428800 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21499/stat : 21499 (java) S 21491 21491 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408835136 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644510628592 140645042010754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21500] ppid=21491 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21500/stat : 21500 (java) S 21491 21491 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408835136 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644509574816 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21501] ppid=21491 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21501/stat : 21501 (java) S 21491 21491 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408835136 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644508521712 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21502] ppid=21491 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21502/stat : 21502 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644507470288 140645042018203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21503] ppid=21491 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21493/task/21503/stat : 21503 (java) S 21491 21491 19528 0 -1 1077944384 614 0 0 0 6 0 0 0 20 0 15 0 408835139 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644506417392 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21504] ppid=21491 vsize=15149024 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21493/task/21504/stat : 21504 (java) S 21491 21491 19528 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 408835139 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644505364848 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21505] ppid=21491 vsize=15149024 memory=140174718428800 CPUtime=0.12 cores=1,3,5,7
/proc/21493/task/21505/stat : 21505 (java) S 21491 21491 19528 0 -1 1077944384 1117 0 0 0 12 0 0 0 20 0 15 0 408835139 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644504311792 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21506] ppid=21491 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21506/stat : 21506 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644503259488 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21507] ppid=21491 vsize=15149024 memory=140174718428800 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21507/stat : 21507 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835139 15512600576 12355 33554432000 4194304 4196468 140723970171584 140644502207536 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50868 KiB

[startup+0.700806 s]
/proc/loadavg: 8.70 8.49 6.61 8/233 21507
/proc/meminfo: memFree=20067056/32770624 swapFree=66939824/67108860
[pid=21491] ppid=21488 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21491/stat : 21491 (xcsp3-exec) S 21488 21491 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408835133 115843072 362 33554432000 4194304 5098028 140722549109504 140722549107608 140415486923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25399296 140722549117819 140722549118061 140722549118061 140722549120970 0
/proc/21491/statm: 28282 362 304 221 0 87 0
[pid=21493] ppid=21491 vsize=15151148 memory=100788 CPUtime=1.69 cores=1,3,5,7
/proc/21493/stat : 21493 (java) S 21491 21491 19528 0 -1 1077944320 14807 0 0 0 164 5 0 0 20 0 15 0 408835133 15514775552 25197 33554432000 4194304 4196468 140723970171584 140723970154128 140645041999607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
/proc/21493/statm: 3787787 25197 3447 1 0 3748889 0
[pid=21493/tid=21494] ppid=21491 vsize=15151148 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/21493/task/21494/stat : 21494 (java) R 21491 21491 19528 0 -1 4202560 9171 0 0 0 65 3 0 0 20 0 15 0 408835133 15514775552 25197 33554432000 4194304 4196468 140723970171584 140645046236656 140644682744084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21495] ppid=21491 vsize=15151148 memory=520 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21495/stat : 21495 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15514775552 25197 33554432000 4194304 4196468 140723970171584 140645013842448 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21496] ppid=21491 vsize=15151148 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21496/stat : 21496 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644633381520 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21497] ppid=21491 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21497/stat : 21497 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835134 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644632328464 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21498] ppid=21491 vsize=15151148 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21498/stat : 21498 (java) S 21491 21491 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408835134 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644631275920 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21499] ppid=21491 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21499/stat : 21499 (java) S 21491 21491 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408835136 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644510628592 140645042010754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21500] ppid=21491 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21500/stat : 21500 (java) S 21491 21491 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408835136 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644509574816 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21501] ppid=21491 vsize=15151148 memory=804 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21501/stat : 21501 (java) S 21491 21491 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408835136 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644508521712 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21502] ppid=21491 vsize=15151148 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21502/stat : 21502 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644507470288 140645042018203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21503] ppid=21491 vsize=15151148 memory=7302135314614015848 CPUtime=0.33 cores=1,3,5,7
/proc/21493/task/21503/stat : 21503 (java) S 21491 21491 19528 0 -1 1077944384 1450 0 0 0 33 0 0 0 20 0 15 0 408835139 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644506417392 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21504] ppid=21491 vsize=15151148 memory=7372501795327600241 CPUtime=0.26 cores=1,3,5,7
/proc/21493/task/21504/stat : 21504 (java) R 21491 21491 19528 0 -1 4202560 856 0 0 0 26 0 0 0 20 0 15 0 408835139 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644505364848 140645023543868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21505] ppid=21491 vsize=15151148 memory=7223887401239728208 CPUtime=0.38 cores=1,3,5,7
/proc/21493/task/21505/stat : 21505 (java) S 21491 21491 19528 0 -1 1077944384 2024 0 0 0 38 0 0 0 20 0 15 0 408835139 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644504311792 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21506] ppid=21491 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21506/stat : 21506 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408835139 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644503259488 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21507] ppid=21491 vsize=15151148 memory=7523374654865433442 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21507/stat : 21507 (java) S 21491 21491 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408835139 15514775552 25197 33554432000 4194304 4196468 140723970171584 140644502207536 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 102236 KiB

[startup+1.50084 s]
/proc/loadavg: 8.70 8.49 6.61 8/233 21507
/proc/meminfo: memFree=19872004/32770624 swapFree=66939824/67108860
[pid=21491] ppid=21488 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21491/stat : 21491 (xcsp3-exec) S 21488 21491 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408835133 115843072 362 33554432000 4194304 5098028 140722549109504 140722549107608 140415486923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25399296 140722549117819 140722549118061 140722549118061 140722549120970 0
/proc/21491/statm: 28282 362 304 221 0 87 0

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

/proc/21493/stat : 21493 (java) S 21491 21491 19528 0 -1 1077944320 274520 0 0 0 205105 171 0 0 20 0 19 0 408835133 15994003456 442895 33554432000 4194304 4196468 140723970171584 140723970154128 140645041999607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
/proc/21493/statm: 3904786 442895 3552 1 0 3865888 0
[pid=21493/tid=21494] ppid=21491 vsize=15619144 memory=1771580 CPUtime=1.75 cores=1,3,5,7
/proc/21493/task/21494/stat : 21494 (java) S 21491 21491 19528 0 -1 1077944384 11413 0 0 0 169 6 0 0 20 0 19 0 408835133 15994003456 442895 33554432000 4194304 4196468 140723970171584 140645046240384 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21495] ppid=21491 vsize=15619144 memory=1448 CPUtime=2.06 cores=1,3,5,7
/proc/21493/task/21495/stat : 21495 (java) S 21491 21491 19528 0 -1 1077944384 9590 0 0 0 176 30 0 0 20 0 19 0 408835134 15994003456 442895 33554432000 4194304 4196468 140723970171584 140645013842448 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21496] ppid=21491 vsize=15619144 memory=0 CPUtime=2.05 cores=1,3,5,7
/proc/21493/task/21496/stat : 21496 (java) S 21491 21491 19528 0 -1 1077944384 7968 0 0 0 173 32 0 0 20 0 19 0 408835134 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644633381520 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21497] ppid=21491 vsize=15619144 memory=0 CPUtime=2.04 cores=1,3,5,7
/proc/21493/task/21497/stat : 21497 (java) S 21491 21491 19528 0 -1 1077944384 7895 0 0 0 174 30 0 0 20 0 19 0 408835134 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644632328464 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21498] ppid=21491 vsize=15619144 memory=21136 CPUtime=2.01 cores=1,3,5,7
/proc/21493/task/21498/stat : 21498 (java) S 21491 21491 19528 0 -1 1077944384 8563 0 0 0 174 27 0 0 20 0 19 0 408835134 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644631275920 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21499] ppid=21491 vsize=15619144 memory=14056 CPUtime=0.22 cores=1,3,5,7
/proc/21493/task/21499/stat : 21499 (java) S 21491 21491 19528 0 -1 1077944384 5048 0 0 0 11 11 0 0 20 0 19 0 408835136 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644510628592 140645042010754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21500] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21500/stat : 21500 (java) S 21491 21491 19528 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 408835136 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644509574880 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21501] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21501/stat : 21501 (java) S 21491 21491 19528 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 408835136 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644508521728 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21502] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21502/stat : 21502 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408835139 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644507470288 140645042018203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21503] ppid=21491 vsize=15619144 memory=1771580 CPUtime=5.12 cores=1,3,5,7
/proc/21493/task/21503/stat : 21503 (java) S 21491 21491 19528 0 -1 1077944384 29884 0 0 0 508 4 0 0 20 0 19 0 408835139 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644506417392 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21504] ppid=21491 vsize=15619144 memory=1448 CPUtime=5.34 cores=1,3,5,7
/proc/21493/task/21504/stat : 21504 (java) S 21491 21491 19528 0 -1 1077944384 27244 0 0 0 531 3 0 0 20 0 19 0 408835139 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644505364848 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21505] ppid=21491 vsize=15619144 memory=1448 CPUtime=1.06 cores=1,3,5,7
/proc/21493/task/21505/stat : 21505 (java) S 21491 21491 19528 0 -1 1077944384 21322 0 0 0 103 3 0 0 20 0 19 0 408835139 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644504311792 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21506] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21506/stat : 21506 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408835139 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644503259488 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21507] ppid=21491 vsize=15619144 memory=3504 CPUtime=0.34 cores=1,3,5,7
/proc/21493/task/21507/stat : 21507 (java) S 21491 21491 19528 0 -1 1077944384 1747 0 0 0 11 23 0 0 20 0 19 0 408835139 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644502207536 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21780] ppid=21491 vsize=15619144 memory=1771580 CPUtime=432.93 cores=1,3,5,7
/proc/21493/task/21780/stat : 21780 (java) R 21491 21491 19528 0 -1 4202560 4933 0 0 0 43292 1 0 0 20 0 19 0 408843631 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644486682784 140644684801535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21781] ppid=21491 vsize=15619144 memory=1448 CPUtime=435.26 cores=1,3,5,7
/proc/21493/task/21781/stat : 21781 (java) R 21491 21491 19528 0 -1 4202560 26638 0 0 0 43524 2 0 0 20 0 19 0 408843631 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644488786696 140644684897840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21782] ppid=21491 vsize=15619144 memory=6791534058613427641 CPUtime=434.25 cores=1,3,5,7
/proc/21493/task/21782/stat : 21782 (java) R 21491 21491 19528 0 -1 4202560 13868 0 0 0 43422 3 0 0 20 0 19 0 408843631 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644492996312 140644684833306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21783] ppid=21491 vsize=15619144 memory=14008 CPUtime=435.7 cores=1,3,5,7
/proc/21493/task/21783/stat : 21783 (java) R 21491 21491 19528 0 -1 4202560 9266 0 0 0 43569 1 0 0 20 0 19 0 408843631 15994003456 442895 33554432000 4194304 4196468 140723970171584 140644487732784 140644685232108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
Current children cumulated CPU time: 2052.76 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 1773028 KiB

[startup+582.302 s]
/proc/loadavg: 7.27 7.18 6.87 9/237 21979
/proc/meminfo: memFree=20231140/32770624 swapFree=66939828/67108860
[pid=21491] ppid=21488 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21491/stat : 21491 (xcsp3-exec) S 21488 21491 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408835133 115843072 362 33554432000 4194304 5098028 140722549109504 140722549107608 140415486923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25399296 140722549117819 140722549118061 140722549118061 140722549120970 0
/proc/21491/statm: 28282 362 304 221 0 87 0
[pid=21493] ppid=21491 vsize=15619144 memory=1804388 CPUtime=2291.53 cores=1,3,5,7
/proc/21493/stat : 21493 (java) S 21491 21491 19528 0 -1 1077944320 282054 0 0 0 228977 176 0 0 20 0 19 0 408835133 15994003456 451097 33554432000 4194304 4196468 140723970171584 140723970154128 140645041999607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
/proc/21493/statm: 3904786 451097 3552 1 0 3865888 0
[pid=21493/tid=21494] ppid=21491 vsize=15619144 memory=1804388 CPUtime=1.75 cores=1,3,5,7
/proc/21493/task/21494/stat : 21494 (java) S 21491 21491 19528 0 -1 1077944384 11413 0 0 0 169 6 0 0 20 0 19 0 408835133 15994003456 451097 33554432000 4194304 4196468 140723970171584 140645046240384 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21495] ppid=21491 vsize=15619144 memory=0 CPUtime=2.11 cores=1,3,5,7
/proc/21493/task/21495/stat : 21495 (java) S 21491 21491 19528 0 -1 1077944384 9668 0 0 0 180 31 0 0 20 0 19 0 408835134 15994003456 451097 33554432000 4194304 4196468 140723970171584 140645013842448 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21496] ppid=21491 vsize=15619144 memory=1804388 CPUtime=2.1 cores=1,3,5,7
/proc/21493/task/21496/stat : 21496 (java) S 21491 21491 19528 0 -1 1077944384 8358 0 0 0 177 33 0 0 20 0 19 0 408835134 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644633381520 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21497] ppid=21491 vsize=15619144 memory=1804388 CPUtime=2.08 cores=1,3,5,7
/proc/21493/task/21497/stat : 21497 (java) S 21491 21491 19528 0 -1 1077944384 8351 0 0 0 178 30 0 0 20 0 19 0 408835134 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644632328464 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21498] ppid=21491 vsize=15619144 memory=1804388 CPUtime=2.06 cores=1,3,5,7
/proc/21493/task/21498/stat : 21498 (java) S 21491 21491 19528 0 -1 1077944384 8824 0 0 0 178 28 0 0 20 0 19 0 408835134 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644631275920 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21499] ppid=21491 vsize=15619144 memory=3504 CPUtime=0.25 cores=1,3,5,7
/proc/21493/task/21499/stat : 21499 (java) S 21491 21491 19528 0 -1 1077944384 5297 0 0 0 11 14 0 0 20 0 19 0 408835136 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644510628592 140645042010754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21500] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21500/stat : 21500 (java) S 21491 21491 19528 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 408835136 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644509574880 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21501] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21501/stat : 21501 (java) S 21491 21491 19528 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 408835136 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644508521728 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21502] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21502/stat : 21502 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408835139 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644507470288 140645042018203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21503] ppid=21491 vsize=15619144 memory=1804388 CPUtime=5.19 cores=1,3,5,7
/proc/21493/task/21503/stat : 21503 (java) S 21491 21491 19528 0 -1 1077944384 31633 0 0 0 515 4 0 0 20 0 19 0 408835139 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644506417392 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21504] ppid=21491 vsize=15619144 memory=1448 CPUtime=5.34 cores=1,3,5,7
/proc/21493/task/21504/stat : 21504 (java) S 21491 21491 19528 0 -1 1077944384 27247 0 0 0 531 3 0 0 20 0 19 0 408835139 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644505364848 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21505] ppid=21491 vsize=15619144 memory=1448 CPUtime=1.07 cores=1,3,5,7
/proc/21493/task/21505/stat : 21505 (java) S 21491 21491 19528 0 -1 1077944384 23158 0 0 0 104 3 0 0 20 0 19 0 408835139 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644504311792 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21506] ppid=21491 vsize=15619144 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21506/stat : 21506 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408835139 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644503259488 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21507] ppid=21491 vsize=15619144 memory=1804388 CPUtime=0.39 cores=1,3,5,7
/proc/21493/task/21507/stat : 21507 (java) S 21491 21491 19528 0 -1 1077944384 1777 0 0 0 13 26 0 0 20 0 19 0 408835139 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644502207536 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21780] ppid=21491 vsize=15619144 memory=1804388 CPUtime=492.59 cores=1,3,5,7
/proc/21493/task/21780/stat : 21780 (java) R 21491 21491 19528 0 -1 4202560 5273 0 0 0 49258 1 0 0 20 0 19 0 408843631 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644486679960 140644684833336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21781] ppid=21491 vsize=15619144 memory=1448 CPUtime=494.84 cores=1,3,5,7
/proc/21493/task/21781/stat : 21781 (java) R 21491 21491 19528 0 -1 4202560 27779 0 0 0 49481 3 0 0 20 0 19 0 408843631 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644488786136 140644681731499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21782] ppid=21491 vsize=15619144 memory=1804388 CPUtime=493.86 cores=1,3,5,7
/proc/21493/task/21782/stat : 21782 (java) R 21491 21491 19528 0 -1 4202560 14480 0 0 0 49383 3 0 0 20 0 19 0 408843631 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644492996312 140644685889318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21783] ppid=21491 vsize=15619144 memory=1448 CPUtime=495.27 cores=1,3,5,7
/proc/21493/task/21783/stat : 21783 (java) R 21491 21491 19528 0 -1 4202560 9655 0 0 0 49526 1 0 0 20 0 19 0 408843631 15994003456 451097 33554432000 4194304 4196468 140723970171584 140644487732784 140644685231929 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
Current children cumulated CPU time: 2291.53 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 1805836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+609.601 s]
/proc/loadavg: 6.50 7.01 6.83 6/237 21980
/proc/meminfo: memFree=20227692/32770624 swapFree=66939828/67108860
[pid=21491] ppid=21488 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/21491/stat : 21491 (xcsp3-exec) S 21488 21491 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408835133 115843072 362 33554432000 4194304 5098028 140722549109504 140722549107608 140415486923388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25399296 140722549117819 140722549118061 140722549118061 140722549120970 0
/proc/21491/statm: 28282 362 304 221 0 87 0
[pid=21493] ppid=21491 vsize=15619144 memory=1808488 CPUtime=2400.19 cores=1,3,5,7
/proc/21493/stat : 21493 (java) S 21491 21491 19528 0 -1 1077944320 283461 0 0 0 239842 177 0 0 20 0 19 0 408835133 15994003456 452122 33554432000 4194304 4196468 140723970171584 140723970154128 140645041999607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
/proc/21493/statm: 3904786 452122 3552 1 0 3865888 0
[pid=21493/tid=21494] ppid=21491 vsize=15619144 memory=924 CPUtime=1.75 cores=1,3,5,7
/proc/21493/task/21494/stat : 21494 (java) S 21491 21491 19528 0 -1 1077944384 11413 0 0 0 169 6 0 0 20 0 19 0 408835133 15994003456 452122 33554432000 4194304 4196468 140723970171584 140645046240384 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21495] ppid=21491 vsize=15619144 memory=3688 CPUtime=2.12 cores=1,3,5,7
/proc/21493/task/21495/stat : 21495 (java) S 21491 21491 19528 0 -1 1077944384 9692 0 0 0 181 31 0 0 20 0 19 0 408835134 15994003456 452122 33554432000 4194304 4196468 140723970171584 140645013842448 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21496] ppid=21491 vsize=15619144 memory=1984 CPUtime=2.11 cores=1,3,5,7
/proc/21493/task/21496/stat : 21496 (java) S 21491 21491 19528 0 -1 1077944384 8392 0 0 0 178 33 0 0 20 0 19 0 408835134 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644633381520 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21497] ppid=21491 vsize=15619144 memory=1440 CPUtime=2.09 cores=1,3,5,7
/proc/21493/task/21497/stat : 21497 (java) S 21491 21491 19528 0 -1 1077944384 8362 0 0 0 179 30 0 0 20 0 19 0 408835134 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644632328464 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21498] ppid=21491 vsize=15619144 memory=6791534058613427641 CPUtime=2.07 cores=1,3,5,7
/proc/21493/task/21498/stat : 21498 (java) S 21491 21491 19528 0 -1 1077944384 8869 0 0 0 179 28 0 0 20 0 19 0 408835134 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644631275920 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21499] ppid=21491 vsize=15619144 memory=1808488 CPUtime=0.26 cores=1,3,5,7
/proc/21493/task/21499/stat : 21499 (java) S 21491 21491 19528 0 -1 1077944384 5309 0 0 0 12 14 0 0 20 0 19 0 408835136 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644510628592 140645042010754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21500] ppid=21491 vsize=15619144 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21500/stat : 21500 (java) S 21491 21491 19528 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 408835136 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644509574880 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21501] ppid=21491 vsize=15619144 memory=21136 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21501/stat : 21501 (java) S 21491 21491 19528 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 408835136 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644508521728 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21502] ppid=21491 vsize=15619144 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21502/stat : 21502 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408835139 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644507470288 140645042018203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21503] ppid=21491 vsize=15619144 memory=2116 CPUtime=5.19 cores=1,3,5,7
/proc/21493/task/21503/stat : 21503 (java) S 21491 21491 19528 0 -1 1077944384 31636 0 0 0 515 4 0 0 20 0 19 0 408835139 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644506417392 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21504] ppid=21491 vsize=15619144 memory=6791534058613427641 CPUtime=5.34 cores=1,3,5,7
/proc/21493/task/21504/stat : 21504 (java) S 21491 21491 19528 0 -1 1077944384 27255 0 0 0 531 3 0 0 20 0 19 0 408835139 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644505364848 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21505] ppid=21491 vsize=15619144 memory=1808488 CPUtime=1.07 cores=1,3,5,7
/proc/21493/task/21505/stat : 21505 (java) S 21491 21491 19528 0 -1 1077944384 23162 0 0 0 104 3 0 0 20 0 19 0 408835139 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644504311792 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21506] ppid=21491 vsize=15619144 memory=924 CPUtime=0 cores=1,3,5,7
/proc/21493/task/21506/stat : 21506 (java) S 21491 21491 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408835139 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644503259488 140645042009813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21507] ppid=21491 vsize=15619144 memory=3688 CPUtime=0.42 cores=1,3,5,7
/proc/21493/task/21507/stat : 21507 (java) S 21491 21491 19528 0 -1 1077944384 1799 0 0 0 14 28 0 0 20 0 19 0 408835139 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644502207536 140645042010754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21780] ppid=21491 vsize=15619144 memory=1984 CPUtime=519.85 cores=1,3,5,7
/proc/21493/task/21780/stat : 21780 (java) R 21491 21491 19528 0 -1 4202560 5543 0 0 0 51984 1 0 0 20 0 19 0 408843631 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644486679848 140644684833306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21781] ppid=21491 vsize=15619144 memory=1440 CPUtime=522.12 cores=1,3,5,7
/proc/21493/task/21781/stat : 21781 (java) R 21491 21491 19528 0 -1 4202560 28413 0 0 0 52209 3 0 0 20 0 19 0 408843631 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644488788832 140644684833324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21782] ppid=21491 vsize=15619144 memory=0 CPUtime=521.12 cores=1,3,5,7
/proc/21493/task/21782/stat : 21782 (java) R 21491 21491 19528 0 -1 4202560 14787 0 0 0 52109 3 0 0 20 0 19 0 408843631 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644492996312 140644681730638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
[pid=21493/tid=21783] ppid=21491 vsize=15619144 memory=-3117775541953847907 CPUtime=522.04 cores=1,3,5,7
/proc/21493/task/21783/stat : 21783 (java) R 21491 21491 19528 0 -1 4202560 9688 0 0 0 52203 1 0 0 20 0 19 0 408843631 15994003456 452122 33554432000 4194304 4196468 140723970171584 140644487732784 140644685232127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36163584 140723970180079 140723970180250 140723970180250 140723970183119 0
Current children cumulated CPU time: 2400.19 s
Current children cumulated vsize: 15732272 KiB
Current children cumulated memory: 1809936 KiB

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

[startup+609.622 s]
# the end of solver process 21491 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000745 s, system=0.00149 s

[startup+609.713 s]
# the end of solver process 21493 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.78 s, system=1.79699 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): 609.713
CPU time (s): 2400.58
CPU user time (s): 2398.78
CPU system time (s): 1.79699
CPU usage (%): 393.722
Max. virtual memory (cumulated for all children) (KiB): 15732272
Max. memory (cumulated for all children) (KiB): 1809936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.78
system time used= 1.79698
maximum resident set size= 1808952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18325
involuntary context switches= 31678


# summary of solver processes directly reported to runsolver:
#   pid: 21491,21493
#   total CPU time (s): 2400.58
#   total CPU user time (s): 2398.78
#   total CPU system time (s): 1.79699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99108 second user time and 7.42274 second system time

The end

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml
MD5SUM	4fcc0be526f5147180ee0aa4ecb06fa1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	31118
Best CPU time to get the best result obtained on this benchmark	2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	2550
Number of constraints	1200
Number of domains	2
Minimum domain size	49
Maximum domain size	50
Distribution of domain sizes	[{"size":49,"count":1199},{"size":50,"count":50}]
Minimum variable degree	0
Maximum variable degree	50
Distribution of variable degrees	[{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}]
Minimum constraint arity	3
Maximum constraint arity	50
Distribution of constraint arities	[{"arity":3,"count":1199},{"arity":50,"count":1}]
Number of extensional constraints	1199
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1199},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4394337

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