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 with restarts 2018-08-14 | SAT (TO) | 7 | 252.138 | 246.731 |
| Name | GraphColoring/ GraphColoring-4-fullins-4_c18.xml |
| MD5SUM | 954cbc6df2411a2de12d490b8b2019f6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 18.7203 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 690 |
| Number of constraints | 6650 |
| Number of domains | 1 |
| Minimum domain size | 690 |
| Maximum domain size | 690 |
| Distribution of domain sizes | [{"size":690,"count":690}] |
| Minimum variable degree | 7 |
| Maximum variable degree | 120 |
| Distribution of variable degrees | [{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":6650}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6650 |
| Distribution of constraint types | [{"type":"intension","count":6650}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.68/0.56 c version: 2018-08-14 0.68/0.56 c seed: 1000110056 0.68/0.56 c timeout: 252 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 4.57/2.06 c Parsing done, starting search... 5.08/2.29 o 689 5.38/2.39 o 688 5.69/2.47 o 687 5.69/2.49 o 681 5.95/2.52 o 680 5.95/2.55 o 679 6.08/2.62 o 678 6.08/2.66 o 676 6.21/2.70 o 675 6.21/2.75 o 674 6.21/2.78 o 672 6.44/2.81 o 670 6.44/2.88 o 669 6.61/2.90 o 668 6.61/2.95 o 666 6.61/2.99 o 665 6.77/3.04 o 661 6.77/3.11 o 659 6.87/3.11 o 658 6.87/3.13 o 656 6.87/3.19 o 654 6.98/3.21 o 653 6.98/3.26 o 651 7.10/3.35 o 650 7.20/3.41 o 649 7.20/3.44 o 648 7.30/3.50 o 645 7.30/3.58 o 644 7.41/3.61 o 643 7.58/3.72 o 642 7.58/3.77 o 639 7.68/3.85 o 638 7.78/3.90 o 637 7.78/3.93 o 636 7.78/3.98 o 634 7.78/4.00 o 633 7.88/4.05 o 632 7.88/4.07 o 631 7.88/4.08 o 630 7.88/4.09 o 629 7.99/4.14 o 625 7.99/4.18 o 624 8.08/4.21 o 623 8.08/4.24 o 621 8.18/4.30 o 620 8.18/4.38 o 618 8.29/4.45 o 612 8.29/4.47 o 610 8.39/4.55 o 609 8.39/4.59 o 608 8.49/4.60 o 607 8.49/4.66 o 605 8.49/4.67 o 604 8.59/4.76 o 601 8.59/4.77 o 600 8.69/4.83 o 599 8.69/4.88 o 597 8.79/4.91 o 596 8.79/4.94 o 595 8.79/4.96 o 592 8.79/4.96 o 588 8.90/5.01 o 587 8.90/5.02 o 586 8.90/5.10 o 585 9.00/5.14 o 584 9.00/5.16 o 583 9.09/5.24 o 582 9.09/5.25 o 580 9.09/5.27 o 579 9.09/5.29 o 577 9.30/5.40 o 576 9.30/5.44 o 575 9.30/5.47 o 574 9.30/5.49 o 573 9.42/5.54 o 571 9.42/5.57 o 569 9.54/5.62 o 567 9.54/5.67 o 566 9.63/5.71 o 565 9.63/5.76 o 564 9.63/5.76 o 562 9.77/5.80 o 561 9.77/5.85 o 559 9.88/5.96 o 558 9.88/5.96 o 557 9.88/5.98 o 556 9.99/6.03 o 555 9.99/6.04 o 553 9.99/6.09 o 551 10.11/6.14 o 550 10.11/6.18 o 549 10.30/6.22 o 548 10.30/6.23 o 547 10.30/6.25 o 546 10.30/6.25 o 545 10.40/6.30 o 544 10.40/6.31 o 543 10.49/6.43 o 542 10.49/6.44 o 541 10.59/6.50 o 540 10.59/6.52 o 538 10.59/6.57 o 537 10.59/6.60 o 536 10.70/6.66 o 535 10.70/6.66 o 534 10.85/6.73 o 533 10.85/6.73 o 531 10.85/6.77 o 530 10.85/6.78 o 529 10.85/6.79 o 527 10.97/6.81 o 526 10.97/6.82 o 525 10.97/6.86 o 524 11.08/6.90 o 523 11.08/6.92 o 519 11.08/6.93 o 518 11.23/7.02 o 516 11.23/7.08 o 515 11.39/7.11 o 513 11.39/7.14 o 512 11.39/7.19 o 511 11.48/7.26 o 509 11.48/7.28 o 508 11.48/7.28 o 506 11.59/7.39 o 505 11.69/7.42 o 504 11.69/7.44 o 503 11.85/7.50 o 502 11.85/7.53 o 501 11.85/7.57 o 500 11.85/7.58 o 499 11.96/7.61 o 498 11.96/7.62 o 496 11.96/7.64 o 495 11.96/7.68 o 494 12.06/7.71 o 493 12.06/7.78 o 492 12.06/7.80 o 490 12.16/7.81 o 489 12.16/7.82 o 488 12.16/7.86 o 487 12.26/7.90 o 485 12.37/8.02 o 484 12.37/8.03 o 482 12.37/8.07 o 481 12.47/8.11 o 480 12.47/8.14 o 478 12.47/8.18 o 474 12.56/8.23 o 473 12.56/8.24 o 472 12.56/8.25 o 471 12.72/8.30 o 469 12.72/8.36 o 468 12.72/8.38 o 467 12.72/8.39 o 466 12.88/8.44 o 465 12.88/8.45 o 464 12.88/8.46 o 463 12.98/8.50 o 459 12.98/8.57 o 458 13.08/8.61 o 455 13.18/8.75 o 454 13.18/8.78 o 453 13.28/8.86 o 452 13.28/8.87 o 451 13.38/8.91 o 450 13.38/8.95 o 449 13.38/8.96 o 448 13.38/8.98 o 447 13.38/8.99 o 445 13.38/9.00 o 444 13.49/9.03 o 443 13.49/9.10 o 442 13.49/9.10 o 441 13.59/9.14 o 440 13.59/9.18 o 438 13.68/9.22 o 437 13.68/9.28 o 436 13.78/9.32 o 435 13.78/9.33 o 434 13.78/9.33 o 433 13.78/9.33 o 432 13.78/9.36 o 430 13.88/9.42 o 429 13.88/9.45 o 428 13.88/9.47 o 427 14.04/9.51 o 426 14.04/9.52 o 425 14.04/9.55 o 424 14.14/9.60 o 422 14.14/9.68 o 421 14.24/9.72 o 419 14.24/9.80 o 418 14.35/9.87 o 417 14.44/9.90 o 414 14.44/9.91 o 413 14.44/9.95 o 412 14.44/9.99 o 411 14.55/10.01 o 410 14.55/10.06 o 409 14.55/10.08 o 407 14.65/10.11 o 405 14.65/10.13 o 404 14.65/10.16 o 403 14.74/10.21 o 402 14.74/10.22 o 401 14.74/10.26 o 400 14.74/10.28 o 397 14.84/10.32 o 396 14.84/10.35 o 394 14.84/10.39 o 393 14.84/10.39 o 391 14.94/10.44 o 390 14.94/10.45 o 389 14.94/10.46 o 388 15.04/10.56 o 387 15.14/10.60 o 386 15.14/10.62 o 385 15.14/10.63 o 384 15.14/10.68 o 383 15.24/10.72 o 382 15.24/10.73 o 381 15.24/10.73 o 380 15.34/10.81 o 379 15.34/10.82 o 378 15.34/10.86 o 377 15.34/10.90 o 376 15.44/10.91 o 375 15.44/10.95 o 373 15.44/10.96 o 372 15.44/10.98 o 371 15.44/11.00 o 370 15.55/11.02 o 369 15.55/11.02 o 368 15.55/11.06 o 367 15.55/11.08 o 364 15.66/11.11 o 361 15.66/11.17 o 360 15.75/11.21 o 358 15.75/11.25 o 357 15.75/11.28 o 356 15.75/11.29 o 354 15.85/11.33 o 353 15.85/11.37 o 352 15.95/11.41 o 351 15.95/11.43 o 350 15.95/11.43 o 349 15.95/11.46 o 348 16.05/11.50 o 347 16.05/11.51 o 346 16.05/11.53 o 344 16.05/11.57 o 343 16.15/11.61 o 342 16.15/11.62 o 341 16.15/11.66 o 340 16.15/11.68 o 339 16.26/11.70 o 338 16.26/11.74 o 337 16.26/11.77 o 336 16.36/11.80 o 335 16.36/11.80 o 333 16.36/11.87 o 332 16.36/11.89 o 331 16.46/11.91 o 330 16.46/11.94 o 328 16.46/11.98 o 326 16.46/12.00 o 325 16.57/12.05 o 324 16.57/12.09 o 323 16.57/12.10 o 322 16.67/12.11 o 321 16.67/12.17 o 320 16.67/12.19 o 319 16.76/12.22 o 318 16.76/12.25 o 317 16.76/12.27 o 316 16.86/12.31 o 314 16.86/12.35 o 313 16.86/12.37 o 312 16.96/12.41 o 311 16.96/12.48 o 308 17.06/12.54 o 307 17.06/12.56 o 306 17.06/12.57 o 305 17.16/12.62 o 304 17.16/12.65 o 303 17.16/12.68 o 302 17.16/12.69 o 301 17.26/12.73 o 300 17.26/12.76 o 299 17.26/12.79 o 298 17.36/12.83 o 297 17.36/12.83 o 296 17.36/12.88 o 295 17.46/12.92 o 293 17.46/12.92 o 292 17.46/12.96 o 291 17.46/12.98 o 290 17.46/12.99 o 288 17.57/13.02 o 287 17.57/13.05 o 286 17.57/13.07 o 285 17.67/13.12 o 284 17.67/13.12 o 283 17.67/13.14 o 282 17.67/13.16 o 281 17.67/13.18 o 279 17.67/13.19 o 278 17.76/13.23 o 277 17.76/13.23 o 276 17.86/13.30 o 274 17.86/13.30 o 272 17.86/13.34 o 271 17.86/13.34 o 270 17.86/13.38 o 269 17.86/13.39 o 268 17.86/13.39 o 266 17.96/13.42 o 265 17.96/13.43 o 264 17.96/13.45 o 263 17.96/13.48 o 262 17.96/13.48 o 261 18.06/13.53 o 259 18.06/13.57 o 258 18.20/13.60 o 257 18.20/13.63 o 256 18.20/13.67 o 255 18.20/13.67 o 254 18.30/13.71 o 253 18.30/13.79 o 252 18.43/13.82 o 251 18.43/13.84 o 250 18.43/13.87 o 249 18.43/13.89 o 248 18.54/13.91 o 247 18.54/13.94 o 246 18.54/13.97 o 245 18.54/14.01 o 244 18.65/14.04 o 243 18.65/14.07 o 242 18.65/14.09 o 240 18.75/14.13 o 239 18.75/14.14 o 238 18.75/14.19 o 237 18.84/14.22 o 236 18.84/14.25 o 235 18.84/14.27 o 234 18.84/14.30 o 233 18.94/14.33 o 232 18.94/14.34 o 231 18.94/14.37 o 230 18.94/14.39 o 229 19.04/14.42 o 228 19.04/14.45 o 227 19.04/14.46 o 226 19.04/14.49 o 225 19.14/14.51 o 223 19.14/14.52 o 222 19.14/14.55 o 221 19.24/14.60 o 220 19.24/14.62 o 219 19.24/14.64 o 218 19.24/14.67 o 217 19.24/14.68 o 216 19.34/14.71 o 215 19.34/14.72 o 214 19.34/14.75 o 213 19.34/14.78 o 212 19.44/14.81 o 211 19.44/14.82 o 210 19.44/14.83 o 209 19.44/14.84 o 208 19.54/14.90 o 207 19.54/14.92 o 206 19.54/14.93 o 205 19.54/14.95 o 204 19.54/14.97 o 203 19.54/15.00 o 202 19.65/15.08 o 200 19.65/15.09 o 199 19.65/15.10 o 198 19.76/15.12 o 197 19.76/15.14 o 196 19.76/15.18 o 195 19.85/15.21 o 194 19.85/15.24 o 193 19.85/15.26 o 192 19.85/15.28 o 191 19.95/15.30 o 190 19.95/15.31 o 189 19.95/15.32 o 188 19.95/15.35 o 187 19.95/15.38 o 186 20.05/15.41 o 185 20.05/15.43 o 184 20.05/15.43 o 183 20.05/15.47 o 182 20.05/15.49 o 181 20.15/15.51 o 180 20.15/15.54 o 179 20.15/15.56 o 177 20.15/15.59 o 176 20.25/15.62 o 175 20.25/15.63 o 174 20.25/15.67 o 173 20.35/15.70 o 172 20.35/15.72 o 171 20.35/15.73 o 170 20.35/15.75 o 169 20.35/15.77 o 168 20.45/15.80 o 167 20.45/15.82 o 166 20.45/15.88 o 165 20.59/15.91 o 164 20.59/15.91 o 163 20.59/15.98 o 162 20.59/16.00 o 161 20.59/16.00 o 160 20.70/16.03 o 159 20.70/16.06 o 158 20.70/16.09 o 157 20.80/16.11 o 156 20.80/16.15 o 155 20.80/16.17 o 154 20.80/16.19 o 153 20.89/16.24 o 152 20.89/16.25 o 151 20.89/16.27 o 150 20.99/16.30 o 149 20.99/16.38 o 148 21.09/16.41 o 147 21.09/16.43 o 146 21.09/16.46 o 145 21.09/16.46 o 144 21.19/16.51 o 143 21.19/16.54 o 142 21.19/16.56 o 141 21.29/16.61 o 140 21.29/16.64 o 139 21.29/16.66 o 138 21.29/16.66 o 137 21.29/16.69 o 136 21.29/16.69 o 135 21.39/16.74 o 134 21.39/16.77 o 133 21.39/16.79 o 132 21.49/16.83 o 131 21.49/16.85 o 130 21.49/16.86 o 129 21.49/16.88 o 128 21.59/16.91 o 127 21.59/16.93 o 126 21.59/16.96 o 125 21.59/16.98 o 124 21.59/16.99 o 123 21.59/17.00 o 122 21.70/17.04 o 121 21.70/17.05 o 120 21.70/17.06 o 119 21.70/17.09 o 118 21.80/17.11 o 117 21.80/17.13 o 116 21.80/17.15 o 115 21.80/17.18 o 114 21.89/17.20 o 113 21.89/17.23 o 112 21.89/17.24 o 111 21.89/17.28 o 110 22.02/17.31 o 109 22.02/17.33 o 108 22.02/17.35 o 107 22.02/17.37 o 106 22.02/17.39 o 105 22.12/17.41 o 104 22.12/17.43 o 103 22.12/17.45 o 102 22.12/17.48 o 101 22.22/17.50 o 100 22.22/17.52 o 99 22.22/17.54 o 98 22.22/17.56 o 97 22.22/17.58 o 96 22.32/17.60 o 95 22.32/17.68 o 94 22.42/17.70 o 93 22.42/17.73 o 92 22.42/17.74 o 91 22.42/17.77 o 90 22.42/17.78 o 89 22.52/17.85 o 88 22.52/17.87 o 87 22.52/17.89 o 86 22.62/17.93 o 85 22.62/17.99 o 84 22.73/18.01 o 83 22.73/18.03 o 82 22.73/18.06 o 81 22.73/18.09 o 80 22.84/18.11 o 79 22.84/18.13 o 78 22.84/18.15 o 77 22.84/18.18 o 76 22.84/18.20 o 75 22.93/18.21 o 74 22.93/18.23 o 73 22.93/18.25 o 72 22.93/18.26 o 71 22.93/18.29 o 70 23.03/18.31 o 69 23.03/18.33 o 68 23.03/18.37 o 67 23.14/18.40 o 66 23.14/18.42 o 65 23.14/18.44 o 64 23.14/18.46 o 63 23.14/18.48 o 62 23.24/18.50 o 61 23.24/18.52 o 60 23.24/18.54 o 59 23.24/18.55 o 58 23.24/18.58 o 57 23.24/18.60 o 56 23.34/18.61 o 55 23.34/18.64 o 54 23.34/18.66 o 53 23.34/18.68 o 52 23.44/18.71 o 51 23.44/18.73 o 50 23.44/18.74 o 49 23.44/18.77 o 48 23.44/18.79 o 47 23.55/18.82 o 46 23.55/18.83 o 45 23.55/18.86 o 44 23.55/18.88 o 43 23.55/18.89 o 42 23.65/18.92 o 41 23.65/18.99 o 40 23.65/19.00 o 39 23.76/19.03 o 38 23.76/19.05 o 37 23.76/19.08 o 36 23.76/19.09 o 35 23.86/19.12 o 34 23.86/19.14 o 33 23.86/19.16 o 32 23.86/19.18 o 31 23.97/19.21 o 30 23.97/19.22 o 29 23.97/19.26 o 28 23.97/19.28 o 27 23.97/19.30 o 26 24.11/19.31 o 25 24.11/19.33 o 24 24.11/19.35 o 23 24.11/19.37 o 22 24.11/19.40 o 21 24.21/19.41 o 20 24.21/19.43 o 19 24.21/19.46 o 18 24.21/19.48 o 17 24.35/19.51 o 16 24.35/19.53 o 15 24.35/19.55 o 14 24.35/19.57 o 13 24.35/19.60 o 12 24.45/19.62 o 11 24.45/19.64 o 10 24.45/19.66 o 9 24.45/19.68 o 8 24.55/19.70 o 7 252.09/246.70 s SATISFIABLE 252.09/246.70 v <instantiation> 252.09/246.70 v <list> 252.09/246.70 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] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] 252.09/246.70 v </list> 252.09/246.70 v <values> 252.09/246.70 v 7 6 4 2 5 2 5 2 5 7 3 3 2 6 3 7 4 5 1 2 1 4 1 2 4 3 1 1 1 1 2 1 1 1 1 1 5 5 6 4 7 7 7 6 7 6 5 5 5 5 4 7 4 5 2 2 2 0 1 0 2 2 0 0 2 1 0 1 2 2 0 2 7 7 4 6 7 7 7 7 6 5 4 6 4 4 7 7 7 4 5 1 6 5 2 1 2 2 1 0 2 1 2 1 2 6 1 1 4 5 2 6 1 3 0 5 4 4 0 0 5 0 0 0 0 4 0 0 0 0 0 0 0 2 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 7 5 7 4 7 7 7 7 4 7 4 4 6 7 5 7 4 4 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 4 0 5 7 6 7 4 7 7 4 4 5 7 7 7 7 4 4 0 0 0 0 0 0 0 0 5 0 0 0 0 2 0 0 0 0 7 0 0 7 0 7 6 6 6 6 7 7 7 7 7 7 2 7 6 7 2 7 7 6 7 5 6 6 2 6 5 6 3 3 5 1 6 2 1 2 1 1 3 7 7 6 6 6 2 5 2 7 6 2 7 7 2 6 6 7 3 0 6 0 2 1 2 2 3 1 1 5 2 3 2 2 3 2 7 3 5 6 7 3 3 7 6 6 5 7 5 5 6 7 7 3 1 6 3 3 2 6 2 0 2 6 2 2 6 1 2 6 1 6 1 6 2 5 2 6 3 4 3 3 3 0 4 1 4 0 4 0 0 5 0 4 0 0 2 0 0 5 0 0 1 0 1 0 2 0 0 0 0 0 5 3 3 4 7 0 3 4 0 7 0 4 4 0 4 4 0 0 0 0 4 2 0 0 0 0 4 3 4 0 2 4 4 4 0 4 4 4 7 0 7 7 5 0 3 0 4 5 0 4 7 5 0 4 0 0 0 0 2 2 5 4 2 3 0 4 0 0 0 2 2 2 2 0 7 0 0 7 0 7 2 6 7 6 4 5 1 5 7 7 7 7 6 2 6 2 2 3 5 1 3 6 4 1 7 5 6 1 7 6 2 5 1 3 7 6 4 3 7 7 7 3 5 5 7 6 5 5 6 2 6 6 6 3 6 5 6 6 5 6 6 1 6 5 2 1 2 6 1 6 3 1 6 7 1 1 5 1 1 3 6 1 6 2 3 1 6 6 1 6 4 6 4 1 5 4 6 6 5 4 1 2 6 6 6 6 1 3 6 4 5 1 1 6 7 6 4 7 4 4 4 0 3 6 0 0 0 4 0 4 4 4 1 0 1 0 1 0 0 3 0 3 1 0 1 0 0 0 0 3 4 4 0 3 0 0 0 1 0 4 3 0 0 4 0 0 0 0 0 3 0 3 4 0 7 4 7 3 0 4 0 4 4 0 0 0 4 7 3 0 3 0 7 0 0 4 0 4 4 0 0 4 7 0 4 7 4 7 7 0 3 7 7 4 4 7 3 7 0 7 4 7 0 0 0 7 0 7 5 3 4 6 0 2 252.09/246.70 v </values> 252.09/246.70 v </instantiation>
OK 7
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8757 MiB free)
memory of node 1: 16384 MiB (9756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309912-1534328553/watcher-4309912-1534328553 -o /tmp/evaluation-result-4309912-1534328553/solver-4309912-1534328553 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534325999-6916 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1000110056 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309912-1534328553.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8704, runsolver pid=8701
Current StackSize limit: 8192 KiB
[startup+0.108261 s]*
/proc/loadavg: 3.67 2.28 1.88 3/219 8719
/proc/meminfo: memFree=18936044/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14082736 memory=35136 CPUtime=0.12 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 7163 0 0 0 11 1 0 0 20 0 15 0 250418542 14420721664 8784 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3520684 8784 3159 1 0 3482761 0
[pid=8704/tid=8706] ppid=8701 vsize=14082736 memory=-8537243197743396032 CPUtime=0.1 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 5433 0 0 0 9 1 0 0 20 0 15 0 250418542 14420721664 8982 33554432000 4194304 4196468 140734287461136 140590113418640 140590089480043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 8982 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 8982 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 8982 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 9048 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418544 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 250418545 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589088121888 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250418545 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589087069040 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 250418547 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0.01 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) S 8701 8704 2816 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 250418547 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589082860144 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418548 14420721664 9048 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 35136 KiB
[startup+0.215048 s]*
/proc/loadavg: 3.67 2.28 1.88 5/219 8719
/proc/meminfo: memFree=18921036/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14082736 memory=49376 CPUtime=0.32 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 10440 0 0 0 30 2 0 0 20 0 15 0 250418542 14420721664 12344 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3520684 12344 3367 1 0 3482761 0
[pid=8704/tid=8706] ppid=8701 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 8165 0 0 0 19 1 0 0 20 0 15 0 250418542 14420721664 12344 33554432000 4194304 4196468 140734287461136 140590113423968 140590109225562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 12344 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14082736 memory=140244559255937 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 12344 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 12344 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 12344 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250418544 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 250418545 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589088121888 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250418545 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589087069040 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 15 0 250418547 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 15 0 250418547 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0.06 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) R 8701 8704 2816 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 15 0 250418547 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589082860144 140590087695344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418548 14420721664 12344 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49376 KiB
[startup+0.310797 s]*
/proc/loadavg: 3.67 2.28 1.88 4/219 8719
/proc/meminfo: memFree=18917488/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14082736 memory=52500 CPUtime=0.44 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 10799 0 0 0 42 2 0 0 20 0 15 0 250418542 14420721664 13125 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3520684 13125 3370 1 0 3482761 0
[pid=8704/tid=8706] ppid=8701 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 8497 0 0 0 28 1 0 0 20 0 15 0 250418542 14420721664 13176 33554432000 4194304 4196468 140734287461136 140590113383144 140590093284702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14082736 memory=4294980954 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 13176 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14082736 memory=140244560650028 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 13176 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 13176 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14420721664 13176 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250418544 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 250418545 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589088121888 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250418545 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589087069040 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 250418547 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 114 0 0 0 3 0 0 0 20 0 15 0 250418547 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0.08 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) S 8701 8704 2816 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 15 0 250418547 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589082860144 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14082736 memory=140244559246976 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418548 14420721664 13176 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52500 KiB
[startup+0.700715 s]
/proc/loadavg: 3.61 2.29 1.88 3/219 8719
/proc/meminfo: memFree=18893864/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14084804 memory=91260 CPUtime=0.98 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 17623 0 0 0 93 5 0 0 20 0 15 0 250418542 14422839296 22815 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3521201 22815 3504 1 0 3483273 0
[pid=8704/tid=8706] ppid=8701 vsize=14084804 memory=1172 CPUtime=0.67 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 14920 0 0 0 63 4 0 0 20 0 15 0 250418542 14422839296 22815 33554432000 4194304 4196468 140734287461136 140590113428432 140590109226141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14084804 memory=37664 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14422839296 22815 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14084804 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14422839296 22815 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418543 14422839296 22815 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250418543 14422839296 22815 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250418544 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14084804 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 250418545 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589088121888 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250418545 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589087069040 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14084804 memory=7237400421024098393 CPUtime=0.07 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 666 0 0 0 7 0 0 0 20 0 15 0 250418547 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 15 0 250418547 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) S 8701 8704 2816 0 -1 1077944384 400 0 0 0 15 0 0 0 20 0 15 0 250418547 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589082860144 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14084804 memory=8700 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250418548 14422839296 22815 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 91260 KiB
[startup+1.50127 s]
/proc/loadavg: 3.61 2.29 1.88 5/219 8719
/proc/meminfo: memFree=18841620/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14086852 memory=222468 CPUtime=3.25 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 24610 0 0 0 316 9 0 0 20 0 15 0 250418542 14424936448 55617 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3521713 55617 3557 1 0 3483785 0
[pid=8704/tid=8706] ppid=8701 vsize=14086852 memory=176336 CPUtime=1.46 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 17330 0 0 0 140 6 0 0 20 0 15 0 250418542 14424936448 55617 33554432000 4194304 4196468 140734287461136 140590113435520 140590109216150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14086852 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250418543 14424936448 55617 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 250418543 14424936448 55617 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 250418543 14424936448 55617 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 250418543 14424936448 55617 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 250418544 14424936448 55617 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
################
# More data... #
################
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 32649 0 0 0 16144 57 0 0 20 0 15 0 250418542 14429130752 964340 33554432000 4194304 4196468 140734287461136 140590113442224 140589741679057 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14090948 memory=3857360 CPUtime=0.21 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 1773 0 0 0 13 8 0 0 20 0 15 0 250418543 14429130752 964340 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14090948 memory=3857360 CPUtime=0.21 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 872 0 0 0 13 8 0 0 20 0 15 0 250418543 14429130752 964340 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14090948 memory=3857360 CPUtime=0.21 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1305 0 0 0 12 9 0 0 20 0 15 0 250418543 14429130752 964340 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14090948 memory=16021 CPUtime=0.2 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 884 0 0 0 12 8 0 0 20 0 15 0 250418543 14429130752 964340 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14090948 memory=3857360 CPUtime=0.03 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 2801 0 0 0 2 1 0 0 20 0 15 0 250418544 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14090948 memory=3857360 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589088121952 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14090948 memory=3857360 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589087069056 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14090948 memory=280488879737408 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14090948 memory=3857084 CPUtime=1.8 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 5769 0 0 0 180 0 0 0 20 0 15 0 250418547 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14090948 memory=3856432 CPUtime=1.84 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 4535 0 0 0 183 1 0 0 20 0 15 0 250418547 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14090948 memory=3856432 CPUtime=0.92 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) S 8701 8704 2816 0 -1 1077944384 8507 0 0 0 90 2 0 0 20 0 15 0 250418547 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589082860144 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14090948 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14090948 memory=872 CPUtime=0.08 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 600 0 0 0 3 5 0 0 20 0 15 0 250418548 14429130752 964340 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 167.61 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3857360 KiB
[startup+222.301 s]
/proc/loadavg: 2.39 2.25 1.94 3/219 8800
/proc/meminfo: memFree=11551764/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14090948 memory=3815444 CPUtime=227.66 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 66335 0 0 0 22661 105 0 0 20 0 15 0 250418542 14429130752 953861 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3522737 953861 3585 1 0 3484809 0
[pid=8704/tid=8706] ppid=8701 vsize=14090948 memory=3815444 CPUtime=221.99 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 36559 0 0 0 22142 57 0 0 20 0 15 0 250418542 14429130752 953861 33554432000 4194304 4196468 140734287461136 140590113442144 140589733893284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14090948 memory=3815916 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 2439 0 0 0 14 8 0 0 20 0 15 0 250418543 14429130752 953861 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14090948 memory=9604 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 1064 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 953861 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14090948 memory=3815444 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1428 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 953861 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14090948 memory=3815444 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 961 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 953861 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14090948 memory=3815916 CPUtime=0.03 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 3049 0 0 0 2 1 0 0 20 0 15 0 250418544 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14090948 memory=3815916 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589088121952 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14090948 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589087069056 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14090948 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14090948 memory=8700 CPUtime=1.8 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 5775 0 0 0 180 0 0 0 20 0 15 0 250418547 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14090948 memory=14884 CPUtime=1.84 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 4538 0 0 0 183 1 0 0 20 0 15 0 250418547 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14090948 memory=3815444 CPUtime=0.92 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) S 8701 8704 2816 0 -1 1077944384 8512 0 0 0 90 2 0 0 20 0 15 0 250418547 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589082860144 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14090948 memory=3815444 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14090948 memory=3815444 CPUtime=0.12 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 626 0 0 0 5 7 0 0 20 0 15 0 250418548 14429130752 953861 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 227.66 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3815444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.701 s]
/proc/loadavg: 2.26 2.23 1.94 3/219 8800
/proc/meminfo: memFree=11616256/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14090948 memory=3772352 CPUtime=252.09 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 67148 0 0 0 25103 106 0 0 20 0 15 0 250418542 14429130752 943088 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3522737 943088 3585 1 0 3484809 0
[pid=8704/tid=8706] ppid=8701 vsize=14090948 memory=3772352 CPUtime=246.4 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 37337 0 0 0 24582 58 0 0 20 0 15 0 250418542 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590113442144 140589732596793 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 2441 0 0 0 14 8 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 1065 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14090948 memory=1612 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1431 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 983 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14090948 memory=1276 CPUtime=0.03 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 3054 0 0 0 2 1 0 0 20 0 15 0 250418544 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14090948 memory=9604 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589088121952 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589087069056 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14090948 memory=3772352 CPUtime=1.8 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 5775 0 0 0 180 0 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14090948 memory=3772352 CPUtime=1.84 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 4538 0 0 0 183 1 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.92 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) S 8701 8704 2816 0 -1 1077944384 8512 0 0 0 90 2 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589082860144 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.12 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 628 0 0 0 5 7 0 0 20 0 15 0 250418548 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3772352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.731 s]
# the end of solver process 8704 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.052 s, system=1.08576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+246.701 s]
/proc/loadavg: 2.26 2.23 1.94 3/219 8800
/proc/meminfo: memFree=11616256/32770624 swapFree=67108688/67108860
[pid=8704] ppid=8701 vsize=14090948 memory=3772352 CPUtime=252.09 cores=1,3,5,7
/proc/8704/stat : 8704 (java) S 8701 8704 2816 0 -1 1077944320 67148 0 0 0 25103 106 0 0 20 0 15 0 250418542 14429130752 943088 33554432000 4194304 4196468 140734287461136 140734287443680 140590109204215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
/proc/8704/statm: 3522737 943088 3585 1 0 3484809 0
[pid=8704/tid=8706] ppid=8701 vsize=14090948 memory=3772352 CPUtime=246.4 cores=1,3,5,7
/proc/8704/task/8706/stat : 8706 (java) R 8701 8704 2816 0 -1 4202560 37337 0 0 0 24582 58 0 0 20 0 15 0 250418542 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590113442144 140589732596793 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8707] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8707/stat : 8707 (java) S 8701 8704 2816 0 -1 1077944384 2441 0 0 0 14 8 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590061825168 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8708] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8708/stat : 8708 (java) S 8701 8704 2816 0 -1 1077944384 1065 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590060772368 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8709] ppid=8701 vsize=14090948 memory=1612 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8709/stat : 8709 (java) S 8701 8704 2816 0 -1 1077944384 1431 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590059719568 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8710] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.22 cores=1,3,5,7
/proc/8704/task/8710/stat : 8710 (java) S 8701 8704 2816 0 -1 1077944384 983 0 0 0 13 9 0 0 20 0 15 0 250418543 14429130752 943088 33554432000 4194304 4196468 140734287461136 140590058666768 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8711] ppid=8701 vsize=14090948 memory=1276 CPUtime=0.03 cores=1,3,5,7
/proc/8704/task/8711/stat : 8711 (java) S 8701 8704 2816 0 -1 1077944384 3054 0 0 0 2 1 0 0 20 0 15 0 250418544 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589313440112 140590109215362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8712] ppid=8701 vsize=14090948 memory=9604 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8712/stat : 8712 (java) S 8701 8704 2816 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589088121952 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8713] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8713/stat : 8713 (java) S 8701 8704 2816 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 250418545 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589087069056 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8714] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8714/stat : 8714 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589086017360 140590109222811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8715] ppid=8701 vsize=14090948 memory=3772352 CPUtime=1.8 cores=1,3,5,7
/proc/8704/task/8715/stat : 8715 (java) S 8701 8704 2816 0 -1 1077944384 5775 0 0 0 180 0 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589084965744 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8716] ppid=8701 vsize=14090948 memory=3772352 CPUtime=1.84 cores=1,3,5,7
/proc/8704/task/8716/stat : 8716 (java) S 8701 8704 2816 0 -1 1077944384 4538 0 0 0 183 1 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589083912944 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8717] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.92 cores=1,3,5,7
/proc/8704/task/8717/stat : 8717 (java) S 8701 8704 2816 0 -1 1077944384 8512 0 0 0 90 2 0 0 20 0 15 0 250418547 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589082860144 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8718] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0 cores=1,3,5,7
/proc/8704/task/8718/stat : 8718 (java) S 8701 8704 2816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250418548 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589081807584 140590109214421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
[pid=8704/tid=8719] ppid=8701 vsize=14090948 memory=3772352 CPUtime=0.12 cores=1,3,5,7
/proc/8704/task/8719/stat : 8719 (java) S 8701 8704 2816 0 -1 1077944384 628 0 0 0 5 7 0 0 20 0 15 0 250418548 14429130752 943088 33554432000 4194304 4196468 140734287461136 140589080754864 140590109215362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36589568 140734287467598 140734287467790 140734287467790 140734287470543 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3772352 KiB
Child status: 143
Real time (s): 246.731
CPU time (s): 252.138
CPU user time (s): 251.052
CPU system time (s): 1.08576
CPU usage (%): 102.191
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3858448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.052
system time used= 1.08576
maximum resident set size= 3860528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9197
involuntary context switches= 187
# summary of solver processes directly reported to runsolver:
# pid: 8704
# total CPU time (s): 252.138
# total CPU user time (s): 251.052
# total CPU system time (s): 1.08576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58504 second user time and 2.42744 second system time
The end
Begin job on node134 at 2018-08-15 12:22:33 IDJOB=4309912 IDBENCH=141140 IDSOLVER=2795 FILE ID=node134/4309912-1534328553 RUNJOBID= node134-1534325999-6916 PBS_JOBID= 21038145 Free space on /tmp= 43368 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-4_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309912-1534328553/watcher-4309912-1534328553 -o /tmp/evaluation-result-4309912-1534328553/solver-4309912-1534328553 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534325999-6916 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1000110056 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4309912-1534328553.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 954cbc6df2411a2de12d490b8b2019f6 RANDOM SEED=1000110056 node134.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.68 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.68 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.68 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.68 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: 18957496 kB MemAvailable: 26374908 kB Buffers: 201840 kB Cached: 7429732 kB SwapCached: 32 kB Active: 9511064 kB Inactive: 3686248 kB Active(anon): 5514972 kB Inactive(anon): 111440 kB Active(file): 3996092 kB Inactive(file): 3574808 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 36140 kB Writeback: 0 kB AnonPages: 5622440 kB Mapped: 68900 kB Shmem: 57844 kB Slab: 304188 kB SReclaimable: 274972 kB SUnreclaim: 29216 kB KernelStack: 3904 kB PageTables: 16740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6698520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 5371904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 43332 MiB End job on node134 at 2018-08-15 12:26:40