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)	290	2520.0701	2459.4399

0.23/0.41	c version: 2017-07-26
0.23/0.41	c seed: 2069552395
0.23/0.41	c timeout: 2520
0.23/0.41	c memlimit: 11000
0.23/0.41	c nbcore: 4
0.39/0.43	c Parsing instance...
3.82/1.81	c Parsing done, starting search...
4.97/2.21	o 170
10.93/7.19	o 171
20.32/15.98	o 172
50.67/45.78	o 176
303.63/294.42	o 177
304.33/295.05	o 178
305.66/296.35	o 182
324.59/314.72	o 183
346.74/336.40	o 184
390.38/378.93	o 185
395.20/383.68	o 186
395.40/383.89	o 187
396.41/384.83	o 188
396.41/384.88	o 189
397.95/386.34	o 190
398.97/387.36	o 194
399.88/388.27	o 195
400.70/389.00	o 196
408.95/397.18	o 197
413.94/402.00	o 198
415.57/403.64	o 199
431.16/418.84	o 200
444.07/431.48	o 201
444.37/431.70	o 202
460.22/447.22	o 203
460.53/447.53	o 204
460.62/447.68	o 205
460.82/447.82	o 206
461.02/448.03	o 207
461.14/448.15	o 208
463.08/450.05	o 209
463.49/450.48	o 210
464.28/451.24	o 211
464.51/451.44	o 212
543.81/528.77	o 213
544.12/529.02	o 214
544.32/529.24	o 215
544.53/529.44	o 216
808.83/787.29	o 217
992.71/966.95	o 218
1032.99/1006.30	o 219
1033.39/1006.70	o 220
1033.79/1007.10	o 221
1044.73/1017.83	o 222
1045.34/1018.43	o 223
1045.83/1018.94	o 224
1046.23/1019.37	o 225
1046.73/1019.89	o 226
1047.03/1020.13	o 227
1047.44/1020.56	o 228
1047.63/1020.73	o 229
1047.93/1021.03	o 230
1050.59/1023.70	o 231
1061.05/1033.88	o 232
1061.25/1034.03	o 233
1062.80/1035.52	o 234
1062.99/1035.72	o 235
1064.01/1036.71	o 236
1064.41/1037.11	o 237
1066.88/1039.61	o 238
1077.84/1050.31	o 239
1085.11/1057.48	o 240
1090.36/1062.45	o 241
1091.88/1063.94	o 242
1094.74/1066.72	o 243
1095.04/1067.01	o 244
1109.46/1081.19	o 245
1110.89/1082.58	o 246
1111.58/1083.27	o 247
1112.09/1083.79	o 248
1112.49/1084.17	o 249
1112.69/1084.37	o 250
1125.18/1096.54	o 251
1138.07/1109.13	o 252
1138.57/1109.64	o 253
1143.27/1114.20	o 254
1145.12/1116.02	o 255
1145.22/1116.15	o 256
1161.00/1131.59	o 257
1161.40/1131.97	o 258
1161.80/1132.34	o 259
1162.42/1132.90	o 260
1172.03/1142.31	o 261
1190.44/1160.33	o 263
1377.53/1343.18	o 264
1421.39/1386.00	o 265
1425.18/1389.74	o 266
1425.58/1390.19	o 267
1426.92/1391.47	o 268
1428.21/1392.74	o 269
1428.61/1393.17	o 270
1562.29/1523.85	o 271
1570.34/1531.73	o 272
1570.74/1532.17	o 273
1622.45/1582.76	o 274
1749.76/1707.02	o 275
1781.36/1737.90	o 276
1796.40/1752.67	o 277
1796.90/1753.16	o 278
1805.72/1761.77	o 279
1806.22/1762.27	o 280
1806.62/1762.60	o 281
1840.80/1796.06	o 282
1887.00/1841.19	o 283
2205.39/2152.36	o 284
2270.28/2215.88	o 285
2276.62/2222.01	o 286
2276.72/2222.11	o 287
2333.86/2277.86	o 288
2334.06/2278.05	o 289
2355.67/2299.13	o 290
2520.02/2459.41	s SATISFIABLE
2520.02/2459.42	v <instantiation>
2520.02/2459.42	v 	<list>
2520.02/2459.42	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z
2520.02/2459.42	v 	</list>
2520.02/2459.42	v 	<values>
2520.02/2459.42	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 0 1 2 2 1 1 2 2 2 1 1 0 1 2 2 1 0 1 1 2 1 2 1 0 1 1 2 2 1 1 2 1 0 1 1 1 1 2 0 0 1 1 1 1 0 0 2 0 1 0 1 0 0 2 1 1 1 1 2 1 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 1 2 0 1 0 0 0 0 2 1 1 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 1 1 2 2 2 1 0 1 0 1 2 2 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 2 2 2 0 1 0 0 1 0 2 2 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 2 1 0 0 0 0 2 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 2 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 0 2 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 0 2 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 2 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 2 2 1 1 1 1 0 1 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 20 56 79 97 114 132 149 164 172 176 181 186 193 197 203 209 215 221 227 236 242 247 253 260 272 279 286 296 290 
2520.02/2459.42	v 	</values>
2520.02/2459.42	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 (15220 MiB free)
  memory of node 1: 16384 MiB (13348 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 0,2,4,6

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

solver pid=14215, runsolver pid=14212

[startup+0.10011 s]*
/proc/loadavg: 1.55 1.50 1.55 2/199 14217
/proc/meminfo: memFree=29252216/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13358552 memory=12820 CPUtime=0 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 3054 0 0 0 0 0 0 0 20 0 6 0 172524889 13679157248 3205 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3339638 3205 1644 1 0 3329135 0
[pid=14215/tid=14217] ppid=14212 vsize=13358552 memory=7974038411334692957 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 1965 0 0 0 0 0 0 0 20 0 6 0 172524899 13679157248 3469 18446744073709551615 4194304 4196468 140735910349680 140042512298576 140042508084381 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13358552 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 172524900 13679157248 3469 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13358552 memory=140658238674560 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 6 0 172524900 13679157248 3469 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 172524900 13679157248 3469 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 172524900 13679157248 3469 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 12820 KiB

[startup+0.210166 s]*
/proc/loadavg: 1.55 1.50 1.55 2/211 14229
/proc/meminfo: memFree=29243796/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13976388 memory=25868 CPUtime=0.06 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 5987 0 0 0 5 1 0 0 20 0 15 0 172524889 14311821312 6467 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3494097 6467 3247 1 0 3482876 0
[pid=14215/tid=14217] ppid=14212 vsize=13976388 memory=8318255677412212789 CPUtime=0.05 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 4080 0 0 0 5 0 0 0 20 0 15 0 172524899 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042512304736 140042508074390 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13976388 memory=329 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172524900 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13976388 memory=140658239900084 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524900 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524900 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524900 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13976388 memory=140658238674560 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172524901 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172524902 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042053342624 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172524902 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042052290032 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 172524904 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 172524904 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13976388 memory=140658238674560 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) R 14212 14215 7084 0 -1 4202560 225 0 0 0 0 0 0 0 20 0 15 0 172524904 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042048080112 140042508074390 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13976388 memory=140658238674560 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524911 14311821312 6533 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 25868 KiB

