2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	223	252.063	241.029

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 512918262
0.68/0.55	c timeout: 252
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.58	c Parsing instance...
4.32/2.10	c Parsing done, starting first complete search...
16.86/12.97	o 71
16.86/12.97	o 72
16.86/12.98	o 73
16.86/12.98	o 74
16.86/12.98	o 75
16.86/12.98	o 76
16.86/12.98	o 77
16.86/12.99	o 78
16.86/12.99	o 79
16.86/12.99	o 80
16.86/12.99	o 81
17.05/13.00	o 82
17.05/13.00	o 83
17.05/13.00	o 84
17.05/13.00	o 85
17.05/13.00	o 86
17.05/13.00	o 87
17.05/13.00	o 88
17.05/13.00	o 89
17.05/13.00	o 90
17.05/13.01	o 91
17.05/13.01	o 92
17.05/13.01	o 93
17.05/13.01	o 94
17.05/13.01	o 95
17.05/13.01	o 96
17.05/13.01	o 97
17.05/13.01	o 98
17.05/13.01	o 99
17.05/13.01	o 100
17.05/13.01	o 101
17.05/13.02	o 102
17.05/13.02	o 103
17.05/13.02	o 104
17.05/13.02	o 105
17.05/13.02	o 106
17.05/13.02	o 107
17.05/13.02	o 108
17.05/13.02	o 109
17.05/13.02	o 110
17.05/13.03	o 111
17.05/13.03	o 112
17.05/13.03	o 113
17.05/13.03	o 114
17.05/13.03	o 115
17.05/13.03	o 116
17.05/13.03	o 117
17.05/13.03	o 118
17.05/13.03	o 119
17.05/13.03	o 120
17.05/13.03	o 121
17.05/13.04	o 122
17.05/13.04	o 123
17.05/13.04	o 124
17.05/13.04	o 125
17.05/13.04	o 126
17.05/13.04	o 127
17.05/13.04	o 128
17.05/13.04	o 129
17.05/13.04	o 130
17.05/13.05	o 131
17.05/13.05	o 132
17.05/13.05	o 133
17.05/13.05	o 134
17.05/13.05	o 135
17.05/13.05	o 136
17.05/13.05	o 137
17.05/13.05	o 138
17.05/13.05	o 139
17.05/13.05	o 140
17.05/13.06	o 141
17.05/13.06	o 142
17.05/13.06	o 143
17.05/13.06	o 144
17.05/13.06	o 145
17.05/13.06	o 146
17.05/13.06	o 147
17.05/13.06	o 148
17.05/13.06	o 149
17.05/13.06	o 150
17.05/13.07	o 151
17.05/13.07	o 152
17.05/13.07	o 153
17.05/13.07	o 154
17.05/13.07	o 155
17.05/13.07	o 156
17.05/13.07	o 157
17.05/13.07	o 158
17.05/13.07	o 159
17.05/13.07	o 160
17.05/13.08	o 161
17.05/13.08	o 162
17.05/13.08	o 163
17.05/13.08	o 164
17.05/13.08	o 165
17.05/13.08	o 166
17.05/13.08	o 167
17.05/13.08	o 168
17.05/13.08	o 169
17.05/13.09	o 170
17.05/13.09	o 171
17.05/13.09	o 172
17.05/13.09	o 173
17.05/13.09	o 174
17.05/13.09	o 175
17.05/13.09	o 176
17.05/13.09	o 177
17.05/13.09	o 178
17.37/13.10	o 179
17.37/13.10	o 180
17.37/13.10	o 181
17.37/13.10	o 182
17.37/13.10	o 183
17.37/13.10	o 184
17.37/13.10	o 185
17.37/13.10	o 186
17.37/13.11	o 187
17.37/13.11	o 188
17.37/13.11	o 189
17.37/13.11	o 190
17.37/13.11	o 191
17.37/13.11	o 192
17.37/13.11	o 193
17.37/13.12	o 194
17.37/13.12	o 195
17.37/13.12	o 196
17.37/13.12	o 197
17.37/13.12	o 198
17.37/13.12	o 199
17.37/13.13	o 200
17.37/13.13	o 201
17.37/13.13	o 202
17.37/13.14	o 203
17.37/13.14	o 204
18.17/13.48	o 205
18.17/13.48	o 206
18.17/13.48	o 207
18.17/13.48	o 208
18.17/13.49	o 209
21.14/16.16	o 210
26.96/21.95	o 211
31.68/26.63	c First complete search done, starting ALNS search...
31.86/26.74	o 212
47.03/40.07	o 213
50.08/43.00	o 214
50.08/43.01	o 215
50.08/43.07	o 216
50.41/43.30	o 217
50.41/43.31	o 218
50.41/43.31	o 219
50.41/43.32	o 220
50.41/43.32	o 221
50.41/43.33	o 222
52.08/44.99	o 223
252.02/241.00	s SATISFIABLE
252.02/241.00	v <instantiation>
252.02/241.00	v 	<list>
252.02/241.00	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] z
252.02/241.00	v 	</list>
252.02/241.00	v 	<values>
252.02/241.00	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 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 0 0 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 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 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 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 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 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 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 1 1 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 1 1 1 1 2 2 2 2 2 1 2 2 2 1 1 2 1 2 1 0 0 0 0 2 2 2 2 1 0 0 0 0 2 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 0 2 0 2 2 2 1 0 0 2 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 2 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 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 2 2 2 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 2 2 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 2 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 2 1 1 0 0 0 0 0 0 0 2 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 25 77 129 179 216 236 251 262 271 283 298 317 329 337 348 357 365 378 389 400 409 415 422 427 434 446 458 223 
252.02/241.01	v 	</values>
252.02/241.01	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 (13511 MiB free)
  memory of node 1: 16384 MiB (9714 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310244-1534324554/watcher-4310244-1534324554 -o /tmp/evaluation-result-4310244-1534324554/solver-4310244-1534324554 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25433 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 512918262 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310244-1534324554.xml 

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

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

solver pid=25900, runsolver pid=25897

[startup+0.100482 s]*
/proc/loadavg: 1.41 1.50 1.48 4/215 25915
/proc/meminfo: memFree=23764436/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14082736 memory=34164 CPUtime=0.11 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 6952 0 0 0 10 1 0 0 20 0 15 0 250018624 14420721664 8541 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3520684 8541 3137 1 0 3482761 0
[pid=25900/tid=25902] ppid=25897 vsize=14082736 memory=-8485517772678401922 CPUtime=0.09 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 5039 0 0 0 8 1 0 0 20 0 15 0 250018624 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212727740880 140212723555734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250018626 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250018627 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212196320800 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250018627 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212195267952 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) S 25897 25900 21905 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212193163632 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212192110832 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0.01 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) R 25897 25900 21905 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 250018629 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212191058032 140212704784112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018630 14420721664 8541 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34164 KiB

