Trace number 4246463

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: AbsCon-basic 2017-06-11SAT 22.3527 16.4485

DiagnosticValue
WRONG_DECISIONS0

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-03-06.xml
MD5SUMa0d270dd535955910725fddfcfa0cde8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.1519499
Satisfiable
(Un)Satisfiability was proved
Number of variables5106
Number of constraints4377
Number of domains3
Minimum domain size3
Maximum domain size730
Distribution of domain sizes[{"size":3,"count":4374},{"size":729,"count":729},{"size":730,"count":3}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":729},{"degree":3,"count":4374}]
Minimum constraint arity2
Maximum constraint arity732
Distribution of constraint arities[{"arity":2,"count":3645},{"arity":7,"count":729},{"arity":729,"count":2},{"arity":732,"count":1}]
Number of extensional constraints0
Number of intensional constraints3645
Distribution of constraint types[{"type":"intension","count":3645},{"type":"allDifferent","count":1},{"type":"sum","count":729},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.31/0.22	
0.31/0.22	AbsCon 2 
0.31/0.22	
1.85/0.76	  Solving XCSP3-instance-4246463-1500709026 as a CSP
1.85/0.76	  Loading variables...
2.71/0.98	  Loading constraints...
5.28/1.52	  Solver SolverBacktrack being built...
5.28/1.52	
6.18/1.89	  Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
6.18/1.89	
22.20/16.43	
22.20/16.43	v <instantiation id='sol1' type='solution'>  <list> x[] bi[][] g[] </list>  <values> 0 1 3 9 27 81 244 4 12 36 108 325 246 10 30 90 270 82 247 13 39 117 352 327 252 28 84 253 31 93 279 109 328 255 37 111 333 271 85 256 40 120 361 354 334 273 91 274 94 282 118 355 336 280 112 337 283 121 364 365 366 369 378 405 486 2 6 18 54 162 487 5 15 45 135 406 489 11 33 99 297 163 490 14 42 126 379 408 495 29 87 261 55 165 496 32 96 288 136 409 498 38 114 342 298 166 499 41 123 370 381 414 513 83 249 19 57 171 514 86 258 46 138 415 516 92 276 100 300 172 517 95 285 127 382 417 522 110 330 262 58 174 523 113 339 289 139 418 525 119 357 343 301 175 526 122 367 372 387 432 567 245 7 21 63 189 568 248 16 48 144 433 570 254 34 102 306 190 571 257 43 129 388 435 576 272 88 264 64 192 577 275 97 291 145 436 579 281 115 345 307 193 580 284 124 373 390 441 594 326 250 22 66 198 595 329 259 49 147 442 597 335 277 103 309 199 598 338 286 130 391 444 603 353 331 265 67 201 604 356 340 292 148 445 606 362 358 346 310 202 608 368 375 396 459 648 488 8 24 72 216 649 491 17 51 153 460 651 497 35 105 315 217 652 500 44 132 397 462 657 515 89 267 73 219 658 518 98 294 154 463 660 524 116 348 316 220 661 527 125 376 399 468 675 569 251 25 75 225 676 572 260 52 156 469 678 578 278 106 318 226 679 581 287 133 400 471 684 596 332 268 76 228 685 599 341 295 157 472 687 605 359 349 319 229 689 609 371 384 423 540 164 492 20 60 180 541 167 501 47 141 424 543 173 519 101 303 181 544 176 528 128 385 426 549 191 573 263 61 183 550 194 582 290 142 427 552 200 600 344 304 184 553 203 610 374 393 450 621 407 493 23 69 207 622 410 502 50 150 451 624 416 520 104 312 208 625 419 529 131 394 453 630 434 574 266 70 210 631 437 583 293 151 454 633 443 601 347 313 211 634 446 611 377 402 477 702 650 494 26 78 234 703 653 503 53 159 478 705 659 521 107 321 235 706 662 530 134 403 480 711 677 575 269 79 237 712 680 584 296 160 481 714 686 602 350 322 238 716 690 612 380 411 504 56 168 505 59 177 531 137 412 507 65 195 585 299 169 508 68 204 613 383 420 532 140 421 534 146 438 586 302 178 535 149 447 614 386 429 558 218 654 506 62 186 559 221 663 533 143 430 561 227 681 587 305 187 562 230 691 615 389 439 588 308 196 589 311 205 616 392 448 617 395 456 639 461 655 509 71 213 640 464 664 536 152 457 642 470 682 590 314 214 643 473 692 618 398 465 666 542 170 510 74 222 667 545 179 537 155 466 669 551 197 591 317 223 670 554 206 619 401 474 693 623 413 511 77 231 694 626 422 538 158 475 696 632 440 592 320 232 697 635 449 620 404 483 720 704 656 512 80 240 721 707 665 539 161 484 723 713 683 593 323 241 725 717 695 627 425 546 182 547 185 555 209 628 428 556 212 636 452 629 431 564 236 708 668 548 188 565 239 718 698 637 455 638 458 645 479 709 671 557 215 646 482 719 699 641 467 672 560 224 673 563 233 700 644 476 701 647 485 726 722 710 674 566 242 728 727 724 715 688 607 363 360 351 324 243 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 1 1 0 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 0 2 0 0 1 0 0 0 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 0 0 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 1 0 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 0 0 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 0 0 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 1 2 0 0 1 1 1 0 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 0 1 2 0 1 0 0 2 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 2 0 0 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 1 0 1 0 0 1 2 1 0 0 1 2 0 0 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 0 0 1 0 1 0 2 1 0 1 0 2 0 0 1 0 2 0 1 1 0 2 0 1 0 0 2 0 1 0 1 2 0 1 0 1 1 0 1 0 1 1 2 1 0 1 1 2 0 0 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 0 2 0 1 1 0 0 0 1 1 0 0 2 1 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 1 0 1 1 0 1 2 1 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 0 0 1 1 1 0 2 1 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 1 2 0 1 1 1 1 0 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 0 1 1 2 1 0 0 1 2 1 0 0 0 2 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 1 1 0 0 0 1 2 0 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 0 1 0 0 1 0 2 0 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 0 0 2 1 0 0 1 2 1 0 0 1 1 1 0 0 1 1 2 0 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 0 2 1 0 1 0 0 1 0 1 0 0 2 0 1 0 0 2 1 1 0 0 2 1 0 0 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 1 1 0 1 0 1 2 0 1 0 1 2 1 1 0 1 2 1 0 0 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 0 1 0 1 1 0 2 0 1 1 0 2 1 1 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 1 2 1 0 1 1 1 1 0 1 1 1 2 0 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 0 1 2 1 1 0 0 2 1 1 0 0 0 1 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 1 1 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 0 1 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 1 1 0 2 1 1 0 0 2 1 1 0 1 2 1 1 0 1 1 1 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 0 2 1 1 1 0 0 1 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 1 1 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 0 1 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 2 1 1 1 2 2 0 1 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 0 0 2 2 0 0 1 2 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 0 2 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 2 1 0 0 2 2 0 0 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 2 1 0 1 2 2 0 0 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 2 1 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 1 2 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 0 1 2 2 1 0 0 2 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 2 0 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 2 0 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 2 0 1 0 2 2 1 1 0 2 2 1 0 0 2 2 1 0 1 2 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 2 0 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 0 2 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 0 1 1 1 2 0 2 1 1 2 0 2 0 1 2 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 1 0 2 0 0 1 2 2 0 0 1 2 0 0 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 0 0 2 0 1 0 2 2 0 1 0 2 0 0 1 0 2 0 2 1 0 2 0 2 0 0 2 0 2 0 1 2 0 2 0 1 1 0 2 0 1 1 2 2 0 1 1 2 0 0 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 0 2 0 2 1 0 0 0 2 1 0 0 2 2 1 0 0 2 0 1 0 0 2 0 2 0 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 1 0 2 1 0 1 2 2 1 0 1 2 0 1 0 1 2 0 2 0 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 0 0 2 1 1 0 2 2 1 1 0 2 0 1 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 1 2 0 2 1 1 1 0 2 1 1 1 2 2 1 1 1 2 1 1 1 1 2 1 2 1 1 2 1 2 0 1 2 1 2 0 0 2 1 2 0 0 0 1 2 0 0 0 2 2 0 0 0 2 1 0 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 1 0 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 0 1 2 0 1 0 2 2 0 1 0 2 1 0 1 0 2 1 2 1 0 2 1 2 0 0 2 1 2 0 1 2 1 2 0 1 1 1 2 0 1 1 2 2 0 1 1 2 1 0 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 0 2 1 2 1 0 0 1 2 1 0 0 2 2 1 0 0 2 1 1 0 0 2 1 2 0 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 1 1 2 1 0 1 2 2 1 0 1 2 1 1 0 1 2 1 2 0 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 0 1 2 1 1 0 2 2 1 1 0 2 1 1 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 1 2 1 2 1 1 1 1 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 2 1 1 2 2 2 0 1 2 2 2 0 0 2 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 2 1 0 2 2 2 0 0 2 2 2 0 1 2 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 0 2 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 2 0 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 2 0 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 0 2 1 1 2 0 0 1 1 2 0 0 2 1 2 0 0 2 0 2 0 0 2 0 0 0 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 1 0 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 0 0 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 0 0 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 0 1 0 2 0 0 2 0 2 0 0 2 1 2 0 0 2 1 1 0 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 1 1 1 2 0 1 2 1 2 0 1 2 0 2 0 1 2 0 1 0 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 0 0 1 2 1 0 2 1 2 1 0 2 0 2 1 0 2 0 1 1 0 2 0 1 2 0 2 0 1 2 1 2 0 1 2 1 1 0 1 2 1 1 2 1 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 2 1 2 0 2 2 0 2 0 2 2 0 0 0 2 2 0 0 2 2 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 1 0 2 2 0 1 2 2 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 0 0 2 2 1 0 2 2 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 2 0 2 0 2 2 1 2 0 2 2 1 1 0 2 2 1 1 2 2 2 1 1 2 1 2 1 1 2 1 0 1 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 0 1 0 2 1 0 2 0 2 1 0 2 1 2 1 0 2 1 1 1 0 2 1 1 2 0 2 1 1 2 1 2 1 1 2 1 1 1 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 2 1 2 1 2 2 0 2 1 2 2 0 0 1 2 2 0 0 2 2 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 1 1 2 2 0 1 2 2 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 0 1 2 2 1 0 2 2 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 2 0 2 1 2 2 1 2 1 2 2 1 1 1 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 0 1 1 2 2 0 2 1 2 2 0 2 0 2 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 2 2 0 0 2 2 0 0 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 2 2 0 1 2 2 0 0 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 2 2 1 0 2 2 0 1 0 2 2 0 2 0 2 2 0 2 1 2 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 2 2 1 1 2 2 1 1 1 2 2 1 2 1 2 2 1 2 0 2 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 2 2 0 0 2 2 1 0 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 2 2 0 1 2 2 1 0 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 2 2 1 0 2 2 1 1 0 2 2 1 2 0 2 2 1 2 1 2 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 2 1 2 2 2 2 0 2 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 2 0 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 0 1 2 0 2 0 2 2 0 2 0 2 0 0 2 0 2 0 2 2 0 2 0 2 1 0 2 0 2 1 2 2 0 2 1 2 0 0 2 1 2 0 2 2 1 2 0 2 1 1 2 0 2 1 2 2 0 2 1 2 1 0 2 1 2 1 2 2 1 2 1 2 0 1 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 2 2 0 2 2 2 0 0 2 2 2 0 2 2 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 2 2 0 2 2 2 1 0 2 2 2 1 2 2 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 1 1 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 2 2 1 2 2 2 0 1 2 2 2 0 2 2 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 2 2 1 2 2 2 1 1 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 2 2 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 2 2 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 2 2 2 1 1 1 2 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 243 243 243 </values>  </instantiation>
22.20/16.44	s SATISFIABLE
22.20/16.44	
22.20/16.44	d WRONG_DECISIONS 0

Verifier Data 

OK

Watcher Data 

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-4246463-1500709026/watcher-4246463-1500709026 -o /tmp/evaluation-result-4246463-1500709026/solver-4246463-1500709026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500682665-15783 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4246463-1500709026.xml 

pid=20954
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.43 2.04 2.02 3/262 20957
/proc/meminfo: memFree=31669048/32770624 swapFree=5760/282644
[pid=20957] ppid=20954 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 6167901 369864704 1935 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 90299 1935 1082 1 0 79210 0
[pid=20957/tid=20958] ppid=20954 vsize=8168368 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) R 20954 20957 15216 0 -1 4202560 471 0 0 0 0 0 0 0 20 0 2 0 6167902 8364408832 2047 33554432000 4194304 4196468 140736872036048 140171379984800 140171368459674 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0

[startup+0.10006 s]
/proc/loadavg: 2.43 2.04 2.02 3/262 20957
/proc/meminfo: memFree=31669048/32770624 swapFree=5760/282644
[pid=20957] ppid=20954 vsize=10900580 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 5054 0 0 0 9 1 0 0 20 0 20 0 6167901 11162193920 7044 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2725145 7044 2758 1 0 2713552 0
[pid=20957/tid=20958] ppid=20954 vsize=10900580 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) R 20954 20957 15216 0 -1 4202560 2996 0 0 0 7 0 0 0 20 0 20 0 6167902 11162193920 7044 33554432000 4194304 4196468 140736872036048 140171379973920 140171375754646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580

