2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	SAT (TO)	231	2400.08	2352.82

0.73/0.80	c version: 2018-07-02
0.73/0.80	c seed: 605105101
0.73/0.80	c timeout: 2400
0.73/0.80	c memlimit: 11000
0.73/0.80	c nbcore: 4
0.73/0.84	c Parsing instance...
5.30/2.71	c Parsing done, starting first complete search...
18.20/14.28	o 71
18.20/14.28	o 72
18.20/14.28	o 73
18.20/14.29	o 74
18.20/14.29	o 75
18.20/14.29	o 76
18.20/14.29	o 77
18.20/14.29	o 78
18.20/14.29	o 79
18.20/14.29	o 80
18.38/14.30	o 81
18.38/14.30	o 82
18.38/14.30	o 83
18.38/14.30	o 84
18.38/14.30	o 85
18.38/14.30	o 86
18.38/14.31	o 87
18.38/14.31	o 88
18.38/14.31	o 89
18.38/14.31	o 90
18.38/14.31	o 91
18.38/14.32	o 92
18.38/14.32	o 93
18.38/14.32	o 94
18.38/14.32	o 95
18.38/14.32	o 96
18.38/14.32	o 97
18.38/14.32	o 98
18.38/14.32	o 99
18.38/14.32	o 100
18.38/14.32	o 101
18.38/14.32	o 102
18.38/14.32	o 103
18.38/14.33	o 104
18.38/14.33	o 105
18.38/14.33	o 106
18.38/14.33	o 107
18.38/14.33	o 108
18.38/14.33	o 109
18.38/14.33	o 110
18.38/14.33	o 111
18.38/14.33	o 112
18.38/14.33	o 113
18.38/14.34	o 114
18.38/14.34	o 115
18.38/14.34	o 116
18.38/14.34	o 117
18.38/14.34	o 118
18.38/14.34	o 119
18.38/14.34	o 120
18.38/14.34	o 121
18.38/14.34	o 122
18.38/14.34	o 123
18.38/14.34	o 124
18.38/14.35	o 125
18.38/14.35	o 126
18.38/14.35	o 127
18.38/14.35	o 128
18.38/14.35	o 129
18.38/14.35	o 130
18.38/14.35	o 131
18.38/14.35	o 132
18.38/14.35	o 133
18.38/14.35	o 134
18.38/14.35	o 135
18.38/14.36	o 136
18.38/14.36	o 137
18.38/14.36	o 138
18.38/14.36	o 139
18.38/14.36	o 140
18.38/14.36	o 141
18.38/14.36	o 142
18.38/14.36	o 143
18.38/14.36	o 144
18.38/14.36	o 145
18.38/14.37	o 146
18.38/14.37	o 147
18.38/14.37	o 148
18.38/14.37	o 149
18.38/14.37	o 150
18.38/14.37	o 151
18.38/14.37	o 152
18.38/14.37	o 153
18.38/14.37	o 154
18.38/14.37	o 155
18.38/14.38	o 156
18.38/14.38	o 157
18.38/14.38	o 158
18.38/14.38	o 159
18.38/14.38	o 160
18.38/14.38	o 161
18.38/14.38	o 162
18.38/14.38	o 163
18.38/14.38	o 164
18.38/14.38	o 165
18.38/14.39	o 166
18.38/14.39	o 167
18.38/14.39	o 168
18.38/14.39	o 169
18.38/14.39	o 170
18.38/14.39	o 171
18.38/14.39	o 172
18.38/14.39	o 173
18.38/14.40	o 174
18.38/14.40	o 175
18.70/14.40	o 176
18.70/14.40	o 177
18.70/14.40	o 178
18.70/14.40	o 179
18.70/14.40	o 180
18.70/14.40	o 181
18.70/14.40	o 182
18.70/14.41	o 183
18.70/14.41	o 184
18.70/14.41	o 185
18.70/14.41	o 186
18.70/14.41	o 187
18.70/14.41	o 188
18.70/14.41	o 189
18.70/14.41	o 190
18.70/14.41	o 191
18.70/14.41	o 192
18.70/14.42	o 193
18.70/14.42	o 194
18.70/14.42	o 195
18.70/14.42	o 196
18.70/14.42	o 197
18.70/14.43	o 198
18.70/14.43	o 199
18.70/14.43	o 200
18.70/14.43	o 201
18.70/14.43	o 202
18.70/14.44	o 203
18.70/14.44	o 204
19.39/14.79	o 205
19.39/14.79	o 206
19.39/14.80	o 207
19.39/14.80	o 208
19.39/14.80	o 209
22.68/17.72	o 210
29.00/24.09	o 211
52.33/47.38	c First complete search done, starting ALNS search...
54.33/48.44	o 212
150.06/142.25	o 213
185.30/177.39	o 214
186.90/178.96	o 215
190.64/182.61	o 216
191.45/183.48	o 217
191.45/183.50	o 218
201.78/193.71	o 219
242.14/234.00	o 220
242.36/234.19	o 221
242.45/234.23	o 222
242.45/234.25	o 223
242.45/234.27	o 224
242.55/234.33	o 225
242.55/234.39	o 226
242.66/234.44	o 227
242.66/234.48	o 228
242.77/234.50	o 229
359.89/350.45	o 230
954.61/936.78	o 231
2400.05/2352.80	s SATISFIABLE
2400.05/2352.80	v <instantiation>
2400.05/2352.80	v 	<list>
2400.05/2352.80	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
2400.05/2352.80	v 	</list>
2400.05/2352.80	v 	<values>
2400.05/2352.80	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 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 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 2 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 0 0 0 2 0 2 1 1 1 1 2 2 2 2 2 1 2 2 2 1 1 2 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 2 2 1 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 2 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 2 1 1 2 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 1 0 1 2 2 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 1 0 1 1 2 2 2 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 2 1 1 2 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 2 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 2 2 2 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 2 2 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 2 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 2 0 0 1 1 0 0 1 2 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 2 2 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 1 1 1 1 0 1 2 2 0 0 0 0 0 0 0 0 0 1 0 2 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 25 73 111 150 179 192 203 214 223 235 250 269 281 289 300 309 316 328 339 346 354 366 377 388 398 413 426 231 
2400.05/2352.80	v 	</values>
2400.05/2352.80	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 (14380 MiB free)
  memory of node 1: 16384 MiB (14271 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291440-1532226534/watcher-4291440-1532226534 -o /tmp/evaluation-result-4291440-1532226534/solver-4291440-1532226534 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 605105101 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291440-1532226534.xml 

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

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

solver pid=26777, runsolver pid=26770

[startup+0.100139 s]*
/proc/loadavg: 2.36 2.13 2.08 2/191 26780
/proc/meminfo: memFree=29337128/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=361196 memory=7700 CPUtime=0 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 1712 0 0 0 0 0 0 0 20 0 2 0 40216638 369864704 1925 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 90299 1925 1072 1 0 79210 0
[pid=26777/tid=26779] ppid=26770 vsize=361196 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) S 26770 26777 26714 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 40216643 369864704 1925 33554432000 4194304 4196468 140724618635824 140642665195936 140642660964994 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 361196 KiB
Current children cumulated memory: 7700 KiB

