2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	254	252.045	246.537

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 393874733
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
4.52/2.24	c Parsing done, starting search...
5.52/2.55	o 129
5.80/2.66	o 130
5.80/2.66	o 131
5.80/2.66	o 132
5.80/2.66	o 133
5.80/2.67	o 134
5.80/2.67	o 135
5.80/2.67	o 136
5.80/2.67	o 137
5.80/2.67	o 138
5.80/2.67	o 139
5.80/2.67	o 140
5.80/2.68	o 141
5.80/2.68	o 142
5.80/2.68	o 143
5.80/2.68	o 144
5.80/2.68	o 145
5.80/2.68	o 146
5.80/2.69	o 147
5.80/2.69	o 148
5.80/2.70	o 149
5.80/2.70	o 150
5.80/2.70	o 151
5.80/2.70	o 152
5.80/2.70	o 153
6.13/2.70	o 154
6.13/2.70	o 155
6.13/2.70	o 156
6.13/2.70	o 157
6.13/2.70	o 158
6.13/2.70	o 159
6.13/2.70	o 160
6.13/2.71	o 161
6.13/2.71	o 162
6.13/2.71	o 163
6.13/2.71	o 164
6.13/2.71	o 165
6.13/2.71	o 166
6.13/2.71	o 167
6.13/2.71	o 168
6.13/2.72	o 169
6.13/2.72	o 170
6.13/2.72	o 171
6.13/2.72	o 172
6.13/2.72	o 173
6.13/2.72	o 174
6.13/2.72	o 175
6.13/2.72	o 176
6.13/2.72	o 177
6.13/2.72	o 178
6.13/2.73	o 179
6.13/2.73	o 180
6.13/2.73	o 181
6.13/2.73	o 182
6.13/2.73	o 183
6.13/2.73	o 184
6.13/2.73	o 185
6.13/2.73	o 186
6.13/2.73	o 187
6.13/2.74	o 188
6.13/2.74	o 189
6.13/2.74	o 190
6.13/2.74	o 191
6.13/2.74	o 192
6.13/2.74	o 193
6.13/2.74	o 194
6.13/2.74	o 195
6.13/2.74	o 196
6.13/2.74	o 197
6.13/2.75	o 198
6.13/2.75	o 199
6.13/2.75	o 200
6.13/2.75	o 201
6.13/2.75	o 202
6.13/2.75	o 203
6.13/2.75	o 204
6.13/2.76	o 205
6.13/2.76	o 206
6.13/2.76	o 207
6.13/2.76	o 208
6.13/2.76	o 209
6.13/2.76	o 210
6.13/2.76	o 211
6.13/2.76	o 212
6.13/2.76	o 213
6.13/2.77	o 214
6.13/2.77	o 215
6.13/2.77	o 216
6.13/2.77	o 217
6.13/2.77	o 218
6.13/2.77	o 219
6.13/2.77	o 220
6.13/2.77	o 221
6.13/2.77	o 222
6.13/2.78	o 223
6.13/2.78	o 224
6.13/2.78	o 225
6.13/2.78	o 226
6.13/2.78	o 227
6.13/2.78	o 228
6.13/2.78	o 229
6.13/2.79	o 230
6.13/2.79	o 231
6.13/2.79	o 232
6.13/2.79	o 233
6.13/2.79	o 234
6.13/2.79	o 235
6.13/2.79	o 236
6.13/2.79	o 237
6.13/2.80	o 238
6.44/2.80	o 239
6.75/2.97	o 240
6.75/2.99	o 241
6.75/3.00	o 243
6.75/3.01	o 244
7.10/3.01	o 245
8.20/3.76	o 246
8.92/4.50	o 247
17.92/13.12	o 248
20.64/15.87	o 249
20.75/15.92	o 250
20.75/15.93	o 251
64.04/58.93	o 252
75.25/70.11	o 253
75.25/70.11	o 254
252.00/246.50	s SATISFIABLE
252.00/246.51	v <instantiation>
252.00/246.51	v 	<list>
252.00/246.51	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
252.00/246.51	v 	</list>
252.00/246.51	v 	<values>
252.00/246.51	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 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 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 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 2 0 2 0 2 1 2 0 0 0 0 0 1 1 1 2 2 0 1 2 1 0 2 0 0 0 0 0 2 0 2 0 0 0 0 0 1 0 2 0 0 0 0 0 0 1 2 1 0 1 0 1 0 0 1 0 0 0 0 2 0 0 2 0 0 0 2 2 0 0 2 0 2 1 1 1 0 0 0 0 1 0 0 1 0 2 0 0 1 0 0 0 1 2 2 1 0 0 2 0 1 0 0 0 0 0 0 0 2 1 0 1 0 2 0 0 0 1 0 2 0 2 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 2 0 1 0 2 0 0 2 0 0 1 1 1 1 0 1 0 0 0 2 0 1 1 1 0 0 2 2 2 2 0 0 0 0 0 0 2 0 2 1 0 2 0 1 0 0 0 2 1 2 0 0 0 2 0 2 1 1 0 1 0 0 2 0 2 1 1 0 0 0 0 2 2 0 0 2 2 0 0 1 0 0 2 0 0 0 0 1 0 0 2 0 0 1 1 1 2 2 1 0 0 2 1 1 0 1 2 2 1 0 0 1 0 1 0 0 0 2 0 0 0 1 2 2 0 1 0 1 0 1 2 1 2 2 2 2 1 0 1 0 2 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 2 0 0 1 0 0 1 1 1 0 2 0 0 0 1 0 0 2 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 2 0 0 2 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 2 2 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 14 37 50 67 82 94 109 129 150 165 186 210 225 234 240 247 252 262 270 276 282 288 291 301 308 322 334 254 
252.00/246.51	v 	</values>
252.00/246.51	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 (12420 MiB free)
  memory of node 1: 16384 MiB (10854 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312104-1534568572/watcher-4312104-1534568572 -o /tmp/evaluation-result-4312104-1534568572/solver-4312104-1534568572 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534568572-15330 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 393874733 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312104-1534568572.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15354, runsolver pid=15351

[startup+0.100061 s]*
/proc/loadavg: 0.77 1.29 1.36 4/216 15389
/proc/meminfo: memFree=23798608/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14082736 memory=31656 CPUtime=0.11 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 6795 0 0 0 10 1 0 0 20 0 15 0 274420373 14420721664 7914 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3520684 7914 3153 1 0 3482761 0
[pid=15354/tid=15358] ppid=15351 vsize=14082736 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 4847 0 0 0 8 1 0 0 20 0 15 0 274420373 14420721664 7914 33554432000 4194304 4196468 140725453414656 140060403859816 140060036873800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14082736 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14082736 memory=139945366234752 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14082736 memory=139945366234752 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274420375 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274420376 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059311969056 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274420376 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059310916720 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) R 15351 15354 12267 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059307760112 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14082736 memory=139945366234752 CPUtime=0.01 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) S 15351 15354 12267 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 15 0 274420379 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059306707824 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14082736 memory=139945366234752 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 7914 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31656 KiB