[startup+0.200339 s]
/proc/loadavg: 2.43 2.04 2.02 3/262 20957
/proc/meminfo: memFree=31669048/32770624 swapFree=5760/282644
[pid=20957] ppid=20954 vsize=10902664 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 7583 0 0 0 29 2 0 0 20 0 20 0 6167901 11164327936 10490 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2725666 10490 2935 1 0 2713552 0
[pid=20957/tid=20958] ppid=20954 vsize=10902664 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) R 20954 20957 15216 0 -1 4202560 4678 0 0 0 17 1 0 0 20 0 20 0 6167902 11164327936 10490 33554432000 4194304 4196468 140736872036048 140171379978704 140171359786341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10902664

[startup+0.3003 s]
/proc/loadavg: 2.43 2.04 2.02 3/262 20957
/proc/meminfo: memFree=31669048/32770624 swapFree=5760/282644
[pid=20957] ppid=20954 vsize=10969228 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 8208 0 0 0 47 3 0 0 20 0 21 0 6167901 11232489472 13528 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2742307 13528 3018 1 0 2730193 0
[pid=20957/tid=20958] ppid=20954 vsize=10969228 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11232489472 13528 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10969228

[startup+0.700204 s]
/proc/loadavg: 2.43 2.04 2.02 3/262 20957
/proc/meminfo: memFree=31669048/32770624 swapFree=5760/282644
[pid=20957] ppid=20954 vsize=10971352 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 13269 0 0 0 180 5 0 0 20 0 21 0 6167901 11234664448 28232 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2742838 28232 3113 1 0 2730705 0
[pid=20957/tid=20958] ppid=20954 vsize=10971352 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11234664448 28232 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10971352