[startup+0.209573 s]*
/proc/loadavg: 2.36 2.13 2.08 2/205 26794
/proc/meminfo: memFree=29318608/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=13681496 memory=19256 CPUtime=0.05 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 4149 0 0 0 4 1 0 0 20 0 9 0 40216638 14009851904 4814 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3420374 4814 2187 1 0 3382915 0
[pid=26777/tid=26779] ppid=26770 vsize=13681496 memory=7022364594140610616 CPUtime=0.04 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) D 26770 26777 26714 0 -1 1077944384 2777 0 0 0 4 0 0 0 20 0 9 0 40216643 14009851904 4814 33554432000 4194304 4196468 140724618635824 140642665188888 140642653631861 0 4 0 16800971 18446744072101756452 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=13681496 memory=343 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 40216649 14009851904 4814 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=13681496 memory=139899671932651 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 40216649 14009851904 4814 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 40216649 14009851904 4814 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=13681496 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40216649 14009851904 4814 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=13681496 memory=139899671725696 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 40216651 14009851904 4814 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=13681496 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 40216652 14009851904 4814 33554432000 4194304 4196468 140724618635824 140641572938912 140642660964053 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=13681496 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 40216652 14009851904 4814 33554432000 4194304 4196468 140724618635824 140641571885808 140642660964053 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13681496 KiB
Current children cumulated memory: 19256 KiB