[startup+0.210216 s]*
/proc/loadavg: 1.41 1.50 1.48 4/215 25915
/proc/meminfo: memFree=23749676/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14082736 memory=47556 CPUtime=0.31 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 9988 0 0 0 29 2 0 0 20 0 15 0 250018624 14420721664 11889 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3520684 11889 3379 1 0 3482761 0
[pid=25900/tid=25902] ppid=25897 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 7739 0 0 0 18 1 0 0 20 0 15 0 250018624 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212727771104 140212723565146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14082736 memory=140581967106475 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250018626 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250018627 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212196320800 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250018627 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212195267952 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) R 25897 25900 21905 0 -1 4202560 428 0 0 0 2 0 0 0 20 0 15 0 250018629 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212193150416 140212701017248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) R 25897 25900 21905 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 250018629 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212192110928 140212723554005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0.06 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) R 25897 25900 21905 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 15 0 250018629 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212191054968 140212723555734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018630 14420721664 11889 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47556 KiB

[startup+0.310455 s]*
/proc/loadavg: 1.41 1.50 1.48 3/215 25915
/proc/meminfo: memFree=23745884/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14082736 memory=51040 CPUtime=0.44 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 10361 0 0 0 41 3 0 0 20 0 15 0 250018624 14420721664 12760 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3520684 12760 3382 1 0 3482761 0
[pid=25900/tid=25902] ppid=25897 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 8090 0 0 0 28 2 0 0 20 0 15 0 250018624 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212727749808 140212708709344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14082736 memory=4294977828 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14082736 memory=140581967105341 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250018625 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250018626 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250018627 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212196320800 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250018627 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212195267952 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) S 25897 25900 21905 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 15 0 250018629 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212193163632 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) S 25897 25900 21905 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 250018629 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212192110832 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0.08 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) S 25897 25900 21905 0 -1 1077944384 290 0 0 0 8 0 0 0 20 0 15 0 250018629 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212191058032 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14082736 memory=140581967083136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018630 14420721664 12760 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51040 KiB