[startup+1.50078 s]
/proc/loadavg: 2.43 2.04 2.02 5/283 20978
/proc/meminfo: memFree=31515504/32770624 swapFree=5760/282644
[pid=20957] ppid=20954 vsize=10973400 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 25348 0 0 0 505 23 0 0 20 0 21 0 6167901 11236761600 57331 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2743350 57331 3152 1 0 2731217 0
[pid=20957/tid=20958] ppid=20954 vsize=10973400 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20960] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20960/stat : 20960 (java) S 20954 20957 15216 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171301816848 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20961] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20961/stat : 20961 (java) S 20954 20957 15216 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171300764304 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20962] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20962/stat : 20962 (java) S 20954 20957 15216 0 -1 1077944384 122 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171299711248 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20963] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20963/stat : 20963 (java) S 20954 20957 15216 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171298658704 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20964] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20964/stat : 20964 (java) S 20954 20957 15216 0 -1 1077944384 610 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171297606672 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20965] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20965/stat : 20965 (java) S 20954 20957 15216 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171296554128 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20966] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20966/stat : 20966 (java) S 20954 20957 15216 0 -1 1077944384 286 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171295501072 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20967] ppid=20954 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20967/stat : 20967 (java) S 20954 20957 15216 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 21 0 6167903 11236761600 57331 33554432000 4194304 4196468 140736872036048 140171294448528 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20968] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20968/stat : 20968 (java) S 20954 20957 15216 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 21 0 6167904 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170514970864 140171375753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20969] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20969/stat : 20969 (java) S 20954 20957 15216 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170513917088 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20970] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20970/stat : 20970 (java) S 20954 20957 15216 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170512863984 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20971] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20971/stat : 20971 (java) S 20954 20957 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170511812560 140171375761307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20972] ppid=20954 vsize=10973400 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20972/stat : 20972 (java) R 20954 20957 15216 0 -1 4202560 5031 0 0 0 96 0 0 0 20 0 21 0 6167907 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170510747232 140171368839547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20973] ppid=20954 vsize=10973400 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20973/stat : 20973 (java) S 20954 20957 15216 0 -1 1077944384 2560 0 0 0 90 0 0 0 20 0 21 0 6167907 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170509708144 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20974] ppid=20954 vsize=10973400 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20974/stat : 20974 (java) S 20954 20957 15216 0 -1 1077944384 2796 0 0 0 87 0 0 0 20 0 21 0 6167907 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170508655088 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20975] ppid=20954 vsize=10973400 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20975/stat : 20975 (java) R 20954 20957 15216 0 -1 4202560 3958 0 0 0 80 1 0 0 20 0 21 0 6167907 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170507602464 140171354233936 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20976] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20976/stat : 20976 (java) S 20954 20957 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170506549728 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20977] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20977/stat : 20977 (java) S 20954 20957 15216 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 6167908 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170505497264 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20978] ppid=20954 vsize=10973400 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20978/stat : 20978 (java) R 20954 20957 15216 0 -1 4202560 3299 0 0 0 119 2 0 0 20 0 21 0 6167924 11236761600 57331 33554432000 4194304 4196468 140736872036048 140170502306192 140171353850031 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 5.28
Current children cumulated vsize (KiB) 10973400