[startup+0.309815 s]*
/proc/loadavg: 2.36 2.13 2.08 4/217 26806
/proc/meminfo: memFree=29302000/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=14082740 memory=33092 CPUtime=0.13 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 7198 0 0 0 12 1 0 0 20 0 15 0 40216638 14420725760 8273 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3520685 8273 3133 1 0 3482761 0
[pid=26777/tid=26779] ppid=26770 vsize=14082740 memory=8389772277269004345 CPUtime=0.1 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 5261 0 0 0 9 1 0 0 20 0 15 0 40216643 14420725760 8273 33554432000 4194304 4196468 140724618635824 140642665170304 140642660975773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14082740 memory=301741420786754316 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 8273 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14082740 memory=230790 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 8273 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14082740 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 8273 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14082740 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 8273 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14082740 memory=-6010735839454845788 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216651 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216652 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641572938912 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=14082740 memory=139899671725696 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216652 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641571885808 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26795] ppid=26770 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26795/stat : 26795 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641570834384 140642660972443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26797] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26797/stat : 26797 (java) S 26770 26777 26714 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 40216662 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641569782512 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26799] ppid=26770 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26799/stat : 26799 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216662 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641568729968 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26801] ppid=26770 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26777/task/26801/stat : 26801 (java) S 26770 26777 26714 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 15 0 40216662 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641567676912 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26803] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26803/stat : 26803 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641566624608 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26806] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26806/stat : 26806 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216664 14420725760 8273 33554432000 4194304 4196468 140724618635824 140641565571632 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33092 KiB

[startup+0.700731 s]
/proc/loadavg: 2.36 2.13 2.08 4/217 26806
/proc/meminfo: memFree=29270828/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=14082740 memory=56480 CPUtime=0.61 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 11891 0 0 0 58 3 0 0 20 0 15 0 40216638 14420725760 14120 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3520685 14120 3411 1 0 3482761 0
[pid=26777/tid=26779] ppid=26770 vsize=14082740 memory=4140 CPUtime=0.44 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 9543 0 0 0 42 2 0 0 20 0 15 0 40216643 14420725760 14120 33554432000 4194304 4196468 140724618635824 140642665171248 140642660967711 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 14120 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14082740 memory=139899567088224 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 14120 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 14120 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216649 14420725760 14120 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40216651 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=14082740 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216652 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641572938912 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216652 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641571885808 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26795] ppid=26770 vsize=14082740 memory=-2897801490638248215 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26795/stat : 26795 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641570834384 140642660972443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26797] ppid=26770 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26777/task/26797/stat : 26797 (java) S 26770 26777 26714 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 15 0 40216662 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641569782512 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26799] ppid=26770 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26777/task/26799/stat : 26799 (java) S 26770 26777 26714 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 40216662 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641568729968 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26801] ppid=26770 vsize=14082740 memory=228 CPUtime=0.1 cores=0,2,4,6
/proc/26777/task/26801/stat : 26801 (java) S 26770 26777 26714 0 -1 1077944384 328 0 0 0 10 0 0 0 20 0 15 0 40216662 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641567676912 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26803] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26803/stat : 26803 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641566624608 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26806] ppid=26770 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26806/stat : 26806 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216664 14420725760 14120 33554432000 4194304 4196468 140724618635824 140641565571632 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 56480 KiB

