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
OscaR - ALNS 2017-07-26	SAT (TO)	267	2520.0601	2456.9299

0.25/0.40	c version: 2017-07-26
0.25/0.40	c seed: 994234527
0.25/0.40	c timeout: 2520
0.25/0.40	c memlimit: 11000
0.25/0.40	c nbcore: 4
0.40/0.43	c Parsing instance...
3.56/1.72	c Parsing done, starting search...
5.06/2.23	o 157
13.36/9.22	o 158
22.56/17.92	o 159
123.62/117.74	o 162
202.62/195.13	o 164
288.32/278.90	o 165
320.78/310.58	o 166
343.70/332.83	o 167
346.37/335.43	o 174
390.58/378.59	o 175
418.94/406.20	o 180
531.03/515.40	o 181
531.53/515.98	o 188
531.93/516.35	o 192
608.61/591.17	o 193
609.00/591.54	o 194
616.38/598.79	o 195
624.36/606.56	o 196
629.67/611.75	o 197
637.97/619.84	o 198
650.17/631.74	o 199
650.28/631.87	o 200
650.88/632.41	o 201
651.08/632.61	o 202
651.59/633.11	o 203
652.70/634.24	o 205
653.00/634.60	o 206
653.30/634.85	o 207
653.51/635.06	o 208
653.71/635.27	o 209
653.91/635.47	o 210
654.11/635.67	o 211
654.31/635.87	o 212
654.51/636.05	o 213
654.82/636.32	o 214
654.92/636.47	o 215
655.22/636.71	o 216
655.42/636.98	o 217
655.54/637.08	o 218
655.64/637.19	o 219
655.73/637.24	o 220
656.03/637.52	o 221
656.75/638.25	o 222
664.74/646.09	o 223
669.64/650.89	o 226
669.95/651.19	o 227
680.60/661.55	o 228
729.63/709.29	o 229
729.73/709.35	o 230
730.23/709.81	o 231
961.69/935.84	o 233
961.79/935.92	o 237
965.46/939.57	o 238
981.31/955.10	o 240
1005.17/978.36	o 241
1005.47/978.67	o 242
1018.48/991.36	o 243
1018.99/991.81	o 244
1075.13/1046.64	o 245
1185.86/1154.75	o 246
1279.85/1246.69	o 247
1282.72/1249.49	o 248
1287.11/1253.77	o 249
1413.19/1376.86	o 250
1492.54/1454.22	o 251
1500.41/1461.99	o 252
1697.60/1654.38	o 253
1701.89/1658.58	o 254
1710.19/1666.68	o 255
1741.45/1697.12	o 256
1747.89/1703.43	o 257
1749.73/1705.27	o 258
1751.26/1706.72	o 259
1753.32/1708.70	o 260
1761.19/1716.46	o 261
1767.52/1722.56	o 262
1772.34/1727.20	o 263
1945.87/1896.65	o 264
1965.83/1916.11	o 265
2039.02/1987.50	o 266
2416.66/2356.03	o 267
2520.02/2456.91	s SATISFIABLE
2520.02/2456.91	v <instantiation>
2520.02/2456.91	v 	<list>
2520.02/2456.91	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
2520.02/2456.91	v 	</list>
2520.02/2456.91	v 	<values>
2520.02/2456.91	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 1 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 0 2 2 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 2 1 1 2 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 2 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 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 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 2 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 2 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 8 10 12 23 24 25 53 61 64 67 69 73 90 95 98 102 108 116 125 128 132 140 149 155 167 180 267 
2520.02/2456.91	v 	</values>
2520.02/2456.91	v </instantiation>

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273260-1502723781/watcher-4273260-1502723781 -o /tmp/evaluation-result-4273260-1502723781/solver-4273260-1502723781 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4850 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 994234527 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273260-1502723781.xml 

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

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


[startup+0.100083 s]*
/proc/loadavg: 1.60 1.65 1.59 2/206 13492
/proc/meminfo: memFree=29368684/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13358552 memory=16184 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 3350 0 0 0 0 0 0 0 20 0 6 0 172030795 13679157248 4046 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3339638 4046 1909 1 0 3329135 0
[pid=13490/tid=13492] ppid=13487 vsize=13358552 memory=7668954370464627011 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 2045 0 0 0 0 0 0 0 20 0 6 0 172030805 13679157248 4046 18446744073709551615 4194304 4196468 140735610055152 139816503964240 139816499750045 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13358552 memory=4872558142750483778 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 172030805 13679157248 4046 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13358552 memory=140028792727168 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 172030805 13679157248 4046 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 172030805 13679157248 4046 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13358552 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 172030805 13679157248 4046 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16184 KiB

