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)	279	2400.04	2294.04

0.42/0.31	c version: 2017-06-30
0.42/0.31	c seed: 1281457231
0.42/0.31	c timeout: 2400
0.42/0.31	c memlimit: 15500
0.42/0.31	c nbcore: 8
0.42/0.33	c Parsing instance...
4.02/1.57	c Parsing done, starting first complete search...
5.75/2.02	o 141
5.75/2.03	o 142
5.75/2.03	o 143
5.75/2.03	o 144
5.75/2.03	o 145
5.75/2.03	o 146
5.75/2.04	o 147
5.75/2.04	o 148
5.75/2.04	o 149
5.75/2.04	o 150
5.75/2.04	o 151
5.75/2.04	o 152
5.75/2.04	o 153
5.75/2.05	o 154
5.75/2.05	o 155
5.75/2.05	o 156
5.75/2.05	o 157
5.75/2.05	o 158
5.75/2.05	o 159
5.75/2.05	o 160
5.75/2.06	o 161
5.75/2.06	o 162
5.75/2.06	o 163
5.75/2.06	o 164
5.75/2.06	o 165
5.75/2.06	o 166
5.75/2.06	o 167
5.75/2.07	o 168
5.75/2.07	o 169
5.75/2.07	o 170
5.75/2.07	o 171
5.75/2.07	o 172
5.75/2.08	o 173
5.75/2.08	o 174
5.75/2.08	o 175
6.47/2.21	o 176
8.78/4.62	c First complete search done, starting ALNS search...
15.07/9.24	o 177
19.80/13.58	o 202
273.05/258.00	o 220
285.49/269.94	o 221
285.59/270.08	o 222
291.77/275.91	o 224
295.84/279.88	o 225
300.05/283.86	o 226
300.23/284.07	o 227
300.54/284.36	o 228
301.04/284.85	o 229
301.29/285.05	o 230
302.82/286.53	o 237
303.85/287.54	o 238
304.89/288.58	o 239
307.71/291.28	o 240
308.55/292.03	o 241
309.50/292.90	o 242
311.38/294.80	o 243
311.98/295.33	o 244
312.64/295.94	o 245
327.00/309.74	o 246
331.02/313.56	o 247
459.25/435.86	o 248
526.99/500.69	o 249
528.72/502.34	o 250
553.18/525.72	o 251
561.61/533.68	o 252
561.99/534.00	o 253
616.10/585.84	o 255
616.71/586.42	o 257
619.19/588.80	o 258
626.71/596.01	o 259
636.67/605.56	o 260
638.88/607.66	o 261
706.25/672.45	o 262
708.57/674.61	o 263
791.40/753.64	o 264
804.04/765.80	o 265
804.34/766.08	o 266
829.09/789.70	o 267
962.63/917.10	o 268
1115.16/1063.04	o 269
1119.39/1067.11	o 270
1119.48/1067.21	o 271
1161.25/1107.28	o 272
1162.05/1108.06	o 273
1162.15/1108.14	o 274
1166.49/1112.30	o 275
1167.29/1113.06	o 276
1167.49/1113.30	o 277
1167.99/1113.71	o 278
1172.09/1117.67	o 279
1759.03/1680.19	c ALNS done, starting second complete search
1759.03/1680.19	c Best operator: KSuccessive(690)_WeightDeg(Min) with improvement of: 18
2400.00/2294.00	s SATISFIABLE
2400.00/2294.01	v <instantiation>
2400.00/2294.01	v 	<list>
2400.00/2294.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
2400.00/2294.01	v 	</list>
2400.00/2294.01	v 	<values>
2400.00/2294.01	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 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 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 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 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 0 0 0 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 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 8 13 15 24 24 26 32 38 44 48 52 55 60 65 70 75 80 85 87 94 98 101 104 110 121 132 279 
2400.00/2294.01	v 	</values>
2400.00/2294.01	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-4244743-1500690413/watcher-4244743-1500690413 -o /tmp/evaluation-result-4244743-1500690413/solver-4244743-1500690413 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500683262-14634 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1281457231 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244743-1500690413.xml 

