2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - Hybrid 2017-06-30	SAT (TO)	250	2400.08	2294.64

0.41/0.31	c version: 2017-06-30
0.41/0.31	c seed: 475048296
0.41/0.31	c timeout: 2400
0.41/0.31	c memlimit: 15500
0.41/0.31	c nbcore: 8
0.41/0.34	c Parsing instance...
4.22/1.67	c Parsing done, starting first complete search...
5.69/2.09	o 150
5.69/2.09	o 151
5.69/2.10	o 152
5.83/2.10	o 153
5.83/2.10	o 154
5.83/2.10	o 155
5.83/2.11	o 156
5.83/2.11	o 157
5.83/2.11	o 158
5.83/2.11	o 159
5.83/2.11	o 160
5.83/2.11	o 161
5.83/2.12	o 162
5.83/2.12	o 163
5.83/2.12	o 164
5.83/2.12	o 165
5.83/2.12	o 166
5.83/2.12	o 167
5.83/2.13	o 168
5.83/2.15	o 169
5.83/2.17	o 170
5.83/2.20	o 171
6.28/2.23	o 172
6.28/2.23	o 173
6.28/2.24	o 174
6.28/2.24	o 175
6.28/2.24	o 176
6.28/2.24	o 177
6.28/2.24	o 178
6.28/2.24	o 179
6.28/2.25	o 180
6.28/2.25	o 181
6.28/2.25	o 182
6.28/2.25	o 183
6.28/2.25	o 184
6.28/2.25	o 185
6.28/2.26	o 186
6.28/2.26	o 187
6.28/2.27	o 188
6.28/2.27	o 189
6.28/2.30	o 190
6.68/2.33	o 191
6.97/2.40	o 192
6.97/2.47	o 193
7.80/2.96	o 194
9.47/4.25	o 195
9.97/4.71	o 196
14.67/8.96	o 197
15.46/9.75	o 198
25.23/19.20	c First complete search done, starting ALNS search...
28.22/21.58	o 199
43.66/35.88	o 200
262.33/249.49	o 206
301.66/287.18	o 207
302.68/288.10	o 210
311.81/296.89	o 211
312.11/297.14	o 212
312.31/297.39	o 213
312.41/297.45	o 214
335.05/319.06	o 215
335.54/319.55	o 216
335.74/319.74	o 217
340.29/324.19	o 218
341.23/325.07	o 219
341.53/325.35	o 220
354.56/337.78	o 222
356.31/339.48	o 223
356.82/339.98	o 225
447.86/426.88	o 226
451.64/430.45	o 227
463.89/442.12	o 228
464.29/442.52	o 229
464.49/442.74	o 230
464.69/442.94	o 231
519.15/494.86	o 232
519.35/495.07	o 233
519.55/495.28	o 234
519.75/495.47	o 235
589.28/561.58	o 236
593.32/565.42	o 237
672.14/640.95	o 238
672.74/641.50	o 239
673.24/642.03	o 240
673.75/642.52	o 241
674.24/643.00	o 242
704.83/672.39	o 243
708.89/676.22	o 244
709.40/676.72	o 245
712.07/679.38	o 246
1051.58/1003.59	o 247
1056.70/1008.42	o 250
1772.62/1694.70	c ALNS done, starting second complete search
1772.62/1694.70	c Best operator: FullRelax_LastConf(valLearnMin) with improvement of: 15
2400.04/2294.61	s SATISFIABLE
2400.04/2294.61	v <instantiation>
2400.04/2294.61	v 	<list>
2400.04/2294.61	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z
2400.04/2294.61	v 	</list>
2400.04/2294.61	v 	<values>
2400.04/2294.61	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 1 1 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 1 1 2 0 0 2 0 1 2 2 2 1 1 2 2 0 2 0 1 1 2 2 2 2 2 1 2 0 0 0 0 1 0 0 0 1 2 2 2 1 1 2 1 0 0 1 1 2 2 2 2 1 0 1 0 1 0 1 0 0 1 1 1 2 2 2 2 1 1 2 1 0 0 1 0 2 2 2 0 1 0 0 0 1 0 1 1 0 1 1 2 1 2 2 2 1 1 2 2 1 1 0 0 1 2 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 2 1 1 2 2 2 1 0 0 1 0 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 2 1 1 2 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 1 0 1 0 1 0 1 1 2 0 1 0 0 0 0 0 0 0 1 0 1 1 2 0 0 0 0 0 0 2 1 0 1 0 0 1 1 2 1 1 1 0 1 0 1 1 0 0 1 1 2 2 0 0 0 1 1 0 1 1 0 1 0 0 1 0 2 2 0 0 0 1 0 0 0 1 0 2 2 0 1 0 1 0 0 1 0 1 2 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 2 0 2 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 2 2 2 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 1 1 0 0 1 2 2 1 1 2 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 2 2 1 0 0 0 1 2 0 1 1 0 2 1 1 1 0 0 1 2 1 0 1 0 1 0 0 1 2 1 1 0 1 0 1 1 1 0 0 0 1 2 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 25 72 110 141 171 198 215 230 244 255 269 289 305 319 328 337 354 375 396 408 413 419 421 423 433 438 443 456 250 
2400.04/2294.61	v 	</values>
2400.04/2294.61	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244778-1500691230/watcher-4244778-1500691230 -o /tmp/evaluation-result-4244778-1500691230/solver-4244778-1500691230 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16346 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 475048296 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244778-1500691230.xml 

