2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT (TO)	246	244.89301	240.037

0.37/0.40	c version: 2017-07-26
0.37/0.40	c seed: 2032653036
0.37/0.40	c timeout: 264
0.37/0.40	c memlimit: 11000
0.37/0.40	c nbcore: 4
0.37/0.42	c Parsing instance...
3.94/1.85	c Parsing done, starting search...
6.50/3.11	o 105
6.50/3.11	o 106
6.50/3.11	o 107
6.50/3.12	o 108
6.50/3.12	o 109
6.50/3.12	o 110
6.50/3.12	o 111
6.50/3.12	o 112
6.50/3.12	o 113
6.50/3.12	o 114
6.50/3.13	o 115
6.50/3.13	o 116
6.50/3.13	o 117
6.50/3.13	o 118
6.50/3.13	o 119
6.50/3.13	o 120
6.50/3.14	o 121
6.50/3.15	o 122
6.50/3.15	o 123
6.50/3.15	o 124
6.50/3.15	o 125
6.50/3.15	o 126
6.50/3.15	o 127
6.50/3.15	o 128
6.50/3.15	o 129
6.50/3.15	o 130
6.50/3.15	o 131
6.50/3.15	o 132
6.50/3.15	o 133
6.50/3.15	o 134
6.50/3.15	o 135
6.50/3.16	o 136
6.50/3.16	o 137
6.50/3.16	o 138
6.50/3.16	o 139
6.50/3.16	o 140
6.50/3.16	o 141
6.50/3.16	o 142
6.50/3.16	o 143
6.50/3.16	o 144
6.50/3.16	o 145
6.50/3.17	o 146
6.50/3.17	o 147
6.50/3.17	o 148
6.50/3.17	o 149
6.50/3.17	o 150
6.50/3.17	o 151
6.50/3.17	o 152
6.50/3.17	o 153
6.50/3.17	o 154
6.50/3.17	o 155
6.50/3.18	o 156
6.50/3.18	o 157
6.50/3.18	o 158
6.50/3.18	o 159
6.50/3.18	o 160
6.50/3.18	o 161
6.50/3.18	o 162
6.50/3.18	o 163
6.50/3.18	o 164
6.50/3.18	o 165
6.50/3.19	o 166
6.50/3.19	o 167
6.50/3.19	o 168
6.50/3.19	o 169
6.50/3.19	o 170
6.50/3.19	o 171
6.50/3.19	o 172
6.50/3.19	o 173
6.50/3.19	o 174
6.50/3.19	o 175
6.50/3.20	o 176
6.83/3.20	o 177
6.83/3.20	o 178
6.83/3.20	o 179
6.83/3.20	o 180
6.83/3.20	o 181
6.83/3.20	o 182
6.83/3.20	o 183
6.83/3.21	o 184
7.15/3.33	o 185
7.15/3.33	o 186
7.15/3.33	o 187
7.15/3.33	o 188
7.15/3.33	o 189
7.15/3.33	o 190
7.15/3.33	o 191
7.15/3.33	o 192
7.15/3.33	o 193
7.15/3.33	o 194
7.15/3.33	o 195
7.15/3.33	o 196
7.15/3.33	o 197
7.15/3.33	o 198
7.15/3.33	o 199
7.15/3.33	o 200
7.15/3.33	o 201
7.15/3.33	o 202
7.15/3.33	o 203
7.15/3.33	o 204
7.15/3.33	o 205
7.15/3.33	o 206
7.15/3.33	o 207
7.15/3.33	o 208
7.15/3.33	o 209
7.15/3.33	o 210
7.15/3.33	o 211
7.15/3.33	o 212
7.15/3.33	o 213
7.15/3.33	o 214
7.15/3.33	o 215
7.15/3.33	o 216
7.15/3.33	o 217
7.15/3.33	o 218
7.15/3.33	o 219
7.15/3.33	o 220
7.15/3.33	o 221
7.15/3.33	o 222
7.15/3.33	o 223
7.15/3.33	o 224
7.15/3.33	o 225
7.15/3.33	o 226
7.15/3.33	o 227
7.15/3.33	o 228
7.15/3.33	o 229
7.15/3.33	o 230
7.15/3.33	o 231
7.15/3.33	o 232
7.15/3.33	o 233
7.15/3.33	o 234
7.45/3.50	o 235
7.65/3.50	o 236
7.65/3.50	o 237
8.20/4.03	o 238
8.20/4.04	o 239
8.20/4.04	o 240
9.05/4.72	o 241
10.83/6.43	o 242
16.73/12.24	o 243
47.97/43.36	o 244
141.54/136.83	o 245
153.14/148.47	o 246
244.84/240.00	s SATISFIABLE
244.84/240.01	v <instantiation>
244.84/240.01	v 	<list>
244.84/240.01	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] 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[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] 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] ws[28] z
244.84/240.01	v 	</list>
244.84/240.01	v 	<values>
244.84/240.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 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 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 2 2 1 2 2 1 1 2 2 1 1 2 2 2 2 1 2 2 1 1 2 2 2 2 0 0 0 0 0 0 0 1 1 2 1 0 2 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 2 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 2 1 1 2 1 0 1 0 0 1 0 0 0 1 0 1 0 1 2 2 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 2 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 2 0 2 0 0 0 0 1 0 0 2 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 2 1 1 0 1 0 0 0 0 0 2 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 2 2 2 0 0 0 1 2 0 0 0 1 0 0 0 1 1 0 0 0 1 2 0 1 1 0 2 1 1 2 2 1 1 0 0 1 2 0 0 1 0 1 0 0 0 0 0 1 0 2 2 2 1 1 2 1 0 1 1 2 2 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 2 2 1 2 2 2 1 1 0 0 2 1 2 2 2 1 1 2 1 0 0 0 1 0 1 0 1 1 2 1 0 1 1 2 0 1 0 1 1 1 1 0 1 2 1 1 2 1 1 0 0 0 0 0 1 0 2 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 2 2 0 0 0 1 0 0 0 1 0 0 0 1 0 2 1 0 1 1 0 1 1 0 0 0 0 0 2 2 1 0 0 1 0 2 0 0 1 0 0 0 1 2 2 2 2 1 0 1 0 0 0 0 2 0 0 1 2 1 1 0 0 1 0 0 0 0 0 2 1 1 2 2 2 2 1 1 0 0 0 0 1 0 1 0 1 2 2 1 1 1 0 0 0 2 0 0 0 0 2 2 2 2 2 2 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 27 83 139 192 227 238 247 262 278 289 300 312 328 349 375 405 429 442 449 456 462 467 470 480 495 516 538 565 582 246 
244.84/240.01	v 	</values>
244.84/240.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256333-1501627039/watcher-4256333-1501627039 -o /tmp/evaluation-result-4256333-1501627039/solver-4256333-1501627039 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501623088-15579 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2032653036 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256333-1501627039.xml 