[startup+0.210458 s]*
/proc/loadavg: 0.77 1.29 1.36 5/216 15389
/proc/meminfo: memFree=23766608/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14082736 memory=47200 CPUtime=0.29 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 10402 0 0 0 26 3 0 0 20 0 15 0 274420373 14420721664 11800 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3520684 11800 3352 1 0 3482761 0
[pid=15354/tid=15358] ppid=15351 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 8193 0 0 0 18 2 0 0 20 0 15 0 274420373 14420721664 11800 33554432000 4194304 4196468 140725453414656 140060403886816 140060399668630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14082736 memory=139945367720279 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14082736 memory=139945366234752 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274420375 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274420376 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059311969056 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274420376 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059310916720 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) R 15351 15354 12267 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) R 15351 15354 12267 0 -1 4202560 232 0 0 0 1 0 0 0 20 0 15 0 274420379 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059307759248 140060380356992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14082736 memory=139945366234752 CPUtime=0.05 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) R 15351 15354 12267 0 -1 4202560 315 0 0 0 5 0 0 0 20 0 15 0 274420379 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059306703584 140060391893822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14082736 memory=139945366234752 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) R 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 11800 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47200 KiB

[startup+0.31048 s]*
/proc/loadavg: 0.77 1.29 1.36 4/216 15389
/proc/meminfo: memFree=23760156/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14082736 memory=50592 CPUtime=0.44 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 10830 0 0 0 41 3 0 0 20 0 15 0 274420373 14420721664 12648 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3520684 12648 3397 1 0 3482761 0
[pid=15354/tid=15358] ppid=15351 vsize=14082736 memory=667680 CPUtime=0.3 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 8527 0 0 0 28 2 0 0 20 0 15 0 274420373 14420721664 12648 33554432000 4194304 4196468 140725453414656 140060403874608 140060391898085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 12648 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14082736 memory=139945366290464 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 12648 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14082736 memory=58084 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274420374 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14082736 memory=139945366297376 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274420375 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274420376 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059311969056 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274420376 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059310916720 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) S 15351 15354 12267 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 15 0 274420379 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14082736 memory=139945268343247 CPUtime=0.03 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) S 15351 15354 12267 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 15 0 274420379 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059307760112 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14082736 memory=139945366250083 CPUtime=0.08 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) S 15351 15354 12267 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 15 0 274420379 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059306707824 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14082736 memory=139945268334031 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14082736 memory=279890634578048 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420379 14420721664 12699 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50592 KiB