[startup+0.210542 s]*
/proc/loadavg: 1.60 1.65 1.59 3/219 13505
/proc/meminfo: memFree=29359792/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13975920 memory=28488 CPUtime=0.07 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 6436 0 0 0 6 1 0 0 20 0 15 0 172030795 14311342080 7122 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3493980 7122 3340 1 0 3482759 0
[pid=13490/tid=13492] ppid=13487 vsize=13975920 memory=8316850467074736180 CPUtime=0.06 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 4462 0 0 0 5 1 0 0 20 0 15 0 172030805 14311342080 7122 18446744073709551615 4194304 4196468 140735610055152 139816503957864 139816100570993 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13975664 memory=8333 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030805 14311079936 7122 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13975920 memory=140028792740655 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030805 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172030805 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172030805 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13975920 memory=140028792727168 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172030807 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172030807 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815977333536 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172030807 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815976281200 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7084 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 172030810 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815974177392 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13975920 memory=140028792727168 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7084 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 172030810 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815972072304 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13975920 memory=140028792727168 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030815 14311342080 7166 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28488 KiB

[startup+0.318247 s]*
/proc/loadavg: 1.60 1.65 1.59 4/219 13505
/proc/meminfo: memFree=29345260/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13975920 memory=40280 CPUtime=0.25 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 9801 0 0 0 22 3 0 0 20 0 15 0 172030795 14311342080 10070 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3493980 10070 3536 1 0 3482759 0
[pid=13490/tid=13492] ppid=13487 vsize=13975920 memory=7668954370464627011 CPUtime=0.17 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 1077944384 7594 0 0 0 15 2 0 0 20 0 15 0 172030805 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139816503927904 139816492407341 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030805 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030805 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172030805 14312390656 10111 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172030805 14312390656 10111 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13976944 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 172030807 14312390656 10111 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172030807 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139815977333536 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172030807 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139815976281200 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7084 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 172030810 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139815974177392 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13976944 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7084 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 172030810 14312390656 10111 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13976944 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7084 0 -1 1077944384 372 0 0 0 4 0 0 0 20 0 15 0 172030810 14312390656 10111 18446744073709551615 4194304 4196468 140735610055152 139815972072304 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13976944 memory=140028792727168 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14312390656 10111 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030815 14311342080 10111 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40280 KiB

[startup+0.701284 s]
/proc/loadavg: 1.60 1.65 1.59 3/219 13505
/proc/meminfo: memFree=29334168/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13977988 memory=66132 CPUtime=0.98 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 13315 0 0 0 93 5 0 0 20 0 15 0 172030795 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3494497 16533 3720 1 0 3483271 0
[pid=13490/tid=13492] ppid=13487 vsize=13977988 memory=1296 CPUtime=0.53 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 9870 0 0 0 50 3 0 0 20 0 15 0 172030805 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139816503963792 139816100580661 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13977988 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030805 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13977988 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030805 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172030805 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13977988 memory=-3472574944341025154 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172030805 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13977988 memory=-9180700527125620825 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 172030807 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13977988 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172030807 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815977333536 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13977988 memory=1102 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172030807 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815976281200 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13977988 memory=760 CPUtime=0.11 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7084 0 -1 1077944384 841 0 0 0 11 0 0 0 20 0 15 0 172030810 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815974177392 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13977988 memory=122 CPUtime=0.1 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7084 0 -1 1077944384 453 0 0 0 10 0 0 0 20 0 15 0 172030810 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13977988 memory=9 CPUtime=0.21 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) R 13487 13490 7084 0 -1 4202560 768 0 0 0 21 0 0 0 20 0 15 0 172030810 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815972069240 139816479092832 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13977988 memory=2 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13977988 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172030815 14313459712 16533 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66132 KiB

[startup+1.50224 s]
/proc/loadavg: 1.60 1.65 1.59 5/219 13505
/proc/meminfo: memFree=29275456/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13982084 memory=227344 CPUtime=3.2 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 30759 0 0 0 306 14 0 0 20 0 15 0 172030795 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3495521 56836 3785 1 0 3484295 0
[pid=13490/tid=13492] ppid=13487 vsize=13982084 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 15023 0 0 0 122 7 0 0 20 0 15 0 172030805 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139816503964288 139816104436214 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13982084 memory=-3472574944341025154 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 172030805 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13982084 memory=-9180700527125620825 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 172030805 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13982084 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 172030805 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13982084 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 15 0 172030805 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13982084 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 731 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13982084 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815977333536 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13982084 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815976281200 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13982084 memory=932 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13982084 memory=1608 CPUtime=0.57 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) R 13487 13490 7084 0 -1 4202560 2715 0 0 0 55 2 0 0 20 0 15 0 172030810 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815974158408 139816484852158 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13982084 memory=836 CPUtime=0.54 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) R 13487 13490 7084 0 -1 4202560 2601 0 0 0 54 0 0 0 20 0 15 0 172030810 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499749466 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13982084 memory=2776 CPUtime=0.69 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7084 0 -1 1077944384 7620 0 0 0 68 1 0 0 20 0 15 0 172030810 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815972072304 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13982084 memory=7449915248245031012 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13982084 memory=7449915248245031012 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 172030815 14317654016 56836 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 13982084 KiB

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