pid=17818
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.53 1.54 1.59 3/195 17821
/proc/meminfo: memFree=28004604/32770624 swapFree=0/199916
[pid=17821] ppid=17818 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17821/stat : 17821 (runsolver) D 17818 17821 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11320836 24240128 106 18446744073709551615 4194304 4338465 140720422857360 140720422855000 140408186680023 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 6905856 140720422858854 140720422859334 140720422859334 140720422862794 0
/proc/17821/statm: 5918 106 53 36 0 2156 0

[startup+0.100058 s]
/proc/loadavg: 1.53 1.54 1.59 3/195 17821
/proc/meminfo: memFree=28004604/32770624 swapFree=0/199916
[pid=17821] ppid=17818 vsize=99728 CPUtime=0 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 1390 0 0 0 0 0 0 0 20 0 2 0 11320836 102121472 1187 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 0 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 24676 1187 884 1 0 16800 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 99728

[startup+0.200291 s]
/proc/loadavg: 1.53 1.54 1.59 3/195 17821
/proc/meminfo: memFree=28004604/32770624 swapFree=0/199916
[pid=17821] ppid=17818 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 5000 0 0 0 5 0 0 0 20 0 14 0 11320836 14240239616 5538 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3476621 5538 2569 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300351 s]
/proc/loadavg: 1.53 1.54 1.59 3/195 17821
/proc/meminfo: memFree=28004604/32770624 swapFree=0/199916
[pid=17821] ppid=17818 vsize=13975920 CPUtime=0.21 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 9969 0 0 0 19 2 0 0 20 0 15 0 11320836 14311342080 9373 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3493980 9373 3529 1 0 3482767 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13975920