[startup+3.10077 s]
/proc/loadavg: 2.43 2.04 2.02 4/283 20978
/proc/meminfo: memFree=31443968/32770624 swapFree=5760/282644
[pid=20957] ppid=20954 vsize=10973400 CPUtime=8.37 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 29248 0 0 0 813 24 0 0 20 0 21 0 6167901 11236761600 59794 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2743350 59794 3158 1 0 2731217 0
[pid=20957/tid=20958] ppid=20954 vsize=10973400 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20960] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20960/stat : 20960 (java) S 20954 20957 15216 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171301816848 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20961] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20961/stat : 20961 (java) S 20954 20957 15216 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171300764304 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20962] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20962/stat : 20962 (java) S 20954 20957 15216 0 -1 1077944384 122 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171299711248 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20963] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20963/stat : 20963 (java) S 20954 20957 15216 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171298658704 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20964] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20964/stat : 20964 (java) S 20954 20957 15216 0 -1 1077944384 610 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171297606672 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20965] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20965/stat : 20965 (java) S 20954 20957 15216 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171296554128 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20966] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20966/stat : 20966 (java) S 20954 20957 15216 0 -1 1077944384 286 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171295501072 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20967] ppid=20954 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20967/stat : 20967 (java) S 20954 20957 15216 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 21 0 6167903 11236761600 59794 33554432000 4194304 4196468 140736872036048 140171294448528 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20968] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20968/stat : 20968 (java) S 20954 20957 15216 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 21 0 6167904 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170514970864 140171375753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20969] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20969/stat : 20969 (java) S 20954 20957 15216 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170513917088 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20970] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20970/stat : 20970 (java) S 20954 20957 15216 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170512863984 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20971] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20971/stat : 20971 (java) S 20954 20957 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170511812560 140171375761307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20972] ppid=20954 vsize=10973400 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20972/stat : 20972 (java) S 20954 20957 15216 0 -1 1077944384 6670 0 0 0 145 1 0 0 20 0 21 0 6167907 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170510760688 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20973] ppid=20954 vsize=10973400 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20973/stat : 20973 (java) S 20954 20957 15216 0 -1 1077944384 3273 0 0 0 123 0 0 0 20 0 21 0 6167907 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170509708144 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20974] ppid=20954 vsize=10973400 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20974/stat : 20974 (java) S 20954 20957 15216 0 -1 1077944384 3688 0 0 0 142 0 0 0 20 0 21 0 6167907 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170508655088 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20975] ppid=20954 vsize=10973400 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20975/stat : 20975 (java) S 20954 20957 15216 0 -1 1077944384 4229 0 0 0 91 1 0 0 20 0 21 0 6167907 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170507602544 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20976] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20976/stat : 20976 (java) S 20954 20957 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170506549728 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20977] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20977/stat : 20977 (java) S 20954 20957 15216 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 21 0 6167908 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170505497264 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20978] ppid=20954 vsize=10973400 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20978/stat : 20978 (java) R 20954 20957 15216 0 -1 4202560 3648 0 0 0 278 3 0 0 20 0 21 0 6167924 11236761600 59794 33554432000 4194304 4196468 140736872036048 140170502306680 140170980947680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 10973400