/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 123423 0 0 0 235576 91 0 0 20 0 15 0 172030805 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139816503965936 139816110624194 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13982084 memory=723512 CPUtime=18.93 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 19269 0 0 0 1854 39 0 0 20 0 15 0 172030805 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13982084 memory=723912 CPUtime=18.96 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 21113 0 0 0 1860 36 0 0 20 0 15 0 172030805 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13982084 memory=280057371175472 CPUtime=18.95 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 22305 0 0 0 1858 37 0 0 20 0 15 0 172030805 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13982084 memory=723912 CPUtime=18.93 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 25607 0 0 0 1856 37 0 0 20 0 15 0 172030805 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13982084 memory=4156 CPUtime=3.44 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 74727 0 0 0 282 62 0 0 20 0 15 0 172030807 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13982084 memory=717248 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815977333600 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13982084 memory=720948 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815976281216 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13982084 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13982084 memory=2948 CPUtime=2.5 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7084 0 -1 1077944384 18827 0 0 0 246 4 0 0 20 0 15 0 172030810 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815974177392 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13982084 memory=42680 CPUtime=2.42 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7084 0 -1 1077944384 21251 0 0 0 240 2 0 0 20 0 15 0 172030810 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13982084 memory=636 CPUtime=1.14 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7084 0 -1 1077944384 31299 0 0 0 110 4 0 0 20 0 15 0 172030810 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815972072304 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13982084 memory=723916 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13982084 memory=733664 CPUtime=1.54 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 1845 0 0 0 69 85 0 0 20 0 15 0 172030815 14317654016 180237 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 2443.58 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 720948 KiB

[startup+2442.3 s]
/proc/loadavg: 1.08 1.34 1.43 3/214 13736
/proc/meminfo: memFree=30062772/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13982084 memory=655780 CPUtime=2505.07 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 365674 0 0 0 250130 377 0 0 20 0 15 0 172030795 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3495521 163945 3837 1 0 3484295 0
[pid=13490/tid=13492] ppid=13487 vsize=13982084 memory=655780 CPUtime=2415.96 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 124550 0 0 0 241504 92 0 0 20 0 15 0 172030805 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139816503966048 139816110308522 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13982084 memory=661620 CPUtime=19.45 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 19696 0 0 0 1905 40 0 0 20 0 15 0 172030805 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13982084 memory=681116 CPUtime=19.47 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 21469 0 0 0 1910 37 0 0 20 0 15 0 172030805 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13982084 memory=668804 CPUtime=19.47 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 22521 0 0 0 1909 38 0 0 20 0 15 0 172030805 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13982084 memory=662648 CPUtime=19.44 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 25787 0 0 0 1906 38 0 0 20 0 15 0 172030805 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13982084 memory=658544 CPUtime=3.54 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 76948 0 0 0 290 64 0 0 20 0 15 0 172030807 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13982084 memory=662648 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815977333600 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13982084 memory=658860 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815976281216 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13982084 memory=655780 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13982084 memory=655780 CPUtime=2.5 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7084 0 -1 1077944384 18829 0 0 0 246 4 0 0 20 0 15 0 172030810 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815974177392 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13982084 memory=658860 CPUtime=2.42 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7084 0 -1 1077944384 21253 0 0 0 240 2 0 0 20 0 15 0 172030810 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13982084 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7084 0 -1 1077944384 31301 0 0 0 110 4 0 0 20 0 15 0 172030810 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815972072304 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13982084 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13982084 memory=668292 CPUtime=1.57 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 1863 0 0 0 70 87 0 0 20 0 15 0 172030815 14317654016 163945 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 2505.07 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 655780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2456.9 s]
/proc/loadavg: 1.06 1.33 1.43 3/214 13737
/proc/meminfo: memFree=30091792/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13982084 memory=642732 CPUtime=2520.02 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 366044 0 0 0 251623 379 0 0 20 0 15 0 172030795 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3495521 160683 3837 1 0 3484295 0
[pid=13490/tid=13492] ppid=13487 vsize=13982084 memory=642732 CPUtime=2430.41 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 124852 0 0 0 242948 93 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816503965936 139816109799086 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13982084 memory=645812 CPUtime=19.57 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 19707 0 0 0 1917 40 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13982084 memory=658860 CPUtime=19.59 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 21474 0 0 0 1922 37 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13982084 memory=648888 CPUtime=19.59 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 22532 0 0 0 1920 39 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13982084 memory=640392 CPUtime=19.57 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 25798 0 0 0 1918 39 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13982084 memory=668804 CPUtime=3.55 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 76976 0 0 0 291 64 0 0 20 0 15 0 172030807 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13982084 memory=645812 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815977333600 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13982084 memory=642732 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815976281216 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13982084 memory=642732 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13982084 memory=1724 CPUtime=2.5 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7084 0 -1 1077944384 18829 0 0 0 246 4 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815974177392 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13982084 memory=0 CPUtime=2.42 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7084 0 -1 1077944384 21253 0 0 0 240 2 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13982084 memory=640392 CPUtime=1.14 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7084 0 -1 1077944384 31301 0 0 0 110 4 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815972072304 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13982084 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13982084 memory=645812 CPUtime=1.58 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 1865 0 0 0 70 88 0 0 20 0 15 0 172030815 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 642732 KiB

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