[startup+0.700243 s]
/proc/loadavg: 1.53 1.54 1.59 3/195 17821
/proc/meminfo: memFree=28004604/32770624 swapFree=0/199916
[pid=17821] ppid=17818 vsize=13977988 CPUtime=1.01 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 13829 0 0 0 97 4 0 0 20 0 15 0 11320836 14313459712 16612 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3494497 16612 3717 1 0 3483279 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13977988

[startup+1.50063 s]
/proc/loadavg: 1.53 1.54 1.59 5/210 17836
/proc/meminfo: memFree=27913392/32770624 swapFree=0/199904
[pid=17821] ppid=17818 vsize=13982084 CPUtime=3.34 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 31105 0 0 0 322 12 0 0 20 0 15 0 11320836 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 56748 3772 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 15278 0 0 0 125 6 0 0 20 0 15 0 11320846 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024803007184 140024413358503 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 11320847 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 11320847 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 11320847 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 15 0 11320847 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 659 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17832] ppid=17818 vsize=13982084 CPUtime=0.62 cores=0,2,4,6
/proc/17821/task/17832/stat : 17832 (java) S 17818 17821 5123 0 -1 1077944384 3134 0 0 0 62 0 0 0 20 0 15 0 11320851 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024272586992 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17833] ppid=17818 vsize=13982084 CPUtime=0.61 cores=0,2,4,6
/proc/17821/task/17833/stat : 17833 (java) R 17818 17821 5123 0 -1 4202560 2760 0 0 0 61 0 0 0 20 0 15 0 11320851 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024271518640 140024779473280 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17834] ppid=17818 vsize=13982084 CPUtime=0.7 cores=0,2,4,6
/proc/17821/task/17834/stat : 17834 (java) S 17818 17821 5123 0 -1 1077944384 7259 0 0 0 68 2 0 0 20 0 15 0 11320851 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024270481392 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17835] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11320856 14317654016 56748 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 13982084

[startup+3.10069 s]
/proc/loadavg: 1.53 1.54 1.59 6/210 17836
/proc/meminfo: memFree=27753992/32770624 swapFree=0/199904
[pid=17821] ppid=17818 vsize=13982084 CPUtime=6.5 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 34009 0 0 0 625 25 0 0 20 0 15 0 11320836 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 103429 3797 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=2.83 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 15844 0 0 0 275 8 0 0 20 0 15 0 11320846 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024803011424 140024415447403 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 137 0 0 0 4 2 0 0 20 0 15 0 11320847 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 357 0 0 0 4 2 0 0 20 0 15 0 11320847 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 150 0 0 0 3 3 0 0 20 0 15 0 11320847 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 292 0 0 0 3 3 0 0 20 0 15 0 11320847 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 804 0 0 0 1 0 0 0 20 0 15 0 11320848 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17832] ppid=17818 vsize=13982084 CPUtime=1.19 cores=0,2,4,6
/proc/17821/task/17832/stat : 17832 (java) R 17818 17821 5123 0 -1 4202560 3842 0 0 0 118 1 0 0 20 0 15 0 11320851 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024272586992 140024780302496 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17833] ppid=17818 vsize=13982084 CPUtime=1.35 cores=0,2,4,6
/proc/17821/task/17833/stat : 17833 (java) S 17818 17821 5123 0 -1 1077944384 3758 0 0 0 135 0 0 0 20 0 15 0 11320851 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024271534448 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17834] ppid=17818 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/17821/task/17834/stat : 17834 (java) S 17818 17821 5123 0 -1 1077944384 7389 0 0 0 78 2 0 0 20 0 15 0 11320851 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024270481392 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17835] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11320856 14317654016 103429 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 13982084