pid=15539
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.67 1.52 1.56 3/262 15542
/proc/meminfo: memFree=29417428/32770624 swapFree=6412/241596
[pid=15542] ppid=15539 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 2103 0 0 0 0 0 0 0 20 0 2 0 4307570 10889764864 2319 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 2658634 2319 1188 1 0 2647545 0
[pid=15542/tid=15543] ppid=15539 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 2 0 4307570 10889764864 2451 33554432000 4194304 4196468 140734690772448 139976196188576 139976185130609 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0

[startup+0.100069 s]
/proc/loadavg: 1.67 1.52 1.56 3/262 15542
/proc/meminfo: memFree=29417428/32770624 swapFree=6412/241596
[pid=15542] ppid=15539 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 5368 0 0 0 8 2 0 0 20 0 20 0 4307570 13582725120 5979 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3316095 5979 2972 1 0 3303815 0
[pid=15542/tid=15543] ppid=15539 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 3468 0 0 0 7 1 0 0 20 0 20 0 4307570 13582725120 5979 33554432000 4194304 4196468 140734690772448 139976196186264 139976148581997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.200372 s]
/proc/loadavg: 1.67 1.52 1.56 3/262 15542
/proc/meminfo: memFree=29417428/32770624 swapFree=6412/241596
[pid=15542] ppid=15539 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 8871 0 0 0 23 3 0 0 20 0 20 0 4307570 13582245888 8933 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3315978 8933 3558 1 0 3303698 0
[pid=15542/tid=15543] ppid=15539 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 6619 0 0 0 16 2 0 0 20 0 20 0 4307570 13582245888 8933 33554432000 4194304 4196468 140734690772448 139976196174864 139976191958422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300368 s]
/proc/loadavg: 1.67 1.52 1.56 3/262 15542
/proc/meminfo: memFree=29417428/32770624 swapFree=6412/241596
[pid=15542] ppid=15539 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 9920 0 0 0 38 4 0 0 20 0 20 0 4307570 13582245888 10659 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3315978 10659 3632 1 0 3303698 0
[pid=15542/tid=15543] ppid=15539 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 7326 0 0 0 25 3 0 0 20 0 20 0 4307570 13582245888 10659 33554432000 4194304 4196468 140734690772448 139976196168400 139976191967834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.70026 s]
/proc/loadavg: 1.67 1.52 1.56 3/262 15542
/proc/meminfo: memFree=29417428/32770624 swapFree=6412/241596
[pid=15542] ppid=15539 vsize=13265980 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 12842 0 0 0 149 5 0 0 20 0 20 0 4307570 13584363520 19167 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3316495 19167 3764 1 0 3304210 0
[pid=15542/tid=15543] ppid=15539 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 8546 0 0 0 64 3 0 0 20 0 20 0 4307570 13584363520 19167 33554432000 4194304 4196468 140734690772448 139976196183352 139975819676368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13265980