pid=17306
running on 8 cores: 1,3,5,7,9,11,13,15

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.52 1.52 3/261 17309
/proc/meminfo: memFree=29453948/32770624 swapFree=6568/124212
[pid=17309] ppid=17306 vsize=10638648 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 2240 0 0 0 0 0 0 0 20 0 6 0 4387953 10893975552 2498 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 2659919 2498 1199 1 0 2648830 0
[pid=17309/tid=17310] ppid=17306 vsize=10641732 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) S 17306 17309 14955 0 -1 1077944384 935 0 0 0 0 0 0 0 20 0 9 0 4387954 10897133568 2498 33554432000 4194304 4196468 140729425299776 140601105344208 140601101113045 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=10642760 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 4387955 10898186240 2498 33554432000 4194304 4196468 140729425299776 140601057655648 140601101113045 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=10642760 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 4387955 10898186240 2498 33554432000 4194304 4196468 140729425299776 140600699190240 140601101113045 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=10876912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) R 17306 17309 14955 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 10 0 4387955 11137957888 2498 33554432000 4194304 4196468 140729425299776 140600698137184 140601101113045 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=10970440 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) D 17306 17309 14955 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 4387955 11233730560 2498 33554432000 4194304 4196468 140729425299776 140600697083832 140601093330659 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=11035976 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) D 17306 17309 14955 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 4387955 11300839424 2498 33554432000 4194304 4196468 140729425299776 140600696031800 140601093819943 0 4 0 16784584 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=11167048 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) D 17306 17309 14955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 4387955 11435057152 2498 33554432000 4194304 4196468 140729425299776 140600694979352 140601081126704 0 4 0 16784584 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=11167048 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) D 17306 17309 14955 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 4387955 11435057152 2498 33554432000 4194304 4196468 140729425299776 140600693926200 140601093819991 0 4 0 16784584 18446744071582151463 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=11101512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) D 17306 17309 14955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 4387955 11367948288 2498 33554432000 4194304 4196468 140729425299776 140600692874352 140601093835801 0 4 0 16784584 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0