[startup+6.30073 s]
/proc/loadavg: 1.57 1.55 1.59 3/210 17836
/proc/meminfo: memFree=27575392/32770624 swapFree=0/199912
[pid=17821] ppid=17818 vsize=13982084 CPUtime=10.73 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 35347 0 0 0 1045 28 0 0 20 0 15 0 11320836 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 110999 3803 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=6.02 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 16049 0 0 0 593 9 0 0 20 0 15 0 11320846 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024803007904 140024413390944 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 153 0 0 0 5 3 0 0 20 0 15 0 11320847 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 450 0 0 0 5 3 0 0 20 0 15 0 11320847 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 174 0 0 0 5 3 0 0 20 0 15 0 11320847 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 337 0 0 0 5 3 0 0 20 0 15 0 11320847 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 804 0 0 0 1 0 0 0 20 0 15 0 11320848 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17832] ppid=17818 vsize=13982084 CPUtime=1.62 cores=0,2,4,6
/proc/17821/task/17832/stat : 17832 (java) S 17818 17821 5123 0 -1 1077944384 4557 0 0 0 161 1 0 0 20 0 15 0 11320851 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024272586992 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17833] ppid=17818 vsize=13982084 CPUtime=1.83 cores=0,2,4,6
/proc/17821/task/17833/stat : 17833 (java) S 17818 17821 5123 0 -1 1077944384 3879 0 0 0 183 0 0 0 20 0 15 0 11320851 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024271534448 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17834] ppid=17818 vsize=13982084 CPUtime=0.85 cores=0,2,4,6
/proc/17821/task/17834/stat : 17834 (java) S 17818 17821 5123 0 -1 1077944384 7501 0 0 0 83 2 0 0 20 0 15 0 11320851 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024270481392 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17835] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 11320856 14317654016 110999 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 10.73
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.60 1.55 1.59 3/210 17836
/proc/meminfo: memFree=27406712/32770624 swapFree=0/199924
[pid=17821] ppid=17818 vsize=13982084 CPUtime=17.27 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 40032 0 0 0 1690 37 0 0 20 0 15 0 11320836 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 176850 3803 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=12.38 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 18154 0 0 0 1226 12 0 0 20 0 15 0 11320846 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024803011328 140024416782569 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 196 0 0 0 7 5 0 0 20 0 15 0 11320847 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 488 0 0 0 7 5 0 0 20 0 15 0 11320847 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 1781 0 0 0 7 5 0 0 20 0 15 0 11320847 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 611 0 0 0 6 5 0 0 20 0 15 0 11320847 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 1293 0 0 0 1 0 0 0 20 0 15 0 11320848 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 176850 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0

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

/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 554150 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 15 0 11320856 14317654016 554150 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 55.77
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.84 1.68 1.63 3/209 17920
/proc/meminfo: memFree=27416080/32770624 swapFree=0/200044
[pid=17821] ppid=17818 vsize=13982084 CPUtime=107.01 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 52037 0 0 0 10635 66 0 0 20 0 15 0 11320836 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 555283 3803 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=101.92 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 26232 0 0 0 10158 34 0 0 20 0 15 0 11320846 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024803011328 140024416482273 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 886 0 0 0 9 6 0 0 20 0 15 0 11320847 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 557 0 0 0 9 6 0 0 20 0 15 0 11320847 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 2001 0 0 0 9 6 0 0 20 0 15 0 11320847 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0.14 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 1258 0 0 0 8 6 0 0 20 0 15 0 11320847 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 2884 0 0 0 2 0 0 0 20 0 15 0 11320848 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17832] ppid=17818 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/17821/task/17832/stat : 17832 (java) S 17818 17821 5123 0 -1 1077944384 4608 0 0 0 162 1 0 0 20 0 15 0 11320851 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024272586992 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17833] ppid=17818 vsize=13982084 CPUtime=1.86 cores=0,2,4,6
/proc/17821/task/17833/stat : 17833 (java) S 17818 17821 5123 0 -1 1077944384 3909 0 0 0 186 0 0 0 20 0 15 0 11320851 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024271534448 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17834] ppid=17818 vsize=13982084 CPUtime=0.86 cores=0,2,4,6
/proc/17821/task/17834/stat : 17834 (java) S 17818 17821 5123 0 -1 1077944384 8189 0 0 0 84 2 0 0 20 0 15 0 11320851 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024270481392 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17835] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 86 0 0 0 2 2 0 0 20 0 15 0 11320856 14317654016 555283 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 107.01
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.86 1.72 1.65 3/209 17922
/proc/meminfo: memFree=27408472/32770624 swapFree=0/200096
[pid=17821] ppid=17818 vsize=13982084 CPUtime=167.06 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 55136 0 0 0 16637 69 0 0 20 0 15 0 11320836 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 555476 3803 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=161.9 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 28489 0 0 0 16156 34 0 0 20 0 15 0 11320846 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024803011504 140024415802205 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 893 0 0 0 9 6 0 0 20 0 15 0 11320847 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 588 0 0 0 9 6 0 0 20 0 15 0 11320847 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 2008 0 0 0 9 6 0 0 20 0 15 0 11320847 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 1264 0 0 0 9 6 0 0 20 0 15 0 11320847 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 2888 0 0 0 2 0 0 0 20 0 15 0 11320848 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17832] ppid=17818 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/17821/task/17832/stat : 17832 (java) S 17818 17821 5123 0 -1 1077944384 4608 0 0 0 162 1 0 0 20 0 15 0 11320851 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024272586992 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17833] ppid=17818 vsize=13982084 CPUtime=1.86 cores=0,2,4,6
/proc/17821/task/17833/stat : 17833 (java) S 17818 17821 5123 0 -1 1077944384 3909 0 0 0 186 0 0 0 20 0 15 0 11320851 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024271534448 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17834] ppid=17818 vsize=13982084 CPUtime=0.86 cores=0,2,4,6
/proc/17821/task/17834/stat : 17834 (java) S 17818 17821 5123 0 -1 1077944384 8976 0 0 0 84 2 0 0 20 0 15 0 11320851 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024270481392 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17835] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 86 0 0 0 4 4 0 0 20 0 15 0 11320856 14317654016 555476 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 167.06
Current children cumulated vsize (KiB) 13982084