[startup+1.50099 s]
/proc/loadavg: 1.67 1.52 1.56 3/282 15562
/proc/meminfo: memFree=29316308/32770624 swapFree=6412/241596
[pid=15542] ppid=15539 vsize=13270076 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 26939 0 0 0 380 22 0 0 20 0 20 0 4307570 13588557824 60825 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3317519 60825 3802 1 0 3305234 0
[pid=15542/tid=15543] ppid=15539 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) S 15539 15542 14602 0 -1 1077944384 11618 0 0 0 137 6 0 0 20 0 20 0 4307570 13588557824 60825 33554432000 4194304 4196468 140734690772448 139976196180400 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15544] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15544/stat : 15544 (java) R 15539 15542 14602 0 -1 4202560 49 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 60825 33554432000 4194304 4196468 140734690772448 139976144566872 139976185043323 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15546] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15546/stat : 15546 (java) R 15539 15542 14602 0 -1 4202560 47 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 60825 33554432000 4194304 4196468 140734690772448 139976143514072 139976185046342 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15547] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15547/stat : 15547 (java) R 15539 15542 14602 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 60825 33554432000 4194304 4196468 140734690772448 139976142461784 139976185043323 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15548] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15548/stat : 15548 (java) R 15539 15542 14602 0 -1 4202560 64 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 60825 33554432000 4194304 4196468 140734690772448 139976141408984 139976185052159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15549] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15549/stat : 15549 (java) R 15539 15542 14602 0 -1 4202560 34 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 61337 33554432000 4194304 4196468 140734690772448 139976140356696 139976176974334 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15550] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15550/stat : 15550 (java) R 15539 15542 14602 0 -1 4202560 43 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975785380824 139976185043323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15551] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15551/stat : 15551 (java) R 15539 15542 14602 0 -1 4202560 35 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975784328224 139976176974664 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15552] ppid=15539 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15552/stat : 15552 (java) R 15539 15542 14602 0 -1 4202560 272 0 0 0 1 1 0 0 20 0 20 0 4307571 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975783275736 139976176974334 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15553] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15553/stat : 15553 (java) S 15539 15542 14602 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 4307574 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975386403488 139976191956693 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15554] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15554/stat : 15554 (java) S 15539 15542 14602 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975385350944 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15555] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15555/stat : 15555 (java) S 15539 15542 14602 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975384298624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15556] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15556/stat : 15556 (java) S 15539 15542 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975383246928 139976191965083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15557] ppid=15539 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15557/stat : 15557 (java) S 15539 15542 14602 0 -1 1077944384 2103 0 0 0 53 1 0 0 20 0 20 0 4307579 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975382194800 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15558] ppid=15539 vsize=13270076 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15558/stat : 15558 (java) S 15539 15542 14602 0 -1 1077944384 1972 0 0 0 53 0 0 0 20 0 20 0 4307579 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975381142000 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15559] ppid=15539 vsize=13270076 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15559/stat : 15559 (java) S 15539 15542 14602 0 -1 1077944384 1935 0 0 0 52 0 0 0 20 0 20 0 4307579 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975380089712 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15560] ppid=15539 vsize=13270076 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15560/stat : 15560 (java) S 15539 15542 14602 0 -1 1077944384 7189 0 0 0 71 1 0 0 20 0 20 0 4307579 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975379036912 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15561] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15561/stat : 15561 (java) S 15539 15542 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975377983840 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15562] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15562/stat : 15562 (java) S 15539 15542 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 61337 33554432000 4194304 4196468 140734690772448 139975376931120 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 13270076

[startup+3.10107 s]
/proc/loadavg: 1.67 1.52 1.56 4/282 15562
/proc/meminfo: memFree=29160736/32770624 swapFree=6412/241552
[pid=15542] ppid=15539 vsize=13270076 CPUtime=7.55 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 30651 0 0 0 719 36 0 0 20 0 20 0 4307570 13588557824 91119 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3317519 91119 3827 1 0 3305234 0
[pid=15542/tid=15543] ppid=15539 vsize=13270076 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 12286 0 0 0 292 8 0 0 20 0 20 0 4307570 13588557824 91119 33554432000 4194304 4196468 140734690772448 139976196181792 139975829003199 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15544] ppid=15539 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15544/stat : 15544 (java) S 15539 15542 14602 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139976144566672 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15546] ppid=15539 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15546/stat : 15546 (java) S 15539 15542 14602 0 -1 1077944384 56 0 0 0 1 2 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139976143513872 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15547] ppid=15539 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15547/stat : 15547 (java) S 15539 15542 14602 0 -1 1077944384 36 0 0 0 2 2 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139976142461584 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15548] ppid=15539 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15548/stat : 15548 (java) S 15539 15542 14602 0 -1 1077944384 74 0 0 0 2 3 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139976141408784 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15549] ppid=15539 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15549/stat : 15549 (java) S 15539 15542 14602 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139976140356496 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15550] ppid=15539 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15550/stat : 15550 (java) S 15539 15542 14602 0 -1 1077944384 54 0 0 0 1 2 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975785380624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15551] ppid=15539 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15551/stat : 15551 (java) S 15539 15542 14602 0 -1 1077944384 42 0 0 0 1 2 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975784328336 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15552] ppid=15539 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15552/stat : 15552 (java) S 15539 15542 14602 0 -1 1077944384 281 0 0 0 2 2 0 0 20 0 20 0 4307571 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975783275536 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15553] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15553/stat : 15553 (java) S 15539 15542 14602 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 4307574 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975386404976 139976191957634 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15554] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15554/stat : 15554 (java) S 15539 15542 14602 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975385350944 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15555] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15555/stat : 15555 (java) S 15539 15542 14602 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975384298624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15556] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15556/stat : 15556 (java) S 15539 15542 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975383246928 139976191965083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15557] ppid=15539 vsize=13270076 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15557/stat : 15557 (java) S 15539 15542 14602 0 -1 1077944384 3364 0 0 0 111 1 0 0 20 0 20 0 4307579 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975382194800 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15558] ppid=15539 vsize=13270076 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15558/stat : 15558 (java) S 15539 15542 14602 0 -1 1077944384 2490 0 0 0 103 0 0 0 20 0 20 0 4307579 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975381142000 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15559] ppid=15539 vsize=13270076 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15559/stat : 15559 (java) S 15539 15542 14602 0 -1 1077944384 2778 0 0 0 107 1 0 0 20 0 20 0 4307579 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975380089712 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15560] ppid=15539 vsize=13270076 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15560/stat : 15560 (java) S 15539 15542 14602 0 -1 1077944384 7486 0 0 0 84 1 0 0 20 0 20 0 4307579 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975379036912 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15561] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15561/stat : 15561 (java) S 15539 15542 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975377983840 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15562] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15562/stat : 15562 (java) S 15539 15542 14602 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 91119 33554432000 4194304 4196468 140734690772448 139975376931120 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 13270076