[startup+1.50069 s]
/proc/loadavg: 2.36 2.13 2.08 8/217 26806
/proc/meminfo: memFree=29186332/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=14086856 memory=130272 CPUtime=2.74 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 23110 0 3 0 267 7 0 0 20 0 15 0 40216638 14424940544 32568 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3521714 32568 3540 1 0 3483785 0
[pid=26777/tid=26779] ppid=26770 vsize=14086856 memory=6791534058613427641 CPUtime=1.19 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 17052 0 3 0 115 4 0 0 20 0 15 0 40216643 14424940544 32568 33554432000 4194304 4196468 140724618635824 140642665190864 140642283324855 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14424940544 32568 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14424940544 32568 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216649 14424940544 32568 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216649 14424940544 32568 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216651 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=14086856 memory=56 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216652 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641572938912 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=14086856 memory=9168 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216652 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641571885808 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26795] ppid=26770 vsize=14086856 memory=25281 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26795/stat : 26795 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641570834384 140642660972443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26797] ppid=26770 vsize=14086856 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/26777/task/26797/stat : 26797 (java) R 26770 26777 26714 0 -1 4202560 1401 0 0 0 52 0 0 0 20 0 15 0 40216662 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641569763232 140642642498447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26799] ppid=26770 vsize=14086856 memory=-1161699032755964503 CPUtime=0.48 cores=0,2,4,6
/proc/26777/task/26799/stat : 26799 (java) R 26770 26777 26714 0 -1 4202560 1557 0 0 0 48 0 0 0 20 0 15 0 40216662 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641568720944 140724619860407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26801] ppid=26770 vsize=14086856 memory=6944656592455097440 CPUtime=0.5 cores=0,2,4,6
/proc/26777/task/26801/stat : 26801 (java) S 26770 26777 26714 0 -1 1077944384 1700 0 0 0 50 0 0 0 20 0 15 0 40216662 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641567676912 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26803] ppid=26770 vsize=14086856 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26803/stat : 26803 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641566624608 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26806] ppid=26770 vsize=14086856 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26806/stat : 26806 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216664 14424940544 32568 33554432000 4194304 4196468 140724618635824 140641565571632 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 130272 KiB

[startup+3.1103 s]
/proc/loadavg: 2.36 2.13 2.08 6/217 26806
/proc/meminfo: memFree=28814860/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=14093000 memory=292760 CPUtime=6.58 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 38162 0 3 0 642 16 0 0 20 0 15 0 40216638 14431232000 73190 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3523250 73190 3584 1 0 3485321 0
[pid=26777/tid=26779] ppid=26770 vsize=14093000 memory=279799134688128 CPUtime=2.73 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 20230 0 3 0 267 6 0 0 20 0 15 0 40216643 14431232000 73190 33554432000 4194304 4196468 140724618635824 140642665189664 140642281635208 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14093000 memory=9348 CPUtime=0.05 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 1088 0 0 0 4 1 0 0 20 0 15 0 40216649 14431232000 73190 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14093000 memory=6872598998417432672 CPUtime=0.04 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 83 0 0 0 3 1 0 0 20 0 15 0 40216649 14431232000 73190 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14093000 memory=56 CPUtime=0.04 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 315 0 0 0 3 1 0 0 20 0 15 0 40216649 14431232000 73190 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14093000 memory=-7361174377247368086 CPUtime=0.05 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 176 0 0 0 4 1 0 0 20 0 15 0 40216649 14431232000 73190 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14093000 memory=6226338997468160874 CPUtime=0.01 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 15 0 40216651 14431232000 73190 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0

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

/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 93954 0 3 0 218570 46 0 0 20 0 15 0 40216643 14433329152 190439 33554432000 4194304 4196468 140724618635824 140642665191056 140642291019281 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14095048 memory=796 CPUtime=12.39 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 15561 0 0 0 1201 38 0 0 20 0 15 0 40216649 14433329152 190439 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14095048 memory=763292 CPUtime=12.42 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 17571 0 0 0 1207 35 0 0 20 0 15 0 40216649 14433329152 190439 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14095048 memory=779708 CPUtime=12.39 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 16256 0 0 0 1203 36 0 0 20 0 15 0 40216649 14433329152 190439 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14095048 memory=800924 CPUtime=12.39 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 16615 0 0 0 1202 37 0 0 20 0 15 0 40216649 14433329152 190439 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14095048 memory=807752 CPUtime=2.25 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 31177 0 0 0 194 31 0 0 20 0 15 0 40216651 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=14095048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641572938976 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=14095048 memory=763292 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641571885824 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26795] ppid=26770 vsize=14095048 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26795/stat : 26795 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641570834384 140642660972443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26797] ppid=26770 vsize=14095048 memory=0 CPUtime=2.61 cores=0,2,4,6
/proc/26777/task/26797/stat : 26797 (java) S 26770 26777 26714 0 -1 1077944384 18496 0 0 0 258 3 0 0 20 0 15 0 40216662 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641569782512 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26799] ppid=26770 vsize=14095048 memory=761756 CPUtime=2.72 cores=0,2,4,6
/proc/26777/task/26799/stat : 26799 (java) S 26770 26777 26714 0 -1 1077944384 14134 0 0 0 270 2 0 0 20 0 15 0 40216662 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641568729968 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26801] ppid=26770 vsize=14095048 memory=763292 CPUtime=1.41 cores=0,2,4,6
/proc/26777/task/26801/stat : 26801 (java) S 26770 26777 26714 0 -1 1077944384 40903 0 0 0 137 4 0 0 20 0 15 0 40216662 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641567676912 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26803] ppid=26770 vsize=14095048 memory=763292 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26803/stat : 26803 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641566624608 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26806] ppid=26770 vsize=14095048 memory=764952 CPUtime=1.13 cores=0,2,4,6
/proc/26777/task/26806/stat : 26806 (java) S 26770 26777 26714 0 -1 1077944384 1356 0 0 0 53 60 0 0 20 0 15 0 40216664 14433329152 190439 33554432000 4194304 4196468 140724618635824 140641565571632 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 2245.98 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 761756 KiB

