Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 66 | 251.95799 | 240.03799 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml |
| MD5SUM | 3c0366ff4baa9e19aea1ffc9dac5e4aa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 59 |
| Best CPU time to get the best result obtained on this benchmark | 251.92101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 500 |
| Number of constraints | 62624 |
| Number of domains | 1 |
| Minimum domain size | 500 |
| Maximum domain size | 500 |
| Distribution of domain sizes | [{"size":500,"count":500}] |
| Minimum variable degree | 221 |
| Maximum variable degree | 287 |
| Distribution of variable degrees | [{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":62624}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 62624 |
| Distribution of constraint types | [{"type":"intension","count":62624}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.24/0.37 c version: 2017-07-26 0.24/0.37 c seed: 396013461 0.24/0.37 c timeout: 264 0.24/0.37 c memlimit: 11000 0.24/0.37 c nbcore: 4 0.24/0.39 c Parsing instance... 10.11/4.64 c Parsing done, starting search... 11.88/5.47 o 499 12.92/6.16 o 498 13.60/6.79 o 497 14.35/7.41 o 496 14.95/8.06 o 495 15.66/8.72 o 494 16.27/9.37 o 493 17.06/10.01 o 492 17.66/10.60 o 491 18.17/11.17 o 490 18.83/11.74 o 489 19.45/12.33 o 488 20.13/12.93 o 487 20.65/13.49 o 486 21.26/14.04 o 485 21.86/14.60 o 484 22.39/15.17 o 483 23.00/15.75 o 482 23.60/16.33 o 481 24.10/16.87 o 480 24.70/17.43 o 479 25.20/17.97 o 478 25.80/18.53 o 477 26.40/19.10 o 476 26.90/19.69 o 475 27.50/20.27 o 474 28.10/20.86 o 473 28.70/21.41 o 472 29.20/21.96 o 471 29.73/22.49 o 470 30.33/23.08 o 469 30.93/23.61 o 468 31.54/24.21 o 467 32.03/24.76 o 466 32.64/25.32 o 465 33.14/25.87 o 464 33.74/26.45 o 463 34.33/27.03 o 462 34.85/27.60 o 461 35.46/28.18 o 460 36.07/28.71 o 459 36.56/29.28 o 458 37.17/29.82 o 457 37.67/30.35 o 456 38.27/30.91 o 455 38.76/31.47 o 454 39.38/32.04 o 453 39.97/32.60 o 452 40.48/33.16 o 451 41.07/33.74 o 450 41.67/34.33 o 449 42.17/34.89 o 448 42.77/35.41 o 447 43.27/35.92 o 446 43.78/36.46 o 445 45.31/37.26 o 444 45.91/37.80 o 443 46.51/38.45 o 442 47.12/39.00 o 441 47.63/39.56 o 440 48.23/40.10 o 439 48.73/40.62 o 438 49.23/41.16 o 437 49.74/41.70 o 436 50.34/42.22 o 435 50.84/42.74 o 434 51.34/43.23 o 433 51.84/43.75 o 432 52.34/44.28 o 431 52.94/44.80 o 430 53.34/45.29 o 429 53.84/45.79 o 428 54.44/46.32 o 427 54.94/46.85 o 426 55.44/47.38 o 425 56.04/47.90 o 424 56.54/48.43 o 423 57.04/48.95 o 422 57.56/49.47 o 421 58.08/49.96 o 420 58.58/50.44 o 419 59.08/50.93 o 418 59.58/51.40 o 417 59.98/51.87 o 416 60.58/52.40 o 415 60.99/52.89 o 414 61.59/53.41 o 413 62.09/53.94 o 412 62.59/54.49 o 411 63.19/55.04 o 410 63.69/55.58 o 409 64.19/56.06 o 408 64.69/56.58 o 407 65.29/57.15 o 406 65.79/57.67 o 405 66.39/58.21 o 404 66.89/58.75 o 403 67.39/59.29 o 402 68.05/59.83 o 401 68.55/60.35 o 400 69.05/60.89 o 399 69.65/61.42 o 398 70.18/61.98 o 397 70.78/62.53 o 396 71.28/63.09 o 395 71.89/63.64 o 394 72.39/64.14 o 393 72.89/64.63 o 392 73.39/65.13 o 391 73.89/65.60 o 390 74.40/66.18 o 389 74.93/66.63 o 388 75.33/67.06 o 387 75.83/67.54 o 386 76.33/68.01 o 385 76.73/68.46 o 384 77.23/68.94 o 383 77.75/69.42 o 382 78.25/69.90 o 381 78.69/70.37 o 380 79.19/70.85 o 379 79.69/71.34 o 378 80.19/71.83 o 377 80.69/72.32 o 376 81.19/72.86 o 375 81.70/73.35 o 374 82.20/73.84 o 373 82.70/74.35 o 372 83.21/74.88 o 371 83.71/75.36 o 370 84.21/75.83 o 369 84.70/76.31 o 368 85.10/76.77 o 367 85.60/77.24 o 366 86.11/77.72 o 365 86.62/78.20 o 364 87.01/78.68 o 363 87.51/79.17 o 362 88.01/79.67 o 361 88.51/80.16 o 360 89.01/80.66 o 359 89.51/81.15 o 358 90.01/81.66 o 357 90.52/82.13 o 356 90.92/82.58 o 355 91.42/83.00 o 354 91.82/83.45 o 353 92.22/83.89 o 352 92.72/84.36 o 351 93.23/84.83 o 350 93.72/85.33 o 349 94.22/85.83 o 348 94.72/86.31 o 347 95.23/86.84 o 346 95.72/87.32 o 345 96.12/87.79 o 344 96.62/88.28 o 343 97.13/88.74 o 342 97.63/89.22 o 341 98.02/89.69 o 340 101.57/91.10 o 339 101.97/91.56 o 338 102.47/92.05 o 337 102.98/92.51 o 336 103.37/92.97 o 335 103.87/93.44 o 334 104.37/93.91 o 333 104.77/94.39 o 332 105.27/94.87 o 331 105.77/95.33 o 330 106.18/95.77 o 329 106.67/96.23 o 328 107.07/96.65 o 327 107.47/97.09 o 326 107.97/97.52 o 325 108.38/97.96 o 324 108.88/98.41 o 323 109.28/98.86 o 322 109.78/99.32 o 321 110.18/99.79 o 320 110.68/100.28 o 319 111.18/100.78 o 318 111.68/101.27 o 317 112.18/101.76 o 316 112.68/102.26 o 315 113.18/102.70 o 314 113.58/103.19 o 313 114.08/103.64 o 312 114.58/104.10 o 311 114.99/104.57 o 310 115.48/105.05 o 309 115.98/105.51 o 308 116.38/105.97 o 307 116.88/106.43 o 306 117.29/106.89 o 305 117.78/107.37 o 304 118.29/107.85 o 303 118.79/108.33 o 302 119.29/108.81 o 301 119.79/109.32 o 300 120.29/109.83 o 299 120.79/110.30 o 298 121.19/110.75 o 297 121.70/111.22 o 296 122.09/111.65 o 295 122.49/112.06 o 294 122.89/112.50 o 293 123.29/112.89 o 292 123.80/113.32 o 291 124.19/113.73 o 290 124.59/114.15 o 289 125.00/114.57 o 288 125.50/115.02 o 287 125.90/115.43 o 286 126.30/115.87 o 285 126.70/116.28 o 284 127.20/116.72 o 283 127.60/117.13 o 282 128.00/117.54 o 281 128.40/117.97 o 280 128.80/118.39 o 279 129.30/118.80 o 278 129.69/119.23 o 277 130.10/119.63 o 276 130.50/120.10 o 275 131.00/120.51 o 274 131.40/120.93 o 273 131.80/121.37 o 272 132.30/121.80 o 271 132.70/122.21 o 270 133.10/122.62 o 269 133.50/123.05 o 268 134.00/123.50 o 267 134.40/123.94 o 266 134.80/124.36 o 265 135.20/124.76 o 264 135.60/125.14 o 263 136.00/125.53 o 262 136.40/125.94 o 261 136.80/126.37 o 260 137.20/126.78 o 259 137.60/127.20 o 258 138.11/127.68 o 257 138.50/128.07 o 256 138.90/128.49 o 255 139.40/128.92 o 254 139.81/129.33 o 253 140.21/129.75 o 252 140.61/130.17 o 251 141.12/130.60 o 250 141.52/131.05 o 249 141.92/131.46 o 248 142.32/131.85 o 247 142.72/132.24 o 246 143.12/132.66 o 245 143.52/133.06 o 244 143.93/133.45 o 243 144.33/133.86 o 242 144.73/134.27 o 241 145.13/134.68 o 240 145.63/135.11 o 239 146.03/135.51 o 238 146.43/135.94 o 237 146.83/136.34 o 236 147.23/136.75 o 235 147.63/137.16 o 234 148.04/137.57 o 233 148.53/138.00 o 232 148.93/138.41 o 231 149.24/138.79 o 230 149.63/139.20 o 229 150.13/139.61 o 228 150.53/140.02 o 227 150.93/140.45 o 226 151.34/140.89 o 225 151.83/141.33 o 224 152.23/141.76 o 223 152.63/142.17 o 222 153.14/142.63 o 221 153.54/143.02 o 220 153.94/143.40 o 219 154.23/143.79 o 218 154.64/144.17 o 217 155.03/144.58 o 216 155.53/145.01 o 215 155.93/145.40 o 214 156.23/145.78 o 213 156.63/146.17 o 212 157.03/146.57 o 211 157.43/146.96 o 210 157.83/147.35 o 209 158.24/147.73 o 208 158.63/148.12 o 207 159.05/148.52 o 206 159.44/148.94 o 205 159.83/149.34 o 204 160.96/149.93 o 203 161.36/150.34 o 202 161.76/150.76 o 201 162.16/151.15 o 200 162.66/151.62 o 199 163.06/152.01 o 198 163.46/152.43 o 197 163.86/152.87 o 196 164.36/153.34 o 195 164.76/153.79 o 194 165.26/154.26 o 193 165.66/154.64 o 192 166.06/155.00 o 191 166.46/155.40 o 190 166.86/155.83 o 189 167.27/156.25 o 188 167.66/156.65 o 187 168.06/157.06 o 186 168.47/157.44 o 185 168.86/157.81 o 184 169.26/158.20 o 183 169.66/158.61 o 182 170.06/159.02 o 181 170.46/159.43 o 180 170.86/159.85 o 179 171.26/160.24 o 178 171.67/160.63 o 177 172.07/161.02 o 176 172.47/161.42 o 175 172.87/161.85 o 174 173.36/162.30 o 173 173.76/162.76 o 172 174.26/163.20 o 171 174.67/163.64 o 170 175.07/164.04 o 169 175.47/164.44 o 168 175.87/164.80 o 167 176.18/165.18 o 166 176.57/165.56 o 165 176.97/165.94 o 164 177.38/166.34 o 163 177.78/166.73 o 162 178.18/167.11 o 161 178.58/167.51 o 160 178.88/167.88 o 159 179.28/168.26 o 158 179.58/168.58 o 157 179.98/168.99 o 156 180.48/169.40 o 155 180.77/169.77 o 154 181.18/170.14 o 153 181.58/170.53 o 152 181.97/170.90 o 151 182.27/171.27 o 150 182.68/171.63 o 149 182.97/171.98 o 148 183.38/172.34 o 147 183.78/172.71 o 146 184.18/173.10 o 145 184.48/173.46 o 144 184.88/173.83 o 143 185.18/174.19 o 142 185.58/174.56 o 141 185.98/174.91 o 140 186.27/175.28 o 139 186.68/175.65 o 138 187.08/176.03 o 137 187.48/176.44 o 136 187.87/176.81 o 135 188.18/177.17 o 134 188.58/177.54 o 133 188.88/177.87 o 132 189.28/178.21 o 131 189.68/178.64 o 130 189.98/178.99 o 129 190.38/179.35 o 128 190.78/179.70 o 127 191.08/180.02 o 126 191.38/180.35 o 125 191.68/180.67 o 124 191.98/180.98 o 123 192.38/181.32 o 122 192.69/181.68 o 121 193.08/182.04 o 120 193.38/182.39 o 119 193.79/182.75 o 118 194.08/183.09 o 117 194.49/183.44 o 116 194.81/183.80 o 115 195.20/184.17 o 114 195.60/184.54 o 113 195.91/184.88 o 112 196.30/185.25 o 111 196.60/185.58 o 110 197.01/185.94 o 109 197.30/186.30 o 108 197.70/186.67 o 107 198.11/187.02 o 106 198.40/187.34 o 105 198.70/187.68 o 104 199.10/188.03 o 103 199.50/188.40 o 102 199.80/188.77 o 101 200.20/189.15 o 100 200.60/189.53 o 99 201.00/189.93 o 98 201.30/190.26 o 97 201.60/190.59 o 96 202.00/190.94 o 95 202.40/191.31 o 94 202.70/191.67 o 93 203.10/192.05 o 92 203.40/192.38 o 91 203.71/192.69 o 90 204.10/193.01 o 89 204.40/193.35 o 88 204.71/193.69 o 87 205.11/194.03 o 86 205.41/194.34 o 85 205.71/194.66 o 84 206.01/194.99 o 83 206.41/195.33 o 82 206.81/195.73 o 81 207.21/196.11 o 80 207.51/196.50 o 79 208.15/196.92 o 78 208.54/197.32 o 77 208.85/197.68 o 76 209.25/198.05 o 75 209.65/198.44 o 74 210.17/198.90 o 73 211.18/199.96 o 72 211.80/200.47 o 71 212.30/200.96 o 70 223.14/211.38 o 69 223.78/211.99 o 68 224.39/212.50 o 67 227.30/215.48 o 66 251.91/240.00 s SATISFIABLE 251.91/240.00 v <instantiation> 251.91/240.00 v <list> 251.91/240.00 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] 251.91/240.00 v </list> 251.91/240.00 v <values> 251.91/240.00 v 64 37 15 52 58 10 43 53 21 53 61 29 10 5 21 62 8 58 56 42 1 34 43 15 23 30 46 3 39 3 47 12 35 49 7 46 65 15 2 65 10 0 34 60 10 16 48 33 41 31 35 35 19 32 57 64 36 64 54 14 34 38 44 34 17 9 16 2 46 5 6 59 37 17 20 41 22 15 28 48 18 17 56 63 28 34 24 52 23 8 52 13 57 60 53 0 2 31 36 25 61 2 7 22 46 36 39 9 44 29 8 47 59 58 2 12 10 66 54 3 50 27 1 59 64 65 40 38 7 29 63 63 44 20 54 14 31 13 48 0 0 26 14 15 32 58 43 50 3 30 48 40 19 55 47 3 16 56 25 65 18 51 34 48 62 19 57 41 64 37 15 4 42 58 24 42 5 48 33 15 51 63 25 32 39 28 56 42 56 27 47 37 58 38 44 36 31 4 20 35 22 23 37 25 33 9 22 37 14 6 18 7 64 63 24 12 31 20 25 20 5 66 59 9 11 65 38 21 56 64 52 49 35 51 26 51 56 47 27 45 45 54 53 56 45 46 55 16 40 3 64 47 52 16 34 65 4 39 22 61 38 59 52 14 61 17 23 39 13 25 1 19 40 11 48 30 33 7 66 65 23 50 21 32 40 36 28 62 16 30 44 66 60 13 0 14 47 66 24 30 52 57 4 62 8 37 26 1 19 58 29 40 55 5 54 22 33 18 24 43 49 6 24 59 0 55 9 50 40 8 48 43 28 38 36 51 31 22 4 6 59 45 32 3 23 13 26 36 63 59 29 45 13 33 20 61 30 57 47 17 23 50 17 25 1 51 49 5 43 58 35 8 4 57 46 9 26 39 20 11 36 21 30 55 38 14 24 34 44 27 7 14 5 54 49 45 30 63 64 12 30 25 45 16 8 65 63 31 65 62 53 1 59 17 26 43 55 54 27 15 6 21 11 11 6 41 49 66 19 35 63 11 60 53 46 53 11 4 53 9 35 49 32 27 63 49 18 61 50 13 17 32 38 54 29 46 62 53 30 28 44 41 50 0 26 6 2 44 43 19 39 56 3 19 62 42 29 61 33 41 10 12 12 41 60 44 66 27 24 42 16 40 45 31 28 50 50 24 27 20 251.91/240.00 v </values> 251.91/240.00 v </instantiation>
OK 66
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-4256041-1501628669/watcher-4256041-1501628669 -o /tmp/evaluation-result-4256041-1501628669/solver-4256041-1501628669 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 396013461 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256041-1501628669.xml pid=19687 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.17 1.89 1.74 3/199 19690 /proc/meminfo: memFree=30414668/32770624 swapFree=0/198904 [pid=19690] ppid=19687 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/19690/stat : 19690 (runsolver) D 19687 19690 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10682226 24240128 106 18446744073709551615 4194304 4338465 140725774567344 140725774564984 140281042768599 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 9068544 140725774573671 140725774574150 140725774574150 140725774577610 0 /proc/19690/statm: 5918 106 53 36 0 2156 0 [startup+0.10011 s] /proc/loadavg: 2.17 1.89 1.74 3/199 19690 /proc/meminfo: memFree=30414668/32770624 swapFree=0/198904 [pid=19690] ppid=19687 vsize=13573664 CPUtime=0.02 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 3993 0 0 0 2 0 0 0 20 0 9 0 10682226 13899431936 4102 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3393416 4102 2062 1 0 3382921 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13573664 [startup+0.202897 s] /proc/loadavg: 2.17 1.89 1.74 3/199 19690 /proc/meminfo: memFree=30414668/32770624 swapFree=0/198904 [pid=19690] ppid=19687 vsize=13975920 CPUtime=0.09 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 6912 0 0 0 8 1 0 0 20 0 15 0 10682226 14311342080 7617 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3493980 7617 3363 1 0 3482767 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13975920 [startup+0.30025 s] /proc/loadavg: 2.17 1.89 1.74 3/199 19690 /proc/meminfo: memFree=30414668/32770624 swapFree=0/198904 [pid=19690] ppid=19687 vsize=13976944 CPUtime=0.24 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 10206 0 0 0 22 2 0 0 20 0 15 0 10682226 14312390656 9919 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3494236 9919 3510 1 0 3483023 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 13976944 [startup+0.707513 s] /proc/loadavg: 2.17 1.89 1.74 3/199 19690 /proc/meminfo: memFree=30414668/32770624 swapFree=0/198904 [pid=19690] ppid=19687 vsize=13977988 CPUtime=1.2 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 15282 0 0 0 115 5 0 0 20 0 15 0 10682226 14313459712 26207 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3494497 26207 3719 1 0 3483279 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 13977988 [startup+1.50063 s] /proc/loadavg: 2.17 1.89 1.74 8/214 19705 /proc/meminfo: memFree=30203728/32770624 swapFree=0/198948 [pid=19690] ppid=19687 vsize=13977988 CPUtime=3.61 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 20239 0 0 0 350 11 0 0 20 0 15 0 10682226 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3494497 66758 3776 1 0 3483279 0 [pid=19690/tid=19692] ppid=19687 vsize=13977988 CPUtime=1.29 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 10441 0 0 0 124 5 0 0 20 0 15 0 10682234 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140600277493296 140599866907658 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13977988 CPUtime=0.05 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 62 0 0 0 4 1 0 0 20 0 15 0 10682234 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13977988 CPUtime=0.03 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 86 0 0 0 3 0 0 0 20 0 15 0 10682234 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13977988 CPUtime=0.03 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 98 0 0 0 3 0 0 0 20 0 15 0 10682234 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13977988 CPUtime=0.03 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 93 0 0 0 3 0 0 0 20 0 15 0 10682234 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 10682236 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10682236 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599457690400 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10682236 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599456638064 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19701] ppid=19687 vsize=13977988 CPUtime=0.9 cores=1,3,5,7 /proc/19690/task/19701/stat : 19701 (java) R 19687 19690 5228 0 -1 4202560 3174 0 0 0 89 1 0 0 20 0 15 0 10682239 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599454534384 140600253890652 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19702] ppid=19687 vsize=13977988 CPUtime=0.88 cores=1,3,5,7 /proc/19690/task/19702/stat : 19702 (java) R 19687 19690 5228 0 -1 4202560 3669 0 0 0 88 0 0 0 20 0 15 0 10682239 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599453472912 140600252711108 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19703] ppid=19687 vsize=13977988 CPUtime=0.33 cores=1,3,5,7 /proc/19690/task/19703/stat : 19703 (java) S 19687 19690 5228 0 -1 1077944384 1163 0 0 0 33 0 0 0 20 0 15 0 10682239 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599452429168 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19704] ppid=19687 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10682244 14313459712 66758 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 3.61 Current children cumulated vsize (KiB) 13977988 [startup+3.10066 s] /proc/loadavg: 2.17 1.89 1.74 5/214 19705 /proc/meminfo: memFree=30015324/32770624 swapFree=0/198948 [pid=19690] ppid=19687 vsize=13980036 CPUtime=7.23 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 27398 0 0 0 664 59 0 0 20 0 15 0 10682226 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3495009 231285 3794 1 0 3483791 0 [pid=19690/tid=19692] ppid=19687 vsize=13980036 CPUtime=2.64 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 13732 0 0 0 253 11 0 0 20 0 15 0 10682234 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140600277494624 140599872681324 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13980036 CPUtime=0.28 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 250 0 0 0 17 11 0 0 20 0 15 0 10682234 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13980036 CPUtime=0.28 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 352 0 0 0 17 11 0 0 20 0 15 0 10682234 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13980036 CPUtime=0.26 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 306 0 0 0 16 10 0 0 20 0 15 0 10682234 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13980036 CPUtime=0.27 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 394 0 0 0 17 10 0 0 20 0 15 0 10682234 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 570 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599457690464 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599456638080 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19701] ppid=19687 vsize=13980036 CPUtime=1.47 cores=1,3,5,7 /proc/19690/task/19701/stat : 19701 (java) S 19687 19690 5228 0 -1 1077944384 3645 0 0 0 146 1 0 0 20 0 15 0 10682239 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599454534256 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19702] ppid=19687 vsize=13980036 CPUtime=1.37 cores=1,3,5,7 /proc/19690/task/19702/stat : 19702 (java) S 19687 19690 5228 0 -1 1077944384 3810 0 0 0 136 1 0 0 20 0 15 0 10682239 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599453481456 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19703] ppid=19687 vsize=13980036 CPUtime=0.58 cores=1,3,5,7 /proc/19690/task/19703/stat : 19703 (java) S 19687 19690 5228 0 -1 1077944384 2969 0 0 0 57 1 0 0 20 0 15 0 10682239 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599452429168 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19704] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10682244 14315556864 231285 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 7.23 Current children cumulated vsize (KiB) 13980036 [startup+6.30068 s] /proc/loadavg: 2.40 1.94 1.75 5/214 19705 /proc/meminfo: memFree=28457528/32770624 swapFree=0/198956 [pid=19690] ppid=19687 vsize=13980036 CPUtime=13.19 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 31329 0 0 0 1196 123 0 0 20 0 15 0 10682226 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3495009 463976 3812 1 0 3483791 0 [pid=19690/tid=19692] ppid=19687 vsize=13980036 CPUtime=5.34 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 15060 0 0 0 516 18 0 0 20 0 15 0 10682234 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140600277494120 140599873578406 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13980036 CPUtime=0.73 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 825 0 0 0 49 24 0 0 20 0 15 0 10682234 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13980036 CPUtime=0.73 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 663 0 0 0 48 25 0 0 20 0 15 0 10682234 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13980036 CPUtime=0.72 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 606 0 0 0 48 24 0 0 20 0 15 0 10682234 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13980036 CPUtime=0.73 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 740 0 0 0 49 24 0 0 20 0 15 0 10682234 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13980036 CPUtime=0.05 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 992 0 0 0 5 0 0 0 20 0 15 0 10682236 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599457690464 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599456638080 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19701] ppid=19687 vsize=13980036 CPUtime=2.13 cores=1,3,5,7 /proc/19690/task/19701/stat : 19701 (java) S 19687 19690 5228 0 -1 1077944384 3804 0 0 0 212 1 0 0 20 0 15 0 10682239 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599454534256 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19702] ppid=19687 vsize=13980036 CPUtime=2.01 cores=1,3,5,7 /proc/19690/task/19702/stat : 19702 (java) S 19687 19690 5228 0 -1 1077944384 4212 0 0 0 200 1 0 0 20 0 15 0 10682239 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599453481456 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19703] ppid=19687 vsize=13980036 CPUtime=0.67 cores=1,3,5,7 /proc/19690/task/19703/stat : 19703 (java) S 19687 19690 5228 0 -1 1077944384 3057 0 0 0 66 1 0 0 20 0 15 0 10682239 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599452429168 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19704] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10682244 14315556864 463976 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 13.19 Current children cumulated vsize (KiB) 13980036 [startup+12.7007 s] /proc/loadavg: 2.37 1.95 1.76 3/214 19706 /proc/meminfo: memFree=28456912/32770624 swapFree=0/198964 [pid=19690] ppid=19687 vsize=13980036 CPUtime=19.93 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 35812 0 0 0 1870 123 0 0 20 0 15 0 10682226 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3495009 464076 3813 1 0 3483791 0 [pid=19690/tid=19692] ppid=19687 vsize=13980036 CPUtime=11.73 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 16146 0 0 0 1155 18 0 0 20 0 15 0 10682234 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140600277491424 140599873578329 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13980036 CPUtime=0.73 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 825 0 0 0 49 24 0 0 20 0 15 0 10682234 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13980036 CPUtime=0.73 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 663 0 0 0 48 25 0 0 20 0 15 0 10682234 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13980036 CPUtime=0.72 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 606 0 0 0 48 24 0 0 20 0 15 0 10682234 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13980036 CPUtime=0.73 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 740 0 0 0 49 24 0 0 20 0 15 0 10682234 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13980036 CPUtime=0.05 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 1031 0 0 0 5 0 0 0 20 0 15 0 10682236 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140599457690464 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140599456638080 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 464076 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 ################ # More data... # ################ /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 680940 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13980036 CPUtime=0.02 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 339 0 0 0 0 2 0 0 20 0 15 0 10682244 14315556864 680940 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 59.28 Current children cumulated vsize (KiB) 13980036 [startup+102.301 s] /proc/loadavg: 2.05 1.95 1.78 3/214 19708 /proc/meminfo: memFree=25923060/32770624 swapFree=0/199108 [pid=19690] ppid=19687 vsize=13980036 CPUtime=112.79 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 62453 0 0 0 11062 217 0 0 20 0 15 0 10682226 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3495009 816585 3813 1 0 3483791 0 [pid=19690/tid=19692] ppid=19687 vsize=13980036 CPUtime=100.12 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 24180 0 0 0 9981 31 0 0 20 0 15 0 10682234 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140600277486144 140599874274651 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13980036 CPUtime=1.67 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 2119 0 0 0 122 45 0 0 20 0 15 0 10682234 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13980036 CPUtime=1.66 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 1318 0 0 0 122 44 0 0 20 0 15 0 10682234 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13980036 CPUtime=1.65 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 1569 0 0 0 122 43 0 0 20 0 15 0 10682234 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13980036 CPUtime=1.66 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 2821 0 0 0 123 43 0 0 20 0 15 0 10682234 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13980036 CPUtime=0.32 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 4652 0 0 0 32 0 0 0 20 0 15 0 10682236 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599457690464 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599456638080 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19701] ppid=19687 vsize=13980036 CPUtime=2.51 cores=1,3,5,7 /proc/19690/task/19701/stat : 19701 (java) S 19687 19690 5228 0 -1 1077944384 8699 0 0 0 250 1 0 0 20 0 15 0 10682239 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599454534256 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19702] ppid=19687 vsize=13980036 CPUtime=2.32 cores=1,3,5,7 /proc/19690/task/19702/stat : 19702 (java) S 19687 19690 5228 0 -1 1077944384 7927 0 0 0 231 1 0 0 20 0 15 0 10682239 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599453481456 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19703] ppid=19687 vsize=13980036 CPUtime=0.72 cores=1,3,5,7 /proc/19690/task/19703/stat : 19703 (java) S 19687 19690 5228 0 -1 1077944384 7300 0 0 0 70 2 0 0 20 0 15 0 10682239 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599452429168 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19704] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13980036 CPUtime=0.05 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 492 0 0 0 1 4 0 0 20 0 15 0 10682244 14315556864 816585 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 112.79 Current children cumulated vsize (KiB) 13980036 [startup+162.301 s] /proc/loadavg: 1.98 1.94 1.78 3/213 19710 /proc/meminfo: memFree=24795920/32770624 swapFree=0/199208 [pid=19690] ppid=19687 vsize=13980036 CPUtime=173.36 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 73485 0 0 0 17111 225 0 0 20 0 15 0 10682226 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3495009 880334 3813 1 0 3483791 0 [pid=19690/tid=19692] ppid=19687 vsize=13980036 CPUtime=159.93 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 28601 0 0 0 15958 35 0 0 20 0 15 0 10682234 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140600277486432 140599873578296 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13980036 CPUtime=1.84 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 2446 0 0 0 139 45 0 0 20 0 15 0 10682234 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13980036 CPUtime=1.83 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 5075 0 0 0 138 45 0 0 20 0 15 0 10682234 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13980036 CPUtime=1.83 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 2336 0 0 0 139 44 0 0 20 0 15 0 10682234 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13980036 CPUtime=1.83 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 3225 0 0 0 140 43 0 0 20 0 15 0 10682234 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13980036 CPUtime=0.33 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 5091 0 0 0 33 0 0 0 20 0 15 0 10682236 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599457690464 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599456638080 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19701] ppid=19687 vsize=13980036 CPUtime=2.52 cores=1,3,5,7 /proc/19690/task/19701/stat : 19701 (java) S 19687 19690 5228 0 -1 1077944384 8703 0 0 0 251 1 0 0 20 0 15 0 10682239 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599454534256 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19702] ppid=19687 vsize=13980036 CPUtime=2.32 cores=1,3,5,7 /proc/19690/task/19702/stat : 19702 (java) S 19687 19690 5228 0 -1 1077944384 7934 0 0 0 231 1 0 0 20 0 15 0 10682239 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599453481456 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19703] ppid=19687 vsize=13980036 CPUtime=0.74 cores=1,3,5,7 /proc/19690/task/19703/stat : 19703 (java) S 19687 19690 5228 0 -1 1077944384 8158 0 0 0 72 2 0 0 20 0 15 0 10682239 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599452429168 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19704] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13980036 CPUtime=0.09 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 540 0 0 0 3 6 0 0 20 0 15 0 10682244 14315556864 880334 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 173.36 Current children cumulated vsize (KiB) 13980036 [startup+222.307 s] /proc/loadavg: 2.14 1.99 1.80 4/213 19942 /proc/meminfo: memFree=28115236/32770624 swapFree=0/199384 [pid=19690] ppid=19687 vsize=13980036 CPUtime=234.21 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 88586 0 0 0 23188 233 0 0 20 0 15 0 10682226 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3495009 900300 3813 1 0 3483791 0 [pid=19690/tid=19692] ppid=19687 vsize=13980036 CPUtime=219.8 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 32624 0 0 0 21943 37 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600277486224 140599869460463 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13980036 CPUtime=1.98 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 2672 0 0 0 152 46 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13980036 CPUtime=1.96 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 6113 0 0 0 151 45 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13980036 CPUtime=1.96 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 2370 0 0 0 152 44 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13980036 CPUtime=1.98 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 6569 0 0 0 153 45 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13980036 CPUtime=0.33 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 5336 0 0 0 33 0 0 0 20 0 15 0 10682236 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599457690464 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599456638080 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19701] ppid=19687 vsize=13980036 CPUtime=2.73 cores=1,3,5,7 /proc/19690/task/19701/stat : 19701 (java) S 19687 19690 5228 0 -1 1077944384 12274 0 0 0 271 2 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599454534256 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19702] ppid=19687 vsize=13980036 CPUtime=2.46 cores=1,3,5,7 /proc/19690/task/19702/stat : 19702 (java) S 19687 19690 5228 0 -1 1077944384 9687 0 0 0 245 1 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599453481456 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19703] ppid=19687 vsize=13980036 CPUtime=0.77 cores=1,3,5,7 /proc/19690/task/19703/stat : 19703 (java) S 19687 19690 5228 0 -1 1077944384 8997 0 0 0 75 2 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599452429168 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19704] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13980036 CPUtime=0.12 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 568 0 0 0 4 8 0 0 20 0 15 0 10682244 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 234.21 Current children cumulated vsize (KiB) 13980036 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.04 1.97 1.80 2/195 19945 /proc/meminfo: memFree=28228276/32770624 swapFree=0/199420 [pid=19690] ppid=19687 vsize=13980036 CPUtime=251.91 cores=1,3,5,7 /proc/19690/stat : 19690 (java) S 19687 19690 5228 0 -1 1077944320 89383 0 0 0 24958 233 0 0 20 0 15 0 10682226 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140734805370672 140600273256183 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 /proc/19690/statm: 3495009 900300 3813 1 0 3483791 0 [pid=19690/tid=19692] ppid=19687 vsize=13980036 CPUtime=237.5 cores=1,3,5,7 /proc/19690/task/19692/stat : 19692 (java) R 19687 19690 5228 0 -1 4202560 33421 0 0 0 23712 38 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600277486224 140599869460437 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19693] ppid=19687 vsize=13980036 CPUtime=1.98 cores=1,3,5,7 /proc/19690/task/19693/stat : 19693 (java) S 19687 19690 5228 0 -1 1077944384 2672 0 0 0 152 46 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600192670608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19694] ppid=19687 vsize=13980036 CPUtime=1.96 cores=1,3,5,7 /proc/19690/task/19694/stat : 19694 (java) S 19687 19690 5228 0 -1 1077944384 6113 0 0 0 151 45 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600191617808 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19695] ppid=19687 vsize=13980036 CPUtime=1.96 cores=1,3,5,7 /proc/19690/task/19695/stat : 19695 (java) S 19687 19690 5228 0 -1 1077944384 2370 0 0 0 152 44 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600190565520 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19696] ppid=19687 vsize=13980036 CPUtime=1.98 cores=1,3,5,7 /proc/19690/task/19696/stat : 19696 (java) S 19687 19690 5228 0 -1 1077944384 6569 0 0 0 153 45 0 0 20 0 15 0 10682234 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140600189512720 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19697] ppid=19687 vsize=13980036 CPUtime=0.33 cores=1,3,5,7 /proc/19690/task/19697/stat : 19697 (java) S 19687 19690 5228 0 -1 1077944384 5336 0 0 0 33 0 0 0 20 0 15 0 10682236 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599458744432 140600273267330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19698] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19698/stat : 19698 (java) S 19687 19690 5228 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599457690464 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19699] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19699/stat : 19699 (java) S 19687 19690 5228 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 10682236 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599456638080 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19700] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19700/stat : 19700 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599455586384 140600273274779 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19701] ppid=19687 vsize=13980036 CPUtime=2.73 cores=1,3,5,7 /proc/19690/task/19701/stat : 19701 (java) S 19687 19690 5228 0 -1 1077944384 12274 0 0 0 271 2 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599454534256 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19702] ppid=19687 vsize=13980036 CPUtime=2.46 cores=1,3,5,7 /proc/19690/task/19702/stat : 19702 (java) S 19687 19690 5228 0 -1 1077944384 9687 0 0 0 245 1 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599453481456 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19703] ppid=19687 vsize=13980036 CPUtime=0.77 cores=1,3,5,7 /proc/19690/task/19703/stat : 19703 (java) S 19687 19690 5228 0 -1 1077944384 8997 0 0 0 75 2 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599452429168 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19704] ppid=19687 vsize=13980036 CPUtime=0 cores=1,3,5,7 /proc/19690/task/19704/stat : 19704 (java) S 19687 19690 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10682239 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599451376608 140600273266389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 [pid=19690/tid=19705] ppid=19687 vsize=13980036 CPUtime=0.14 cores=1,3,5,7 /proc/19690/task/19705/stat : 19705 (java) S 19687 19690 5228 0 -1 1077944384 568 0 0 0 5 9 0 0 20 0 15 0 10682244 14315556864 900300 18446744073709551615 4194304 4196468 140734805388128 140599450323376 140600273267330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140734805389714 140734805389899 140734805389899 140734805393359 0 Current children cumulated CPU time (s) 251.91 Current children cumulated vsize (KiB) 13980036 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 19690 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.038 CPU time (s): 251.958 CPU user time (s): 249.603 CPU system time (s): 2.35468 CPU usage (%): 104.966 Max. virtual memory (cumulated for all children) (KiB): 13980036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 249.603 system time used= 2.35468 maximum resident set size= 3601884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89969 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8817 involuntary context switches= 499 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.00029 second user time and 1.65273 second system time The end
Begin job on node133 at 2017-08-02 00:50:22 IDJOB=4256041 IDBENCH=120601 IDSOLVER=2639 FILE ID=node133/4256041-1501628669 RUNJOBID= node133-1501622945-15686 PBS_JOBID= Free space on /tmp= 61820 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-500-5.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256041-1501628669/watcher-4256041-1501628669 -o /tmp/evaluation-result-4256041-1501628669/solver-4256041-1501628669 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 396013461 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256041-1501628669.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c0366ff4baa9e19aea1ffc9dac5e4aa RANDOM SEED=396013461 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 4 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.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 4 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.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30414952 kB MemAvailable: 30612932 kB Buffers: 101084 kB Cached: 379312 kB SwapCached: 0 kB Active: 1740780 kB Inactive: 207440 kB Active(anon): 1468204 kB Inactive(anon): 8536 kB Active(file): 272576 kB Inactive(file): 198904 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 44444 kB Writeback: 0 kB AnonPages: 1468024 kB Mapped: 44420 kB Shmem: 8892 kB Slab: 110272 kB SReclaimable: 84672 kB SUnreclaim: 25600 kB KernelStack: 3472 kB PageTables: 7580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3359728 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1337344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61780 MiB End job on node133 at 2017-08-02 00:54:23