[startup+0.315181 s]*
/proc/loadavg: 1.55 1.50 1.55 3/212 14230
/proc/meminfo: memFree=29227472/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13975920 memory=40076 CPUtime=0.23 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 10263 0 0 0 20 3 0 0 20 0 15 0 172524889 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3493980 10019 3536 1 0 3482759 0
[pid=14215/tid=14217] ppid=14212 vsize=13975920 memory=7668954370464627011 CPUtime=0.15 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 7985 0 0 0 13 2 0 0 20 0 15 0 172524899 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042512282832 140042508084381 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172524900 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524900 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524900 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524900 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 172524901 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172524902 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042053342624 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172524902 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042052290032 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 15 0 172524904 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 15 0 172524904 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) S 14212 14215 7084 0 -1 1077944384 380 0 0 0 4 0 0 0 20 0 15 0 172524904 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042048080112 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13975920 memory=140658238674560 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524911 14311342080 10019 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40076 KiB

[startup+0.701697 s]
/proc/loadavg: 1.55 1.50 1.55 5/212 14230
/proc/meminfo: memFree=29216804/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13977988 memory=68680 CPUtime=1 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 13871 0 0 0 95 5 0 0 20 0 15 0 172524889 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3494497 17170 3725 1 0 3483271 0
[pid=14215/tid=14217] ppid=14212 vsize=13977988 memory=7662705889289527641 CPUtime=0.54 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 10345 0 0 0 50 4 0 0 20 0 15 0 172524899 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042512297872 140042123160708 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13977988 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 172524900 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13977988 memory=6296683625556824416 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524900 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13977988 memory=7523638460580128064 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524900 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13977988 memory=6516 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524900 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13977988 memory=59 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 172524901 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13977988 memory=536 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 172524902 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042053342624 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13977988 memory=1106 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 172524902 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042052290032 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14313459712 17170 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13977988 memory=763 CPUtime=0.13 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 653 0 0 0 13 0 0 0 20 0 15 0 172524904 14313459712 17234 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13977988 memory=16444 CPUtime=0.11 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 758 0 0 0 11 0 0 0 20 0 15 0 172524904 14313459712 17234 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13977988 memory=7668954370464627011 CPUtime=0.2 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) R 14212 14215 7084 0 -1 4202560 732 0 0 0 20 0 0 0 20 0 15 0 172524904 14313459712 17234 18446744073709551615 4194304 4196468 140735910349680 140042048076648 140042487016037 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13977988 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14313459712 17234 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 172524911 14313459712 17234 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68680 KiB