[startup+0.100075 s]
/proc/loadavg: 1.85 1.52 1.52 3/261 17309
/proc/meminfo: memFree=29453948/32770624 swapFree=6568/124212
[pid=17309] ppid=17306 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 5048 0 0 0 8 1 0 0 20 0 20 0 4387953 13582725120 5656 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3316095 5656 2747 1 0 3303815 0
[pid=17309/tid=17310] ppid=17306 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) R 17306 17309 14955 0 -1 4202560 3139 0 0 0 7 1 0 0 20 0 20 0 4387954 13582725120 5656 33554432000 4194304 4196468 140729425299776 140601105345120 140601057737701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5656 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5656 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5656 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5656 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5656 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5656 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5722 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387955 13582725120 5722 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.201186 s]
/proc/loadavg: 1.85 1.52 1.52 3/261 17309
/proc/meminfo: memFree=29453948/32770624 swapFree=6568/124212
[pid=17309] ppid=17306 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 8798 0 0 0 23 2 0 0 20 0 20 0 4387953 13582245888 8790 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3315978 8790 3501 1 0 3303698 0
[pid=17309/tid=17310] ppid=17306 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) R 17306 17309 14955 0 -1 4202560 6535 0 0 0 17 1 0 0 20 0 20 0 4387954 13582245888 8790 33554432000 4194304 4196468 140729425299776 140601105330352 140601101124765 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 8790 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300949 s]
/proc/loadavg: 1.85 1.52 1.52 3/261 17309
/proc/meminfo: memFree=29453948/32770624 swapFree=6568/124212
[pid=17309] ppid=17306 vsize=13263912 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 9785 0 0 0 38 3 0 0 20 0 20 0 4387953 13582245888 10515 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3315978 10515 3664 1 0 3303698 0
[pid=17309/tid=17310] ppid=17306 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) R 17306 17309 14955 0 -1 4202560 7226 0 0 0 25 2 0 0 20 0 20 0 4387954 13582245888 10515 33554432000 4194304 4196468 140729425299776 140601105317104 140601101124765 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387955 13582245888 10515 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700672 s]
/proc/loadavg: 1.85 1.52 1.52 3/261 17309
/proc/meminfo: memFree=29453948/32770624 swapFree=6568/124212
[pid=17309] ppid=17306 vsize=13265980 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 13308 0 0 0 146 6 0 0 20 0 20 0 4387953 13584363520 19632 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3316495 19632 3776 1 0 3304210 0
[pid=17309/tid=17310] ppid=17306 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) R 17306 17309 14955 0 -1 4202560 8496 0 0 0 64 3 0 0 20 0 20 0 4387954 13584363520 19632 33554432000 4194304 4196468 140729425299776 140601105337104 140601085146469 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387955 13584363520 19632 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 13265980

[startup+1.50103 s]
/proc/loadavg: 1.85 1.52 1.52 4/281 17329
/proc/meminfo: memFree=29352796/32770624 swapFree=6568/124252
[pid=17309] ppid=17306 vsize=13270076 CPUtime=3.8 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 25883 0 0 0 362 18 0 0 20 0 20 0 4387953 13588557824 57008 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3317519 57008 3811 1 0 3305234 0
[pid=17309/tid=17310] ppid=17306 vsize=13270076 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) R 17306 17309 14955 0 -1 4202560 11701 0 0 0 138 6 0 0 20 0 20 0 4387954 13588557824 57008 33554432000 4194304 4196468 140729425299776 140601105334200 140600744249392 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 31 0 0 0 0 1 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) S 17306 17309 14955 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 242 0 0 0 0 1 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 20 0 4387955 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17320] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17320/stat : 17320 (java) S 17306 17309 14955 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 20 0 4387957 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600295725296 140601101113986 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17321] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17321/stat : 17321 (java) S 17306 17309 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600294671584 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17322] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17322/stat : 17322 (java) S 17306 17309 14955 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600293618432 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17323] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17323/stat : 17323 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387962 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600292566992 140601101121435 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17324] ppid=17306 vsize=13270076 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17324/stat : 17324 (java) S 17306 17309 14955 0 -1 1077944384 1604 0 0 0 50 0 0 0 20 0 20 0 4387962 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600291515120 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17325] ppid=17306 vsize=13270076 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17325/stat : 17325 (java) S 17306 17309 14955 0 -1 1077944384 1413 0 0 0 45 0 0 0 20 0 20 0 4387962 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600290462576 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17326] ppid=17306 vsize=13270076 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17326/stat : 17326 (java) S 17306 17309 14955 0 -1 1077944384 1437 0 0 0 50 0 0 0 20 0 20 0 4387962 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600289409520 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17327] ppid=17306 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17327/stat : 17327 (java) S 17306 17309 14955 0 -1 1077944384 7641 0 0 0 69 1 0 0 20 0 20 0 4387962 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600288356976 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17328] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17328/stat : 17328 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387963 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600287304160 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17329] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17329/stat : 17329 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387963 13588557824 57008 33554432000 4194304 4196468 140729425299776 140600286251696 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 3.8

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