[startup+0.700751 s]
/proc/loadavg: 0.77 1.29 1.36 3/216 15389
/proc/meminfo: memFree=23713400/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14084804 memory=88836 CPUtime=0.99 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 17602 0 0 0 93 6 0 0 20 0 15 0 274420373 14422839296 22209 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3521201 22209 3500 1 0 3483273 0
[pid=15354/tid=15358] ppid=15351 vsize=14084804 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 14950 0 0 0 63 4 0 0 20 0 15 0 274420373 14422839296 22209 33554432000 4194304 4196468 140725453414656 140060403880800 140060383737182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14084804 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14084804 memory=14884 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14084804 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274420374 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14084804 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274420375 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14084804 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274420376 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059311969056 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274420376 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059310916720 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14084804 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) S 15351 15354 12267 0 -1 1077944384 467 0 0 0 4 0 0 0 20 0 15 0 274420379 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14084804 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) S 15351 15354 12267 0 -1 1077944384 417 0 0 0 9 0 0 0 20 0 15 0 274420379 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059307760112 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) S 15351 15354 12267 0 -1 1077944384 387 0 0 0 14 0 0 0 20 0 15 0 274420379 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059306707824 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420379 14422839296 22209 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88836 KiB

[startup+1.50072 s]
/proc/loadavg: 0.77 1.29 1.36 7/216 15389
/proc/meminfo: memFree=23643004/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14088900 memory=179492 CPUtime=2.95 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 22817 0 0 0 287 8 0 0 20 0 15 0 274420373 14427033600 44873 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3522225 44873 3542 1 0 3484297 0
[pid=15354/tid=15358] ppid=15351 vsize=14088900 memory=145312 CPUtime=1.47 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 17462 0 0 0 141 6 0 0 20 0 15 0 274420373 14427033600 44873 33554432000 4194304 4196468 140725453414656 140060403877552 140060383737182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14088900 memory=279890536958288 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14427033600 44873 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14427033600 44873 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14088900 memory=825241649 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274420374 14427033600 44873 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14088900 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274420374 14427033600 44873 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14088900 memory=14884 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 274420375 14427033600 44873 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0

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