[startup+1.50067 s]
/proc/loadavg: 1.55 1.50 1.55 6/212 14230
/proc/meminfo: memFree=29174972/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13982084 memory=228916 CPUtime=3.23 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 30216 0 0 0 312 11 0 0 20 0 15 0 172524889 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3495521 57229 3785 1 0 3484295 0
[pid=14215/tid=14217] ppid=14212 vsize=13982084 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 15438 0 0 0 124 7 0 0 20 0 15 0 172524899 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042512298544 140042125628963 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13982084 memory=128544 CPUtime=0.01 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 172524900 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 172524900 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13982084 memory=170926129 CPUtime=0.01 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 15 0 172524900 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13982084 memory=6516 CPUtime=0.01 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 172524900 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13982084 memory=59 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 663 0 0 0 0 0 0 0 20 0 15 0 172524901 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13982084 memory=536 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042053342624 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13982084 memory=1106 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042052290032 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13982084 memory=281316197244256 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13982084 memory=-8774313645642428999 CPUtime=0.58 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 2374 0 0 0 58 0 0 0 20 0 15 0 172524904 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13982084 memory=836 CPUtime=0.57 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 3184 0 0 0 57 0 0 0 20 0 15 0 172524904 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13982084 memory=2900 CPUtime=0.69 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) S 14212 14215 7084 0 -1 1077944384 6534 0 0 0 68 1 0 0 20 0 15 0 172524904 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042048080112 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13982084 memory=7882259712877084772 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13982084 memory=7882259712877084772 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524911 14317654016 57229 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 13982084 KiB

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

/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 137098 0 0 0 229855 78 0 0 20 0 15 0 172524899 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042512300272 140042129633884 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13982084 memory=638564 CPUtime=17.41 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 25656 0 0 0 1703 38 0 0 20 0 15 0 172524900 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13982084 memory=634460 CPUtime=17.39 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 24512 0 0 0 1701 38 0 0 20 0 15 0 172524900 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13982084 memory=634460 CPUtime=17.42 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 26861 0 0 0 1705 37 0 0 20 0 15 0 172524900 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13982084 memory=664208 CPUtime=17.41 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 22696 0 0 0 1703 38 0 0 20 0 15 0 172524900 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13982084 memory=637540 CPUtime=2.81 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 76982 0 0 0 233 48 0 0 20 0 15 0 172524901 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13982084 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042053342688 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13982084 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042052290048 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13982084 memory=638052 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13982084 memory=657036 CPUtime=2.59 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 22631 0 0 0 255 4 0 0 20 0 15 0 172524904 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 67 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13982084 memory=647288 CPUtime=2.57 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 27250 0 0 0 254 3 0 0 20 0 15 0 172524904 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13982084 memory=647288 CPUtime=1.2 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) S 14212 14215 7084 0 -1 1077944384 41817 0 0 0 116 4 0 0 20 0 15 0 172524904 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042048080112 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13982084 memory=640104 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13982084 memory=4156 CPUtime=1.31 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 2143 0 0 0 64 67 0 0 20 0 15 0 172524911 14317654016 158615 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 73 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 2379.53 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 634460 KiB