[startup+6.30081 s]
/proc/loadavg: 2.40 2.04 2.02 3/283 20978
/proc/meminfo: memFree=31444004/32770624 swapFree=5760/283004
[pid=20957] ppid=20954 vsize=10973400 CPUtime=11.76 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 29427 0 0 0 1152 24 0 0 20 0 21 0 6167901 11236761600 59039 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2743350 59039 3158 1 0 2731217 0
[pid=20957/tid=20958] ppid=20954 vsize=10973400 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20960] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20960/stat : 20960 (java) S 20954 20957 15216 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171301816848 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20961] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20961/stat : 20961 (java) S 20954 20957 15216 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171300764304 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20962] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20962/stat : 20962 (java) S 20954 20957 15216 0 -1 1077944384 122 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171299711248 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20963] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20963/stat : 20963 (java) S 20954 20957 15216 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171298658704 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20964] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20964/stat : 20964 (java) S 20954 20957 15216 0 -1 1077944384 610 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171297606672 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20965] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20965/stat : 20965 (java) S 20954 20957 15216 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171296554128 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20966] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20966/stat : 20966 (java) S 20954 20957 15216 0 -1 1077944384 286 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171295501072 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20967] ppid=20954 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20967/stat : 20967 (java) S 20954 20957 15216 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 21 0 6167903 11236761600 59039 33554432000 4194304 4196468 140736872036048 140171294448528 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20968] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20968/stat : 20968 (java) S 20954 20957 15216 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 21 0 6167904 11236761600 59039 33554432000 4194304 4196468 140736872036048 140170514970864 140171375753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20969] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=20957/tid=20970] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20970/stat : 20970 (java) S 20954 20957 15216 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170512863984 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20971] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20971/stat : 20971 (java) S 20954 20957 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170511812560 140171375761307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20972] ppid=20954 vsize=10973400 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20972/stat : 20972 (java) S 20954 20957 15216 0 -1 1077944384 7813 0 0 0 154 1 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170510760688 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20973] ppid=20954 vsize=10973400 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20973/stat : 20973 (java) S 20954 20957 15216 0 -1 1077944384 3505 0 0 0 128 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170509708144 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20974] ppid=20954 vsize=10973400 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20974/stat : 20974 (java) S 20954 20957 15216 0 -1 1077944384 4698 0 0 0 156 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170508655088 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20975] ppid=20954 vsize=10973400 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20975/stat : 20975 (java) S 20954 20957 15216 0 -1 1077944384 4318 0 0 0 94 1 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170507602544 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20976] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20976/stat : 20976 (java) S 20954 20957 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170506549728 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20977] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20977/stat : 20977 (java) S 20954 20957 15216 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 21 0 6167908 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170505497264 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20978] ppid=20954 vsize=10973400 CPUtime=14.11 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20978/stat : 20978 (java) R 20954 20957 15216 0 -1 4202560 4768 0 0 0 1408 3 0 0 20 0 21 0 6167924 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170502306344 140170980538028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (KiB) 10973400

