0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399978-1568708588.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4399978-1568708588.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
12.68/3.70 c solve instance...
26.72/5.53 o 989
31.19/6.55 o 885
42.10/8.22 o 882
44.25/8.56 o 866
52.01/9.70 o 863
56.26/10.88 o 820
65.65/12.31 o 817
67.61/12.66 o 489
73.43/13.56 o 488
78.84/14.43 o 476
85.50/15.50 o 475
87.41/15.86 o 199
92.67/16.62 o 198
96.11/17.43 o 181
103.35/18.50 o 180
108.60/19.31 o 174
114.59/20.21 o 173
120.45/21.09 o 172
121.37/21.29 o 171
127.39/22.08 o 170
133.73/22.98 o 169
139.49/23.74 o 168
140.55/23.94 o 167
146.51/24.73 o 166
152.83/25.77 o 165
160.39/26.85 o 164
166.28/27.72 o 163
169.94/28.40 o 155
175.09/29.23 o 154
180.10/29.98 o 153
185.75/30.84 o 152
189.94/31.51 o 43
201.82/38.87 o 42
206.71/39.61 o 41
207.40/39.81 o 9
214.02/41.37 o 8
217.06/41.99 o 7
233.48/44.38 o 6
1317.37/192.17 o 5
19879.45/2520.08 s SATISFIABLE
19879.45/2520.08 v <instantiation>
19879.45/2520.08 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44] </list>
19879.45/2520.08 v <values>0 1 2 3 5 2 5 2 3 0 0 3 2 2 2 5 0 0 1 5 2 3 3 1 5 2 1 5 1 3 2 4 2 1 0 4 5 3 4 3 3 5 0 4 1 4 0 3 0 0 3 0 2 4 0 2 2 3 2 3 3 3 0 1 5 1 4 4 5 5 5 3 0 3 3 0 5 5 4 5 3 5 2 0 0 2 2 3 4 0 0 1 1 3 0 2 3 5 2 5 5 0 1 3 5 0 3 3 4 3 2 5 4 0 0 1 2 4 0 3 5 0 5 4 3 4 2 1 3 5 4 1 5 1 4 0 3 1 0 5 4 2 3 4 5 4 5 1 2 0 2 0 2 3 2 4 3 3 3 2 0 5 4 1 5 2 1 4 1 0 1 1 1 1 5 4 0 1 0 2 3 1 3 1 2 3 2 4 4 5 0 4 0 5 5 5 3 3 5 2 1 2 5 2 0 0 2 4 4 3 3 3 4 5 5 1 3 1 2 2 0 1 5 0 3 2 5 4 0 3 2 4 0 4 3 2 2 5 3 4 0 1 1 2 2 1 1 2 4 5 5 3 2 0 4 4 3 4 5 2 0 4 5 1 3 1 4 0 4 3 4 1 4 0 1 1 1 3 5 5 3 3 2 4 1 5 5 3 1 2 1 4 4 2 2 0 5 5 1 2 0 5 1 3 4 5 3 4 3 1 2 1 2 5 5 2 1 2 3 2 5 1 4 2 0 5 0 4 5 1 4 0 5 5 5 3 5 3 3 5 3 3 2 4 2 4 4 1 4 2 2 2 1 5 4 2 4 0 0 3 2 4 4 3 5 1 3 3 2 2 5 5 0 5 1 4 4 0 1 3 2 2 0 3 5 1 5 0 4 5 1 2 2 5 5 2 1 3 1 4 3 1 4 4 5 4 0 0 4 5 2 4 0 2 1 3 5 4 3 5 1 3 1 3 0 5 0 5 1 2 4 3 5 3 2 4 3 3 0 4 0 2 5 3 4 4 4 5 2 0 5 2 5 5 5 3 1 1 5 4 1 1 5 4 5 3 4 3 0 5 1 4 1 1 0 3 5 1 0 2 5 3 1 5 2 3 4 5 0 1 2 2 0 0 1 0 4 4 2 2 4 3 0 0 1 3 5 2 3 2 0 4 4 1 1 5 2 5 2 4 4 2 5 5 3 5 4 5 4 4 1 1 2 2 2 2 5 4 0 1 5 3 3 3 0 5 3 5 5 0 4 1 1 1 0 3 4 5 2 1 1 5 4 5 3 3 2 2 2 1 0 0 1 2 4 3 1 1 5 0 2 1 4 4 5 2 1 1 2 1 5 3 0 4 3 4 4 1 2 2 5 5 3 2 2 4 2 0 4 4 1 0 4 4 2 2 2 0 3 3 4 5 5 1 4 5 1 1 1 3 4 3 0 3 0 2 0 2 5 0 1 1 0 1 1 2 2 0 0 1 5 4 0 3 1 2 5 5 1 0 1 4 0 3 4 2 1 5 4 2 1 1 5 1 5 3 5 4 1 5 1 3 0 4 2 2 3 5 3 4 4 5 4 4 2 5 1 3 3 5 0 1 4 2 0 4 3 0 3 5 3 3 0 0 3 3 2 0 4 5 5 2 5 3 4 0 3 2 1 3 3 3 0 0 0 0 1 5 1 5 1 1 1 3 4 2 3 3 2 4 3 2 0 4 4 0 3 3 0 5 0 5 5 5 0 4 5 3 0 4 0 3 0 2 4 5 5 3 2 2 1 3 0 2 4 3 1 4 0 5 5 3 4 4 0 4 3 1 5 2 5 3 0 3 4 2 1 4 5 4 1 1 2 2 5 3 4 3 5 2 2 1 1 3 0 4 1 4 5 3 1 4 1 2 3 1 2 3 0 2 1 4 5 4 1 0 3 1 4 3 0 3 5 3 0 2 2 1 0 3 0 3 4 1 2 4 1 1 1 1 4 0 0 2 4 5 5 1 0 5 3 5 0 2 2 3 4 2 5 1 2 3 2 3 0 1 5 2 3 1 5 0 4 5 5 4 0 1 3 4 5 1 2 2 4 5 5 2 1 3 0 5 0 5 3 2 1 3 3 5 4 2 5 1 3 1 0 4 0 2 0 4 4 2 1 4 1 2 1 0 3 3 2 2 3 3 3 1 1 4 4 3 2 4 5 2 0 2 2 4 5 5 3 4 5 3 0 1 3 2 4 5 5 4 5 4 3 2 4 3 </values>
19879.45/2520.08 v </instantiation>
19879.45/2520.08 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15227 MiB free)
memory of node 1: 16384 MiB (15526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399978-1568708588/watcher-4399978-1568708588 -o /tmp/evaluation-result-4399978-1568708588/solver-4399978-1568708588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568700929-11062 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2111337702 HOME/instance-4399978-1568708588.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=12997, runsolver pid=12994
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 7.70 8.23 8.30 2/212 13018
/proc/meminfo: memFree=31475480/32770624 swapFree=66997372/67108860
[pid=12997] ppid=12994 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12997/stat : 12997 (xcsp3-exec) S 12994 12997 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447111826 115843072 363 33554432000 4194304 5098028 140733773151872 140733773149976 139736026833532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15855616 140733773153141 140733773153385 140733773153385 140733773156298 0
/proc/12997/statm: 28282 363 305 221 0 87 0
[pid=12999] ppid=12997 vsize=28227396 memory=30216 CPUtime=0.12 cores=0-7
/proc/12999/stat : 12999 (java) S 12997 12997 11035 0 -1 1077944320 5507 0 0 0 11 1 0 0 20 0 20 0 447111826 28904853504 7554 33554432000 4194304 4196468 140732206299648 140732206282192 139974839471863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
/proc/12999/statm: 7056849 7554 3119 1 0 7019032 0
[pid=12999/tid=13000] ppid=12997 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/12999/task/13000/stat : 13000 (java) R 12997 12997 11035 0 -1 4202560 3436 0 0 0 8 0 0 0 20 0 20 0 447111826 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974843694336 139974839493789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13001] ppid=12997 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12999/task/13001/stat : 13001 (java) S 12997 12997 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974798231824 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13002] ppid=12997 vsize=28227396 memory=139985280648832 CPUtime=0 cores=0-7
/proc/12999/task/13002/stat : 13002 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974797179280 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13003] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13003/stat : 13003 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974389279248 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13004] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13004/stat : 13004 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974388226704 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13005] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13005/stat : 13005 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974387174160 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13006] ppid=12997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12999/task/13006/stat : 13006 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974386121616 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13007] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13007/stat : 13007 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974385069072 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13008] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13008/stat : 13008 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 7554 33554432000 4194304 4196468 140732206299648 139974384016528 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13009] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13009/stat : 13009 (java) S 12997 12997 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111828 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972968069104 139974839483010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13010] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13010/stat : 13010 (java) S 12997 12997 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447111829 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972967015328 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13011] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13011/stat : 13011 (java) S 12997 12997 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447111829 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972965962736 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13012] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13012/stat : 13012 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111831 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972964911312 139974839490459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13013] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13013/stat : 13013 (java) S 12997 12997 11035 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 447111831 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972963858928 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13014] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13014/stat : 13014 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111832 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972962806384 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13015] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13015/stat : 13015 (java) S 12997 12997 11035 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447111832 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972961753840 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13016] ppid=12997 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12999/task/13016/stat : 13016 (java) R 12997 12997 11035 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 20 0 447111832 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972960701296 139974824637451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13017] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13017/stat : 13017 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111832 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972959647968 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13018] ppid=12997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12999/task/13018/stat : 13018 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111832 28904853504 7554 33554432000 4194304 4196468 140732206299648 139972958595504 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31668 KiB
[startup+0.210202 s]*
/proc/loadavg: 7.70 8.23 8.30 2/212 13018
/proc/meminfo: memFree=31463044/32770624 swapFree=66997372/67108860
[pid=12997] ppid=12994 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12997/stat : 12997 (xcsp3-exec) S 12994 12997 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447111826 115843072 363 33554432000 4194304 5098028 140733773151872 140733773149976 139736026833532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15855616 140733773153141 140733773153385 140733773153385 140733773156298 0
/proc/12997/statm: 28282 363 305 221 0 87 0
[pid=12999] ppid=12997 vsize=28227396 memory=41232 CPUtime=0.34 cores=0-7
/proc/12999/stat : 12999 (java) S 12997 12997 11035 0 -1 1077944320 9086 0 0 0 31 3 0 0 20 0 20 0 447111826 28904853504 10308 33554432000 4194304 4196468 140732206299648 140732206282192 139974839471863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
/proc/12999/statm: 7056849 10308 3300 1 0 7019032 0
[pid=12999/tid=13000] ppid=12997 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12999/task/13000/stat : 13000 (java) R 12997 12997 11035 0 -1 4202560 6249 0 0 0 18 2 0 0 20 0 20 0 447111826 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974843704592 139974475235616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13001] ppid=12997 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/12999/task/13001/stat : 13001 (java) S 12997 12997 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974798231824 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13002] ppid=12997 vsize=28227396 memory=288370361432360576 CPUtime=0 cores=0-7
/proc/12999/task/13002/stat : 13002 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974797179280 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13003] ppid=12997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12999/task/13003/stat : 13003 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974389279248 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13004] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13004/stat : 13004 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974388226704 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13005] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13005/stat : 13005 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974387174160 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13006] ppid=12997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12999/task/13006/stat : 13006 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974386121616 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13007] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13007/stat : 13007 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974385069072 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13008] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13008/stat : 13008 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28904853504 10308 33554432000 4194304 4196468 140732206299648 139974384016528 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13009] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13009/stat : 13009 (java) S 12997 12997 11035 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447111828 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972968069104 139974839483010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13010] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13010/stat : 13010 (java) S 12997 12997 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447111829 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972967015328 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13011] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13011/stat : 13011 (java) S 12997 12997 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447111829 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972965962736 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13012] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13012/stat : 13012 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111831 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972964911312 139974839490459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13013] ppid=12997 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12999/task/13013/stat : 13013 (java) R 12997 12997 11035 0 -1 4202560 313 0 0 0 1 0 0 0 20 0 20 0 447111831 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972963859024 139974839482069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13014] ppid=12997 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12999/task/13014/stat : 13014 (java) S 12997 12997 11035 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 447111832 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972962806384 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13015] ppid=12997 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/12999/task/13015/stat : 13015 (java) S 12997 12997 11035 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 20 0 447111832 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972961753840 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13016] ppid=12997 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/12999/task/13016/stat : 13016 (java) R 12997 12997 11035 0 -1 4202560 698 0 0 0 7 0 0 0 20 0 20 0 447111832 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972960701296 139974839483798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13017] ppid=12997 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13017/stat : 13017 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111832 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972959647968 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13018] ppid=12997 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12999/task/13018/stat : 13018 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111832 28904853504 10308 33554432000 4194304 4196468 140732206299648 139972958595504 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42684 KiB
[startup+0.309545 s]*
/proc/loadavg: 7.70 8.23 8.30 4/212 13018
/proc/meminfo: memFree=31455908/32770624 swapFree=66997372/67108860
[pid=12997] ppid=12994 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12997/stat : 12997 (xcsp3-exec) S 12994 12997 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447111826 115843072 363 33554432000 4194304 5098028 140733773151872 140733773149976 139736026833532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15855616 140733773153141 140733773153385 140733773153385 140733773156298 0
/proc/12997/statm: 28282 363 305 221 0 87 0
[pid=12999] ppid=12997 vsize=28231652 memory=50224 CPUtime=0.52 cores=0-7
/proc/12999/stat : 12999 (java) S 12997 12997 11035 0 -1 1077944320 10365 0 0 0 49 3 0 0 20 0 20 0 447111826 28909211648 12556 33554432000 4194304 4196468 140732206299648 140732206282192 139974839471863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
/proc/12999/statm: 7057913 12556 3362 1 0 7019032 0
[pid=12999/tid=13000] ppid=12997 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/12999/task/13000/stat : 13000 (java) R 12997 12997 11035 0 -1 4202560 7320 0 0 0 27 3 0 0 20 0 20 0 447111826 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974843702976 139974823552350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13001] ppid=12997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13001/stat : 13001 (java) S 12997 12997 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974798231824 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13002] ppid=12997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13002/stat : 13002 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974797179280 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13003] ppid=12997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13003/stat : 13003 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974389279248 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13004] ppid=12997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13004/stat : 13004 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974388226704 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13005] ppid=12997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13005/stat : 13005 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974387174160 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13006] ppid=12997 vsize=28231652 memory=139985130973871 CPUtime=0 cores=0-7
/proc/12999/task/13006/stat : 13006 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974386121616 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13007] ppid=12997 vsize=28231652 memory=139985130976176 CPUtime=0 cores=0-7
/proc/12999/task/13007/stat : 13007 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12556 33554432000 4194304 4196468 140732206299648 139974385069072 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13008] ppid=12997 vsize=28231652 memory=139985130978480 CPUtime=0 cores=0-7
/proc/12999/task/13008/stat : 13008 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28909211648 12588 33554432000 4194304 4196468 140732206299648 139974384016528 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13009] ppid=12997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13009/stat : 13009 (java) S 12997 12997 11035 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447111828 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972968069104 139974839483010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13010] ppid=12997 vsize=28231652 memory=279970261970832 CPUtime=0 cores=0-7
/proc/12999/task/13010/stat : 13010 (java) S 12997 12997 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447111829 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972967015328 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13011] ppid=12997 vsize=28231652 memory=279970261968528 CPUtime=0 cores=0-7
/proc/12999/task/13011/stat : 13011 (java) S 12997 12997 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447111829 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972965962736 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13012] ppid=12997 vsize=28231652 memory=279970261975440 CPUtime=0 cores=0-7
/proc/12999/task/13012/stat : 13012 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111831 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972964911312 139974839490459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13013] ppid=12997 vsize=28231652 memory=279970261916720 CPUtime=0.03 cores=0-7
/proc/12999/task/13013/stat : 13013 (java) R 12997 12997 11035 0 -1 4202560 437 0 0 0 3 0 0 0 20 0 20 0 447111831 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972963849312 139974822856517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13014] ppid=12997 vsize=28231652 memory=279970261989264 CPUtime=0.02 cores=0-7
/proc/12999/task/13014/stat : 13014 (java) S 12997 12997 11035 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 447111832 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972962806384 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13015] ppid=12997 vsize=28231652 memory=279970261996176 CPUtime=0.03 cores=0-7
/proc/12999/task/13015/stat : 13015 (java) S 12997 12997 11035 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 20 0 447111832 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972961753840 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13016] ppid=12997 vsize=28231652 memory=279970261993872 CPUtime=0.12 cores=0-7
/proc/12999/task/13016/stat : 13016 (java) S 12997 12997 11035 0 -1 1077944384 770 0 0 0 12 0 0 0 20 0 20 0 447111832 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972960701296 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13017] ppid=12997 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13017/stat : 13017 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111832 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972959647968 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13018] ppid=12997 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12999/task/13018/stat : 13018 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111832 28909211648 12588 33554432000 4194304 4196468 140732206299648 139972958595504 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51676 KiB
[startup+0.700913 s]
/proc/loadavg: 7.70 8.23 8.30 5/212 13018
/proc/meminfo: memFree=31430320/32770624 swapFree=66997372/67108860
[pid=12997] ppid=12994 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12997/stat : 12997 (xcsp3-exec) S 12994 12997 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447111826 115843072 363 33554432000 4194304 5098028 140733773151872 140733773149976 139736026833532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15855616 140733773153141 140733773153385 140733773153385 140733773156298 0
/proc/12997/statm: 28282 363 305 221 0 87 0
[pid=12999] ppid=12997 vsize=28233776 memory=140508 CPUtime=2 cores=0-7
/proc/12999/stat : 12999 (java) S 12997 12997 11035 0 -1 1077944320 14566 0 0 0 194 6 0 0 20 0 20 0 447111826 28911386624 35127 33554432000 4194304 4196468 140732206299648 140732206282192 139974839471863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
/proc/12999/statm: 7058444 35127 3445 1 0 7019544 0
[pid=12999/tid=13000] ppid=12997 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/12999/task/13000/stat : 13000 (java) R 12997 12997 11035 0 -1 4202560 7920 0 0 0 63 4 0 0 20 0 20 0 447111826 28911386624 35127 33554432000 4194304 4196468 140732206299648 139974843706208 139974478730260 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13001] ppid=12997 vsize=28233776 memory=139985131185008 CPUtime=0 cores=0-7
/proc/12999/task/13001/stat : 13001 (java) S 12997 12997 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447111827 28911386624 35127 33554432000 4194304 4196468 140732206299648 139974798231824 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13002] ppid=12997 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12999/task/13002/stat : 13002 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447111827 28911386624 35127 33554432000 4194304 4196468 140732206299648 139974797179280 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13003] ppid=12997 vsize=28233776 memory=1004 CPUtime=0 cores=0-7
/proc/12999/task/13003/stat : 13003 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447111827 28911386624 35127 33554432000 4194304 4196468 140732206299648 139974389279248 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
################
# More data... #
################
/proc/meminfo: memFree=28119344/32770624 swapFree=66997372/67108860
[pid=12997] ppid=12994 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12997/stat : 12997 (xcsp3-exec) S 12994 12997 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447111826 115843072 363 33554432000 4194304 5098028 140733773151872 140733773149976 139736026833532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15855616 140733773153141 140733773153385 140733773153385 140733773156298 0
/proc/12997/statm: 28282 363 305 221 0 87 0
[pid=12999] ppid=12997 vsize=28766288 memory=3380676 CPUtime=19738.2 cores=0-7
/proc/12999/stat : 12999 (java) S 12997 12997 11035 0 -1 1077944320 512969 0 0 0 1972577 1240 0 0 20 0 28 0 447111826 29456678912 845169 33554432000 4194304 4196468 140732206299648 140732206282192 139974839471863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
/proc/12999/statm: 7191572 845169 3546 1 0 7152672 0
[pid=12999/tid=13000] ppid=12997 vsize=28766288 memory=3380676 CPUtime=3.09 cores=0-7
/proc/12999/task/13000/stat : 13000 (java) S 12997 12997 11035 0 -1 1077944384 10577 0 0 0 296 13 0 0 20 0 28 0 447111826 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974843712640 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13001] ppid=12997 vsize=28766288 memory=3380676 CPUtime=2.21 cores=0-7
/proc/12999/task/13001/stat : 13001 (java) S 12997 12997 11035 0 -1 1077944384 6223 0 0 0 130 91 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974798231824 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13002] ppid=12997 vsize=28766288 memory=3380676 CPUtime=2.18 cores=0-7
/proc/12999/task/13002/stat : 13002 (java) S 12997 12997 11035 0 -1 1077944384 7136 0 0 0 126 92 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974797179280 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13003] ppid=12997 vsize=28766288 memory=3380676 CPUtime=2.2 cores=0-7
/proc/12999/task/13003/stat : 13003 (java) S 12997 12997 11035 0 -1 1077944384 6866 0 0 0 127 93 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974389279248 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13004] ppid=12997 vsize=28766288 memory=1452 CPUtime=2.15 cores=0-7
/proc/12999/task/13004/stat : 13004 (java) S 12997 12997 11035 0 -1 1077944384 5853 0 0 0 129 86 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974388226704 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13005] ppid=12997 vsize=28766288 memory=1452 CPUtime=2.23 cores=0-7
/proc/12999/task/13005/stat : 13005 (java) S 12997 12997 11035 0 -1 1077944384 7084 0 0 0 126 97 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974387174160 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13006] ppid=12997 vsize=28766288 memory=3380676 CPUtime=2.2 cores=0-7
/proc/12999/task/13006/stat : 13006 (java) S 12997 12997 11035 0 -1 1077944384 6912 0 0 0 123 97 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974386121616 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13007] ppid=12997 vsize=28766288 memory=1452 CPUtime=2.18 cores=0-7
/proc/12999/task/13007/stat : 13007 (java) S 12997 12997 11035 0 -1 1077944384 5156 0 0 0 127 91 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974385069072 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13008] ppid=12997 vsize=28766288 memory=1452 CPUtime=2.18 cores=0-7
/proc/12999/task/13008/stat : 13008 (java) S 12997 12997 11035 0 -1 1077944384 5711 0 0 0 123 95 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974384016528 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13009] ppid=12997 vsize=28766288 memory=1004 CPUtime=1.38 cores=0-7
/proc/12999/task/13009/stat : 13009 (java) S 12997 12997 11035 0 -1 1077944384 11546 0 0 0 46 92 0 0 20 0 28 0 447111828 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972968069104 139974839483010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13010] ppid=12997 vsize=28766288 memory=3503840 CPUtime=0 cores=0-7
/proc/12999/task/13010/stat : 13010 (java) S 12997 12997 11035 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447111829 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972967015392 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13011] ppid=12997 vsize=28766288 memory=1112 CPUtime=0 cores=0-7
/proc/12999/task/13011/stat : 13011 (java) S 12997 12997 11035 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 447111829 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972965962752 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13012] ppid=12997 vsize=28766288 memory=3380676 CPUtime=0 cores=0-7
/proc/12999/task/13012/stat : 13012 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447111831 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972964911312 139974839490459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13013] ppid=12997 vsize=28766288 memory=139989575616127 CPUtime=3.39 cores=0-7
/proc/12999/task/13013/stat : 13013 (java) S 12997 12997 11035 0 -1 1077944384 19391 0 0 0 335 4 0 0 20 0 28 0 447111831 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972963858928 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13014] ppid=12997 vsize=28766288 memory=1452 CPUtime=3.76 cores=0-7
/proc/12999/task/13014/stat : 13014 (java) S 12997 12997 11035 0 -1 1077944384 21212 0 0 0 371 5 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972962806384 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13015] ppid=12997 vsize=28766288 memory=1452 CPUtime=3.9 cores=0-7
/proc/12999/task/13015/stat : 13015 (java) S 12997 12997 11035 0 -1 1077944384 24543 0 0 0 385 5 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972961753840 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13016] ppid=12997 vsize=28766288 memory=1452 CPUtime=1.02 cores=0-7
/proc/12999/task/13016/stat : 13016 (java) S 12997 12997 11035 0 -1 1077944384 20809 0 0 0 98 4 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972960701296 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13017] ppid=12997 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/12999/task/13017/stat : 13017 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972959647968 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13018] ppid=12997 vsize=28766288 memory=1452 CPUtime=0.83 cores=0-7
/proc/12999/task/13018/stat : 13018 (java) R 12997 12997 11035 0 -1 1077944384 3088 0 0 0 33 50 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972958595504 139974839483010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13344] ppid=12997 vsize=28766288 memory=1452 CPUtime=2306.69 cores=0-7
/proc/12999/task/13344/stat : 13344 (java) R 12997 12997 11035 0 -1 4202560 34595 0 0 0 230608 61 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972944113192 139974482586881 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13345] ppid=12997 vsize=28766288 memory=1452 CPUtime=2307.22 cores=0-7
/proc/12999/task/13345/stat : 13345 (java) R 12997 12997 11035 0 -1 4202560 6542 0 0 0 230718 4 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972943061336 139974479846640 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13346] ppid=12997 vsize=28766288 memory=1452 CPUtime=2302.78 cores=0-7
/proc/12999/task/13346/stat : 13346 (java) R 12997 12997 11035 0 -1 4202560 13745 0 0 0 230263 15 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972948324728 139974479846649 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13347] ppid=12997 vsize=28766288 memory=1452 CPUtime=2293.65 cores=0-7
/proc/12999/task/13347/stat : 13347 (java) R 12997 12997 11035 0 -1 4202560 12339 0 0 0 229325 40 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972947271792 139974477455959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13348] ppid=12997 vsize=28766288 memory=3380676 CPUtime=2291.98 cores=0-7
/proc/12999/task/13348/stat : 13348 (java) R 12997 12997 11035 0 -1 4202560 15573 0 0 0 229167 31 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972945166824 139974477456000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13349] ppid=12997 vsize=28766288 memory=3380676 CPUtime=2301.68 cores=0-7
/proc/12999/task/13349/stat : 13349 (java) R 12997 12997 11035 0 -1 4202560 61805 0 0 0 230146 22 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972946222416 139974482299789 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13350] ppid=12997 vsize=28766288 memory=1452 CPUtime=2306.69 cores=0-7
/proc/12999/task/13350/stat : 13350 (java) R 12997 12997 11035 0 -1 4202560 30836 0 0 0 230628 41 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972949377496 139974479846609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13351] ppid=12997 vsize=28766288 memory=1452 CPUtime=2300.44 cores=0-7
/proc/12999/task/13351/stat : 13351 (java) R 12997 12997 11035 0 -1 4202560 11777 0 0 0 230020 24 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972942008408 139974479846622 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
Current children cumulated CPU time: 19738.2 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3382128 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.12 8.20 8.27 9/221 13549
/proc/meminfo: memFree=28119720/32770624 swapFree=66997372/67108860
[pid=12997] ppid=12994 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12997/stat : 12997 (xcsp3-exec) S 12994 12997 11035 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447111826 115843072 363 33554432000 4194304 5098028 140733773151872 140733773149976 139736026833532 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15855616 140733773153141 140733773153385 140733773153385 140733773156298 0
/proc/12997/statm: 28282 363 305 221 0 87 0
[pid=12999] ppid=12997 vsize=28766288 memory=3380676 CPUtime=19879.4 cores=0-7
/proc/12999/stat : 12999 (java) S 12997 12997 11035 0 -1 1077944320 514215 0 0 0 1986703 1242 0 0 20 0 28 0 447111826 29456678912 845169 33554432000 4194304 4196468 140732206299648 140732206282192 139974839471863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
/proc/12999/statm: 7191572 845169 3546 1 0 7152672 0
[pid=12999/tid=13000] ppid=12997 vsize=28766288 memory=1452 CPUtime=3.09 cores=0-7
/proc/12999/task/13000/stat : 13000 (java) S 12997 12997 11035 0 -1 1077944384 10577 0 0 0 296 13 0 0 20 0 28 0 447111826 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974843712640 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13001] ppid=12997 vsize=28766288 memory=3380676 CPUtime=2.21 cores=0-7
/proc/12999/task/13001/stat : 13001 (java) S 12997 12997 11035 0 -1 1077944384 6223 0 0 0 130 91 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974798231824 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13002] ppid=12997 vsize=28766288 memory=4872558044660077418 CPUtime=2.18 cores=0-7
/proc/12999/task/13002/stat : 13002 (java) S 12997 12997 11035 0 -1 1077944384 7136 0 0 0 126 92 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974797179280 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13003] ppid=12997 vsize=28766288 memory=48672 CPUtime=2.2 cores=0-7
/proc/12999/task/13003/stat : 13003 (java) S 12997 12997 11035 0 -1 1077944384 6866 0 0 0 127 93 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974389279248 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13004] ppid=12997 vsize=28766288 memory=3028 CPUtime=2.15 cores=0-7
/proc/12999/task/13004/stat : 13004 (java) S 12997 12997 11035 0 -1 1077944384 5853 0 0 0 129 86 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974388226704 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13005] ppid=12997 vsize=28766288 memory=2012 CPUtime=2.23 cores=0-7
/proc/12999/task/13005/stat : 13005 (java) S 12997 12997 11035 0 -1 1077944384 7084 0 0 0 126 97 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974387174160 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13006] ppid=12997 vsize=28766288 memory=1388 CPUtime=2.2 cores=0-7
/proc/12999/task/13006/stat : 13006 (java) S 12997 12997 11035 0 -1 1077944384 6912 0 0 0 123 97 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974386121616 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13007] ppid=12997 vsize=28766288 memory=776 CPUtime=2.18 cores=0-7
/proc/12999/task/13007/stat : 13007 (java) S 12997 12997 11035 0 -1 1077944384 5156 0 0 0 127 91 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974385069072 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13008] ppid=12997 vsize=28766288 memory=3992 CPUtime=2.18 cores=0-7
/proc/12999/task/13008/stat : 13008 (java) S 12997 12997 11035 0 -1 1077944384 5711 0 0 0 123 95 0 0 20 0 28 0 447111827 29456678912 845169 33554432000 4194304 4196468 140732206299648 139974384016528 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13009] ppid=12997 vsize=28766288 memory=2828 CPUtime=1.38 cores=0-7
/proc/12999/task/13009/stat : 13009 (java) S 12997 12997 11035 0 -1 1077944384 11553 0 0 0 46 92 0 0 20 0 28 0 447111828 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972968069104 139974839483010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13010] ppid=12997 vsize=28766288 memory=676 CPUtime=0 cores=0-7
/proc/12999/task/13010/stat : 13010 (java) S 12997 12997 11035 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 447111829 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972967015392 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13011] ppid=12997 vsize=28766288 memory=500 CPUtime=0 cores=0-7
/proc/12999/task/13011/stat : 13011 (java) S 12997 12997 11035 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 447111829 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972965962752 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13012] ppid=12997 vsize=28766288 memory=1560 CPUtime=0 cores=0-7
/proc/12999/task/13012/stat : 13012 (java) S 12997 12997 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447111831 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972964911312 139974839490459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13013] ppid=12997 vsize=28766288 memory=932 CPUtime=3.39 cores=0-7
/proc/12999/task/13013/stat : 13013 (java) S 12997 12997 11035 0 -1 1077944384 19394 0 0 0 335 4 0 0 20 0 28 0 447111831 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972963858928 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13014] ppid=12997 vsize=28766288 memory=3768 CPUtime=3.76 cores=0-7
/proc/12999/task/13014/stat : 13014 (java) S 12997 12997 11035 0 -1 1077944384 21215 0 0 0 371 5 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972962806384 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13015] ppid=12997 vsize=28766288 memory=1980 CPUtime=3.9 cores=0-7
/proc/12999/task/13015/stat : 13015 (java) S 12997 12997 11035 0 -1 1077944384 24547 0 0 0 385 5 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972961753840 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13016] ppid=12997 vsize=28766288 memory=2512 CPUtime=1.02 cores=0-7
/proc/12999/task/13016/stat : 13016 (java) S 12997 12997 11035 0 -1 1077944384 20818 0 0 0 98 4 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972960701296 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13017] ppid=12997 vsize=28766288 memory=1436 CPUtime=0 cores=0-7
/proc/12999/task/13017/stat : 13017 (java) S 12997 12997 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972959647968 139974839482069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13018] ppid=12997 vsize=28766288 memory=812 CPUtime=0.85 cores=0-7
/proc/12999/task/13018/stat : 13018 (java) S 12997 12997 11035 0 -1 1077944384 3116 0 0 0 34 51 0 0 20 0 28 0 447111832 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972958595504 139974839483010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13344] ppid=12997 vsize=28766288 memory=1764 CPUtime=2324.41 cores=0-7
/proc/12999/task/13344/stat : 13344 (java) R 12997 12997 11035 0 -1 4202560 34859 0 0 0 232379 62 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972944113192 139974479846609 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13345] ppid=12997 vsize=28766288 memory=111628 CPUtime=2324.92 cores=0-7
/proc/12999/task/13345/stat : 13345 (java) R 12997 12997 11035 0 -1 4202560 6597 0 0 0 232488 4 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972943061336 139974479846613 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13346] ppid=12997 vsize=28766288 memory=1060 CPUtime=2320.48 cores=0-7
/proc/12999/task/13346/stat : 13346 (java) R 12997 12997 11035 0 -1 4202560 13862 0 0 0 232033 15 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972948324728 139974479846613 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13347] ppid=12997 vsize=28766288 memory=1548 CPUtime=2311.37 cores=0-7
/proc/12999/task/13347/stat : 13347 (java) R 12997 12997 11035 0 -1 4202560 12425 0 0 0 231096 41 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972947271792 139974477455973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13348] ppid=12997 vsize=28766288 memory=8560 CPUtime=2309.69 cores=0-7
/proc/12999/task/13348/stat : 13348 (java) R 12997 12997 11035 0 -1 4202560 15749 0 0 0 230938 31 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972945166824 139974477456021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13349] ppid=12997 vsize=28766288 memory=1668 CPUtime=2319.37 cores=0-7
/proc/12999/task/13349/stat : 13349 (java) R 12997 12997 11035 0 -1 4202560 61890 0 0 0 231915 22 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972946222416 139974482299407 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13350] ppid=12997 vsize=28766288 memory=1112 CPUtime=2324.4 cores=0-7
/proc/12999/task/13350/stat : 13350 (java) R 12997 12997 11035 0 -1 4202560 31114 0 0 0 232399 41 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972949377496 139974479846446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
[pid=12999/tid=13351] ppid=12997 vsize=28766288 memory=1004 CPUtime=2317.78 cores=0-7
/proc/12999/task/13351/stat : 13351 (java) R 12997 12997 11035 0 -1 4202560 11908 0 0 0 231754 24 0 0 20 0 28 0 447131043 29456678912 845169 33554432000 4194304 4196468 140732206299648 139972942008408 139974482913482 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27316224 140732206306282 140732206306454 140732206306454 140732206309327 0
Current children cumulated CPU time: 19879.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3382128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 12997 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002408 s
[startup+2520.16 s]
# the end of solver process 12999 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19867.8 s, system=12.4728 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
[startup+2520.14 s]*
/proc/loadavg: 8.12 8.20 8.27 2/194 13551
/proc/meminfo: memFree=28119376/32770624 swapFree=66997372/67108860
Current cumulated CPU time of completed processes: 0.002408 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.16
CPU time (s): 19880.3
CPU user time (s): 19867.8
CPU system time (s): 12.4728
CPU usage (%): 788.85
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 4162460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19867.8
system time used= 12.4728
maximum resident set size= 4161448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66895
involuntary context switches= 219490
# summary of solver processes directly reported to runsolver:
# pid: 12997,12999
# total CPU time (s): 19880.3
# total CPU user time (s): 19867.8
# total CPU system time (s): 12.4728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.8754 second user time and 30.6148 second system time
The end
Begin job on node103 at 2019-09-17 10:22:08
IDJOB=4399978
IDBENCH=133905
IDSOLVER=2854
FILE ID=node103/4399978-1568708588
RUNJOBID= node103-1568700929-11062
PBS_JOBID= 21703910
Free space on /tmp= 61716 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399978-1568708588/watcher-4399978-1568708588 -o /tmp/evaluation-result-4399978-1568708588/solver-4399978-1568708588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568700929-11062 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2111337702 HOME/instance-4399978-1568708588.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664
RANDOM SEED=2111337702
node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31493156 kB
MemAvailable: 31882220 kB
Buffers: 85348 kB
Cached: 598476 kB
SwapCached: 9016 kB
Active: 412132 kB
Inactive: 284004 kB
Active(anon): 4596 kB
Inactive(anon): 57316 kB
Active(file): 407536 kB
Inactive(file): 226688 kB
Unevictable: 111148 kB
Mlocked: 111148 kB
SwapTotal: 67108860 kB
SwapFree: 66997372 kB
Dirty: 27176 kB
Writeback: 0 kB
AnonPages: 124012 kB
Mapped: 48312 kB
Shmem: 40856 kB
Slab: 170612 kB
SReclaimable: 141348 kB
SUnreclaim: 29264 kB
KernelStack: 3728 kB
PageTables: 5692 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 79872 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61692 MiB
End job on node103 at 2019-09-17 11:04:09