[startup+2382.3 s]
/proc/loadavg: 1.72 1.45 1.43 3/215 14405
/proc/meminfo: memFree=30071860/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13982084 memory=736288 CPUtime=2440.97 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 415032 0 0 0 243755 342 0 0 20 0 15 0 172524889 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3495521 184072 3840 1 0 3484295 0
[pid=14215/tid=14217] ppid=14212 vsize=13982084 memory=677976 CPUtime=2358.68 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 141024 0 0 0 235787 81 0 0 20 0 15 0 172524899 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042512300272 140042129635816 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13982084 memory=700944 CPUtime=17.91 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 26073 0 0 0 1751 40 0 0 20 0 15 0 172524900 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13982084 memory=669252 CPUtime=17.87 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 24928 0 0 0 1748 39 0 0 20 0 15 0 172524900 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13982084 memory=651856 CPUtime=17.91 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 27319 0 0 0 1752 39 0 0 20 0 15 0 172524900 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13982084 memory=736288 CPUtime=17.9 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 23091 0 0 0 1750 40 0 0 20 0 15 0 172524900 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13982084 memory=726592 CPUtime=2.88 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 77251 0 0 0 239 49 0 0 20 0 15 0 172524901 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042053342688 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13982084 memory=736288 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042052290048 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13982084 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13982084 memory=796 CPUtime=2.59 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 22635 0 0 0 255 4 0 0 20 0 15 0 172524904 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 67 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13982084 memory=736288 CPUtime=2.57 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 27254 0 0 0 254 3 0 0 20 0 15 0 172524904 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13982084 memory=4156 CPUtime=1.2 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) S 14212 14215 7084 0 -1 1077944384 41821 0 0 0 116 4 0 0 20 0 15 0 172524904 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042048080112 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13982084 memory=736288 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13982084 memory=4064 CPUtime=1.35 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 2160 0 0 0 66 69 0 0 20 0 15 0 172524911 14317654016 184072 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 73 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 2440.97 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 736288 KiB