[startup+0.700699 s]
/proc/loadavg: 1.41 1.50 1.48 3/215 25915
/proc/meminfo: memFree=23723812/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14084804 memory=88856 CPUtime=0.99 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 17070 0 0 0 94 5 0 0 20 0 15 0 250018624 14422839296 22214 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3521201 22214 3497 1 0 3483273 0
[pid=25900/tid=25902] ppid=25897 vsize=14084804 memory=251851580668050 CPUtime=0.67 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 14397 0 0 0 63 4 0 0 20 0 15 0 250018624 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212727758736 140212703769987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14084804 memory=288230376153010010 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250018625 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250018626 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250018627 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212196320800 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250018627 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212195267952 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14084804 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) S 25897 25900 21905 0 -1 1077944384 578 0 0 0 7 0 0 0 20 0 15 0 250018629 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212193163632 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) S 25897 25900 21905 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 15 0 250018629 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212192110832 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) S 25897 25900 21905 0 -1 1077944384 374 0 0 0 15 0 0 0 20 0 15 0 250018629 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212191058032 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14084804 memory=12552 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018630 14422839296 22214 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88856 KiB

[startup+1.5007 s]
/proc/loadavg: 1.41 1.50 1.48 6/215 25915
/proc/meminfo: memFree=23686400/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14090948 memory=188820 CPUtime=3.09 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 26218 0 0 0 301 8 0 0 20 0 15 0 250018624 14429130752 47205 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3522737 47205 3544 1 0 3484809 0
[pid=25900/tid=25902] ppid=25897 vsize=14090948 memory=10759 CPUtime=1.46 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 19747 0 0 0 141 5 0 0 20 0 15 0 250018624 14429130752 47205 33554432000 4194304 4196468 140726641969744 140212727770592 140212701989393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14429130752 47205 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14429130752 47205 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250018625 14429130752 47205 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250018625 14429130752 47205 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 250018626 14429130752 47205 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0

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

/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 36077 0 0 0 10135 46 0 0 20 0 15 0 250018624 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212727781472 140212317146191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14092996 memory=2928336 CPUtime=0.35 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 1134 0 0 0 24 11 0 0 20 0 15 0 250018625 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14092996 memory=2926800 CPUtime=0.36 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 1099 0 0 0 25 11 0 0 20 0 15 0 250018625 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14092996 memory=2930948 CPUtime=0.36 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 1719 0 0 0 24 12 0 0 20 0 15 0 250018625 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14092996 memory=2930316 CPUtime=0.34 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 2033 0 0 0 22 12 0 0 20 0 15 0 250018625 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14092996 memory=2929860 CPUtime=0.05 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 2745 0 0 0 4 1 0 0 20 0 15 0 250018626 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14092996 memory=2926816 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212196320864 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14092996 memory=2926800 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212195267968 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14092996 memory=2928336 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14092996 memory=2932388 CPUtime=2.66 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) S 25897 25900 21905 0 -1 1077944384 8229 0 0 0 265 1 0 0 20 0 15 0 250018629 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212193163632 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14092996 memory=2928368 CPUtime=2.61 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) S 25897 25900 21905 0 -1 1077944384 6951 0 0 0 261 0 0 0 20 0 15 0 250018629 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212192110832 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14092996 memory=2928368 CPUtime=1.23 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) S 25897 25900 21905 0 -1 1077944384 9751 0 0 0 121 2 0 0 20 0 15 0 250018629 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212191058032 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14092996 memory=2928368 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14092996 memory=2928368 CPUtime=0.05 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 484 0 0 0 2 3 0 0 20 0 15 0 250018630 14431227904 732084 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 109.92 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2928336 KiB