/proc/17309/task/17325/stat : 17325 (java) S 17306 17309 14955 0 -1 1077944384 27453 0 0 0 232 3 0 0 20 0 20 0 4387962 13588557824 296863 33554432000 4194304 4196468 140729425299776 140600290462576 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17326] ppid=17306 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17326/stat : 17326 (java) S 17306 17309 14955 0 -1 1077944384 21472 0 0 0 219 2 0 0 20 0 20 0 4387962 13588557824 296863 33554432000 4194304 4196468 140729425299776 140600289409520 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17327] ppid=17306 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17327/stat : 17327 (java) S 17306 17309 14955 0 -1 1077944384 42023 0 0 0 119 5 0 0 20 0 20 0 4387962 13588557824 296863 33554432000 4194304 4196468 140729425299776 140600288356976 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 46 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17328] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17328/stat : 17328 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387963 13588557824 296863 33554432000 4194304 4196468 140729425299776 140600287304160 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17329] ppid=17306 vsize=13270076 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17329/stat : 17329 (java) S 17306 17309 14955 0 -1 1077944384 1808 0 0 0 53 63 0 0 20 0 20 0 4387963 13588557824 296863 33554432000 4194304 4196468 140729425299776 140600286251696 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 2240.75
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.59 1.58 1.64 3/281 17410
/proc/meminfo: memFree=28836456/32770624 swapFree=6568/126500
[pid=17309] ppid=17306 vsize=13270076 CPUtime=2303.72 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 458318 0 0 0 229855 517 0 0 20 0 20 0 4387953 13588557824 281894 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3317519 281894 3867 1 0 3305234 0
[pid=17309/tid=17310] ppid=17306 vsize=13270076 CPUtime=2183.09 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) S 17306 17309 14955 0 -1 1077944384 115979 0 0 0 218237 72 0 0 20 0 20 0 4387954 13588557824 281894 33554432000 4194304 4196468 140729425299776 140601105341264 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13270076 CPUtime=13.64 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 20248 0 0 0 1321 43 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13270076 CPUtime=13.31 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 19709 0 0 0 1289 42 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13270076 CPUtime=13.68 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) R 17306 17309 14955 0 -1 1077944384 20321 0 0 0 1327 41 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13270076 CPUtime=13.61 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 20525 0 0 0 1321 40 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13270076 CPUtime=13.65 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 21702 0 0 0 1324 41 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13270076 CPUtime=13.7 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 19228 0 0 0 1327 43 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13270076 CPUtime=13.59 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 21841 0 0 0 1316 43 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13270076 CPUtime=13.71 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 20658 0 0 0 1327 44 0 0 20 0 20 0 4387955 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17320] ppid=17306 vsize=13270076 CPUtime=2.47 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17320/stat : 17320 (java) R 17306 17309 14955 0 -1 4202560 66259 0 0 0 196 51 0 0 20 0 20 0 4387957 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600295723808 140601101124186 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17321] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17321/stat : 17321 (java) S 17306 17309 14955 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600294671584 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17322] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17322/stat : 17322 (java) S 17306 17309 14955 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 281894 33554432000 4194304 4196468 140729425299776 140600293618432 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17323] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17323/stat : 17323 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387962 13588557824 281766 33554432000 4194304 4196468 140729425299776 140600292566992 140601101121435 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17324] ppid=17306 vsize=13270076 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17324/stat : 17324 (java) S 17306 17309 14955 0 -1 1077944384 17610 0 0 0 206 3 0 0 20 0 20 0 4387962 13588557824 281765 33554432000 4194304 4196468 140729425299776 140600291515120 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17325] ppid=17306 vsize=13270076 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17325/stat : 17325 (java) S 17306 17309 14955 0 -1 1077944384 27453 0 0 0 232 3 0 0 20 0 20 0 4387962 13588557824 281765 33554432000 4194304 4196468 140729425299776 140600290462576 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17326] ppid=17306 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17326/stat : 17326 (java) S 17306 17309 14955 0 -1 1077944384 21472 0 0 0 219 2 0 0 20 0 20 0 4387962 13588557824 281765 33554432000 4194304 4196468 140729425299776 140600289409520 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17327] ppid=17306 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17327/stat : 17327 (java) S 17306 17309 14955 0 -1 1077944384 42025 0 0 0 119 5 0 0 20 0 20 0 4387962 13588557824 281765 33554432000 4194304 4196468 140729425299776 140600288356976 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 46 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17328] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17328/stat : 17328 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387963 13588557824 281765 33554432000 4194304 4196468 140729425299776 140600287304160 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17329] ppid=17306 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17329/stat : 17329 (java) S 17306 17309 14955 0 -1 1077944384 1829 0 0 0 55 65 0 0 20 0 20 0 4387963 13588557824 281765 33554432000 4194304 4196468 140729425299776 140600286251696 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 2303.72
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.66 1.60 1.64 3/281 17505
/proc/meminfo: memFree=29641360/32770624 swapFree=6568/126656
[pid=17309] ppid=17306 vsize=13270076 CPUtime=2366.38 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 463134 0 0 0 236115 523 0 0 20 0 20 0 4387953 13588557824 264786 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3317519 264786 3867 1 0 3305234 0
[pid=17309/tid=17310] ppid=17306 vsize=13270076 CPUtime=2242.52 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) R 17306 17309 14955 0 -1 4202560 117615 0 0 0 224179 73 0 0 20 0 20 0 4387954 13588557824 264786 33554432000 4194304 4196468 140729425299776 140601105341200 140600744236411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13270076 CPUtime=14.02 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 20584 0 0 0 1359 43 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13270076 CPUtime=13.69 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 20028 0 0 0 1327 42 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13270076 CPUtime=14.08 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) S 17306 17309 14955 0 -1 1077944384 20624 0 0 0 1366 42 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13270076 CPUtime=14.01 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 20886 0 0 0 1360 41 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13270076 CPUtime=14.03 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 22038 0 0 0 1362 41 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13270076 CPUtime=14.11 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 19588 0 0 0 1367 44 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13270076 CPUtime=13.98 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 22382 0 0 0 1355 43 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13270076 CPUtime=14.12 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 20990 0 0 0 1368 44 0 0 20 0 20 0 4387955 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17320] ppid=17306 vsize=13270076 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17320/stat : 17320 (java) S 17306 17309 14955 0 -1 1077944384 66512 0 0 0 202 53 0 0 20 0 20 0 4387957 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600295725296 140601101113986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17321] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17321/stat : 17321 (java) S 17306 17309 14955 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600294671584 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17322] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17322/stat : 17322 (java) S 17306 17309 14955 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600293618432 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17323] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17323/stat : 17323 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387962 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600292566992 140601101121435 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17324] ppid=17306 vsize=13270076 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17324/stat : 17324 (java) S 17306 17309 14955 0 -1 1077944384 17615 0 0 0 206 3 0 0 20 0 20 0 4387962 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600291515120 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17325] ppid=17306 vsize=13270076 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17325/stat : 17325 (java) S 17306 17309 14955 0 -1 1077944384 27457 0 0 0 232 3 0 0 20 0 20 0 4387962 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600290462576 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17326] ppid=17306 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17326/stat : 17326 (java) S 17306 17309 14955 0 -1 1077944384 21477 0 0 0 219 2 0 0 20 0 20 0 4387962 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600289409520 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17327] ppid=17306 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17327/stat : 17327 (java) S 17306 17309 14955 0 -1 1077944384 42029 0 0 0 119 5 0 0 20 0 20 0 4387962 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600288356976 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17328] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17328/stat : 17328 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387963 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600287304160 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17329] ppid=17306 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17329/stat : 17329 (java) S 17306 17309 14955 0 -1 1077944384 1850 0 0 0 57 67 0 0 20 0 20 0 4387963 13588557824 264786 33554432000 4194304 4196468 140729425299776 140600286251696 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 2366.38
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2294.6 s]
/proc/loadavg: 1.43 1.56 1.62 3/281 17505
/proc/meminfo: memFree=29123404/32770624 swapFree=6568/126696
[pid=17309] ppid=17306 vsize=13270076 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/17309/stat : 17309 (java) S 17306 17309 14955 0 -1 1077944320 463612 0 0 0 239477 527 0 0 20 0 20 0 4387953 13588557824 258935 33554432000 4194304 4196468 140729425299776 140729425282320 140601101102839 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
/proc/17309/statm: 3317519 258935 3867 1 0 3305234 0
[pid=17309/tid=17310] ppid=17306 vsize=13270076 CPUtime=2274.55 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17310/stat : 17310 (java) R 17306 17309 14955 0 -1 4202560 117992 0 0 0 227382 73 0 0 20 0 20 0 4387954 13588557824 258935 33554432000 4194304 4196468 140729425299776 140601105341152 140600748044106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17311] ppid=17306 vsize=13270076 CPUtime=14.21 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17311/stat : 17311 (java) S 17306 17309 14955 0 -1 1077944384 20588 0 0 0 1377 44 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140601057655312 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17312] ppid=17306 vsize=13270076 CPUtime=13.88 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17312/stat : 17312 (java) S 17306 17309 14955 0 -1 1077944384 20038 0 0 0 1346 42 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600699189904 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17313] ppid=17306 vsize=13270076 CPUtime=14.27 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17313/stat : 17313 (java) S 17306 17309 14955 0 -1 1077944384 20633 0 0 0 1385 42 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600698136848 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17314] ppid=17306 vsize=13270076 CPUtime=14.21 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17314/stat : 17314 (java) S 17306 17309 14955 0 -1 1077944384 20887 0 0 0 1380 41 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600697084304 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17315] ppid=17306 vsize=13270076 CPUtime=14.21 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17315/stat : 17315 (java) S 17306 17309 14955 0 -1 1077944384 22047 0 0 0 1380 41 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600696032272 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17316] ppid=17306 vsize=13270076 CPUtime=14.32 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17316/stat : 17316 (java) S 17306 17309 14955 0 -1 1077944384 19596 0 0 0 1388 44 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600694979728 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17317] ppid=17306 vsize=13270076 CPUtime=14.18 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17317/stat : 17317 (java) S 17306 17309 14955 0 -1 1077944384 22393 0 0 0 1375 43 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600693926672 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17318] ppid=17306 vsize=13270076 CPUtime=14.31 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17318/stat : 17318 (java) S 17306 17309 14955 0 -1 1077944384 21000 0 0 0 1387 44 0 0 20 0 20 0 4387955 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600692874128 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17320] ppid=17306 vsize=13270076 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17320/stat : 17320 (java) S 17306 17309 14955 0 -1 1077944384 66549 0 0 0 204 54 0 0 20 0 20 0 4387957 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600295725296 140601101113986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17321] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17321/stat : 17321 (java) S 17306 17309 14955 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600294671584 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17322] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17322/stat : 17322 (java) S 17306 17309 14955 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4387958 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600293618432 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17323] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17323/stat : 17323 (java) S 17306 17309 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4387962 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600292566992 140601101121435 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17324] ppid=17306 vsize=13270076 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17324/stat : 17324 (java) S 17306 17309 14955 0 -1 1077944384 17615 0 0 0 206 3 0 0 20 0 20 0 4387962 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600291515120 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17325] ppid=17306 vsize=13270076 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17325/stat : 17325 (java) S 17306 17309 14955 0 -1 1077944384 27457 0 0 0 232 3 0 0 20 0 20 0 4387962 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600290462576 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17326] ppid=17306 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17326/stat : 17326 (java) S 17306 17309 14955 0 -1 1077944384 21477 0 0 0 219 2 0 0 20 0 20 0 4387962 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600289409520 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17327] ppid=17306 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17327/stat : 17327 (java) S 17306 17309 14955 0 -1 1077944384 42029 0 0 0 119 5 0 0 20 0 20 0 4387962 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600288356976 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17328] ppid=17306 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17328/stat : 17328 (java) S 17306 17309 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4387963 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600287304160 140601101113045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
[pid=17309/tid=17329] ppid=17306 vsize=13270076 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/17309/task/17329/stat : 17329 (java) S 17306 17309 14955 0 -1 1077944384 1852 0 0 0 58 67 0 0 20 0 20 0 4387963 13588557824 258935 33554432000 4194304 4196468 140729425299776 140600286251696 140601101113986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 23322624 140729425302670 140729425302852 140729425302852 140729425305551 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17309 sig 9
??? kill -17309 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2294.64
CPU time (s): 2400.08
CPU user time (s): 2394.8
CPU system time (s): 5.28352
CPU usage (%): 104.595
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.8
system time used= 5.28353
maximum resident set size= 3483472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139039
involuntary context switches= 139462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0092 second user time and 20.9398 second system time