[startup+2442.3 s]
/proc/loadavg: 1.39 1.43 1.42 3/214 14407
/proc/meminfo: memFree=30180624/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13982084 memory=683288 CPUtime=2502.5 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 420237 0 0 0 249900 350 0 0 20 0 15 0 172524889 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3495521 170822 3840 1 0 3484295 0
[pid=14215/tid=14217] ppid=14212 vsize=13982084 memory=625728 CPUtime=2418.01 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 142766 0 0 0 241719 82 0 0 20 0 15 0 172524899 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042512300160 140042132882121 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13982084 memory=630344 CPUtime=18.43 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 26610 0 0 0 1803 40 0 0 20 0 15 0 172524900 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13982084 memory=653944 CPUtime=18.39 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 25508 0 0 0 1799 40 0 0 20 0 15 0 172524900 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13982084 memory=648812 CPUtime=18.43 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 27891 0 0 0 1803 40 0 0 20 0 15 0 172524900 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13982084 memory=637528 CPUtime=18.42 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 23645 0 0 0 1801 41 0 0 20 0 15 0 172524900 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13982084 memory=635988 CPUtime=2.98 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 78458 0 0 0 247 51 0 0 20 0 15 0 172524901 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13982084 memory=630344 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042053342688 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13982084 memory=625728 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042052290048 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13982084 memory=633936 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13982084 memory=677540 CPUtime=2.59 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 22635 0 0 0 255 4 0 0 20 0 15 0 172524904 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 67 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13982084 memory=683288 CPUtime=2.57 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 27254 0 0 0 254 3 0 0 20 0 15 0 172524904 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13982084 memory=624700 CPUtime=1.2 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) S 14212 14215 7084 0 -1 1077944384 41821 0 0 0 116 4 0 0 20 0 15 0 172524904 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042048080112 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13982084 memory=624700 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13982084 memory=1724 CPUtime=1.39 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 2173 0 0 0 68 71 0 0 20 0 15 0 172524911 14317654016 170822 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 73 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 2502.5 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 683288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459.4 s]*
/proc/loadavg: 1.40 1.43 1.42 3/194 14463
/proc/meminfo: memFree=30688224/32770624 swapFree=67108776/67108860
[pid=14215] ppid=14212 vsize=13982084 memory=745288 CPUtime=2520.02 cores=0,2,4,6
/proc/14215/stat : 14215 (java) S 14212 14215 7084 0 -1 1077944320 420563 0 0 0 251645 357 0 0 20 0 15 0 172524889 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140735910332224 140042508062455 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
/proc/14215/statm: 3495521 186322 3840 1 0 3484295 0
[pid=14215/tid=14217] ppid=14212 vsize=13982084 memory=7668954370464627011 CPUtime=2434.94 cores=0,2,4,6
/proc/14215/task/14217/stat : 14217 (java) R 14212 14215 7084 0 -1 4202560 142949 0 0 0 243411 83 0 0 20 0 15 0 172524899 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042512300144 140042131397078 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14218] ppid=14212 vsize=13982084 memory=4872558044660077418 CPUtime=18.57 cores=0,2,4,6
/proc/14215/task/14218/stat : 14218 (java) S 14212 14215 7084 0 -1 1077944384 26636 0 0 0 1815 42 0 0 20 0 15 0 172524900 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042108057872 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14219] ppid=14212 vsize=13982084 memory=3232 CPUtime=18.54 cores=0,2,4,6
/proc/14215/task/14219/stat : 14219 (java) S 14212 14215 7084 0 -1 1077944384 25533 0 0 0 1812 42 0 0 20 0 15 0 172524900 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042107005328 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14220] ppid=14212 vsize=13982084 memory=746276 CPUtime=18.56 cores=0,2,4,6
/proc/14215/task/14220/stat : 14220 (java) S 14212 14215 7084 0 -1 1077944384 27920 0 0 0 1815 41 0 0 20 0 15 0 172524900 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042105952784 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14221] ppid=14212 vsize=13982084 memory=4064 CPUtime=18.57 cores=0,2,4,6
/proc/14215/task/14221/stat : 14221 (java) S 14212 14215 7084 0 -1 1077944384 23668 0 0 0 1814 43 0 0 20 0 15 0 172524900 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042104900240 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14222] ppid=14212 vsize=13982084 memory=16444 CPUtime=3 cores=0,2,4,6
/proc/14215/task/14222/stat : 14222 (java) S 14212 14215 7084 0 -1 1077944384 78496 0 0 0 248 52 0 0 20 0 15 0 172524901 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042054396400 140042508073602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14223] ppid=14212 vsize=13982084 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14223/stat : 14223 (java) S 14212 14215 7084 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042053342688 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14224] ppid=14212 vsize=13982084 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14224/stat : 14224 (java) S 14212 14215 7084 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 172524902 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042052290048 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14225] ppid=14212 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14225/stat : 14225 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524904 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042051238608 140042508081051 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14226] ppid=14212 vsize=13982084 memory=-2026666227646606628 CPUtime=2.59 cores=0,2,4,6
/proc/14215/task/14226/stat : 14226 (java) S 14212 14215 7084 0 -1 1077944384 22635 0 0 0 255 4 0 0 20 0 15 0 172524904 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042050185200 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 67 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14227] ppid=14212 vsize=13982084 memory=6944656592455359580 CPUtime=2.57 cores=0,2,4,6
/proc/14215/task/14227/stat : 14227 (java) S 14212 14215 7084 0 -1 1077944384 27254 0 0 0 254 3 0 0 20 0 15 0 172524904 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042049132656 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14228] ppid=14212 vsize=13982084 memory=-6657000309100945312 CPUtime=1.2 cores=0,2,4,6
/proc/14215/task/14228/stat : 14228 (java) S 14212 14215 7084 0 -1 1077944384 41821 0 0 0 116 4 0 0 20 0 15 0 172524904 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042048080112 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14229] ppid=14212 vsize=13982084 memory=-2317720213663851332 CPUtime=0 cores=0,2,4,6
/proc/14215/task/14229/stat : 14229 (java) S 14212 14215 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 172524905 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042047027808 140042508072661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
[pid=14215/tid=14230] ppid=14212 vsize=13982084 memory=281316197762376 CPUtime=1.39 cores=0,2,4,6
/proc/14215/task/14230/stat : 14230 (java) S 14212 14215 7084 0 -1 1077944384 2175 0 0 0 68 71 0 0 20 0 15 0 172524911 14317654016 186322 18446744073709551615 4194304 4196468 140735910349680 140042045975344 140042508073602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 73 0 0 6293624 6294260 33951744 140735910355316 140735910355497 140735910355497 140735910358991 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 745288 KiB

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

[startup+2459.44 s]
# the end of solver process 14215 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.48 s, system=3.5833 s

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

Child status: 143
Real time (s): 2459.44
CPU time (s): 2520.07
CPU user time (s): 2516.48
CPU system time (s): 3.5833
CPU usage (%): 102.465
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3500500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.48
system time used= 3.5833
maximum resident set size= 3502476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121013
involuntary context switches= 7608


# summary of solver processes directly reported to runsolver:
#   pid: 14215
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2516.48
#   total CPU system time (s): 3.5833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4001 second user time and 23.3459 second system time

The end

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

Trace number 4273261

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