[startup+2456.93 s]
# the end of solver process 13490 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.26 s, system=3.80142 s

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

[startup+2456.9 s]
/proc/loadavg: 1.06 1.33 1.43 3/214 13737
/proc/meminfo: memFree=30091792/32770624 swapFree=67108776/67108860
[pid=13490] ppid=13487 vsize=13982084 memory=642732 CPUtime=2520.02 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13487 13490 7084 0 -1 1077944320 366044 0 0 0 251623 379 0 0 20 0 15 0 172030795 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 140735610037696 139816499728119 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
/proc/13490/statm: 3495521 160683 3837 1 0 3484295 0
[pid=13490/tid=13492] ppid=13487 vsize=13982084 memory=642732 CPUtime=2430.41 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13487 13490 7084 0 -1 4202560 124852 0 0 0 242948 93 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816503965936 139816109799086 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13493] ppid=13487 vsize=13982084 memory=645812 CPUtime=19.57 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13487 13490 7084 0 -1 1077944384 19707 0 0 0 1917 40 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816434162576 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13494] ppid=13487 vsize=13982084 memory=658860 CPUtime=19.59 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13487 13490 7084 0 -1 1077944384 21474 0 0 0 1922 37 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816433109776 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13495] ppid=13487 vsize=13982084 memory=648888 CPUtime=19.59 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13487 13490 7084 0 -1 1077944384 22532 0 0 0 1920 39 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816432057488 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13496] ppid=13487 vsize=13982084 memory=640392 CPUtime=19.57 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13487 13490 7084 0 -1 1077944384 25798 0 0 0 1918 39 0 0 20 0 15 0 172030805 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139816431004688 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13497] ppid=13487 vsize=13982084 memory=668804 CPUtime=3.55 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13487 13490 7084 0 -1 1077944384 76976 0 0 0 291 64 0 0 20 0 15 0 172030807 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815978387568 139816499739266 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13498] ppid=13487 vsize=13982084 memory=645812 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13487 13490 7084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815977333600 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13499] ppid=13487 vsize=13982084 memory=642732 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13487 13490 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 172030807 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815976281216 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13500] ppid=13487 vsize=13982084 memory=642732 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815975229520 139816499746715 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13501] ppid=13487 vsize=13982084 memory=1724 CPUtime=2.5 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13487 13490 7084 0 -1 1077944384 18829 0 0 0 246 4 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815974177392 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13502] ppid=13487 vsize=13982084 memory=0 CPUtime=2.42 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13487 13490 7084 0 -1 1077944384 21253 0 0 0 240 2 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815973124592 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13503] ppid=13487 vsize=13982084 memory=640392 CPUtime=1.14 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13487 13490 7084 0 -1 1077944384 31301 0 0 0 110 4 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815972072304 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13504] ppid=13487 vsize=13982084 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13487 13490 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172030810 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815971019744 139816499738325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
[pid=13490/tid=13505] ppid=13487 vsize=13982084 memory=645812 CPUtime=1.58 cores=1,3,5,7
/proc/13490/task/13505/stat : 13505 (java) S 13487 13490 7084 0 -1 1077944384 1865 0 0 0 70 88 0 0 20 0 15 0 172030815 14317654016 160683 18446744073709551615 4194304 4196468 140735610055152 139815969966512 139816499739266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38961152 140735610057077 140735610057257 140735610057257 140735610060751 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 642732 KiB

Child status: 143
Real time (s): 2456.93
CPU time (s): 2520.06
CPU user time (s): 2516.26
CPU system time (s): 3.80142
CPU usage (%): 102.569
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3822852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.26
system time used= 3.80142
maximum resident set size= 3825948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133026
involuntary context switches= 7140


# summary of solver processes directly reported to runsolver:
#   pid: 13490
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.26
#   total CPU system time (s): 3.80142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3814 second user time and 22.9414 second system time

The end

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 4273260

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