[startup+162.301 s]
/proc/loadavg: 1.64 1.56 1.51 3/215 25997
/proc/meminfo: memFree=20669352/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14092996 memory=2948064 CPUtime=171.2 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 85574 0 0 0 17000 120 0 0 20 0 15 0 250018624 14431227904 737016 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3523249 737016 3600 1 0 3485321 0
[pid=25900/tid=25902] ppid=25897 vsize=14092996 memory=2946024 CPUtime=161.22 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 39815 0 0 0 16075 47 0 0 20 0 15 0 250018624 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212727781584 140212323677224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14092996 memory=2940920 CPUtime=0.77 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 1587 0 0 0 61 16 0 0 20 0 15 0 250018625 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14092996 memory=2948576 CPUtime=0.78 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 2229 0 0 0 63 15 0 0 20 0 15 0 250018625 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14092996 memory=1580 CPUtime=0.77 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 2577 0 0 0 61 16 0 0 20 0 15 0 250018625 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14092996 memory=496 CPUtime=0.76 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 2671 0 0 0 60 16 0 0 20 0 15 0 250018625 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14092996 memory=7528 CPUtime=0.14 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 2992 0 0 0 12 2 0 0 20 0 15 0 250018626 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14092996 memory=804 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212196320864 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14092996 memory=2945008 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212195267968 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14092996 memory=2945008 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14092996 memory=2946024 CPUtime=2.68 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) S 25897 25900 21905 0 -1 1077944384 9499 0 0 0 267 1 0 0 20 0 15 0 250018629 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212193163632 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14092996 memory=3752 CPUtime=2.65 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) S 25897 25900 21905 0 -1 1077944384 8850 0 0 0 264 1 0 0 20 0 15 0 250018629 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212192110832 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14092996 memory=928 CPUtime=1.25 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) S 25897 25900 21905 0 -1 1077944384 13413 0 0 0 123 2 0 0 20 0 15 0 250018629 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212191058032 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14092996 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14092996 memory=1964 CPUtime=0.09 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 516 0 0 0 4 5 0 0 20 0 15 0 250018630 14431227904 737016 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 171.2 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2948064 KiB