/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 31876 0 0 0 16172 29 0 0 20 0 15 0 274420373 14429130752 455312 33554432000 4194304 4196468 140725453414656 140060403894704 140060047815517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14090948 memory=1821800 CPUtime=0.16 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 1515 0 0 0 12 4 0 0 20 0 15 0 274420374 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14090948 memory=1818768 CPUtime=0.16 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 593 0 0 0 11 5 0 0 20 0 15 0 274420374 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14090948 memory=1822864 CPUtime=0.15 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 864 0 0 0 11 4 0 0 20 0 15 0 274420374 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14090948 memory=1819752 CPUtime=0.17 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2041 0 0 0 12 5 0 0 20 0 15 0 274420374 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14090948 memory=1821800 CPUtime=0.04 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 2060 0 0 0 3 1 0 0 20 0 15 0 274420375 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14090948 memory=1821800 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059311969120 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14090948 memory=1821800 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059310916736 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14090948 memory=1821248 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14090948 memory=1818768 CPUtime=1.96 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) S 15351 15354 12267 0 -1 1077944384 7151 0 0 0 195 1 0 0 20 0 15 0 274420379 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14090948 memory=1821248 CPUtime=1.8 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) S 15351 15354 12267 0 -1 1077944384 4563 0 0 0 179 1 0 0 20 0 15 0 274420379 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059307760112 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14090948 memory=6 CPUtime=0.98 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) S 15351 15354 12267 0 -1 1077944384 7068 0 0 0 97 1 0 0 20 0 15 0 274420379 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059306707824 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14090948 memory=6800 CPUtime=0.06 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) S 15351 15354 12267 0 -1 1077944384 547 0 0 0 3 3 0 0 20 0 15 0 274420379 14429130752 455312 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 167.6 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1821248 KiB

[startup+222.301 s]
/proc/loadavg: 1.67 1.68 1.52 3/215 15393
/proc/meminfo: memFree=21823196/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14090948 memory=1821700 CPUtime=227.72 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 63595 0 0 0 22709 63 0 0 20 0 15 0 274420373 14429130752 455425 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3522737 455425 3598 1 0 3484809 0
[pid=15354/tid=15358] ppid=15351 vsize=14090948 memory=1823784 CPUtime=221.96 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 34075 0 0 0 22166 30 0 0 20 0 15 0 274420373 14429130752 455425 33554432000 4194304 4196468 140725453414656 140060403894704 140060046608630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14090948 memory=1823252 CPUtime=0.2 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 2040 0 0 0 15 5 0 0 20 0 15 0 274420374 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14090948 memory=1821196 CPUtime=0.19 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 764 0 0 0 13 6 0 0 20 0 15 0 274420374 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14090948 memory=1821736 CPUtime=0.19 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1151 0 0 0 13 6 0 0 20 0 15 0 274420374 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14090948 memory=1821700 CPUtime=0.2 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2232 0 0 0 14 6 0 0 20 0 15 0 274420374 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14090948 memory=205997571115662 CPUtime=0.06 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 2321 0 0 0 5 1 0 0 20 0 15 0 274420375 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059311969120 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14090948 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059310916736 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14090948 memory=33 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14090948 memory=1821700 CPUtime=1.96 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) S 15351 15354 12267 0 -1 1077944384 7154 0 0 0 195 1 0 0 20 0 15 0 274420379 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14090948 memory=6420 CPUtime=1.8 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) S 15351 15354 12267 0 -1 1077944384 4568 0 0 0 179 1 0 0 20 0 15 0 274420379 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059307760112 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14090948 memory=3812 CPUtime=0.98 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) S 15351 15354 12267 0 -1 1077944384 7295 0 0 0 97 1 0 0 20 0 15 0 274420379 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059306707824 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14090948 memory=6800 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14090948 memory=6800 CPUtime=0.09 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) S 15351 15354 12267 0 -1 1077944384 574 0 0 0 5 4 0 0 20 0 15 0 274420379 14429130752 455425 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 227.72 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1821700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.501 s]
/proc/loadavg: 1.35 1.61 1.50 3/215 15394
/proc/meminfo: memFree=21824724/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14090948 memory=1819472 CPUtime=252 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 65443 0 0 0 25134 66 0 0 20 0 15 0 274420373 14429130752 454868 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3522737 454868 3598 1 0 3484809 0
[pid=15354/tid=15358] ppid=15351 vsize=14090948 memory=1820500 CPUtime=246.12 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 34584 0 0 0 24582 30 0 0 20 0 15 0 274420373 14429130752 454868 33554432000 4194304 4196468 140725453414656 140060403894752 140060047936445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14090948 memory=1821736 CPUtime=0.21 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 2582 0 0 0 16 5 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14090948 memory=1820352 CPUtime=0.21 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 888 0 0 0 15 6 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14090948 memory=1822404 CPUtime=0.21 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1212 0 0 0 15 6 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14090948 memory=1821196 CPUtime=0.23 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2557 0 0 0 16 7 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14090948 memory=1819472 CPUtime=0.07 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 2576 0 0 0 6 1 0 0 20 0 15 0 274420375 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14090948 memory=1819472 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059311969120 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059310916736 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14090948 memory=1820500 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14090948 memory=1820500 CPUtime=1.96 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) S 15351 15354 12267 0 -1 1077944384 7158 0 0 0 195 1 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14090948 memory=1819472 CPUtime=1.8 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) S 15351 15354 12267 0 -1 1077944384 4575 0 0 0 179 1 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059307760112 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14090948 memory=3812 CPUtime=0.98 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) S 15351 15354 12267 0 -1 1077944384 7299 0 0 0 97 1 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059306707824 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14090948 memory=1820352 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14090948 memory=1100 CPUtime=0.11 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) S 15351 15354 12267 0 -1 1077944384 591 0 0 0 6 5 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1819472 KiB

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