[startup+2262.3 s]
/proc/loadavg: 1.32 1.44 1.48 4/215 26897
/proc/meminfo: memFree=27982340/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=14095048 memory=769652 CPUtime=2307.23 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 271900 0 3 0 230439 284 0 0 20 0 15 0 40216638 14433329152 192413 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3523762 192413 3621 1 0 3485833 0
[pid=26777/tid=26779] ppid=26770 vsize=14095048 memory=751488 CPUtime=2245.67 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 97130 0 3 0 224521 46 0 0 20 0 15 0 40216643 14433329152 192413 33554432000 4194304 4196468 140724618635824 140642665191056 140642278787160 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14095048 memory=761156 CPUtime=12.81 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 15782 0 0 0 1242 39 0 0 20 0 15 0 40216649 14433329152 192413 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14095048 memory=4140 CPUtime=12.84 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 17788 0 0 0 1247 37 0 0 20 0 15 0 40216649 14433329152 192413 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14095048 memory=777060 CPUtime=12.79 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 16560 0 0 0 1242 37 0 0 20 0 15 0 40216649 14433329152 192413 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14095048 memory=0 CPUtime=12.81 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 16772 0 0 0 1242 39 0 0 20 0 15 0 40216649 14433329152 192413 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14095048 memory=781748 CPUtime=2.3 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 31373 0 0 0 198 32 0 0 20 0 15 0 40216651 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=14095048 memory=761672 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641572938976 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=14095048 memory=756616 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641571885824 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26795] ppid=26770 vsize=14095048 memory=751488 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26795/stat : 26795 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641570834384 140642660972443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26797] ppid=26770 vsize=14095048 memory=751488 CPUtime=2.61 cores=0,2,4,6
/proc/26777/task/26797/stat : 26797 (java) S 26770 26777 26714 0 -1 1077944384 18656 0 0 0 258 3 0 0 20 0 15 0 40216662 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641569782512 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26799] ppid=26770 vsize=14095048 memory=1240 CPUtime=2.72 cores=0,2,4,6
/proc/26777/task/26799/stat : 26799 (java) S 26770 26777 26714 0 -1 1077944384 14136 0 0 0 270 2 0 0 20 0 15 0 40216662 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641568729968 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26801] ppid=26770 vsize=14095048 memory=758060 CPUtime=1.41 cores=0,2,4,6
/proc/26777/task/26801/stat : 26801 (java) S 26770 26777 26714 0 -1 1077944384 40905 0 0 0 137 4 0 0 20 0 15 0 40216662 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641567676912 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26803] ppid=26770 vsize=14095048 memory=756104 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26803/stat : 26803 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641566624608 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26806] ppid=26770 vsize=14095048 memory=756104 CPUtime=1.17 cores=0,2,4,6
/proc/26777/task/26806/stat : 26806 (java) S 26770 26777 26714 0 -1 1077944384 1362 0 0 0 55 62 0 0 20 0 15 0 40216664 14433329152 192413 33554432000 4194304 4196468 140724618635824 140641565571632 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 2307.23 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 769652 KiB

