Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 61 | 1920.65 | 244.59399 |
Name | PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml |
MD5SUM | 2e76cba0749e9f6e1c633f9939767035 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 251.938 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 435 |
Number of constraints | 501 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":435}] |
Minimum variable degree | 2 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":2,"count":3},{"degree":3,"count":38},{"degree":4,"count":135},{"degree":5,"count":118},{"degree":6,"count":126},{"degree":7,"count":1},{"degree":8,"count":14}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 16 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":402},{"arity":3,"count":3},{"arity":4,"count":2},{"arity":5,"count":10},{"arity":6,"count":7},{"arity":7,"count":9},{"arity":8,"count":13},{"arity":9,"count":15},{"arity":10,"count":7},{"arity":11,"count":11},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":15,"count":6},{"arity":16,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":501}] |
Optimization problem | YES |
Type of objective | min SUM |
0.24/0.37 c version: 2017-07-26 0.24/0.37 c seed: 945503845 0.24/0.37 c timeout: 1920 0.24/0.37 c memlimit: 22000 0.24/0.37 c nbcore: 8 0.44/0.40 c Parsing instance... 1.07/0.79 c Parsing done, starting search... 7.02/2.74 o 601 7.02/2.74 o 594 7.02/2.74 o 592 7.02/2.76 o 591 7.02/2.76 o 588 7.02/2.76 o 587 7.02/2.76 o 586 7.02/2.76 o 585 7.02/2.76 o 584 7.02/2.77 o 583 7.02/2.77 o 582 7.02/2.77 o 581 7.02/2.77 o 580 7.02/2.77 o 579 7.02/2.77 o 578 7.02/2.77 o 577 7.02/2.77 o 576 7.02/2.77 o 575 7.02/2.78 o 574 7.02/2.78 o 573 7.02/2.78 o 572 7.02/2.78 o 571 7.02/2.78 o 570 7.02/2.78 o 569 7.02/2.79 o 568 7.02/2.79 o 567 7.02/2.79 o 566 7.02/2.79 o 565 7.02/2.79 o 564 7.02/2.79 o 563 7.02/2.79 o 562 7.02/2.79 o 561 7.02/2.79 o 560 7.02/2.79 o 559 7.02/2.79 o 558 7.02/2.79 o 557 7.02/2.80 o 556 7.02/2.80 o 555 7.02/2.80 o 554 7.02/2.80 o 553 7.72/2.80 o 552 7.72/2.80 o 551 7.72/2.80 o 550 7.72/2.80 o 549 7.72/2.80 o 548 7.72/2.80 o 547 7.72/2.80 o 546 7.72/2.80 o 545 7.72/2.80 o 544 7.72/2.80 o 543 7.72/2.80 o 542 7.72/2.80 o 541 7.72/2.80 o 540 7.72/2.80 o 539 7.72/2.80 o 538 7.72/2.80 o 537 7.72/2.81 o 536 7.72/2.81 o 535 7.72/2.81 o 534 7.72/2.81 o 533 7.72/2.81 o 532 7.72/2.81 o 531 7.72/2.81 o 530 7.72/2.81 o 529 7.72/2.81 o 528 7.72/2.81 o 527 7.72/2.81 o 526 7.72/2.81 o 525 7.72/2.81 o 524 7.72/2.81 o 523 7.72/2.81 o 522 7.72/2.81 o 521 7.72/2.81 o 520 7.72/2.82 o 519 7.72/2.82 o 518 7.72/2.82 o 517 7.72/2.82 o 516 7.72/2.82 o 515 7.72/2.82 o 514 7.72/2.82 o 513 7.72/2.82 o 512 7.72/2.82 o 511 7.72/2.82 o 510 7.72/2.82 o 509 7.72/2.82 o 508 7.72/2.82 o 507 7.72/2.82 o 506 7.72/2.83 o 505 7.72/2.83 o 504 7.72/2.83 o 503 7.72/2.83 o 502 7.72/2.83 o 501 7.72/2.83 o 500 7.72/2.83 o 499 7.72/2.83 o 498 7.72/2.83 o 497 7.72/2.83 o 496 7.72/2.83 o 495 7.72/2.83 o 494 7.72/2.83 o 493 7.72/2.83 o 492 7.72/2.83 o 491 7.72/2.83 o 490 7.72/2.83 o 489 7.72/2.83 o 488 7.72/2.83 o 487 7.72/2.83 o 486 7.72/2.83 o 485 7.72/2.83 o 484 7.72/2.83 o 483 7.72/2.84 o 482 7.72/2.84 o 481 7.72/2.84 o 480 7.72/2.84 o 479 7.72/2.84 o 478 7.72/2.84 o 477 7.72/2.84 o 476 7.72/2.84 o 475 7.72/2.84 o 474 7.72/2.84 o 473 7.72/2.84 o 472 7.72/2.84 o 471 7.72/2.84 o 470 7.72/2.84 o 469 7.72/2.84 o 468 7.72/2.84 o 467 7.72/2.85 o 466 7.72/2.85 o 465 7.72/2.85 o 464 7.72/2.85 o 463 7.72/2.85 o 462 7.72/2.85 o 461 7.72/2.86 o 460 7.72/2.86 o 459 7.72/2.86 o 458 7.72/2.86 o 457 7.72/2.86 o 456 7.72/2.87 o 455 7.72/2.90 o 454 7.72/2.90 o 453 7.72/2.90 o 452 7.72/2.90 o 451 7.72/2.90 o 450 7.72/2.90 o 449 7.72/2.90 o 448 8.40/2.91 o 447 8.40/2.92 o 446 8.40/2.93 o 445 8.40/2.93 o 444 8.40/2.93 o 443 8.40/2.93 o 442 8.40/2.93 o 441 8.40/2.93 o 440 8.40/2.94 o 439 8.40/2.94 o 438 8.40/2.94 o 437 8.40/2.94 o 436 8.40/2.95 o 435 8.40/2.95 o 434 8.40/2.96 o 433 8.40/2.96 o 432 8.40/2.97 o 431 8.40/2.97 o 430 8.40/2.98 o 429 8.40/2.98 o 428 8.40/2.98 o 427 8.40/2.98 o 426 8.40/2.99 o 425 8.40/2.99 o 424 8.40/2.99 o 423 9.09/3.00 o 422 9.09/3.00 o 421 9.09/3.00 o 420 9.85/3.57 o 419 9.85/3.57 o 418 9.85/3.57 o 417 9.85/3.57 o 416 9.85/3.57 o 415 9.85/3.57 o 414 9.85/3.57 o 413 9.85/3.57 o 412 9.85/3.57 o 411 9.85/3.57 o 410 9.85/3.57 o 409 9.85/3.57 o 408 9.85/3.57 o 407 9.85/3.57 o 406 9.85/3.57 o 405 9.85/3.57 o 404 9.85/3.57 o 403 9.85/3.57 o 402 9.85/3.57 o 401 9.85/3.57 o 400 9.85/3.57 o 399 9.85/3.57 o 398 9.85/3.57 o 397 9.85/3.57 o 396 9.85/3.57 o 395 9.85/3.57 o 394 9.85/3.57 o 393 9.85/3.57 o 392 9.85/3.57 o 391 9.85/3.57 o 390 9.85/3.57 o 389 9.85/3.57 o 388 9.85/3.57 o 387 9.85/3.57 o 386 9.85/3.57 o 385 9.85/3.57 o 384 9.85/3.57 o 383 9.85/3.57 o 382 9.85/3.57 o 381 9.85/3.57 o 380 9.85/3.57 o 379 9.85/3.57 o 378 9.85/3.57 o 377 9.85/3.57 o 376 9.85/3.57 o 375 9.85/3.57 o 374 9.85/3.57 o 373 9.85/3.57 o 372 9.85/3.57 o 371 9.85/3.57 o 370 9.85/3.57 o 369 9.85/3.57 o 368 9.85/3.57 o 367 9.85/3.57 o 366 9.85/3.57 o 365 9.85/3.57 o 364 9.85/3.57 o 363 9.85/3.57 o 362 9.85/3.57 o 361 9.85/3.57 o 360 9.85/3.57 o 359 9.85/3.57 o 358 9.85/3.57 o 357 9.85/3.57 o 356 9.85/3.57 o 355 9.85/3.57 o 354 9.85/3.57 o 353 9.85/3.57 o 352 9.85/3.57 o 351 9.85/3.57 o 350 9.85/3.57 o 349 9.85/3.57 o 348 9.85/3.57 o 347 9.85/3.57 o 346 9.85/3.57 o 345 9.85/3.57 o 344 9.85/3.57 o 343 9.85/3.57 o 342 9.85/3.57 o 341 9.85/3.57 o 340 9.85/3.57 o 339 9.85/3.57 o 338 9.85/3.57 o 337 9.85/3.57 o 336 9.85/3.57 o 335 9.85/3.57 o 334 9.85/3.57 o 333 9.85/3.57 o 332 9.85/3.57 o 331 9.85/3.57 o 330 9.85/3.57 o 329 9.85/3.57 o 328 9.85/3.57 o 327 9.85/3.57 o 326 9.85/3.57 o 325 9.85/3.57 o 324 9.85/3.57 o 323 9.85/3.57 o 322 9.85/3.57 o 321 9.85/3.57 o 320 9.85/3.57 o 319 9.85/3.57 o 318 9.85/3.57 o 317 9.85/3.57 o 316 9.85/3.57 o 315 9.85/3.57 o 314 9.85/3.57 o 313 9.85/3.57 o 312 9.85/3.57 o 311 9.85/3.57 o 310 9.85/3.57 o 309 9.85/3.57 o 308 9.85/3.57 o 307 9.85/3.57 o 306 9.85/3.57 o 305 9.85/3.57 o 304 9.85/3.57 o 303 9.85/3.57 o 302 9.85/3.57 o 301 9.85/3.57 o 300 9.85/3.57 o 299 9.85/3.57 o 298 9.85/3.57 o 297 9.85/3.57 o 296 9.85/3.57 o 295 9.85/3.57 o 294 9.85/3.57 o 293 9.85/3.57 o 292 9.85/3.57 o 291 9.85/3.57 o 290 9.85/3.57 o 289 9.85/3.57 o 288 9.85/3.57 o 287 9.85/3.57 o 286 9.85/3.57 o 285 9.85/3.57 o 284 9.85/3.57 o 283 9.85/3.57 o 282 9.85/3.57 o 281 9.85/3.57 o 280 9.85/3.57 o 279 9.85/3.57 o 278 9.85/3.57 o 277 9.85/3.57 o 276 9.85/3.57 o 275 9.85/3.57 o 274 9.85/3.57 o 273 9.85/3.57 o 272 9.85/3.57 o 271 9.85/3.57 o 270 9.85/3.57 o 269 9.85/3.57 o 268 9.85/3.57 o 267 9.85/3.57 o 266 9.85/3.57 o 265 9.85/3.57 o 264 9.85/3.57 o 263 9.85/3.57 o 262 9.85/3.57 o 261 9.85/3.57 o 260 9.85/3.57 o 259 9.85/3.57 o 258 9.85/3.57 o 257 9.85/3.57 o 256 9.85/3.57 o 255 9.85/3.57 o 254 9.85/3.57 o 253 9.85/3.57 o 252 9.85/3.57 o 251 9.85/3.57 o 250 9.85/3.57 o 249 9.85/3.57 o 248 9.85/3.57 o 247 9.85/3.57 o 246 9.85/3.57 o 245 9.85/3.57 o 244 9.85/3.57 o 243 9.85/3.57 o 242 9.85/3.57 o 241 9.85/3.57 o 240 9.85/3.57 o 239 9.85/3.57 o 238 9.85/3.57 o 237 9.85/3.57 o 236 9.85/3.57 o 235 9.85/3.57 o 234 9.85/3.57 o 233 9.85/3.57 o 232 9.85/3.57 o 231 9.85/3.57 o 230 9.85/3.57 o 229 9.85/3.57 o 228 9.85/3.57 o 227 9.85/3.57 o 226 9.85/3.57 o 225 9.85/3.57 o 224 9.85/3.57 o 223 9.85/3.57 o 222 9.85/3.57 o 221 9.85/3.57 o 220 9.85/3.57 o 219 9.85/3.57 o 218 9.85/3.57 o 217 9.85/3.57 o 216 9.85/3.57 o 215 9.85/3.57 o 214 9.85/3.57 o 213 9.85/3.57 o 212 9.85/3.57 o 211 9.85/3.57 o 210 9.85/3.57 o 209 9.85/3.57 o 208 9.85/3.57 o 207 9.85/3.57 o 206 9.85/3.57 o 205 9.85/3.57 o 204 9.85/3.57 o 203 9.85/3.57 o 202 9.85/3.57 o 201 9.85/3.57 o 200 9.85/3.57 o 199 9.85/3.57 o 198 9.85/3.57 o 197 9.85/3.57 o 196 9.85/3.57 o 195 9.85/3.57 o 194 9.85/3.57 o 193 9.85/3.57 o 192 9.85/3.57 o 191 9.85/3.57 o 190 9.85/3.57 o 189 9.85/3.57 o 188 9.85/3.57 o 187 9.85/3.57 o 186 9.85/3.57 o 185 9.85/3.57 o 184 9.85/3.57 o 183 9.85/3.57 o 182 9.85/3.57 o 181 9.85/3.57 o 180 9.85/3.57 o 179 9.85/3.57 o 178 9.85/3.57 o 177 9.85/3.57 o 176 9.85/3.57 o 175 9.85/3.57 o 174 9.85/3.57 o 173 9.85/3.57 o 172 9.85/3.57 o 171 9.85/3.57 o 170 9.85/3.57 o 169 9.85/3.57 o 168 9.85/3.57 o 167 9.85/3.57 o 166 9.85/3.57 o 165 9.85/3.57 o 164 9.85/3.57 o 163 9.85/3.57 o 162 9.85/3.57 o 161 9.85/3.57 o 160 9.85/3.57 o 159 9.85/3.57 o 158 9.85/3.57 o 157 9.85/3.57 o 156 9.85/3.57 o 155 9.85/3.57 o 154 9.85/3.57 o 153 9.85/3.57 o 152 9.85/3.57 o 151 9.85/3.57 o 150 9.85/3.57 o 149 9.85/3.57 o 148 9.85/3.57 o 147 9.85/3.57 o 146 9.85/3.58 o 145 9.85/3.59 o 144 9.85/3.60 o 143 9.85/3.60 o 142 9.85/3.60 o 141 9.85/3.60 o 140 9.85/3.61 o 139 9.85/3.61 o 138 9.85/3.64 o 137 9.85/3.64 o 136 9.85/3.64 o 135 9.85/3.66 o 134 9.85/3.67 o 133 14.27/3.68 o 132 14.48/3.71 o 131 14.48/3.71 o 130 14.48/3.73 o 129 14.48/3.73 o 128 14.48/3.73 o 127 14.48/3.77 o 126 14.48/3.77 o 125 14.48/3.80 o 124 15.29/3.81 o 123 15.29/3.82 o 122 15.29/3.84 o 121 15.29/3.84 o 120 15.29/3.86 o 119 15.29/3.87 o 118 15.29/3.89 o 117 15.29/3.89 o 116 15.29/3.89 o 115 16.04/3.92 o 114 16.04/3.92 o 113 16.04/3.92 o 112 16.04/3.95 o 111 16.04/3.95 o 110 16.04/3.97 o 109 16.04/3.98 o 108 16.84/4.03 o 107 16.84/4.06 o 106 16.84/4.08 o 105 17.64/4.11 o 104 17.64/4.16 o 103 17.64/4.19 o 102 18.41/4.21 o 101 18.41/4.23 o 100 18.41/4.24 o 99 18.41/4.24 o 98 18.41/4.24 o 97 18.41/4.30 o 96 19.20/4.31 o 95 19.20/4.37 o 94 19.20/4.38 o 93 20.00/4.42 o 92 20.00/4.44 o 91 20.00/4.44 o 90 20.00/4.45 o 89 20.00/4.48 o 88 20.00/4.48 o 87 20.80/4.56 o 86 20.80/4.57 o 85 21.59/4.66 o 84 22.39/4.70 o 83 23.23/4.86 o 82 23.23/4.89 o 81 27.14/5.35 o 80 31.14/5.87 o 79 38.27/6.76 o 78 38.27/6.78 o 77 61.39/9.64 o 76 88.51/13.04 o 75 88.51/13.08 o 74 129.22/18.16 o 73 129.22/18.17 o 72 129.98/18.23 o 71 147.51/20.44 o 70 288.65/38.16 o 69 300.60/39.62 o 68 334.87/43.99 o 67 421.83/54.82 o 66 505.40/65.37 o 65 572.19/73.77 o 64 600.03/77.25 o 63 600.83/77.32 o 62 980.35/125.49 o 61 1920.05/244.55 s SATISFIABLE 1920.05/244.55 v <instantiation> 1920.05/244.55 v <list> 1920.05/244.55 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] 1920.05/244.55 v </list> 1920.05/244.55 v <values> 1920.05/244.55 v 1 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 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 1 0 0 0 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 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 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 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 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1920.05/244.55 v </values> 1920.05/244.55 v </instantiation>
OK 61
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-4257159-1501691782/watcher-4257159-1501691782 -o /tmp/evaluation-result-4257159-1501691782/solver-4257159-1501691782 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 945503845 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257159-1501691782.xml pid=26025 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 9.08 8.34 7.60 2/172 26028 /proc/meminfo: memFree=31010964/32770624 swapFree=0/891928 [pid=26028] ppid=26025 vsize=23672 CPUtime=0 cores=0-7 /proc/26028/stat : 26028 (runsolver) D 26025 26028 31529 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 17802837 24240128 106 18446744073709551615 4194304 4338465 140722675619552 140722675617192 140377936622295 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 37928960 140722675621988 140722675622467 140722675622467 140722675625930 0 /proc/26028/statm: 5918 106 53 36 0 2156 0 [startup+0.100152 s] /proc/loadavg: 9.08 8.34 7.60 2/172 26028 /proc/meminfo: memFree=31010964/32770624 swapFree=0/891928 [pid=26028] ppid=26025 vsize=25394656 CPUtime=0.01 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 3851 0 0 0 1 0 0 0 20 0 11 0 17802837 26004127744 3527 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6348664 3527 2017 1 0 6338169 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 25394656 [startup+0.209183 s] /proc/loadavg: 9.08 8.34 7.60 2/172 26028 /proc/meminfo: memFree=31010964/32770624 swapFree=0/891928 [pid=26028] ppid=26025 vsize=25996604 CPUtime=0.11 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 7429 0 0 0 9 2 0 0 20 0 20 0 17802837 26620522496 7569 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6499151 7569 3351 1 0 6487938 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 25996604 [startup+0.300336 s] /proc/loadavg: 9.08 8.34 7.60 2/172 26028 /proc/meminfo: memFree=31010964/32770624 swapFree=0/891928 [pid=26028] ppid=26025 vsize=25996604 CPUtime=0.24 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 11055 0 0 0 21 3 0 0 20 0 20 0 17802837 26620522496 9732 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6499151 9732 3485 1 0 6487938 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 25996604 [startup+0.700306 s] /proc/loadavg: 9.08 8.34 7.60 2/172 26028 /proc/meminfo: memFree=31010964/32770624 swapFree=0/891928 [pid=26028] ppid=26025 vsize=25998672 CPUtime=1.07 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 14131 0 0 0 101 6 0 0 20 0 20 0 17802837 26622640128 17387 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6499668 17387 3717 1 0 6488450 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 25998672 [startup+1.50085 s] /proc/loadavg: 9.08 8.34 7.60 3/192 26048 /proc/meminfo: memFree=30893568/32770624 swapFree=0/891940 [pid=26028] ppid=26025 vsize=26002768 CPUtime=3.1 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 30461 0 0 0 297 13 0 0 20 0 20 0 17802837 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6500692 49614 3755 1 0 6489474 0 [pid=26028/tid=26030] ppid=26025 vsize=26002768 CPUtime=1.36 cores=0-7 /proc/26028/task/26030/stat : 26030 (java) R 26025 26028 31529 0 -1 4202560 14392 0 0 0 130 6 0 0 20 0 20 0 17802845 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139680222768528 139679867410774 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26031] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26031/stat : 26031 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679781583504 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26032] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26032/stat : 26032 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679780530704 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26033] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26033/stat : 26033 (java) S 26025 26028 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679779477904 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26034] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26034/stat : 26034 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679778425104 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26035] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26035/stat : 26035 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679777373328 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26036] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26036/stat : 26036 (java) S 26025 26028 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679776320528 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26037] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26037/stat : 26037 (java) S 26025 26028 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679775267728 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26038] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26038/stat : 26038 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17802846 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139679774214928 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26039] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26039/stat : 26039 (java) S 26025 26028 31529 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 17802847 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678495738224 139680218552962 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26040] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26040/stat : 26040 (java) S 26025 26028 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 17802848 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678494684192 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26041] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26041/stat : 26041 (java) S 26025 26028 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 17802848 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678493631344 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26042] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26042/stat : 26042 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17802850 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678492579664 139680218560411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26043] ppid=26025 vsize=26002768 CPUtime=0.24 cores=0-7 /proc/26028/task/26043/stat : 26043 (java) R 26025 26028 31529 0 -1 4202560 1918 0 0 0 24 0 0 0 20 0 20 0 17802850 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678491512160 139680202038603 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26044] ppid=26025 vsize=26002768 CPUtime=0.47 cores=0-7 /proc/26028/task/26044/stat : 26044 (java) R 26025 26028 31529 0 -1 4202560 3253 0 0 0 46 1 0 0 20 0 20 0 17802850 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678490475248 139680204557744 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26045] ppid=26025 vsize=26002768 CPUtime=0.45 cores=0-7 /proc/26028/task/26045/stat : 26045 (java) R 26025 26028 31529 0 -1 4202560 4120 0 0 0 44 1 0 0 20 0 20 0 17802850 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678489422448 139680196921668 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26046] ppid=26025 vsize=26002768 CPUtime=0.53 cores=0-7 /proc/26028/task/26046/stat : 26046 (java) S 26025 26028 31529 0 -1 1077944384 5371 0 0 0 51 2 0 0 20 0 20 0 17802850 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678488369648 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26047] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26047/stat : 26047 (java) S 26025 26028 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17802851 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678487317088 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26048] ppid=26025 vsize=26002768 CPUtime=0 cores=0-7 /proc/26028/task/26048/stat : 26048 (java) S 26025 26028 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17802855 26626834432 49614 18446744073709551615 4194304 4196468 140721486287408 139678486264368 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 26002768 [startup+3.10096 s] /proc/loadavg: 9.08 8.34 7.60 5/193 26049 /proc/meminfo: memFree=30794752/32770624 swapFree=0/891940 [pid=26028] ppid=26025 vsize=27739612 CPUtime=9.85 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 45413 0 0 0 961 24 0 0 20 0 46 0 17802837 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6934903 66494 3798 1 0 6923164 0 [pid=26028/tid=26030] ppid=26025 vsize=27739612 CPUtime=2.29 cores=0-7 /proc/26028/task/26030/stat : 26030 (java) S 26025 26028 31529 0 -1 1077944384 17618 0 0 0 222 7 0 0 20 0 46 0 17802845 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139680222779520 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26031] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26031/stat : 26031 (java) S 26025 26028 31529 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679781583504 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26032] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26032/stat : 26032 (java) S 26025 26028 31529 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679780530704 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26033] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26033/stat : 26033 (java) S 26025 26028 31529 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679779477904 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26034] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26034/stat : 26034 (java) S 26025 26028 31529 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679778425104 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26035] ppid=26025 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/26028/task/26035/stat : 26035 (java) S 26025 26028 31529 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679777373328 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26036] ppid=26025 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/26028/task/26036/stat : 26036 (java) S 26025 26028 31529 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679776320528 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26037] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26037/stat : 26037 (java) S 26025 26028 31529 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679775267728 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26038] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26038/stat : 26038 (java) S 26025 26028 31529 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 46 0 17802846 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139679774214928 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26039] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26039/stat : 26039 (java) S 26025 26028 31529 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 46 0 17802847 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678495738224 139680218552962 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26040] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26040/stat : 26040 (java) S 26025 26028 31529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 17802848 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678494684256 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26041] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26041/stat : 26041 (java) S 26025 26028 31529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 17802848 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678493631360 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26042] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26042/stat : 26042 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 17802850 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678492579664 139680218560411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26043] ppid=26025 vsize=27739612 CPUtime=1.1 cores=0-7 /proc/26028/task/26043/stat : 26043 (java) R 26025 26028 31529 0 -1 4202560 4079 0 0 0 109 1 0 0 20 0 46 0 17802850 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678491514640 139680197788597 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26044] ppid=26025 vsize=27739612 CPUtime=1.38 cores=0-7 /proc/26028/task/26044/stat : 26044 (java) R 26025 26028 31529 0 -1 4202560 4803 0 0 0 136 2 0 0 20 0 46 0 17802850 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678490456816 139680202038603 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26045] ppid=26025 vsize=27739612 CPUtime=1.35 cores=0-7 /proc/26028/task/26045/stat : 26045 (java) R 26025 26028 31529 0 -1 4202560 5950 0 0 0 132 3 0 0 20 0 46 0 17802850 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678489411152 139680198204033 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26046] ppid=26025 vsize=27739612 CPUtime=0.87 cores=0-7 /proc/26028/task/26046/stat : 26046 (java) S 26025 26028 31529 0 -1 1077944384 8640 0 0 0 83 4 0 0 20 0 46 0 17802850 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678488369648 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26047] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26047/stat : 26047 (java) S 26025 26028 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 17802851 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678487317088 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26048] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26048/stat : 26048 (java) S 26025 26028 31529 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 46 0 17802855 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678486264368 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26049] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26049/stat : 26049 (java) S 26025 26028 31529 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 17803057 28405362688 66494 18446744073709551615 4194304 4196468 140721486287408 139678475977376 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 Current children cumulated CPU time (s) 9.85 Current children cumulated vsize (KiB) 27739612 [startup+6.30232 s] /proc/loadavg: 8.68 8.27 7.58 9/218 26074 /proc/meminfo: memFree=30564092/32770624 swapFree=0/891936 [pid=26028] ppid=26025 vsize=27739612 CPUtime=35.11 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 47248 0 0 0 3462 49 0 0 20 0 46 0 17802837 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6934903 147265 3813 1 0 6923164 0 [pid=26028/tid=26030] ppid=26025 vsize=27739612 CPUtime=2.29 cores=0-7 /proc/26028/task/26030/stat : 26030 (java) S 26025 26028 31529 0 -1 1077944384 17618 0 0 0 222 7 0 0 20 0 46 0 17802845 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139680222779520 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26031] ppid=26025 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/26028/task/26031/stat : 26031 (java) S 26025 26028 31529 0 -1 1077944384 143 0 0 0 2 2 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679781583504 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26032] ppid=26025 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/26028/task/26032/stat : 26032 (java) S 26025 26028 31529 0 -1 1077944384 95 0 0 0 3 2 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679780530704 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26033] ppid=26025 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/26028/task/26033/stat : 26033 (java) S 26025 26028 31529 0 -1 1077944384 89 0 0 0 3 1 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679779477904 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26034] ppid=26025 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/26028/task/26034/stat : 26034 (java) S 26025 26028 31529 0 -1 1077944384 121 0 0 0 2 2 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679778425104 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26035] ppid=26025 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/26028/task/26035/stat : 26035 (java) S 26025 26028 31529 0 -1 1077944384 111 0 0 0 4 1 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679777373328 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26036] ppid=26025 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/26028/task/26036/stat : 26036 (java) S 26025 26028 31529 0 -1 1077944384 274 0 0 0 4 2 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679776320528 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26037] ppid=26025 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/26028/task/26037/stat : 26037 (java) S 26025 26028 31529 0 -1 1077944384 252 0 0 0 3 2 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679775267728 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26038] ppid=26025 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/26028/task/26038/stat : 26038 (java) S 26025 26028 31529 0 -1 1077944384 113 0 0 0 3 3 0 0 20 0 46 0 17802846 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139679774214928 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26039] ppid=26025 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/26028/task/26039/stat : 26039 (java) S 26025 26028 31529 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 46 0 17802847 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139678495738224 139680218552962 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26040] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26040/stat : 26040 (java) S 26025 26028 31529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 17802848 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139678494684256 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26041] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26041/stat : 26041 (java) S 26025 26028 31529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 17802848 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139678493631360 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26042] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26042/stat : 26042 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 17802850 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139678492579664 139680218560411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26043] ppid=26025 vsize=27739612 CPUtime=1.57 cores=0-7 /proc/26028/task/26043/stat : 26043 (java) S 26025 26028 31529 0 -1 1077944384 4437 0 0 0 156 1 0 0 20 0 46 0 17802850 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139678491528048 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26044] ppid=26025 vsize=27739612 CPUtime=1.98 cores=0-7 /proc/26028/task/26044/stat : 26044 (java) S 26025 26028 31529 0 -1 1077944384 5182 0 0 0 196 2 0 0 20 0 46 0 17802850 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139678490475248 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26045] ppid=26025 vsize=27739612 CPUtime=1.85 cores=0-7 /proc/26028/task/26045/stat : 26045 (java) S 26025 26028 31529 0 -1 1077944384 6018 0 0 0 182 3 0 0 20 0 46 0 17802850 28405362688 147265 18446744073709551615 4194304 4196468 140721486287408 139678489422448 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26046] ppid=26025 vsize=27739612 CPUtime=0.93 cores=0-7 ################ # More data... # ################ [pid=26028/tid=26047] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26047/stat : 26047 (java) S 26025 26028 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 17802851 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678487317088 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26048] ppid=26025 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/26028/task/26048/stat : 26048 (java) S 26025 26028 31529 0 -1 1077944384 1013 0 0 0 2 4 0 0 20 0 46 0 17802855 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678486264368 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26049] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26049/stat : 26049 (java) S 26025 26028 31529 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 46 0 17803057 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678475977296 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26050] ppid=26025 vsize=27739612 CPUtime=0.27 cores=0-7 /proc/26028/task/26050/stat : 26050 (java) R 26025 26028 31529 0 -1 1077944384 6549 0 0 0 4 23 0 0 20 0 46 0 17803070 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678472827568 139680218552962 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26051] ppid=26025 vsize=27739612 CPUtime=238 cores=0-7 /proc/26028/task/26051/stat : 26051 (java) R 26025 26028 31529 0 -1 4202560 6923 0 0 0 23795 5 0 0 20 0 46 0 17803080 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678471769888 139679872470132 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26052] ppid=26025 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/26028/task/26052/stat : 26052 (java) S 26025 26028 31529 0 -1 1077944384 342 0 0 0 5 0 0 0 20 0 46 0 17803080 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678470723216 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26053] ppid=26025 vsize=27739612 CPUtime=237.82 cores=0-7 /proc/26028/task/26053/stat : 26053 (java) R 26025 26028 31529 0 -1 4202560 7390 0 0 0 23777 5 0 0 20 0 46 0 17803080 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678469666624 139679871371332 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26054] ppid=26025 vsize=27739612 CPUtime=237.83 cores=0-7 /proc/26028/task/26054/stat : 26054 (java) R 26025 26028 31529 0 -1 4202560 6349 0 0 0 23777 6 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678466514448 139679871372934 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26055] ppid=26025 vsize=27739612 CPUtime=237.91 cores=0-7 /proc/26028/task/26055/stat : 26055 (java) R 26025 26028 31529 0 -1 4202560 7718 0 0 0 23786 5 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678465461536 139679871372934 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26056] ppid=26025 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/26028/task/26056/stat : 26056 (java) S 26025 26028 31529 0 -1 1077944384 63 0 0 0 4 0 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678464414864 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26057] ppid=26025 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/26028/task/26057/stat : 26057 (java) S 26025 26028 31529 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678463362064 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26058] ppid=26025 vsize=27739612 CPUtime=237.36 cores=0-7 /proc/26028/task/26058/stat : 26058 (java) R 26025 26028 31529 0 -1 4202560 6580 0 0 0 23732 4 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678462303384 139679871372934 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26059] ppid=26025 vsize=27739612 CPUtime=237.91 cores=0-7 /proc/26028/task/26059/stat : 26059 (java) R 26025 26028 31529 0 -1 4202560 6286 0 0 0 23785 6 0 0 20 0 46 0 17803084 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678461251472 139679869120437 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26060] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26060/stat : 26060 (java) S 26025 26028 31529 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 46 0 17803084 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678460204688 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26061] ppid=26025 vsize=27739612 CPUtime=237.51 cores=0-7 /proc/26028/task/26061/stat : 26061 (java) R 26025 26028 31529 0 -1 4202560 6755 0 0 0 23744 7 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678459145760 139679871374132 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26062] ppid=26025 vsize=27739612 CPUtime=237.99 cores=0-7 /proc/26028/task/26062/stat : 26062 (java) R 26025 26028 31529 0 -1 4202560 7827 0 0 0 23793 6 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678458093184 139679872239882 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26063] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26063/stat : 26063 (java) S 26025 26028 31529 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678457046288 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26064] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26064/stat : 26064 (java) S 26025 26028 31529 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678455993488 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26065] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26065/stat : 26065 (java) S 26025 26028 31529 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678454940688 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26066] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26066/stat : 26066 (java) S 26025 26028 31529 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678453887888 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26067] ppid=26025 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/26028/task/26067/stat : 26067 (java) S 26025 26028 31529 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678452836112 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26068] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26068/stat : 26068 (java) S 26025 26028 31529 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 46 0 17803113 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678449649296 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26069] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26069/stat : 26069 (java) S 26025 26028 31529 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678448596496 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26070] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26070/stat : 26070 (java) S 26025 26028 31529 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678447543696 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26071] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26071/stat : 26071 (java) S 26025 26028 31529 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678446490896 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26072] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26072/stat : 26072 (java) S 26025 26028 31529 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678445438096 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26073] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26073/stat : 26073 (java) S 26025 26028 31529 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139676161664016 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26074] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26074/stat : 26074 (java) S 26025 26028 31529 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139676160611216 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 Current children cumulated CPU time (s) 1920.05 Current children cumulated vsize (KiB) 27739612 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 26028 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+244.502 s] /proc/loadavg: 8.42 8.44 7.82 10/218 26079 /proc/meminfo: memFree=29809432/32770624 swapFree=0/892052 [pid=26028] ppid=26025 vsize=27739612 CPUtime=1920.05 cores=0-7 /proc/26028/stat : 26028 (java) S 26025 26028 31529 0 -1 1077944320 206662 0 0 0 191837 168 0 0 20 0 46 0 17802837 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 140721486269952 139680218541815 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 /proc/26028/statm: 6934903 303419 3813 1 0 6923164 0 [pid=26028/tid=26030] ppid=26025 vsize=27739612 CPUtime=2.29 cores=0-7 /proc/26028/task/26030/stat : 26030 (java) S 26025 26028 31529 0 -1 1077944384 17618 0 0 0 222 7 0 0 20 0 46 0 17802845 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139680222779520 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26031] ppid=26025 vsize=27739612 CPUtime=0.88 cores=0-7 /proc/26028/task/26031/stat : 26031 (java) S 26025 26028 31529 0 -1 1077944384 6910 0 0 0 76 12 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679781583504 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26032] ppid=26025 vsize=27739612 CPUtime=0.9 cores=0-7 /proc/26028/task/26032/stat : 26032 (java) S 26025 26028 31529 0 -1 1077944384 7815 0 0 0 76 14 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679780530704 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26033] ppid=26025 vsize=27739612 CPUtime=0.89 cores=0-7 /proc/26028/task/26033/stat : 26033 (java) S 26025 26028 31529 0 -1 1077944384 9813 0 0 0 77 12 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679779477904 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26034] ppid=26025 vsize=27739612 CPUtime=0.9 cores=0-7 /proc/26028/task/26034/stat : 26034 (java) S 26025 26028 31529 0 -1 1077944384 9840 0 0 0 78 12 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679778425104 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26035] ppid=26025 vsize=27739612 CPUtime=0.91 cores=0-7 /proc/26028/task/26035/stat : 26035 (java) S 26025 26028 31529 0 -1 1077944384 11173 0 0 0 81 10 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679777373328 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26036] ppid=26025 vsize=27739612 CPUtime=0.92 cores=0-7 /proc/26028/task/26036/stat : 26036 (java) S 26025 26028 31529 0 -1 1077944384 8768 0 0 0 80 12 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679776320528 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26037] ppid=26025 vsize=27739612 CPUtime=0.9 cores=0-7 /proc/26028/task/26037/stat : 26037 (java) S 26025 26028 31529 0 -1 1077944384 8676 0 0 0 78 12 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679775267728 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26038] ppid=26025 vsize=27739612 CPUtime=0.9 cores=0-7 /proc/26028/task/26038/stat : 26038 (java) S 26025 26028 31529 0 -1 1077944384 7810 0 0 0 78 12 0 0 20 0 46 0 17802846 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139679774214928 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26039] ppid=26025 vsize=27739612 CPUtime=0.9 cores=0-7 /proc/26028/task/26039/stat : 26039 (java) S 26025 26028 31529 0 -1 1077944384 22703 0 0 0 80 10 0 0 20 0 46 0 17802847 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678495738224 139680218552962 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26040] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26040/stat : 26040 (java) S 26025 26028 31529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 17802848 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678494684256 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26041] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26041/stat : 26041 (java) S 26025 26028 31529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 17802848 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678493631360 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26042] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26042/stat : 26042 (java) S 26025 26028 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 17802850 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678492579664 139680218560411 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26043] ppid=26025 vsize=27739612 CPUtime=1.57 cores=0-7 /proc/26028/task/26043/stat : 26043 (java) S 26025 26028 31529 0 -1 1077944384 4513 0 0 0 156 1 0 0 20 0 46 0 17802850 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678491528048 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26044] ppid=26025 vsize=27739612 CPUtime=1.98 cores=0-7 /proc/26028/task/26044/stat : 26044 (java) S 26025 26028 31529 0 -1 1077944384 5254 0 0 0 196 2 0 0 20 0 46 0 17802850 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678490475248 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26045] ppid=26025 vsize=27739612 CPUtime=1.86 cores=0-7 /proc/26028/task/26045/stat : 26045 (java) S 26025 26028 31529 0 -1 1077944384 9255 0 0 0 183 3 0 0 20 0 46 0 17802850 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678489422448 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26046] ppid=26025 vsize=27739612 CPUtime=0.93 cores=0-7 /proc/26028/task/26046/stat : 26046 (java) S 26025 26028 31529 0 -1 1077944384 9175 0 0 0 89 4 0 0 20 0 46 0 17802850 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678488369648 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26047] ppid=26025 vsize=27739612 CPUtime=0 cores=0-7 /proc/26028/task/26047/stat : 26047 (java) S 26025 26028 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 17802851 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678487317088 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26048] ppid=26025 vsize=27739612 CPUtime=0.06 cores=0-7 /proc/26028/task/26048/stat : 26048 (java) S 26025 26028 31529 0 -1 1077944384 1013 0 0 0 2 4 0 0 20 0 46 0 17802855 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678486264368 139680218552962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26049] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26049/stat : 26049 (java) S 26025 26028 31529 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 46 0 17803057 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678475977296 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26050] ppid=26025 vsize=27739612 CPUtime=0.27 cores=0-7 /proc/26028/task/26050/stat : 26050 (java) R 26025 26028 31529 0 -1 1077944384 6549 0 0 0 4 23 0 0 20 0 46 0 17803070 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678472827568 139680218552962 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26051] ppid=26025 vsize=27739612 CPUtime=238 cores=0-7 /proc/26028/task/26051/stat : 26051 (java) R 26025 26028 31529 0 -1 4202560 6923 0 0 0 23795 5 0 0 20 0 46 0 17803080 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678471769888 139679872470132 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26052] ppid=26025 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/26028/task/26052/stat : 26052 (java) S 26025 26028 31529 0 -1 1077944384 342 0 0 0 5 0 0 0 20 0 46 0 17803080 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678470723216 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26053] ppid=26025 vsize=27739612 CPUtime=237.82 cores=0-7 /proc/26028/task/26053/stat : 26053 (java) R 26025 26028 31529 0 -1 4202560 7390 0 0 0 23777 5 0 0 20 0 46 0 17803080 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678469666624 139679871371332 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26054] ppid=26025 vsize=27739612 CPUtime=237.83 cores=0-7 /proc/26028/task/26054/stat : 26054 (java) R 26025 26028 31529 0 -1 4202560 6349 0 0 0 23777 6 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678466514448 139679871372934 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26055] ppid=26025 vsize=27739612 CPUtime=237.91 cores=0-7 /proc/26028/task/26055/stat : 26055 (java) R 26025 26028 31529 0 -1 4202560 7718 0 0 0 23786 5 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678465461536 139679871372934 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26056] ppid=26025 vsize=27739612 CPUtime=0.04 cores=0-7 /proc/26028/task/26056/stat : 26056 (java) S 26025 26028 31529 0 -1 1077944384 63 0 0 0 4 0 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678464414864 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26057] ppid=26025 vsize=27739612 CPUtime=0.05 cores=0-7 /proc/26028/task/26057/stat : 26057 (java) S 26025 26028 31529 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678463362064 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26058] ppid=26025 vsize=27739612 CPUtime=237.36 cores=0-7 /proc/26028/task/26058/stat : 26058 (java) R 26025 26028 31529 0 -1 4202560 6580 0 0 0 23732 4 0 0 20 0 46 0 17803083 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678462303384 139679871372934 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26059] ppid=26025 vsize=27739612 CPUtime=237.91 cores=0-7 /proc/26028/task/26059/stat : 26059 (java) R 26025 26028 31529 0 -1 4202560 6286 0 0 0 23785 6 0 0 20 0 46 0 17803084 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678461251472 139679869120437 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26060] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26060/stat : 26060 (java) S 26025 26028 31529 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 46 0 17803084 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678460204688 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26061] ppid=26025 vsize=27739612 CPUtime=237.51 cores=0-7 /proc/26028/task/26061/stat : 26061 (java) R 26025 26028 31529 0 -1 4202560 6755 0 0 0 23744 7 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678459145760 139679871374132 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26062] ppid=26025 vsize=27739612 CPUtime=237.99 cores=0-7 /proc/26028/task/26062/stat : 26062 (java) R 26025 26028 31529 0 -1 4202560 7827 0 0 0 23793 6 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678458093184 139679872239882 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26063] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26063/stat : 26063 (java) S 26025 26028 31529 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678457046288 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26064] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26064/stat : 26064 (java) S 26025 26028 31529 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678455993488 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26065] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26065/stat : 26065 (java) S 26025 26028 31529 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678454940688 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26066] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26066/stat : 26066 (java) S 26025 26028 31529 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678453887888 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26067] ppid=26025 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/26028/task/26067/stat : 26067 (java) S 26025 26028 31529 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 46 0 17803092 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678452836112 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26068] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26068/stat : 26068 (java) S 26025 26028 31529 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 46 0 17803113 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678449649296 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26069] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26069/stat : 26069 (java) S 26025 26028 31529 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678448596496 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26070] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26070/stat : 26070 (java) S 26025 26028 31529 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678447543696 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26071] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26071/stat : 26071 (java) S 26025 26028 31529 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678446490896 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26072] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26072/stat : 26072 (java) S 26025 26028 31529 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139678445438096 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26073] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26073/stat : 26073 (java) S 26025 26028 31529 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139676161664016 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 [pid=26028/tid=26074] ppid=26025 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/26028/task/26074/stat : 26074 (java) S 26025 26028 31529 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 46 0 17803114 28405362688 303419 18446744073709551615 4194304 4196468 140721486287408 139676160611216 139680218552021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12083200 140721486291344 140721486291528 140721486291528 140721486294991 0 Current children cumulated CPU time (s) 1920.05 Current children cumulated vsize (KiB) 27739612 Child status: 143 Real time (s): 244.594 CPU time (s): 1920.65 CPU user time (s): 1918.96 CPU system time (s): 1.699 CPU usage (%): 785.243 Max. virtual memory (cumulated for all children) (KiB): 27739612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1918.96 system time used= 1.699 maximum resident set size= 1215796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 208429 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= 92126 involuntary context switches= 41768 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.24999 second user time and 2.54346 second system time The end
Begin job on node128 at 2017-08-02 18:22:23 IDJOB=4257159 IDBENCH=135526 IDSOLVER=2641 FILE ID=node128/4257159-1501691782 RUNJOBID= node128-1501676495-31585 PBS_JOBID= Free space on /tmp= 61948 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-radar/Pb-radar-10-10-45-095-100.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257159-1501691782/watcher-4257159-1501691782 -o /tmp/evaluation-result-4257159-1501691782/solver-4257159-1501691782 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node128-1501676495-31585 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 945503845 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257159-1501691782.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2e76cba0749e9f6e1c633f9939767035 RANDOM SEED=945503845 node128.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.05 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.05 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.05 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.05 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: 31011600 kB MemAvailable: 32012588 kB Buffers: 150820 kB Cached: 1136408 kB SwapCached: 0 kB Active: 434932 kB Inactive: 908652 kB Active(anon): 56700 kB Inactive(anon): 16724 kB Active(file): 378232 kB Inactive(file): 891928 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42388 kB Writeback: 8 kB AnonPages: 56608 kB Mapped: 31100 kB Shmem: 17064 kB Slab: 118940 kB SReclaimable: 93328 kB SUnreclaim: 25612 kB KernelStack: 3088 kB PageTables: 4776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290032 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61904 MiB End job on node128 at 2017-08-02 18:26:27