[startup+15.2007 s]
/proc/loadavg: 2.33 2.04 2.02 3/283 20978
/proc/meminfo: memFree=31440824/32770624 swapFree=5760/283020
[pid=20957] ppid=20954 vsize=10973400 CPUtime=20.78 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 33008 0 0 0 2053 25 0 0 20 0 21 0 6167901 11236761600 59700 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2743350 59700 3158 1 0 2731217 0
[pid=20957/tid=20958] ppid=20954 vsize=10973400 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20960] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20960/stat : 20960 (java) S 20954 20957 15216 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171301816848 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20961] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20961/stat : 20961 (java) S 20954 20957 15216 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171300764304 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20962] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20962/stat : 20962 (java) S 20954 20957 15216 0 -1 1077944384 122 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171299711248 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20963] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20963/stat : 20963 (java) S 20954 20957 15216 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171298658704 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20964] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20964/stat : 20964 (java) S 20954 20957 15216 0 -1 1077944384 610 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171297606672 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20965] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20965/stat : 20965 (java) S 20954 20957 15216 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171296554128 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20966] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20966/stat : 20966 (java) S 20954 20957 15216 0 -1 1077944384 286 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171295501072 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20967] ppid=20954 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20967/stat : 20967 (java) S 20954 20957 15216 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 21 0 6167903 11236761600 59700 33554432000 4194304 4196468 140736872036048 140171294448528 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20968] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20968/stat : 20968 (java) S 20954 20957 15216 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 21 0 6167904 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170514970864 140171375753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20969] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20969/stat : 20969 (java) S 20954 20957 15216 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170513917088 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20970] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20970/stat : 20970 (java) S 20954 20957 15216 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170512863984 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20971] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20971/stat : 20971 (java) S 20954 20957 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170511812560 140171375761307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20972] ppid=20954 vsize=10973400 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20972/stat : 20972 (java) S 20954 20957 15216 0 -1 1077944384 7813 0 0 0 154 1 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170510760688 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20973] ppid=20954 vsize=10973400 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20973/stat : 20973 (java) S 20954 20957 15216 0 -1 1077944384 3505 0 0 0 128 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170509708144 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20974] ppid=20954 vsize=10973400 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20974/stat : 20974 (java) S 20954 20957 15216 0 -1 1077944384 4698 0 0 0 156 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170508655088 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20975] ppid=20954 vsize=10973400 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20975/stat : 20975 (java) S 20954 20957 15216 0 -1 1077944384 4318 0 0 0 94 1 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170507602544 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20976] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20976/stat : 20976 (java) S 20954 20957 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170506549728 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20977] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20977/stat : 20977 (java) S 20954 20957 15216 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 21 0 6167908 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170505497264 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20978] ppid=20954 vsize=10973400 CPUtime=14.9 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20978/stat : 20978 (java) R 20954 20957 15216 0 -1 4202560 4768 0 0 0 1487 3 0 0 20 0 21 0 6167924 11236761600 59700 33554432000 4194304 4196468 140736872036048 140170502306104 140170981106146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 10973400