[startup+2322.3 s]
/proc/loadavg: 1.46 1.45 1.48 4/215 26898
/proc/meminfo: memFree=27967296/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=14095048 memory=819244 CPUtime=2368.49 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 274870 0 3 0 236552 297 0 0 20 0 15 0 40216638 14433329152 204811 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3523762 204811 3621 1 0 3485833 0
[pid=26777/tid=26779] ppid=26770 vsize=14095048 memory=819244 CPUtime=2305.18 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 98906 0 3 0 230470 48 0 0 20 0 15 0 40216643 14433329152 204811 33554432000 4194304 4196468 140724618635824 140642665190912 140642291019227 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14095048 memory=811936 CPUtime=13.24 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 15983 0 0 0 1283 41 0 0 20 0 15 0 40216649 14433329152 204811 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14095048 memory=747392 CPUtime=13.26 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 17983 0 0 0 1287 39 0 0 20 0 15 0 40216649 14433329152 204811 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14095048 memory=819244 CPUtime=13.2 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 16948 0 0 0 1281 39 0 0 20 0 15 0 40216649 14433329152 204811 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14095048 memory=819244 CPUtime=13.23 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 17065 0 0 0 1282 41 0 0 20 0 15 0 40216649 14433329152 204811 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14095048 memory=767896 CPUtime=2.34 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 31473 0 0 0 202 32 0 0 20 0 15 0 40216651 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=14095048 memory=818136 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641572938976 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=14095048 memory=14200 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641571885824 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26795] ppid=26770 vsize=14095048 memory=777556 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26795/stat : 26795 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641570834384 140642660972443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26797] ppid=26770 vsize=14095048 memory=4140 CPUtime=2.61 cores=0,2,4,6
/proc/26777/task/26797/stat : 26797 (java) S 26770 26777 26714 0 -1 1077944384 18656 0 0 0 258 3 0 0 20 0 15 0 40216662 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641569782512 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26799] ppid=26770 vsize=14095048 memory=824280 CPUtime=2.72 cores=0,2,4,6
/proc/26777/task/26799/stat : 26799 (java) S 26770 26777 26714 0 -1 1077944384 14136 0 0 0 270 2 0 0 20 0 15 0 40216662 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641568729968 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26801] ppid=26770 vsize=14095048 memory=823268 CPUtime=1.41 cores=0,2,4,6
/proc/26777/task/26801/stat : 26801 (java) S 26770 26777 26714 0 -1 1077944384 40906 0 0 0 137 4 0 0 20 0 15 0 40216662 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641567676912 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26803] ppid=26770 vsize=14095048 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26803/stat : 26803 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641566624608 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26806] ppid=26770 vsize=14095048 memory=2240 CPUtime=1.2 cores=0,2,4,6
/proc/26777/task/26806/stat : 26806 (java) S 26770 26777 26714 0 -1 1077944384 1378 0 0 0 56 64 0 0 20 0 15 0 40216664 14433329152 204811 33554432000 4194304 4196468 140724618635824 140641565571632 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 2368.49 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 819244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2352.8 s]
/proc/loadavg: 1.54 1.47 1.49 4/215 26899
/proc/meminfo: memFree=27986464/32770624 swapFree=67108860/67108860
[pid=26777] ppid=26770 vsize=14095048 memory=795024 CPUtime=2400.05 cores=0,2,4,6
/proc/26777/stat : 26777 (java) S 26770 26777 26714 0 -1 1077944320 279226 0 3 0 239704 301 0 0 20 0 15 0 40216638 14433329152 198756 33554432000 4194304 4196468 140724618635824 140724618618368 140642660953847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
/proc/26777/statm: 3523762 198756 3621 1 0 3485833 0
[pid=26777/tid=26779] ppid=26770 vsize=14095048 memory=6791534058613427641 CPUtime=2335.28 cores=0,2,4,6
/proc/26777/task/26779/stat : 26779 (java) R 26770 26777 26714 0 -1 4202560 99541 0 3 0 233480 48 0 0 20 0 15 0 40216643 14433329152 198756 33554432000 4194304 4196468 140724618635824 140642665191024 140642291688619 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26783] ppid=26770 vsize=14095048 memory=15872 CPUtime=13.58 cores=0,2,4,6
/proc/26777/task/26783/stat : 26783 (java) S 26770 26777 26714 0 -1 1077944384 16050 0 0 0 1317 41 0 0 20 0 15 0 40216649 14433329152 198756 33554432000 4194304 4196468 140724618635824 140642598554640 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26786] ppid=26770 vsize=14095048 memory=4052 CPUtime=13.61 cores=0,2,4,6
/proc/26777/task/26786/stat : 26786 (java) S 26770 26777 26714 0 -1 1077944384 18062 0 0 0 1321 40 0 0 20 0 15 0 40216649 14433329152 198756 33554432000 4194304 4196468 140724618635824 140642597502096 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26787] ppid=26770 vsize=14095048 memory=1792 CPUtime=13.56 cores=0,2,4,6
/proc/26777/task/26787/stat : 26787 (java) S 26770 26777 26714 0 -1 1077944384 17255 0 0 0 1316 40 0 0 20 0 15 0 40216649 14433329152 198756 33554432000 4194304 4196468 140724618635824 140642255117072 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26788] ppid=26770 vsize=14095048 memory=956 CPUtime=13.57 cores=0,2,4,6
/proc/26777/task/26788/stat : 26788 (java) S 26770 26777 26714 0 -1 1077944384 17122 0 0 0 1316 41 0 0 20 0 15 0 40216649 14433329152 198756 33554432000 4194304 4196468 140724618635824 140642254064528 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26789] ppid=26770 vsize=14095048 memory=2340 CPUtime=2.38 cores=0,2,4,6
/proc/26777/task/26789/stat : 26789 (java) S 26770 26777 26714 0 -1 1077944384 34674 0 0 0 205 33 0 0 20 0 15 0 40216651 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641573992688 140642660964994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26792] ppid=26770 vsize=14095048 memory=932 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26792/stat : 26792 (java) S 26770 26777 26714 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641572938976 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26794] ppid=26770 vsize=14095048 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26794/stat : 26794 (java) S 26770 26777 26714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 40216652 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641571885824 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26795] ppid=26770 vsize=14095048 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26795/stat : 26795 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641570834384 140642660972443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26797] ppid=26770 vsize=14095048 memory=795024 CPUtime=2.61 cores=0,2,4,6
/proc/26777/task/26797/stat : 26797 (java) S 26770 26777 26714 0 -1 1077944384 18658 0 0 0 258 3 0 0 20 0 15 0 40216662 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641569782512 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26799] ppid=26770 vsize=14095048 memory=1712 CPUtime=2.72 cores=0,2,4,6
/proc/26777/task/26799/stat : 26799 (java) S 26770 26777 26714 0 -1 1077944384 14138 0 0 0 270 2 0 0 20 0 15 0 40216662 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641568729968 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26801] ppid=26770 vsize=14095048 memory=1952 CPUtime=1.41 cores=0,2,4,6
/proc/26777/task/26801/stat : 26801 (java) S 26770 26777 26714 0 -1 1077944384 40908 0 0 0 137 4 0 0 20 0 15 0 40216662 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641567676912 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26803] ppid=26770 vsize=14095048 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/26777/task/26803/stat : 26803 (java) S 26770 26777 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216662 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641566624608 140642660964053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
[pid=26777/tid=26806] ppid=26770 vsize=14095048 memory=8356 CPUtime=1.22 cores=0,2,4,6
/proc/26777/task/26806/stat : 26806 (java) S 26770 26777 26714 0 -1 1077944384 1382 0 0 0 57 65 0 0 20 0 15 0 40216664 14433329152 198756 33554432000 4194304 4196468 140724618635824 140641565571632 140642660964994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140724618642517 140724618642697 140724618642697 140724618645455 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14095048 KiB
Current children cumulated memory: 795024 KiB

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

[startup+2352.82 s]
# the end of solver process 26777 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.06 s, system=3.02408 s

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

Child status: 143
Real time (s): 2352.82
CPU time (s): 2400.08
CPU user time (s): 2397.06
CPU system time (s): 3.02408
CPU usage (%): 102.009
Max. virtual memory (cumulated for all children) (KiB): 14095048
Max. memory (cumulated for all children) (KiB): 1941352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.06
system time used= 3.02407
maximum resident set size= 1949652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279416
page faults= 3
swaps= 0
block input operations= 2104
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101269
involuntary context switches= 4457


# summary of solver processes directly reported to runsolver:
#   pid: 26777
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2397.06
#   total CPU system time (s): 3.02408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8554 second user time and 22.654 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	OPT
Best value of the objective obtained on this benchmark	326
Best CPU time to get the best result obtained on this benchmark	300.557
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 4291440

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