[startup+246.537 s]
# the end of solver process 15354 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.367 s, system=0.677393 s

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

[startup+246.501 s]
/proc/loadavg: 1.35 1.61 1.50 3/215 15394
/proc/meminfo: memFree=21824724/32770624 swapFree=67105356/67108860
[pid=15354] ppid=15351 vsize=14090948 memory=1819472 CPUtime=252 cores=0,2,4,6
/proc/15354/stat : 15354 (java) S 15351 15354 12267 0 -1 1077944320 65443 0 0 0 25134 66 0 0 20 0 15 0 274420373 14429130752 454868 33554432000 4194304 4196468 140725453414656 140725453397200 140060399656695 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
/proc/15354/statm: 3522737 454868 3598 1 0 3484809 0
[pid=15354/tid=15358] ppid=15351 vsize=14090948 memory=1820500 CPUtime=246.12 cores=0,2,4,6
/proc/15354/task/15358/stat : 15358 (java) R 15351 15354 12267 0 -1 4202560 34584 0 0 0 24582 30 0 0 20 0 15 0 274420373 14429130752 454868 33554432000 4194304 4196468 140725453414656 140060403894752 140060047936445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15364] ppid=15351 vsize=14090948 memory=1821736 CPUtime=0.21 cores=0,2,4,6
/proc/15354/task/15364/stat : 15364 (java) S 15351 15354 12267 0 -1 1077944384 2582 0 0 0 16 5 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059995253648 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15365] ppid=15351 vsize=14090948 memory=1820352 CPUtime=0.21 cores=0,2,4,6
/proc/15354/task/15365/stat : 15365 (java) S 15351 15354 12267 0 -1 1077944384 888 0 0 0 15 6 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059994200848 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15366] ppid=15351 vsize=14090948 memory=1822404 CPUtime=0.21 cores=0,2,4,6
/proc/15354/task/15366/stat : 15366 (java) S 15351 15354 12267 0 -1 1077944384 1212 0 0 0 15 6 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059993148560 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15367] ppid=15351 vsize=14090948 memory=1821196 CPUtime=0.23 cores=0,2,4,6
/proc/15354/task/15367/stat : 15367 (java) S 15351 15354 12267 0 -1 1077944384 2557 0 0 0 16 7 0 0 20 0 15 0 274420374 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059992095760 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15372] ppid=15351 vsize=14090948 memory=1819472 CPUtime=0.07 cores=0,2,4,6
/proc/15354/task/15372/stat : 15372 (java) S 15351 15354 12267 0 -1 1077944384 2576 0 0 0 6 1 0 0 20 0 15 0 274420375 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059313023088 140060399667842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15374] ppid=15351 vsize=14090948 memory=1819472 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15374/stat : 15374 (java) S 15351 15354 12267 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059311969120 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15375] ppid=15351 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15375/stat : 15375 (java) S 15351 15354 12267 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 274420376 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059310916736 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15378] ppid=15351 vsize=14090948 memory=1820500 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15378/stat : 15378 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059309865040 140060399675291 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15379] ppid=15351 vsize=14090948 memory=1820500 CPUtime=1.96 cores=0,2,4,6
/proc/15354/task/15379/stat : 15379 (java) S 15351 15354 12267 0 -1 1077944384 7158 0 0 0 195 1 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059308812912 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15380] ppid=15351 vsize=14090948 memory=1819472 CPUtime=1.8 cores=0,2,4,6
/proc/15354/task/15380/stat : 15380 (java) S 15351 15354 12267 0 -1 1077944384 4575 0 0 0 179 1 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059307760112 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15381] ppid=15351 vsize=14090948 memory=3812 CPUtime=0.98 cores=0,2,4,6
/proc/15354/task/15381/stat : 15381 (java) S 15351 15354 12267 0 -1 1077944384 7299 0 0 0 97 1 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059306707824 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15382] ppid=15351 vsize=14090948 memory=1820352 CPUtime=0 cores=0,2,4,6
/proc/15354/task/15382/stat : 15382 (java) S 15351 15354 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059305655264 140060399666901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
[pid=15354/tid=15387] ppid=15351 vsize=14090948 memory=1100 CPUtime=0.11 cores=0,2,4,6
/proc/15354/task/15387/stat : 15387 (java) S 15351 15354 12267 0 -1 1077944384 591 0 0 0 6 5 0 0 20 0 15 0 274420379 14429130752 454868 33554432000 4194304 4196468 140725453414656 140059304602032 140060399667842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8073216 140725453423695 140725453423886 140725453423886 140725453426639 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1819472 KiB

Child status: 143
Real time (s): 246.537
CPU time (s): 252.045
CPU user time (s): 251.367
CPU system time (s): 0.677393
CPU usage (%): 102.234
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1823864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.367
system time used= 0.677393
maximum resident set size= 1825860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67040
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10120
involuntary context switches= 369


# summary of solver processes directly reported to runsolver:
#   pid: 15354
#   total CPU time (s): 252.045
#   total CPU user time (s): 251.367
#   total CPU system time (s): 0.677393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67852 second user time and 2.15281 second system time

The end

Name	StillLife/ StillLife-wastage-25_c18.xml
MD5SUM	633a0f5b4e603fff9205bbaeb6c03cff
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	274
Best CPU time to get the best result obtained on this benchmark	252.122
Satisfiable
(Un)Satisfiability was proved
Number of variables	1486
Number of constraints	883
Number of domains	4
Minimum domain size	2
Maximum domain size	1459
Distribution of domain sizes	[{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}]
Minimum variable degree	1
Maximum variable degree	28
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	29
Distribution of constraint arities	[{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}]
Number of extensional constraints	725
Number of intensional constraints	126
Distribution of constraint types	[{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4312104

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