The end

Launcher Data

Begin job on node148 at 2017-07-22 04:40:30
IDJOB=4244778
IDBENCH=115899
IDSOLVER=2629
FILE ID=node148/4244778-1500691230
RUNJOBID= node148-1500684084-16346
PBS_JOBID= 20623032
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244778-1500691230/watcher-4244778-1500691230 -o /tmp/evaluation-result-4244778-1500691230/solver-4244778-1500691230 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16346 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 475048296 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244778-1500691230.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061
RANDOM SEED=475048296

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        29454484 kB
MemAvailable:   29630996 kB
Buffers:          130120 kB
Cached:           316024 kB
SwapCached:            0 kB
Active:          2671316 kB
Inactive:         185756 kB
Active(anon):    2361052 kB
Inactive(anon):    61544 kB
Active(file):     310264 kB
Inactive(file):   124212 kB
Unevictable:        6568 kB
Mlocked:            6568 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42200 kB
Writeback:             0 kB
AnonPages:       2390852 kB
Mapped:            45108 kB
Shmem:              8848 kB
Slab:             149324 kB
SReclaimable:     115744 kB
SUnreclaim:        33580 kB
KernelStack:        4800 kB
PageTables:         9788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4511440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2254848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61948 MiB
End job on node148 at 2017-07-22 05:18:45

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml
MD5SUM	a21a0b86f7fa853bf556b3925b3cd061
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	345
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	1597
Number of constraints	944
Number of domains	4
Minimum domain size	2
Maximum domain size	1569
Distribution of domain sizes	[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree	1
Maximum variable degree	29
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints	780
Number of intensional constraints	131
Distribution of constraint types	[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4244778

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