[startup+6.30079 s]
/proc/loadavg: 1.61 1.51 1.56 3/282 15562
/proc/meminfo: memFree=28981660/32770624 swapFree=6412/241564
[pid=15542] ppid=15539 vsize=13270076 CPUtime=11.4 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 34176 0 0 0 1066 74 0 0 20 0 20 0 4307570 13588557824 171337 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3317519 171337 3838 1 0 3305234 0
[pid=15542/tid=15543] ppid=15539 vsize=13270076 CPUtime=5.58 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 13232 0 0 0 547 11 0 0 20 0 20 0 4307570 13588557824 171337 33554432000 4194304 4196468 140734690772448 139976196183368 139975829003183 0 4 0 16800975 0 0 0 -1 1 0 0 50 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15544] ppid=15539 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15544/stat : 15544 (java) S 15539 15542 14602 0 -1 1077944384 118 0 0 0 8 6 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139976144566672 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15546] ppid=15539 vsize=13270076 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15546/stat : 15546 (java) S 15539 15542 14602 0 -1 1077944384 111 0 0 0 6 6 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139976143513872 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15547] ppid=15539 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15547/stat : 15547 (java) S 15539 15542 14602 0 -1 1077944384 90 0 0 0 7 6 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139976142461584 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15548] ppid=15539 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15548/stat : 15548 (java) S 15539 15542 14602 0 -1 1077944384 146 0 0 0 6 7 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139976141408784 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15549] ppid=15539 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15549/stat : 15549 (java) S 15539 15542 14602 0 -1 1077944384 96 0 0 0 6 7 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139976140356496 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15550] ppid=15539 vsize=13270076 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15550/stat : 15550 (java) S 15539 15542 14602 0 -1 1077944384 998 0 0 0 6 7 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139975785380624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15551] ppid=15539 vsize=13270076 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15551/stat : 15551 (java) S 15539 15542 14602 0 -1 1077944384 151 0 0 0 5 6 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139975784328336 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15552] ppid=15539 vsize=13270076 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15552/stat : 15552 (java) S 15539 15542 14602 0 -1 1077944384 331 0 0 0 7 7 0 0 20 0 20 0 4307571 13588557824 171337 33554432000 4194304 4196468 140734690772448 139975783275536 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15553] ppid=15539 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15553/stat : 15553 (java) S 15539 15542 14602 0 -1 1077944384 721 0 0 0 1 0 0 0 20 0 20 0 4307574 13588557824 171337 33554432000 4194304 4196468 140734690772448 139975386404976 139976191957634 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 38 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15554] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15554/stat : 15554 (java) S 15539 15542 14602 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 171337 33554432000 4194304 4196468 140734690772448 139975385351008 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15555] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15555/stat : 15555 (java) S 15539 15542 14602 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 171337 33554432000 4194304 4196468 140734690772448 139975384298624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15556] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=15542/tid=15558] ppid=15539 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15558/stat : 15558 (java) S 15539 15542 14602 0 -1 1077944384 16228 0 0 0 201 2 0 0 20 0 20 0 4307579 13588557824 308328 33554432000 4194304 4196468 140734690772448 139975381142000 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15559] ppid=15539 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15559/stat : 15559 (java) S 15539 15542 14602 0 -1 1077944384 16112 0 0 0 236 2 0 0 20 0 20 0 4307579 13588557824 308328 33554432000 4194304 4196468 140734690772448 139975380089712 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15560] ppid=15539 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15560/stat : 15560 (java) S 15539 15542 14602 0 -1 1077944384 35063 0 0 0 120 3 0 0 20 0 20 0 4307579 13588557824 308328 33554432000 4194304 4196468 140734690772448 139975379036912 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15561] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15561/stat : 15561 (java) S 15539 15542 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 308328 33554432000 4194304 4196468 140734690772448 139975377983840 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15562] ppid=15539 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15562/stat : 15562 (java) S 15539 15542 14602 0 -1 1077944384 2053 0 0 0 57 63 0 0 20 0 20 0 4307579 13588557824 308328 33554432000 4194304 4196468 140734690772448 139975376931120 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 62 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 2241.69
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.12 1.47 1.55 3/283 15654
/proc/meminfo: memFree=27666708/32770624 swapFree=6412/244000
[pid=15542] ppid=15539 vsize=13270076 CPUtime=2304.24 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 421948 0 0 0 229903 521 0 0 20 0 20 0 4307570 13588557824 329021 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3317519 329021 3866 1 0 3305234 0
[pid=15542/tid=15543] ppid=15539 vsize=13270076 CPUtime=2181.31 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 115979 0 0 0 218056 75 0 0 20 0 20 0 4307570 13588557824 329021 33554432000 4194304 4196468 140734690772448 139976196184752 139975830464006 0 4 0 16800975 0 0 0 -1 7 0 0 50 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15544] ppid=15539 vsize=13270076 CPUtime=13.99 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15544/stat : 15544 (java) S 15539 15542 14602 0 -1 1077944384 17392 0 0 0 1358 41 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139976144566672 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15546] ppid=15539 vsize=13270076 CPUtime=13.94 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15546/stat : 15546 (java) S 15539 15542 14602 0 -1 1077944384 17602 0 0 0 1353 41 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139976143513872 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15547] ppid=15539 vsize=13270076 CPUtime=14.02 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15547/stat : 15547 (java) S 15539 15542 14602 0 -1 1077944384 14341 0 0 0 1360 42 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139976142461584 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15548] ppid=15539 vsize=13270076 CPUtime=13.81 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15548/stat : 15548 (java) S 15539 15542 14602 0 -1 1077944384 20224 0 0 0 1340 41 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139976141408784 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15549] ppid=15539 vsize=13270076 CPUtime=13.84 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15549/stat : 15549 (java) S 15539 15542 14602 0 -1 1077944384 14988 0 0 0 1340 44 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139976140356496 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15550] ppid=15539 vsize=13270076 CPUtime=13.8 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15550/stat : 15550 (java) S 15539 15542 14602 0 -1 1077944384 17507 0 0 0 1335 45 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975785380624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15551] ppid=15539 vsize=13270076 CPUtime=13.75 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15551/stat : 15551 (java) S 15539 15542 14602 0 -1 1077944384 18747 0 0 0 1333 42 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975784328336 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15552] ppid=15539 vsize=13270076 CPUtime=13.81 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15552/stat : 15552 (java) S 15539 15542 14602 0 -1 1077944384 19006 0 0 0 1339 42 0 0 20 0 20 0 4307571 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975783275536 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15553] ppid=15539 vsize=13270076 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15553/stat : 15553 (java) S 15539 15542 14602 0 -1 1077944384 73305 0 0 0 227 52 0 0 20 0 20 0 4307574 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975386404976 139976191957634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15554] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15554/stat : 15554 (java) S 15539 15542 14602 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975385351008 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15555] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15555/stat : 15555 (java) S 15539 15542 14602 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975384298624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15556] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15556/stat : 15556 (java) S 15539 15542 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975383246928 139976191965083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15557] ppid=15539 vsize=13270076 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15557/stat : 15557 (java) S 15539 15542 14602 0 -1 1077944384 21888 0 0 0 214 3 0 0 20 0 20 0 4307579 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975382194800 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15558] ppid=15539 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15558/stat : 15558 (java) S 15539 15542 14602 0 -1 1077944384 16230 0 0 0 201 2 0 0 20 0 20 0 4307579 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975381142000 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15559] ppid=15539 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15559/stat : 15559 (java) S 15539 15542 14602 0 -1 1077944384 16114 0 0 0 236 2 0 0 20 0 20 0 4307579 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975380089712 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15560] ppid=15539 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15560/stat : 15560 (java) S 15539 15542 14602 0 -1 1077944384 35065 0 0 0 120 3 0 0 20 0 20 0 4307579 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975379036912 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15561] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15561/stat : 15561 (java) S 15539 15542 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975377983840 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15562] ppid=15539 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15562/stat : 15562 (java) S 15539 15542 14602 0 -1 1077944384 2077 0 0 0 59 65 0 0 20 0 20 0 4307579 13588557824 329021 33554432000 4194304 4196468 140734690772448 139975376931120 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 62 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 2304.24
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.45 1.51 1.56 3/283 15749
/proc/meminfo: memFree=28231940/32770624 swapFree=6412/244112
[pid=15542] ppid=15539 vsize=13270076 CPUtime=2366.94 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 432499 0 0 0 236168 526 0 0 20 0 20 0 4307570 13588557824 314417 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3317519 314417 3866 1 0 3305234 0
[pid=15542/tid=15543] ppid=15539 vsize=13270076 CPUtime=2240.71 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 118157 0 0 0 223996 75 0 0 20 0 20 0 4307570 13588557824 314417 33554432000 4194304 4196468 140734690772448 139976196184800 139975829703701 0 4 0 16800975 0 0 0 -1 3 0 0 50 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15544] ppid=15539 vsize=13270076 CPUtime=14.39 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15544/stat : 15544 (java) S 15539 15542 14602 0 -1 1077944384 17723 0 0 0 1398 41 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139976144566672 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15546] ppid=15539 vsize=13270076 CPUtime=14.34 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15546/stat : 15546 (java) S 15539 15542 14602 0 -1 1077944384 18122 0 0 0 1393 41 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139976143513872 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15547] ppid=15539 vsize=13270076 CPUtime=14.41 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15547/stat : 15547 (java) S 15539 15542 14602 0 -1 1077944384 14676 0 0 0 1399 42 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139976142461584 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15548] ppid=15539 vsize=13270076 CPUtime=14.21 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15548/stat : 15548 (java) S 15539 15542 14602 0 -1 1077944384 20506 0 0 0 1379 42 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139976141408784 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15549] ppid=15539 vsize=13270076 CPUtime=14.25 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15549/stat : 15549 (java) S 15539 15542 14602 0 -1 1077944384 15229 0 0 0 1381 44 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139976140356496 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15550] ppid=15539 vsize=13270076 CPUtime=14.18 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15550/stat : 15550 (java) S 15539 15542 14602 0 -1 1077944384 17915 0 0 0 1373 45 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975785380624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15551] ppid=15539 vsize=13270076 CPUtime=14.14 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15551/stat : 15551 (java) S 15539 15542 14602 0 -1 1077944384 19065 0 0 0 1372 42 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975784328336 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15552] ppid=15539 vsize=13270076 CPUtime=14.19 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15552/stat : 15552 (java) S 15539 15542 14602 0 -1 1077944384 19212 0 0 0 1377 42 0 0 20 0 20 0 4307571 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975783275536 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15553] ppid=15539 vsize=13270076 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15553/stat : 15553 (java) S 15539 15542 14602 0 -1 1077944384 79005 0 0 0 235 53 0 0 20 0 20 0 4307574 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975386404976 139976191957634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15554] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15554/stat : 15554 (java) S 15539 15542 14602 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975385351008 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15555] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15555/stat : 15555 (java) S 15539 15542 14602 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975384298624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15556] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15556/stat : 15556 (java) S 15539 15542 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975383246928 139976191965083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15557] ppid=15539 vsize=13270076 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15557/stat : 15557 (java) S 15539 15542 14602 0 -1 1077944384 21890 0 0 0 214 3 0 0 20 0 20 0 4307579 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975382194800 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15558] ppid=15539 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15558/stat : 15558 (java) S 15539 15542 14602 0 -1 1077944384 16233 0 0 0 201 2 0 0 20 0 20 0 4307579 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975381142000 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15559] ppid=15539 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15559/stat : 15559 (java) S 15539 15542 14602 0 -1 1077944384 16116 0 0 0 236 2 0 0 20 0 20 0 4307579 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975380089712 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15560] ppid=15539 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15560/stat : 15560 (java) S 15539 15542 14602 0 -1 1077944384 35067 0 0 0 120 4 0 0 20 0 20 0 4307579 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975379036912 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15561] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15561/stat : 15561 (java) S 15539 15542 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975377983840 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15562] ppid=15539 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15562/stat : 15562 (java) S 15539 15542 14602 0 -1 1077944384 2100 0 0 0 61 66 0 0 20 0 20 0 4307579 13588557824 314417 33554432000 4194304 4196468 140734690772448 139975376931120 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 62 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 2366.94
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2294 s]
/proc/loadavg: 1.71 1.56 1.58 3/282 15749
/proc/meminfo: memFree=26950780/32770624 swapFree=6412/244140
[pid=15542] ppid=15539 vsize=13270076 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/15542/stat : 15542 (java) S 15539 15542 14602 0 -1 1077944320 434565 0 0 0 239468 532 0 0 20 0 20 0 4307570 13588557824 329044 33554432000 4194304 4196468 140734690772448 140734690754992 139976191946487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
/proc/15542/statm: 3317519 329044 3866 1 0 3305234 0
[pid=15542/tid=15543] ppid=15539 vsize=13270076 CPUtime=2272.12 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15543/stat : 15543 (java) R 15539 15542 14602 0 -1 4202560 119166 0 0 0 227135 77 0 0 20 0 20 0 4307570 13588557824 329044 33554432000 4194304 4196468 140734690772448 139976196184800 139975829213161 0 4 0 16800975 0 0 0 -1 7 0 0 50 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15544] ppid=15539 vsize=13270076 CPUtime=14.57 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15544/stat : 15544 (java) S 15539 15542 14602 0 -1 1077944384 17845 0 0 0 1416 41 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139976144566672 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15546] ppid=15539 vsize=13270076 CPUtime=14.54 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15546/stat : 15546 (java) S 15539 15542 14602 0 -1 1077944384 18288 0 0 0 1413 41 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139976143513872 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15547] ppid=15539 vsize=13270076 CPUtime=14.61 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15547/stat : 15547 (java) S 15539 15542 14602 0 -1 1077944384 14777 0 0 0 1418 43 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139976142461584 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15548] ppid=15539 vsize=13270076 CPUtime=14.4 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15548/stat : 15548 (java) S 15539 15542 14602 0 -1 1077944384 20608 0 0 0 1398 42 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139976141408784 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15549] ppid=15539 vsize=13270076 CPUtime=14.47 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15549/stat : 15549 (java) S 15539 15542 14602 0 -1 1077944384 15364 0 0 0 1402 45 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139976140356496 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15550] ppid=15539 vsize=13270076 CPUtime=14.39 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15550/stat : 15550 (java) S 15539 15542 14602 0 -1 1077944384 17970 0 0 0 1393 46 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975785380624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15551] ppid=15539 vsize=13270076 CPUtime=14.34 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15551/stat : 15551 (java) S 15539 15542 14602 0 -1 1077944384 19209 0 0 0 1391 43 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975784328336 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15552] ppid=15539 vsize=13270076 CPUtime=14.39 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15552/stat : 15552 (java) S 15539 15542 14602 0 -1 1077944384 19344 0 0 0 1396 43 0 0 20 0 20 0 4307571 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975783275536 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15553] ppid=15539 vsize=13270076 CPUtime=2.91 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15553/stat : 15553 (java) S 15539 15542 14602 0 -1 1077944384 79103 0 0 0 238 53 0 0 20 0 20 0 4307574 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975386404976 139976191957634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15554] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15554/stat : 15554 (java) S 15539 15542 14602 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975385351008 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15555] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15555/stat : 15555 (java) S 15539 15542 14602 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 4307575 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975384298624 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15556] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15556/stat : 15556 (java) S 15539 15542 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975383246928 139976191965083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15557] ppid=15539 vsize=13270076 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15557/stat : 15557 (java) S 15539 15542 14602 0 -1 1077944384 21890 0 0 0 214 3 0 0 20 0 20 0 4307579 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975382194800 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15558] ppid=15539 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15558/stat : 15558 (java) S 15539 15542 14602 0 -1 1077944384 16233 0 0 0 201 2 0 0 20 0 20 0 4307579 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975381142000 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15559] ppid=15539 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15559/stat : 15559 (java) S 15539 15542 14602 0 -1 1077944384 16116 0 0 0 236 2 0 0 20 0 20 0 4307579 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975380089712 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15560] ppid=15539 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15560/stat : 15560 (java) S 15539 15542 14602 0 -1 1077944384 35067 0 0 0 120 4 0 0 20 0 20 0 4307579 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975379036912 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15561] ppid=15539 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15561/stat : 15561 (java) S 15539 15542 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4307579 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975377983840 139976191956693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
[pid=15542/tid=15562] ppid=15539 vsize=13270076 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/15542/task/15562/stat : 15562 (java) S 15539 15542 14602 0 -1 1077944384 2102 0 0 0 62 67 0 0 20 0 20 0 4307579 13588557824 329044 33554432000 4194304 4196468 140734690772448 139975376931120 139976191957634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 62 0 0 6293624 6294260 14446592 140734690780301 140734690780484 140734690780484 140734690783183 0
Current children cumulated CPU time (s) 2400
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 15542 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2294.04
CPU time (s): 2400.04
CPU user time (s): 2394.7
CPU system time (s): 5.33929
CPU usage (%): 104.621
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.7
system time used= 5.33929
maximum resident set size= 3495576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153643
involuntary context switches= 141243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3426 second user time and 21.0267 second system time

