Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Hybrid 2017-06-30 | SAT (TO) | 100 | 2400.07 | 2273.94 |
Name | Opd/Opd-sum-large/ Opd-10-360-120.xml |
MD5SUM | 76b33169874d58bfc9aedd730e623c3c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 20056.5 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3601 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 329 |
Distribution of domain sizes | [{"size":2,"count":3600},{"size":329,"count":1}] |
Minimum variable degree | 11 |
Maximum variable degree | 46 |
Distribution of variable degrees | [{"degree":11,"count":3600},{"degree":46,"count":1}] |
Minimum constraint arity | 360 |
Maximum constraint arity | 3600 |
Distribution of constraint arities | [{"arity":360,"count":10},{"arity":721,"count":45},{"arity":3600,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":55}] |
Optimization problem | YES |
Type of objective | min VAR |
0.26/0.28 c version: 2017-06-30 0.26/0.28 c seed: 1999329260 0.26/0.28 c timeout: 2400 0.26/0.28 c memlimit: 15500 0.26/0.28 c nbcore: 8 0.44/0.30 c Parsing instance... 2.37/1.04 c Parsing done, starting first complete search... 3.29/1.26 o 360 3.29/1.27 o 359 3.29/1.27 o 358 3.29/1.27 o 357 3.29/1.28 o 356 3.29/1.28 o 355 3.29/1.29 o 354 3.29/1.29 o 353 3.29/1.29 o 352 3.67/1.30 o 351 3.67/1.30 o 350 3.67/1.30 o 349 3.67/1.31 o 348 3.67/1.31 o 347 3.67/1.31 o 346 3.67/1.32 o 345 3.67/1.32 o 344 3.67/1.32 o 343 3.67/1.32 o 342 3.67/1.33 o 341 3.67/1.33 o 340 3.67/1.33 o 339 3.67/1.33 o 338 3.67/1.34 o 337 3.67/1.34 o 336 3.67/1.34 o 335 3.67/1.35 o 334 3.67/1.40 o 333 3.67/1.40 o 332 3.67/1.40 o 331 4.25/1.40 o 330 4.25/1.41 o 329 4.25/1.41 o 328 4.25/1.41 o 327 4.25/1.41 o 326 4.25/1.42 o 325 4.25/1.42 o 324 4.25/1.42 o 323 4.25/1.42 o 322 4.25/1.42 o 321 4.25/1.43 o 320 4.25/1.43 o 319 4.25/1.43 o 318 4.25/1.43 o 317 4.25/1.44 o 316 4.25/1.44 o 315 4.25/1.44 o 314 4.25/1.44 o 313 4.25/1.44 o 312 4.25/1.45 o 311 4.25/1.45 o 310 4.25/1.45 o 309 4.25/1.45 o 308 4.25/1.46 o 307 4.25/1.46 o 306 4.25/1.46 o 305 4.25/1.46 o 304 4.25/1.46 o 303 4.25/1.47 o 302 4.25/1.47 o 301 4.25/1.47 o 300 4.25/1.47 o 299 4.25/1.48 o 298 4.25/1.48 o 297 4.25/1.48 o 296 4.25/1.48 o 295 4.25/1.48 o 294 4.25/1.49 o 293 4.25/1.49 o 292 4.25/1.49 o 291 4.25/1.49 o 290 4.25/1.49 o 289 4.25/1.50 o 288 4.64/1.50 o 287 4.64/1.50 o 286 4.64/1.50 o 285 4.64/1.51 o 284 4.64/1.51 o 283 4.64/1.51 o 282 4.64/1.51 o 281 4.64/1.51 o 280 4.64/1.52 o 279 4.64/1.52 o 278 4.64/1.52 o 277 4.64/1.52 o 276 4.64/1.52 o 275 4.64/1.52 o 274 4.64/1.53 o 273 4.64/1.53 o 272 4.64/1.53 o 271 4.64/1.53 o 270 4.64/1.53 o 269 4.64/1.54 o 268 4.64/1.54 o 267 4.64/1.54 o 266 4.64/1.54 o 265 4.64/1.54 o 264 4.64/1.54 o 263 4.64/1.55 o 262 4.64/1.55 o 261 4.64/1.55 o 260 4.64/1.55 o 259 4.64/1.55 o 258 4.64/1.55 o 257 4.64/1.56 o 256 4.64/1.56 o 255 4.64/1.56 o 254 4.64/1.56 o 253 4.64/1.56 o 252 4.64/1.56 o 251 4.64/1.56 o 250 4.64/1.56 o 249 4.64/1.56 o 248 4.64/1.57 o 247 4.64/1.57 o 246 4.64/1.57 o 245 4.64/1.57 o 244 4.64/1.57 o 243 4.64/1.57 o 242 4.64/1.57 o 241 4.64/1.57 o 240 4.64/1.57 o 239 4.64/1.58 o 238 4.64/1.58 o 237 4.64/1.58 o 236 4.64/1.58 o 235 4.64/1.58 o 234 4.64/1.58 o 233 4.64/1.58 o 232 4.64/1.58 o 231 4.64/1.58 o 230 4.64/1.58 o 229 4.64/1.59 o 228 4.64/1.59 o 227 4.64/1.59 o 226 4.64/1.59 o 225 4.64/1.59 o 224 4.64/1.59 o 223 4.64/1.59 o 222 4.64/1.59 o 221 4.64/1.59 o 220 4.64/1.60 o 219 4.64/1.60 o 218 4.98/1.60 o 217 4.98/1.60 o 216 4.98/1.60 o 215 4.98/1.60 o 214 4.98/1.60 o 213 4.98/1.60 o 212 4.98/1.60 o 211 4.98/1.60 o 210 4.98/1.61 o 209 4.98/1.61 o 208 4.98/1.61 o 207 4.98/1.61 o 206 4.98/1.61 o 205 4.98/1.61 o 204 4.98/1.61 o 203 4.98/1.61 o 202 4.98/1.61 o 201 4.98/1.61 o 200 4.98/1.62 o 199 4.98/1.62 o 198 4.98/1.62 o 197 4.98/1.62 o 196 4.98/1.62 o 195 4.98/1.62 o 194 4.98/1.62 o 193 4.98/1.62 o 192 4.98/1.62 o 191 4.98/1.62 o 190 4.98/1.63 o 189 4.98/1.63 o 188 4.98/1.63 o 187 4.98/1.63 o 186 4.98/1.63 o 185 4.98/1.63 o 184 4.98/1.63 o 183 4.98/1.63 o 182 4.98/1.68 o 181 4.98/1.68 o 180 4.98/1.68 o 179 4.98/1.68 o 178 4.98/1.68 o 177 4.98/1.68 o 176 4.98/1.68 o 175 4.98/1.69 o 174 4.98/1.69 o 173 4.98/1.69 o 172 4.98/1.69 o 171 4.98/1.69 o 170 4.98/1.69 o 169 4.98/1.69 o 168 4.98/1.69 o 167 4.98/1.69 o 166 4.98/1.70 o 165 4.98/1.70 o 164 5.37/1.70 o 163 5.37/1.70 o 162 5.37/1.70 o 161 5.37/1.70 o 160 5.37/1.70 o 159 5.37/1.70 o 158 5.37/1.71 o 157 5.37/1.71 o 156 5.37/1.71 o 155 5.37/1.71 o 154 5.37/1.71 o 153 5.37/1.71 o 152 5.37/1.71 o 151 5.37/1.71 o 150 5.37/1.71 o 149 5.37/1.72 o 148 5.37/1.72 o 147 5.37/1.72 o 146 5.37/1.72 o 145 5.37/1.72 o 144 5.37/1.72 o 143 5.37/1.72 o 142 5.37/1.72 o 141 5.37/1.72 o 140 5.37/1.72 o 139 5.37/1.73 o 138 5.37/1.73 o 137 5.37/1.73 o 136 5.37/1.73 o 135 5.37/1.73 o 134 5.37/1.73 o 133 5.37/1.73 o 132 5.37/1.73 o 131 5.37/1.73 o 130 5.37/1.74 o 129 5.37/1.74 o 128 5.37/1.74 o 127 5.37/1.74 o 126 5.37/1.74 o 125 5.37/1.74 o 124 5.37/1.74 o 123 5.37/1.74 o 122 5.37/1.74 o 121 5.37/1.75 o 120 8.81/3.22 c First complete search done, starting ALNS search... 14.29/6.79 o 119 368.92/348.80 o 118 421.34/398.48 o 117 476.97/451.18 o 116 488.58/462.11 o 115 501.24/474.26 o 114 513.66/486.09 o 113 516.32/488.58 o 112 547.14/517.80 o 111 548.84/519.52 o 110 560.19/530.38 o 109 562.58/532.75 o 108 565.13/535.16 o 107 690.74/653.67 o 106 1277.74/1209.55 o 105 1318.65/1248.56 o 104 1368.84/1296.31 o 103 1370.85/1298.23 o 102 1538.52/1457.11 o 101 1556.42/1474.24 o 100 1771.75/1679.14 c ALNS done, starting second complete search 1771.75/1679.14 c Best operator: ValGuided(1801,MinGroup)_ExtOriented(valLearnMin) with improvement of: 5 2400.01/2273.90 s SATISFIABLE 2400.01/2273.91 v <instantiation> 2400.01/2273.91 v <list> 2400.01/2273.91 v z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[0][350] x[0][351] x[0][352] x[0][353] x[0][354] x[0][355] x[0][356] x[0][357] x[0][358] x[0][359] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[1][350] x[1][351] x[1][352] x[1][353] x[1][354] x[1][355] x[1][356] x[1][357] x[1][358] x[1][359] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[2][350] x[2][351] x[2][352] x[2][353] x[2][354] x[2][355] x[2][356] x[2][357] x[2][358] x[2][359] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[3][350] x[3][351] x[3][352] x[3][353] x[3][354] x[3][355] x[3][356] x[3][357] x[3][358] x[3][359] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[4][350] x[4][351] x[4][352] x[4][353] x[4][354] x[4][355] x[4][356] x[4][357] x[4][358] x[4][359] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[5][350] x[5][351] x[5][352] x[5][353] x[5][354] x[5][355] x[5][356] x[5][357] x[5][358] x[5][359] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[6][350] x[6][351] x[6][352] x[6][353] x[6][354] x[6][355] x[6][356] x[6][357] x[6][358] x[6][359] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[7][350] x[7][351] x[7][352] x[7][353] x[7][354] x[7][355] x[7][356] x[7][357] x[7][358] x[7][359] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349] x[8][350] x[8][351] x[8][352] x[8][353] x[8][354] x[8][355] x[8][356] x[8][357] x[8][358] x[8][359] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324] x[9][325] x[9][326] x[9][327] x[9][328] x[9][329] x[9][330] x[9][331] x[9][332] x[9][333] x[9][334] x[9][335] x[9][336] x[9][337] x[9][338] x[9][339] x[9][340] x[9][341] x[9][342] x[9][343] x[9][344] x[9][345] x[9][346] x[9][347] x[9][348] x[9][349] x[9][350] x[9][351] x[9][352] x[9][353] x[9][354] x[9][355] x[9][356] x[9][357] x[9][358] x[9][359] 2400.01/2273.91 v </list> 2400.01/2273.91 v <values> 2400.01/2273.91 v 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 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 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2400.01/2273.91 v </values> 2400.01/2273.91 v </instantiation>
OK 100
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245590-1500697278/watcher-4245590-1500697278 -o /tmp/evaluation-result-4245590-1500697278/solver-4245590-1500697278 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500683262-14634 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1999329260 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245590-1500697278.xml pid=16433 running on 8 cores: 1,3,5,7,9,11,13,15 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.67 1.69 1.64 3/261 16436 /proc/meminfo: memFree=28332756/32770624 swapFree=6412/249232 [pid=16436] ppid=16433 vsize=10621200 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 1872 0 0 0 0 0 0 0 20 0 2 0 4994027 10876108800 2121 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 2658634 2121 1179 1 0 2647545 0 [pid=16436/tid=16437] ppid=16433 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 646 0 0 0 0 0 0 0 20 0 2 0 4994027 10889764864 2187 33554432000 4194304 4196468 140730805584592 139673205569952 139673193617312 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [startup+0.100124 s] /proc/loadavg: 1.67 1.69 1.64 3/261 16436 /proc/meminfo: memFree=28332756/32770624 swapFree=6412/249232 [pid=16436] ppid=16433 vsize=13263912 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 6434 0 0 0 8 1 0 0 20 0 20 0 4994027 13582245888 6733 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3315978 6733 3346 1 0 3303698 0 [pid=16436/tid=16437] ppid=16433 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 4525 0 0 0 7 1 0 0 20 0 20 0 4994027 13582245888 6733 33554432000 4194304 4196468 140730805584592 139673205557608 139673201339798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13263912 [startup+0.200354 s] /proc/loadavg: 1.67 1.69 1.64 3/261 16436 /proc/meminfo: memFree=28332756/32770624 swapFree=6412/249232 [pid=16436] ppid=16433 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 8919 0 0 0 23 3 0 0 20 0 20 0 4994027 13582245888 9434 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3315978 9434 3520 1 0 3303698 0 [pid=16436/tid=16437] ppid=16433 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 6613 0 0 0 16 2 0 0 20 0 20 0 4994027 13582245888 9434 33554432000 4194304 4196468 140730805584592 139673205552848 139673185408350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263912 [startup+0.300344 s] /proc/loadavg: 1.67 1.69 1.64 3/261 16436 /proc/meminfo: memFree=28332756/32770624 swapFree=6412/249232 [pid=16436] ppid=16433 vsize=13263932 CPUtime=0.44 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 10265 0 0 0 41 3 0 0 20 0 20 0 4994027 13582266368 11490 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3315983 11490 3670 1 0 3303698 0 [pid=16436/tid=16437] ppid=16433 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 7379 0 0 0 25 2 0 0 20 0 20 0 4994027 13582266368 11490 33554432000 4194304 4196468 140730805584592 139673205554464 139673201349789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 13263932 [startup+0.700257 s] /proc/loadavg: 1.67 1.69 1.64 3/261 16436 /proc/meminfo: memFree=28332756/32770624 swapFree=6412/249232 [pid=16436] ppid=16433 vsize=13265980 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 12958 0 0 0 139 5 0 0 20 0 20 0 4994027 13584363520 19861 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3316495 19861 3779 1 0 3304210 0 [pid=16436/tid=16437] ppid=16433 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 8627 0 0 0 64 3 0 0 20 0 20 0 4994027 13584363520 19861 33554432000 4194304 4196468 140730805584592 139673205564744 139673185408350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 13265980 [startup+1.50108 s] /proc/loadavg: 1.67 1.69 1.64 7/281 16456 /proc/meminfo: memFree=28199328/32770624 swapFree=6412/249272 [pid=16436] ppid=16433 vsize=13268028 CPUtime=4.64 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 29143 0 0 0 440 24 0 0 20 0 20 0 4994027 13586460672 63923 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3317007 63923 3806 1 0 3304722 0 [pid=16436/tid=16437] ppid=16433 vsize=13268028 CPUtime=1.42 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 11148 0 0 0 137 5 0 0 20 0 20 0 4994027 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673205557568 139672826971638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16439] ppid=16433 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16439/stat : 16439 (java) S 16433 16436 14602 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673153948304 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16440] ppid=16433 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16440/stat : 16440 (java) S 16433 16436 14602 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673152895504 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16441] ppid=16433 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16441/stat : 16441 (java) S 16433 16436 14602 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673151842704 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16442] ppid=16433 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16442/stat : 16442 (java) S 16433 16436 14602 0 -1 1077944384 82 0 0 0 1 2 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673150789904 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16443] ppid=16433 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16443/stat : 16443 (java) S 16433 16436 14602 0 -1 1077944384 51 0 0 0 1 2 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673149738128 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16444] ppid=16433 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16444/stat : 16444 (java) S 16433 16436 14602 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673148685328 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16445] ppid=16433 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16445/stat : 16445 (java) S 16433 16436 14602 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673147632528 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16446] ppid=16433 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16446/stat : 16446 (java) S 16433 16436 14602 0 -1 1077944384 295 0 0 0 0 1 0 0 20 0 20 0 4994028 13586460672 63923 33554432000 4194304 4196468 140730805584592 139673146579728 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16447] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16447/stat : 16447 (java) S 16433 16436 14602 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 4994030 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672529365360 139673201339010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16448] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16448/stat : 16448 (java) S 16433 16436 14602 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4994031 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672528311392 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16449] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16449/stat : 16449 (java) S 16433 16436 14602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4994031 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672527258496 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16450] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16450/stat : 16450 (java) S 16433 16436 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4994034 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672526206800 139673201346459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16451] ppid=16433 vsize=13268028 CPUtime=0.84 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16451/stat : 16451 (java) R 16433 16436 14602 0 -1 4202560 4406 0 0 0 83 1 0 0 20 0 20 0 4994034 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672525136384 139673186445030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16452] ppid=16433 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16452/stat : 16452 (java) R 16433 16436 14602 0 -1 4202560 3886 0 0 0 78 0 0 0 20 0 20 0 4994034 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672524088928 139673178922720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16453] ppid=16433 vsize=13268028 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16453/stat : 16453 (java) R 16433 16436 14602 0 -1 4202560 4217 0 0 0 75 0 0 0 20 0 20 0 4994034 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672523034464 139673186443135 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16454] ppid=16433 vsize=13268028 CPUtime=0.51 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16454/stat : 16454 (java) R 16433 16436 14602 0 -1 4202560 3348 0 0 0 50 1 0 0 20 0 20 0 4994034 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672521996784 139673201349210 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16455] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16455/stat : 16455 (java) S 16433 16436 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4994035 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672520944224 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16456] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16456/stat : 16456 (java) S 16433 16436 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4994035 13586460672 63923 33554432000 4194304 4196468 140730805584592 139672519891504 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 13268028 [startup+3.10085 s] /proc/loadavg: 1.67 1.69 1.64 6/281 16456 /proc/meminfo: memFree=28022904/32770624 swapFree=6412/249272 [pid=16436] ppid=16433 vsize=13268028 CPUtime=8.71 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 32552 0 0 0 812 59 0 0 20 0 20 0 4994027 13586460672 109638 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3317007 109638 3819 1 0 3304722 0 [pid=16436/tid=16437] ppid=16433 vsize=13268028 CPUtime=2.93 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 11476 0 0 0 286 7 0 0 20 0 20 0 4994027 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673205564072 139672829811047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16439] ppid=16433 vsize=13268028 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16439/stat : 16439 (java) S 16433 16436 14602 0 -1 1077944384 75 0 0 0 4 4 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673153948304 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16440] ppid=16433 vsize=13268028 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16440/stat : 16440 (java) S 16433 16436 14602 0 -1 1077944384 66 0 0 0 4 6 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673152895504 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16441] ppid=16433 vsize=13268028 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16441/stat : 16441 (java) S 16433 16436 14602 0 -1 1077944384 107 0 0 0 5 4 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673151842704 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16442] ppid=16433 vsize=13268028 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16442/stat : 16442 (java) S 16433 16436 14602 0 -1 1077944384 124 0 0 0 5 7 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673150789904 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16443] ppid=16433 vsize=13268028 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16443/stat : 16443 (java) S 16433 16436 14602 0 -1 1077944384 107 0 0 0 6 5 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673149738128 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16444] ppid=16433 vsize=13268028 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16444/stat : 16444 (java) S 16433 16436 14602 0 -1 1077944384 54 0 0 0 4 5 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673148685328 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16445] ppid=16433 vsize=13268028 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16445/stat : 16445 (java) S 16433 16436 14602 0 -1 1077944384 711 0 0 0 6 5 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673147632528 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16446] ppid=16433 vsize=13268028 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16446/stat : 16446 (java) S 16433 16436 14602 0 -1 1077944384 340 0 0 0 4 5 0 0 20 0 20 0 4994028 13586460672 109638 33554432000 4194304 4196468 140730805584592 139673146579728 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16447] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16447/stat : 16447 (java) S 16433 16436 14602 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 20 0 4994030 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672529365360 139673201339010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16448] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16448/stat : 16448 (java) S 16433 16436 14602 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4994031 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672528311392 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16449] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16449/stat : 16449 (java) S 16433 16436 14602 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4994031 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672527258496 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16450] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16450/stat : 16450 (java) S 16433 16436 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4994034 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672526206800 139673201346459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16451] ppid=16433 vsize=13268028 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16451/stat : 16451 (java) S 16433 16436 14602 0 -1 1077944384 4968 0 0 0 144 1 0 0 20 0 20 0 4994034 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672525155184 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16452] ppid=16433 vsize=13268028 CPUtime=1.51 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16452/stat : 16452 (java) S 16433 16436 14602 0 -1 1077944384 4347 0 0 0 151 0 0 0 20 0 20 0 4994034 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672524102384 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16453] ppid=16433 vsize=13268028 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16453/stat : 16453 (java) S 16433 16436 14602 0 -1 1077944384 4761 0 0 0 127 0 0 0 20 0 20 0 4994034 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672523049584 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16454] ppid=16433 vsize=13268028 CPUtime=0.59 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16454/stat : 16454 (java) S 16433 16436 14602 0 -1 1077944384 3526 0 0 0 58 1 0 0 20 0 20 0 4994034 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672521996784 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16455] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16455/stat : 16455 (java) S 16433 16436 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4994035 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672520944224 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16456] ppid=16433 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16456/stat : 16456 (java) S 16433 16436 14602 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4994035 13586460672 109638 33554432000 4194304 4196468 140730805584592 139672519891504 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 8.71 Current children cumulated vsize (KiB) 13268028 [startup+6.30075 s] /proc/loadavg: 1.70 1.70 1.64 3/281 16456 /proc/meminfo: memFree=27626104/32770624 swapFree=6412/249284 [pid=16436] ppid=16433 vsize=13270076 CPUtime=13.87 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 35620 0 0 0 1262 125 0 0 20 0 20 0 4994027 13588557824 193231 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3317519 193231 3823 1 0 3305234 0 [pid=16436/tid=16437] ppid=16433 vsize=13270076 CPUtime=5.95 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 12728 0 0 0 584 11 0 0 20 0 20 0 4994027 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673205563208 139672830011140 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16439] ppid=16433 vsize=13270076 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16439/stat : 16439 (java) S 16433 16436 14602 0 -1 1077944384 230 0 0 0 13 12 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673153948304 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16440] ppid=16433 vsize=13270076 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16440/stat : 16440 (java) S 16433 16436 14602 0 -1 1077944384 186 0 0 0 13 15 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673152895504 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16441] ppid=16433 vsize=13270076 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16441/stat : 16441 (java) S 16433 16436 14602 0 -1 1077944384 177 0 0 0 14 12 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673151842704 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16442] ppid=16433 vsize=13270076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16442/stat : 16442 (java) S 16433 16436 14602 0 -1 1077944384 232 0 0 0 15 14 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673150789904 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16443] ppid=16433 vsize=13270076 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16443/stat : 16443 (java) S 16433 16436 14602 0 -1 1077944384 174 0 0 0 16 13 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673149738128 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16444] ppid=16433 vsize=13270076 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16444/stat : 16444 (java) S 16433 16436 14602 0 -1 1077944384 157 0 0 0 13 13 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673148685328 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16445] ppid=16433 vsize=13270076 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16445/stat : 16445 (java) S 16433 16436 14602 0 -1 1077944384 785 0 0 0 15 13 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673147632528 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16446] ppid=16433 vsize=13270076 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16446/stat : 16446 (java) S 16433 16436 14602 0 -1 1077944384 421 0 0 0 13 13 0 0 20 0 20 0 4994028 13588557824 193231 33554432000 4194304 4196468 140730805584592 139673146579728 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16447] ppid=16433 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16447/stat : 16447 (java) S 16433 16436 14602 0 -1 1077944384 737 0 0 0 1 0 0 0 20 0 20 0 4994030 13588557824 193231 33554432000 4194304 4196468 140730805584592 139672529365360 139673201339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16448] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16448/stat : 16448 (java) S 16433 16436 14602 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 193231 33554432000 4194304 4196468 140730805584592 139672528311392 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16449] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16449/stat : 16449 (java) S 16433 16436 14602 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 193231 33554432000 4194304 4196468 140730805584592 139672527258496 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16450] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=16436/tid=16452] ppid=16433 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16452/stat : 16452 (java) S 16433 16436 14602 0 -1 1077944384 16454 0 0 0 236 2 0 0 20 0 20 0 4994034 13588557824 445276 33554432000 4194304 4196468 140730805584592 139672524102384 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16453] ppid=16433 vsize=13270076 CPUtime=2.16 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16453/stat : 16453 (java) S 16433 16436 14602 0 -1 1077944384 17150 0 0 0 214 2 0 0 20 0 20 0 4994034 13588557824 445276 33554432000 4194304 4196468 140730805584592 139672523049584 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16454] ppid=16433 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16454/stat : 16454 (java) S 16433 16436 14602 0 -1 1077944384 24251 0 0 0 94 3 0 0 20 0 20 0 4994034 13588557824 445276 33554432000 4194304 4196468 140730805584592 139672521996784 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16455] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16455/stat : 16455 (java) S 16433 16436 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4994035 13588557824 445276 33554432000 4194304 4196468 140730805584592 139672520944224 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16456] ppid=16433 vsize=13270076 CPUtime=1.19 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16456/stat : 16456 (java) S 16433 16436 14602 0 -1 1077944384 1406 0 0 0 54 65 0 0 20 0 20 0 4994035 13588557824 445276 33554432000 4194304 4196468 140730805584592 139672519891504 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 2324.37 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.60 1.54 1.55 3/281 16605 /proc/meminfo: memFree=29480544/32770624 swapFree=6412/251524 [pid=16436] ppid=16433 vsize=13270076 CPUtime=2387.93 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 387785 0 0 0 237828 965 0 0 20 0 20 0 4994027 13588557824 445374 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3317519 445374 3858 1 0 3305234 0 [pid=16436/tid=16437] ppid=16433 vsize=13270076 CPUtime=2240.9 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 126651 0 0 0 223987 103 0 0 20 0 20 0 4994027 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673205565872 139672830901457 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16439] ppid=16433 vsize=13270076 CPUtime=17.13 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16439/stat : 16439 (java) S 16433 16436 14602 0 -1 1077944384 15317 0 0 0 1619 94 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673153948304 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16440] ppid=16433 vsize=13270076 CPUtime=17.12 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16440/stat : 16440 (java) S 16433 16436 14602 0 -1 1077944384 16021 0 0 0 1613 99 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673152895504 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16441] ppid=16433 vsize=13270076 CPUtime=17.14 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16441/stat : 16441 (java) S 16433 16436 14602 0 -1 1077944384 15917 0 0 0 1617 97 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673151842704 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16442] ppid=16433 vsize=13270076 CPUtime=17.08 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16442/stat : 16442 (java) S 16433 16436 14602 0 -1 1077944384 14806 0 0 0 1613 95 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673150789904 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16443] ppid=16433 vsize=13270076 CPUtime=16.98 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16443/stat : 16443 (java) S 16433 16436 14602 0 -1 1077944384 14798 0 0 0 1601 97 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673149738128 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16444] ppid=16433 vsize=13270076 CPUtime=16.99 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16444/stat : 16444 (java) S 16433 16436 14602 0 -1 1077944384 16460 0 0 0 1604 95 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673148685328 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16445] ppid=16433 vsize=13270076 CPUtime=16.92 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16445/stat : 16445 (java) S 16433 16436 14602 0 -1 1077944384 15071 0 0 0 1598 94 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673147632528 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16446] ppid=16433 vsize=13270076 CPUtime=17.03 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16446/stat : 16446 (java) S 16433 16436 14602 0 -1 1077944384 15868 0 0 0 1606 97 0 0 20 0 20 0 4994028 13588557824 445374 33554432000 4194304 4196468 140730805584592 139673146579728 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16447] ppid=16433 vsize=13270076 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16447/stat : 16447 (java) S 16433 16436 14602 0 -1 1077944384 58894 0 0 0 108 36 0 0 20 0 20 0 4994030 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672529365360 139673201339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16448] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16448/stat : 16448 (java) S 16433 16436 14602 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672528311392 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16449] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16449/stat : 16449 (java) S 16433 16436 14602 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672527258496 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16450] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16450/stat : 16450 (java) S 16433 16436 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4994034 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672526206800 139673201346459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16451] ppid=16433 vsize=13270076 CPUtime=2.29 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16451/stat : 16451 (java) S 16433 16436 14602 0 -1 1077944384 16612 0 0 0 226 3 0 0 20 0 20 0 4994034 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672525155184 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16452] ppid=16433 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16452/stat : 16452 (java) S 16433 16436 14602 0 -1 1077944384 17061 0 0 0 236 2 0 0 20 0 20 0 4994034 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672524102384 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16453] ppid=16433 vsize=13270076 CPUtime=2.17 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16453/stat : 16453 (java) S 16433 16436 14602 0 -1 1077944384 17153 0 0 0 215 2 0 0 20 0 20 0 4994034 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672523049584 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16454] ppid=16433 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16454/stat : 16454 (java) S 16433 16436 14602 0 -1 1077944384 24253 0 0 0 94 3 0 0 20 0 20 0 4994034 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672521996784 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16455] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16455/stat : 16455 (java) S 16433 16436 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4994035 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672520944224 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16456] ppid=16433 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16456/stat : 16456 (java) S 16433 16436 14602 0 -1 1077944384 1431 0 0 0 56 67 0 0 20 0 20 0 4994035 13588557824 445374 33554432000 4194304 4196468 140730805584592 139672519891504 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 2387.93 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2273.9 s] /proc/loadavg: 1.51 1.52 1.54 3/281 16605 /proc/meminfo: memFree=29439576/32770624 swapFree=6412/251536 [pid=16436] ppid=16433 vsize=13270076 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 388324 0 0 0 239032 969 0 0 20 0 20 0 4994027 13588557824 443317 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3317519 443317 3858 1 0 3305234 0 [pid=16436/tid=16437] ppid=16433 vsize=13270076 CPUtime=2252.41 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 126909 0 0 0 225138 103 0 0 20 0 20 0 4994027 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673205565872 139672830902320 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16439] ppid=16433 vsize=13270076 CPUtime=17.22 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16439/stat : 16439 (java) S 16433 16436 14602 0 -1 1077944384 15358 0 0 0 1627 95 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673153948304 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16440] ppid=16433 vsize=13270076 CPUtime=17.19 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16440/stat : 16440 (java) S 16433 16436 14602 0 -1 1077944384 16028 0 0 0 1620 99 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673152895504 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16441] ppid=16433 vsize=13270076 CPUtime=17.21 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16441/stat : 16441 (java) S 16433 16436 14602 0 -1 1077944384 15948 0 0 0 1624 97 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673151842704 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16442] ppid=16433 vsize=13270076 CPUtime=17.16 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16442/stat : 16442 (java) S 16433 16436 14602 0 -1 1077944384 14832 0 0 0 1620 96 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673150789904 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16443] ppid=16433 vsize=13270076 CPUtime=17.03 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16443/stat : 16443 (java) S 16433 16436 14602 0 -1 1077944384 14811 0 0 0 1606 97 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673149738128 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16444] ppid=16433 vsize=13270076 CPUtime=17.07 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16444/stat : 16444 (java) S 16433 16436 14602 0 -1 1077944384 16491 0 0 0 1611 96 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673148685328 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16445] ppid=16433 vsize=13270076 CPUtime=16.99 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16445/stat : 16445 (java) S 16433 16436 14602 0 -1 1077944384 15190 0 0 0 1604 95 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673147632528 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16446] ppid=16433 vsize=13270076 CPUtime=17.1 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16446/stat : 16446 (java) S 16433 16436 14602 0 -1 1077944384 15875 0 0 0 1612 98 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673146579728 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16447] ppid=16433 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16447/stat : 16447 (java) S 16433 16436 14602 0 -1 1077944384 58898 0 0 0 109 36 0 0 20 0 20 0 4994030 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672529365360 139673201339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16448] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16448/stat : 16448 (java) S 16433 16436 14602 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672528311392 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16449] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16449/stat : 16449 (java) S 16433 16436 14602 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672527258496 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16450] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16450/stat : 16450 (java) S 16433 16436 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672526206800 139673201346459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16451] ppid=16433 vsize=13270076 CPUtime=2.29 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16451/stat : 16451 (java) S 16433 16436 14602 0 -1 1077944384 16612 0 0 0 226 3 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672525155184 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16452] ppid=16433 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16452/stat : 16452 (java) S 16433 16436 14602 0 -1 1077944384 17061 0 0 0 236 2 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672524102384 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16453] ppid=16433 vsize=13270076 CPUtime=2.17 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16453/stat : 16453 (java) S 16433 16436 14602 0 -1 1077944384 17153 0 0 0 215 2 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672523049584 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16454] ppid=16433 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16454/stat : 16454 (java) S 16433 16436 14602 0 -1 1077944384 24253 0 0 0 94 3 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672521996784 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16455] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16455/stat : 16455 (java) S 16433 16436 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4994035 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672520944224 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16456] ppid=16433 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16456/stat : 16456 (java) S 16433 16436 14602 0 -1 1077944384 1433 0 0 0 56 67 0 0 20 0 20 0 4994035 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672519891504 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16436 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2273.9 s] /proc/loadavg: 1.51 1.52 1.54 3/281 16605 /proc/meminfo: memFree=29439576/32770624 swapFree=6412/251536 [pid=16436] ppid=16433 vsize=13270076 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15 /proc/16436/stat : 16436 (java) S 16433 16436 14602 0 -1 1077944320 388324 0 0 0 239032 969 0 0 20 0 20 0 4994027 13588557824 443317 33554432000 4194304 4196468 140730805584592 140730805567136 139673201327863 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 /proc/16436/statm: 3317519 443317 3858 1 0 3305234 0 [pid=16436/tid=16437] ppid=16433 vsize=13270076 CPUtime=2252.41 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16437/stat : 16437 (java) R 16433 16436 14602 0 -1 4202560 126909 0 0 0 225138 103 0 0 20 0 20 0 4994027 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673205565872 139672830902320 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16439] ppid=16433 vsize=13270076 CPUtime=17.22 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16439/stat : 16439 (java) S 16433 16436 14602 0 -1 1077944384 15358 0 0 0 1627 95 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673153948304 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16440] ppid=16433 vsize=13270076 CPUtime=17.19 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16440/stat : 16440 (java) S 16433 16436 14602 0 -1 1077944384 16028 0 0 0 1620 99 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673152895504 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16441] ppid=16433 vsize=13270076 CPUtime=17.21 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16441/stat : 16441 (java) S 16433 16436 14602 0 -1 1077944384 15948 0 0 0 1624 97 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673151842704 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16442] ppid=16433 vsize=13270076 CPUtime=17.16 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16442/stat : 16442 (java) S 16433 16436 14602 0 -1 1077944384 14832 0 0 0 1620 96 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673150789904 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16443] ppid=16433 vsize=13270076 CPUtime=17.03 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16443/stat : 16443 (java) S 16433 16436 14602 0 -1 1077944384 14811 0 0 0 1606 97 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673149738128 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16444] ppid=16433 vsize=13270076 CPUtime=17.07 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16444/stat : 16444 (java) S 16433 16436 14602 0 -1 1077944384 16491 0 0 0 1611 96 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673148685328 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16445] ppid=16433 vsize=13270076 CPUtime=16.99 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16445/stat : 16445 (java) S 16433 16436 14602 0 -1 1077944384 15190 0 0 0 1604 95 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673147632528 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16446] ppid=16433 vsize=13270076 CPUtime=17.1 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16446/stat : 16446 (java) S 16433 16436 14602 0 -1 1077944384 15875 0 0 0 1612 98 0 0 20 0 20 0 4994028 13588557824 443317 33554432000 4194304 4196468 140730805584592 139673146579728 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16447] ppid=16433 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16447/stat : 16447 (java) S 16433 16436 14602 0 -1 1077944384 58898 0 0 0 109 36 0 0 20 0 20 0 4994030 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672529365360 139673201339010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16448] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16448/stat : 16448 (java) S 16433 16436 14602 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672528311392 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16449] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16449/stat : 16449 (java) S 16433 16436 14602 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4994031 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672527258496 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16450] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16450/stat : 16450 (java) S 16433 16436 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672526206800 139673201346459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16451] ppid=16433 vsize=13270076 CPUtime=2.29 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16451/stat : 16451 (java) S 16433 16436 14602 0 -1 1077944384 16612 0 0 0 226 3 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672525155184 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16452] ppid=16433 vsize=13270076 CPUtime=2.38 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16452/stat : 16452 (java) S 16433 16436 14602 0 -1 1077944384 17061 0 0 0 236 2 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672524102384 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16453] ppid=16433 vsize=13270076 CPUtime=2.17 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16453/stat : 16453 (java) S 16433 16436 14602 0 -1 1077944384 17153 0 0 0 215 2 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672523049584 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16454] ppid=16433 vsize=13270076 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16454/stat : 16454 (java) S 16433 16436 14602 0 -1 1077944384 24253 0 0 0 94 3 0 0 20 0 20 0 4994034 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672521996784 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16455] ppid=16433 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16455/stat : 16455 (java) S 16433 16436 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4994035 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672520944224 139673201338069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 [pid=16436/tid=16456] ppid=16433 vsize=13270076 CPUtime=1.23 cores=1,3,5,7,9,11,13,15 /proc/16436/task/16456/stat : 16456 (java) S 16433 16436 14602 0 -1 1077944384 1433 0 0 0 56 67 0 0 20 0 20 0 4994035 13588557824 443317 33554432000 4194304 4196468 140730805584592 139672519891504 139673201339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140730805593229 140730805593412 140730805593412 140730805596111 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2273.94 CPU time (s): 2400.07 CPU user time (s): 2390.36 CPU system time (s): 9.7157 CPU usage (%): 105.547 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2390.36 system time used= 9.7157 maximum resident set size= 3557764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389008 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2832 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 97612 involuntary context switches= 130798 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.4014 second user time and 17.67 second system time The end
Begin job on node141 at 2017-07-22 06:21:18 IDJOB=4245590 IDBENCH=122969 IDSOLVER=2629 FILE ID=node141/4245590-1500697278 RUNJOBID= node141-1500683262-14634 PBS_JOBID= 20623337 Free space on /tmp= 61944 MiB SOLVER NAME= OscaR - Hybrid 2017-06-30 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-360-120.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245590-1500697278/watcher-4245590-1500697278 -o /tmp/evaluation-result-4245590-1500697278/solver-4245590-1500697278 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500683262-14634 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1999329260 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245590-1500697278.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 76b33169874d58bfc9aedd730e623c3c RANDOM SEED=1999329260 node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28333396 kB MemAvailable: 28589528 kB Buffers: 111596 kB Cached: 425460 kB SwapCached: 0 kB Active: 3738052 kB Inactive: 257888 kB Active(anon): 3461932 kB Inactive(anon): 8656 kB Active(file): 276120 kB Inactive(file): 249232 kB Unevictable: 6412 kB Mlocked: 6412 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42456 kB Writeback: 0 kB AnonPages: 3493720 kB Mapped: 45532 kB Shmem: 8852 kB Slab: 126764 kB SReclaimable: 93232 kB SUnreclaim: 33532 kB KernelStack: 4848 kB PageTables: 11940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4398456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3358720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61904 MiB End job on node141 at 2017-07-22 06:59:12