[startup+222.306 s]
/proc/loadavg: 1.88 1.75 1.67 3/209 17924
/proc/meminfo: memFree=27405052/32770624 swapFree=0/200128
[pid=17821] ppid=17818 vsize=13982084 CPUtime=227.12 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 59835 0 0 0 22638 74 0 0 20 0 15 0 11320836 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 556106 3804 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=221.88 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 31120 0 0 0 22154 34 0 0 20 0 15 0 11320846 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024803011616 140024416481744 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0.17 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 1943 0 0 0 10 7 0 0 20 0 15 0 11320847 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0.17 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 761 0 0 0 10 7 0 0 20 0 15 0 11320847 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0.16 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 2055 0 0 0 9 7 0 0 20 0 15 0 11320847 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0.16 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 1426 0 0 0 9 7 0 0 20 0 15 0 11320847 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 3151 0 0 0 3 1 0 0 20 0 15 0 11320848 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17832] ppid=17818 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/17821/task/17832/stat : 17832 (java) S 17818 17821 5123 0 -1 1077944384 4624 0 0 0 162 1 0 0 20 0 15 0 11320851 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024272586992 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17833] ppid=17818 vsize=13982084 CPUtime=1.86 cores=0,2,4,6
/proc/17821/task/17833/stat : 17833 (java) S 17818 17821 5123 0 -1 1077944384 3914 0 0 0 186 0 0 0 20 0 15 0 11320851 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024271534448 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17834] ppid=17818 vsize=13982084 CPUtime=0.86 cores=0,2,4,6
/proc/17821/task/17834/stat : 17834 (java) S 17818 17821 5123 0 -1 1077944384 9308 0 0 0 84 2 0 0 20 0 15 0 11320851 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024270481392 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17835] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 106 0 0 0 5 6 0 0 20 0 15 0 11320856 14317654016 556106 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 227.12
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.92 1.77 1.68 3/209 17924
/proc/meminfo: memFree=27409320/32770624 swapFree=0/200136
[pid=17821] ppid=17818 vsize=13982084 CPUtime=244.84 cores=0,2,4,6
/proc/17821/stat : 17821 (java) S 17818 17821 5123 0 -1 1077944320 61137 0 0 0 24408 76 0 0 20 0 15 0 11320836 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140722337684352 140024798772983 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
/proc/17821/statm: 3495521 555318 3804 1 0 3484303 0
[pid=17821/tid=17823] ppid=17818 vsize=13982084 CPUtime=239.57 cores=0,2,4,6
/proc/17821/task/17823/stat : 17823 (java) R 17818 17821 5123 0 -1 4202560 32006 0 0 0 23922 35 0 0 20 0 15 0 11320846 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024803011264 140024416028893 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17824] ppid=17818 vsize=13982084 CPUtime=0.17 cores=0,2,4,6
/proc/17821/task/17824/stat : 17824 (java) S 17818 17821 5123 0 -1 1077944384 2048 0 0 0 10 7 0 0 20 0 15 0 11320847 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024733207056 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17825] ppid=17818 vsize=13982084 CPUtime=0.17 cores=0,2,4,6
/proc/17821/task/17825/stat : 17825 (java) S 17818 17821 5123 0 -1 1077944384 791 0 0 0 10 7 0 0 20 0 15 0 11320847 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024732154512 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17826] ppid=17818 vsize=13982084 CPUtime=0.16 cores=0,2,4,6
/proc/17821/task/17826/stat : 17826 (java) S 17818 17821 5123 0 -1 1077944384 2071 0 0 0 9 7 0 0 20 0 15 0 11320847 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024731101456 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17827] ppid=17818 vsize=13982084 CPUtime=0.16 cores=0,2,4,6
/proc/17821/task/17827/stat : 17827 (java) S 17818 17821 5123 0 -1 1077944384 1445 0 0 0 9 7 0 0 20 0 15 0 11320847 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024730048912 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17828] ppid=17818 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/17821/task/17828/stat : 17828 (java) S 17818 17821 5123 0 -1 1077944384 3375 0 0 0 3 1 0 0 20 0 15 0 11320848 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024276798192 140024798784130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17829] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17829/stat : 17829 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320848 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024275744480 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17830] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17830/stat : 17830 (java) S 17818 17821 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11320849 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024274691328 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17831] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17831/stat : 17831 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024273639888 140024798791579 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17832] ppid=17818 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/17821/task/17832/stat : 17832 (java) S 17818 17821 5123 0 -1 1077944384 4624 0 0 0 162 1 0 0 20 0 15 0 11320851 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024272586992 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17833] ppid=17818 vsize=13982084 CPUtime=1.86 cores=0,2,4,6
/proc/17821/task/17833/stat : 17833 (java) S 17818 17821 5123 0 -1 1077944384 3914 0 0 0 186 0 0 0 20 0 15 0 11320851 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024271534448 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17834] ppid=17818 vsize=13982084 CPUtime=0.86 cores=0,2,4,6
/proc/17821/task/17834/stat : 17834 (java) S 17818 17821 5123 0 -1 1077944384 9308 0 0 0 84 2 0 0 20 0 15 0 11320851 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024270481392 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17835] ppid=17818 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/17821/task/17835/stat : 17835 (java) S 17818 17821 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11320851 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024269429088 140024798783189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
[pid=17821/tid=17836] ppid=17818 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/17821/task/17836/stat : 17836 (java) S 17818 17821 5123 0 -1 1077944384 128 0 0 0 6 6 0 0 20 0 15 0 11320856 14317654016 555318 18446744073709551615 4194304 4196468 140722337701808 140024268377136 140024798784130 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30638080 140722337706385 140722337706571 140722337706571 140722337710031 0
Current children cumulated CPU time (s) 244.84
Current children cumulated vsize (KiB) 13982084

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

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

Child status: 143
Real time (s): 240.037
CPU time (s): 244.893
CPU user time (s): 244.113
CPU system time (s): 0.780264
CPU usage (%): 102.023
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.113
system time used= 0.780264
maximum resident set size= 2226672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8825
involuntary context switches= 358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17376 second user time and 1.33878 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml
MD5SUM	7effaf54e6298c2e2ce7b82787858117
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	367
Best CPU time to get the best result obtained on this benchmark	251.811
Satisfiable
(Un)Satisfiability was proved
Number of variables	1712
Number of constraints	1007
Number of domains	4
Minimum domain size	2
Maximum domain size	1683
Distribution of domain sizes	[{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}]
Minimum variable degree	1
Maximum variable degree	30
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}]
Number of extensional constraints	837
Number of intensional constraints	136
Distribution of constraint types	[{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4256333

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