The end

Launcher Data

Begin job on node141 at 2017-07-22 04:26:53
IDJOB=4244743
IDBENCH=115885
IDSOLVER=2629
FILE ID=node141/4244743-1500690413
RUNJOBID= node141-1500683262-14634
PBS_JOBID= 20623337
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.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-4244743-1500690413/watcher-4244743-1500690413 -o /tmp/evaluation-result-4244743-1500690413/solver-4244743-1500690413 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500683262-14634 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1281457231 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244743-1500690413.xml

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

MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8
RANDOM SEED=1281457231

node141.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.56
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.56
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		: 1600.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.56
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.56
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.56
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		: 2267.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		: 1600.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.56
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		: 2400.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		: 2667.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.56
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		: 1733.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.56
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:        29417108 kB
MemAvailable:   29664684 kB
Buffers:          105824 kB
Cached:           422740 kB
SwapCached:            0 kB
Active:          2667308 kB
Inactive:         250192 kB
Active(anon):    2391664 kB
Inactive(anon):     8656 kB
Active(file):     275644 kB
Inactive(file):   241536 kB
Unevictable:        6412 kB
Mlocked:            6412 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42152 kB
Writeback:             0 kB
AnonPages:       2341648 kB
Mapped:            45304 kB
Shmem:              8852 kB
Slab:             126272 kB
SReclaimable:      92460 kB
SUnreclaim:        33812 kB
KernelStack:        4864 kB
PageTables:         9756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4509664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2205696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61904 MiB
End job on node141 at 2017-07-22 05:05:07

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml
MD5SUM	e0f1e7fd363778103a4292aa9d177ae8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	297
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1379
Number of constraints	824
Number of domains	4
Minimum domain size	2
Maximum domain size	1353
Distribution of domain sizes	[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree	1
Maximum variable degree	27
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	28
Distribution of constraint arities	[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints	672
Number of intensional constraints	121
Distribution of constraint types	[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4244743

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