[startup+16.0007 s]
/proc/loadavg: 2.33 2.04 2.02 3/283 20978
/proc/meminfo: memFree=31440824/32770624 swapFree=5760/283020
[pid=20957] ppid=20954 vsize=10973400 CPUtime=21.59 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 33210 0 0 0 2134 25 0 0 20 0 21 0 6167901 11236761600 59717 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2743350 59717 3158 1 0 2731217 0
[pid=20957/tid=20958] ppid=20954 vsize=10973400 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20960] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20960/stat : 20960 (java) S 20954 20957 15216 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171301816848 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20961] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20961/stat : 20961 (java) S 20954 20957 15216 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171300764304 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20962] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20962/stat : 20962 (java) S 20954 20957 15216 0 -1 1077944384 122 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171299711248 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20963] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20963/stat : 20963 (java) S 20954 20957 15216 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171298658704 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20964] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20964/stat : 20964 (java) S 20954 20957 15216 0 -1 1077944384 610 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171297606672 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20965] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20965/stat : 20965 (java) S 20954 20957 15216 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171296554128 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20966] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20966/stat : 20966 (java) S 20954 20957 15216 0 -1 1077944384 286 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171295501072 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20967] ppid=20954 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20967/stat : 20967 (java) S 20954 20957 15216 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 21 0 6167903 11236761600 59717 33554432000 4194304 4196468 140736872036048 140171294448528 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20968] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20968/stat : 20968 (java) S 20954 20957 15216 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 21 0 6167904 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170514970864 140171375753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20969] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20969/stat : 20969 (java) S 20954 20957 15216 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170513917088 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20970] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20970/stat : 20970 (java) S 20954 20957 15216 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170512863984 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20971] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20971/stat : 20971 (java) S 20954 20957 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170511812560 140171375761307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20972] ppid=20954 vsize=10973400 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20972/stat : 20972 (java) S 20954 20957 15216 0 -1 1077944384 7821 0 0 0 155 1 0 0 20 0 21 0 6167907 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170510760688 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20973] ppid=20954 vsize=10973400 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20973/stat : 20973 (java) S 20954 20957 15216 0 -1 1077944384 3527 0 0 0 128 0 0 0 20 0 21 0 6167907 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170509708144 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20974] ppid=20954 vsize=10973400 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20974/stat : 20974 (java) S 20954 20957 15216 0 -1 1077944384 4698 0 0 0 156 0 0 0 20 0 21 0 6167907 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170508655088 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20975] ppid=20954 vsize=10973400 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20975/stat : 20975 (java) S 20954 20957 15216 0 -1 1077944384 4483 0 0 0 95 1 0 0 20 0 21 0 6167907 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170507602544 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20976] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20976/stat : 20976 (java) S 20954 20957 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170506549728 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20977] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20977/stat : 20977 (java) S 20954 20957 15216 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 21 0 6167908 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170505497264 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20978] ppid=20954 vsize=10973400 CPUtime=15.7 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20978/stat : 20978 (java) R 20954 20957 15216 0 -1 4202560 4775 0 0 0 1567 3 0 0 20 0 21 0 6167924 11236761600 59717 33554432000 4194304 4196468 140736872036048 140170502304168 140170981108856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 21.59
Current children cumulated vsize (KiB) 10973400