[startup+222.301 s]
/proc/loadavg: 1.35 1.50 1.49 3/215 25998
/proc/meminfo: memFree=20624464/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14092996 memory=2982252 CPUtime=232.87 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 104081 0 0 0 23153 134 0 0 20 0 15 0 250018624 14431227904 745563 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3523249 745563 3617 1 0 3485321 0
[pid=25900/tid=25902] ppid=25897 vsize=14092996 memory=2983280 CPUtime=220.52 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 44556 0 0 0 22005 47 0 0 20 0 15 0 250018624 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212727781488 140212324582119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14092996 memory=2982256 CPUtime=1.31 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 2683 0 0 0 113 18 0 0 20 0 15 0 250018625 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14092996 memory=2982264 CPUtime=1.32 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 3446 0 0 0 115 17 0 0 20 0 15 0 250018625 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14092996 memory=2982256 CPUtime=1.32 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 5144 0 0 0 113 19 0 0 20 0 15 0 250018625 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14092996 memory=2983280 CPUtime=1.3 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 3625 0 0 0 112 18 0 0 20 0 15 0 250018625 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14092996 memory=1500 CPUtime=0.25 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 6600 0 0 0 22 3 0 0 20 0 15 0 250018626 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14092996 memory=2982252 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212196320864 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14092996 memory=2983136 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212195267968 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14092996 memory=2982272 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14092996 memory=3752 CPUtime=2.7 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) S 25897 25900 21905 0 -1 1077944384 10158 0 0 0 268 2 0 0 20 0 15 0 250018629 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212193163632 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14092996 memory=2983280 CPUtime=2.66 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) S 25897 25900 21905 0 -1 1077944384 9667 0 0 0 265 1 0 0 20 0 15 0 250018629 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212192110832 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14092996 memory=3752 CPUtime=1.28 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) S 25897 25900 21905 0 -1 1077944384 16208 0 0 0 125 3 0 0 20 0 15 0 250018629 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212191058032 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14092996 memory=2982256 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14092996 memory=2982256 CPUtime=0.12 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 561 0 0 0 6 6 0 0 20 0 15 0 250018630 14431227904 745563 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 232.87 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2982252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.001 s]
/proc/loadavg: 1.60 1.55 1.51 3/215 25998
/proc/meminfo: memFree=20622048/32770624 swapFree=67108172/67108860
[pid=25900] ppid=25897 vsize=14092996 memory=2982208 CPUtime=252.02 cores=0,2,4,6
/proc/25900/stat : 25900 (java) S 25897 25900 21905 0 -1 1077944320 108288 0 0 0 25064 138 0 0 20 0 15 0 250018624 14431227904 745552 33554432000 4194304 4196468 140726641969744 140726641952288 140212723543799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
/proc/25900/statm: 3523249 745552 3617 1 0 3485321 0
[pid=25900/tid=25902] ppid=25897 vsize=14092996 memory=5664 CPUtime=239.03 cores=0,2,4,6
/proc/25900/task/25902/stat : 25902 (java) R 25897 25900 21905 0 -1 4202560 46042 0 0 0 23855 48 0 0 20 0 15 0 250018624 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212727781520 140212324132645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25903] ppid=25897 vsize=14092996 memory=756 CPUtime=1.46 cores=0,2,4,6
/proc/25900/task/25903/stat : 25903 (java) S 25897 25900 21905 0 -1 1077944384 2701 0 0 0 127 19 0 0 20 0 15 0 250018625 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212638612112 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25904] ppid=25897 vsize=14092996 memory=13940 CPUtime=1.46 cores=0,2,4,6
/proc/25900/task/25904/stat : 25904 (java) S 25897 25900 21905 0 -1 1077944384 3606 0 0 0 128 18 0 0 20 0 15 0 250018625 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212637559312 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25905] ppid=25897 vsize=14092996 memory=12552 CPUtime=1.47 cores=0,2,4,6
/proc/25900/task/25905/stat : 25905 (java) S 25897 25900 21905 0 -1 1077944384 5354 0 0 0 127 20 0 0 20 0 15 0 250018625 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212636506512 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25906] ppid=25897 vsize=14092996 memory=2983236 CPUtime=1.44 cores=0,2,4,6
/proc/25900/task/25906/stat : 25906 (java) S 25897 25900 21905 0 -1 1077944384 3767 0 0 0 125 19 0 0 20 0 15 0 250018625 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212635453712 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25907] ppid=25897 vsize=14092996 memory=1992 CPUtime=0.28 cores=0,2,4,6
/proc/25900/task/25907/stat : 25907 (java) S 25897 25900 21905 0 -1 1077944384 6602 0 0 0 24 4 0 0 20 0 15 0 250018626 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212197374832 140212723554946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25908] ppid=25897 vsize=14092996 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25908/stat : 25908 (java) S 25897 25900 21905 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212196320864 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25909] ppid=25897 vsize=14092996 memory=1880 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25909/stat : 25909 (java) S 25897 25900 21905 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 250018627 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212195267968 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25910] ppid=25897 vsize=14092996 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25910/stat : 25910 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212194216272 140212723562395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25911] ppid=25897 vsize=14092996 memory=804 CPUtime=2.71 cores=0,2,4,6
/proc/25900/task/25911/stat : 25911 (java) S 25897 25900 21905 0 -1 1077944384 10825 0 0 0 269 2 0 0 20 0 15 0 250018629 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212193163632 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25912] ppid=25897 vsize=14092996 memory=1800 CPUtime=2.67 cores=0,2,4,6
/proc/25900/task/25912/stat : 25912 (java) S 25897 25900 21905 0 -1 1077944384 10851 0 0 0 266 1 0 0 20 0 15 0 250018629 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212192110832 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25913] ppid=25897 vsize=14092996 memory=916 CPUtime=1.28 cores=0,2,4,6
/proc/25900/task/25913/stat : 25913 (java) S 25897 25900 21905 0 -1 1077944384 16540 0 0 0 125 3 0 0 20 0 15 0 250018629 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212191058032 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25914] ppid=25897 vsize=14092996 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/25900/task/25914/stat : 25914 (java) S 25897 25900 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250018629 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212190005472 140212723554005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
[pid=25900/tid=25915] ppid=25897 vsize=14092996 memory=4104 CPUtime=0.13 cores=0,2,4,6
/proc/25900/task/25915/stat : 25915 (java) S 25897 25900 21905 0 -1 1077944384 567 0 0 0 6 7 0 0 20 0 15 0 250018630 14431227904 745552 33554432000 4194304 4196468 140726641969744 140212188953776 140212723554946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15470592 140726641976411 140726641976590 140726641976590 140726641979343 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2982208 KiB

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

[startup+241.029 s]
# the end of solver process 25900 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.657 s, system=1.40619 s

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

Child status: 143
Real time (s): 241.029
CPU time (s): 252.063
CPU user time (s): 250.657
CPU system time (s): 1.40619
CPU usage (%): 104.578
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2984292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.657
system time used= 1.40619
maximum resident set size= 2984332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15985
involuntary context switches= 651


# summary of solver processes directly reported to runsolver:
#   pid: 25900
#   total CPU time (s): 252.063
#   total CPU user time (s): 250.657
#   total CPU system time (s): 1.40619

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32724 second user time and 2.36855 second system time

The end

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

Trace number 4310244

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