[startup+16.4007 s]
/proc/loadavg: 2.33 2.04 2.02 3/283 20978
/proc/meminfo: memFree=31440824/32770624 swapFree=5760/283020
[pid=20957] ppid=20954 vsize=10973400 CPUtime=22.2 cores=0,2,4,6,8,10,12,14
/proc/20957/stat : 20957 (java) S 20954 20957 15216 0 -1 1077944320 39259 0 0 0 2194 26 0 0 20 0 21 0 6167901 11236761600 59806 33554432000 4194304 4196468 140736872036048 140736872018592 140171375742711 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
/proc/20957/statm: 2743350 59806 3158 1 0 2731217 0
[pid=20957/tid=20958] ppid=20954 vsize=10973400 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20958/stat : 20958 (java) S 20954 20957 15216 0 -1 1077944384 4729 0 0 0 19 1 0 0 20 0 21 0 6167902 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171379985584 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20960] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20960/stat : 20960 (java) S 20954 20957 15216 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171301816848 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20961] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20961/stat : 20961 (java) S 20954 20957 15216 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171300764304 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20962] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20962/stat : 20962 (java) S 20954 20957 15216 0 -1 1077944384 122 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171299711248 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20963] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20963/stat : 20963 (java) S 20954 20957 15216 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171298658704 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20964] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20964/stat : 20964 (java) S 20954 20957 15216 0 -1 1077944384 610 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171297606672 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20965] ppid=20954 vsize=10973400 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20965/stat : 20965 (java) S 20954 20957 15216 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171296554128 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20966] ppid=20954 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20966/stat : 20966 (java) S 20954 20957 15216 0 -1 1077944384 286 0 0 0 1 1 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171295501072 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20967] ppid=20954 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20967/stat : 20967 (java) S 20954 20957 15216 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 21 0 6167903 11236761600 59806 33554432000 4194304 4196468 140736872036048 140171294448528 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20968] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20968/stat : 20968 (java) S 20954 20957 15216 0 -1 1077944384 523 0 0 0 0 0 0 0 20 0 21 0 6167904 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170514970864 140171375753858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20969] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20969/stat : 20969 (java) S 20954 20957 15216 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170513917088 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20970] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20970/stat : 20970 (java) S 20954 20957 15216 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 6167905 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170512863984 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20971] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20971/stat : 20971 (java) S 20954 20957 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170511812560 140171375761307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20972] ppid=20954 vsize=10973400 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20972/stat : 20972 (java) R 20954 20957 15216 0 -1 4202560 8646 0 0 0 160 1 0 0 20 0 21 0 6167907 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170510747200 140171375764058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20973] ppid=20954 vsize=10973400 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20973/stat : 20973 (java) R 20954 20957 15216 0 -1 4202560 4302 0 0 0 134 0 0 0 20 0 21 0 6167907 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170509708144 140171375764058 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20974] ppid=20954 vsize=10973400 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20974/stat : 20974 (java) R 20954 20957 15216 0 -1 4202560 5368 0 0 0 162 1 0 0 20 0 21 0 6167907 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170508655088 140171375764058 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20975] ppid=20954 vsize=10973400 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20975/stat : 20975 (java) R 20954 20957 15216 0 -1 4202560 7290 0 0 0 99 1 0 0 20 0 21 0 6167907 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170507595520 140171354281167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20976] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20976/stat : 20976 (java) S 20954 20957 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6167907 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170506549728 140171375752917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20977] ppid=20954 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20977/stat : 20977 (java) S 20954 20957 15216 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 21 0 6167908 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170505497264 140171375753858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
[pid=20957/tid=20978] ppid=20954 vsize=10973400 CPUtime=16.1 cores=0,2,4,6,8,10,12,14
/proc/20957/task/20978/stat : 20978 (java) R 20954 20957 15216 0 -1 4202560 5666 0 0 0 1607 3 0 0 20 0 21 0 6167924 11236761600 59806 33554432000 4194304 4196468 140736872036048 140170502302288 140171357306267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32161792 140736872039619 140736872039748 140736872039748 140736872042447 0
Current children cumulated CPU time (s) 22.2
Current children cumulated vsize (KiB) 10973400

Child status: 0
Real time (s): 16.4485
CPU time (s): 22.3527
CPU user time (s): 22.0807
CPU system time (s): 0.272006
CPU usage (%): 135.896
Max. virtual memory (cumulated for all children) (KiB): 10973400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.0807
system time used= 0.272006
maximum resident set size= 239656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3895
involuntary context switches= 1351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.140374 second user time and 0.114325 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-22 09:37:06
IDJOB=4246463
IDBENCH=125571
IDSOLVER=2624
FILE ID=node146/4246463-1500709026
RUNJOBID= node146-1500682665-15783
PBS_JOBID= 20623044
Free space on /tmp= 61784 MiB

SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246463-1500709026/watcher-4246463-1500709026 -o /tmp/evaluation-result-4246463-1500709026/solver-4246463-1500709026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500682665-15783 --watchdog 2560  java -jar HOME/AbsCon-basic.jar HOME/instance-4246463-1500709026.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=756291991

node146.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31668724 kB
MemAvailable:   31854044 kB
Buffers:          134960 kB
Cached:           331640 kB
SwapCached:            0 kB
Active:           374820 kB
Inactive:         291496 kB
Active(anon):     202656 kB
Inactive(anon):     8852 kB
Active(file):     172164 kB
Inactive(file):   282644 kB
Unevictable:        5760 kB
Mlocked:            5792 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8224 kB
Writeback:            12 kB
AnonPages:        363544 kB
Mapped:            43080 kB
Shmem:              8852 kB
Slab:             125632 kB
SReclaimable:      92696 kB
SUnreclaim:        32936 kB
KernelStack:        4736 kB
PageTables:         6220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1064912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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= 61776 MiB
End job on node146 at 2017-07-22 09:37:22