Trace number 4264262

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
AbsCon-basic 2017-06-11SAT 20.405899 16.302799

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.28/0.34	
0.28/0.34	AbsCon 2 
0.28/0.34	
1.65/0.84	  Solving XCSP3-instance-4264262-1502284478 as a CSP
1.65/0.84	  Loading variables...
2.27/1.03	  Loading constraints...
3.93/1.53	  Solver SolverBacktrack being built...
3.93/1.53	
4.61/1.87	  Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
4.61/1.87	
20.11/16.29	
20.11/16.29	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>
20.11/16.29	s SATISFIABLE
20.11/16.29	
20.11/16.29	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-4264262-1502284478/watcher-4264262-1502284478 -o /tmp/evaluation-result-4264262-1502284478/solver-4264262-1502284478 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502258002-23061 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264262-1502284478.xml 

pid=30149
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.78 1.77 1.77 3/199 30152
/proc/meminfo: memFree=31272424/32770624 swapFree=0/453180
[pid=30152] ppid=30149 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/30152/stat : 30152 (runsolver) D 30149 30152 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 30641366 24240128 106 18446744073709551615 4194304 4338465 140726418388544 140726418386184 139890928255703 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 19365888 140726418395296 140726418395722 140726418395722 140726418399178 0
/proc/30152/statm: 5918 106 53 36 0 2156 0

[startup+0.100113 s]
/proc/loadavg: 1.78 1.77 1.77 3/199 30152
/proc/meminfo: memFree=31272424/32770624 swapFree=0/453180
[pid=30152] ppid=30149 vsize=9936560 CPUtime=0 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 3210 0 0 0 0 0 0 0 20 0 6 0 30641366 10175037440 3922 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2484140 3922 1821 1 0 2473637 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9936560

[startup+0.202691 s]
/proc/loadavg: 1.78 1.77 1.77 3/199 30152
/proc/meminfo: memFree=31272424/32770624 swapFree=0/453180
[pid=30152] ppid=30149 vsize=10551180 CPUtime=0.08 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 5205 0 0 0 8 0 0 0 20 0 15 0 30641366 10804408320 6704 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2637795 6704 2670 1 0 2627261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551180

[startup+0.308074 s]
/proc/loadavg: 1.78 1.77 1.77 3/199 30152
/proc/meminfo: memFree=31272424/32770624 swapFree=0/453180
[pid=30152] ppid=30149 vsize=10553264 CPUtime=0.28 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 9005 0 0 0 26 2 0 0 20 0 15 0 30641366 10806542336 9859 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2638316 9859 2913 1 0 2627261 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10553264

[startup+0.700996 s]
/proc/loadavg: 1.78 1.77 1.77 3/199 30152
/proc/meminfo: memFree=31272424/32770624 swapFree=0/453180
[pid=30152] ppid=30149 vsize=10621952 CPUtime=1.33 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 14536 0 0 0 128 5 0 0 20 0 16 0 30641366 10876878848 22251 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2655488 22251 3081 1 0 2644414 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 10621952

[startup+1.5041 s]
/proc/loadavg: 1.78 1.77 1.77 6/215 30168
/proc/meminfo: memFree=31126900/32770624 swapFree=0/452724
[pid=30152] ppid=30149 vsize=10624000 CPUtime=3.93 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 20347 0 0 0 382 11 0 0 20 0 16 0 30641366 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 58002 3123 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30160] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 16590 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031729493024 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30161] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031728440176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30162] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031727388496 140032233600923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30163] ppid=30149 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) R 30149 30152 16590 0 -1 4202560 3991 0 0 0 93 0 0 0 20 0 16 0 30641380 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031726317688 140032216969639 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30164] ppid=30149 vsize=10624000 CPUtime=0.9 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) R 30149 30152 16590 0 -1 1077944384 2268 0 0 0 90 0 0 0 20 0 16 0 30641380 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031725272672 140032233592533 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30165] ppid=30149 vsize=10624000 CPUtime=0.66 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) R 30149 30152 16590 0 -1 4202560 3063 0 0 0 65 1 0 0 20 0 16 0 30641380 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031724225664 140032233594262 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30166] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031723178720 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30167] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 30641384 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031722126000 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30168] ppid=30149 vsize=10624000 CPUtime=1.11 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 16590 0 -1 4202560 3273 0 0 0 108 3 0 0 20 0 16 0 30641401 10878976000 58002 18446744073709551615 4194304 4196468 140735170834912 140031718926400 140032217662814 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10624000

[startup+3.10074 s]
/proc/loadavg: 1.78 1.77 1.77 5/215 30168
/proc/meminfo: memFree=31050212/32770624 swapFree=0/452724
[pid=30152] ppid=30149 vsize=10624000 CPUtime=6.74 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 21192 0 0 0 662 12 0 0 20 0 16 0 30641366 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 58688 3128 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30160] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 16590 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031729493024 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30161] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031728440176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30162] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031727388496 140032233600923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30163] ppid=30149 vsize=10624000 CPUtime=1.45 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 16590 0 -1 1077944384 4148 0 0 0 145 0 0 0 20 0 16 0 30641380 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031726336880 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30164] ppid=30149 vsize=10624000 CPUtime=1.5 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 16590 0 -1 1077944384 2386 0 0 0 150 0 0 0 20 0 16 0 30641380 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031725284080 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30165] ppid=30149 vsize=10624000 CPUtime=0.75 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) R 30149 30152 16590 0 -1 4202560 3272 0 0 0 74 1 0 0 20 0 16 0 30641380 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031724231280 140032219263029 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30166] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031723178720 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30167] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 16590 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 30641384 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031722126000 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30168] ppid=30149 vsize=10624000 CPUtime=2.71 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 16590 0 -1 4202560 3627 0 0 0 268 3 0 0 20 0 16 0 30641401 10878976000 58688 18446744073709551615 4194304 4196468 140735170834912 140031718935672 140031863281845 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10624000

[startup+6.30076 s]
/proc/loadavg: 1.80 1.77 1.78 3/215 30168
/proc/meminfo: memFree=31051988/32770624 swapFree=0/452724
[pid=30152] ppid=30149 vsize=10624000 CPUtime=10.04 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 24176 0 0 0 992 12 0 0 20 0 16 0 30641366 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 57913 3130 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30160] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 16590 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031729493024 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30161] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031728440176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30162] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031727388496 140032233600923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30163] ppid=30149 vsize=10624000 CPUtime=1.5 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 16590 0 -1 1077944384 5165 0 0 0 150 0 0 0 20 0 16 0 30641380 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031726336880 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30164] ppid=30149 vsize=10624000 CPUtime=1.52 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 16590 0 -1 1077944384 2742 0 0 0 152 0 0 0 20 0 16 0 30641380 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031725284080 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30165] ppid=30149 vsize=10624000 CPUtime=0.76 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 16590 0 -1 1077944384 3602 0 0 0 75 1 0 0 20 0 16 0 30641380 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031724231280 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30166] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031723178720 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30167] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 16590 0 -1 1077944384 577 0 0 0 0 0 0 0 20 0 16 0 30641384 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031722126000 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30168] ppid=30149 vsize=10624000 CPUtime=5.91 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 16590 0 -1 4202560 4045 0 0 0 587 4 0 0 20 0 16 0 30641401 10878976000 57913 18446744073709551615 4194304 4196468 140735170834912 140031718935096 140031863635298 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
Current children cumulated CPU time (s) 10.04
Current children cumulated vsize (KiB) 10624000

[startup+12.7008 s]
/proc/loadavg: 1.82 1.78 1.78 3/214 30169
/proc/meminfo: memFree=31048172/32770624 swapFree=0/452720
[pid=30152] ppid=30149 vsize=10624000 CPUtime=16.54 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 27850 0 0 0 1641 13 0 0 20 0 16 0 30641366 10878976000 58583 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 58583 3130 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 58583 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58583 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58583 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 58583 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58583 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 58583 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0

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


[startup+14.4064 s]
/proc/loadavg: 1.83 1.78 1.78 3/214 30169
/proc/meminfo: memFree=31048188/32770624 swapFree=0/452720
[pid=30152] ppid=30149 vsize=10624000 CPUtime=18.25 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 27961 0 0 0 1812 13 0 0 20 0 16 0 30641366 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 58585 3130 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30160] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 16590 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031729493024 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30161] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031728440176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30162] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031727388496 140032233600923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30163] ppid=30149 vsize=10624000 CPUtime=1.54 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 16590 0 -1 1077944384 6119 0 0 0 154 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031726336880 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30164] ppid=30149 vsize=10624000 CPUtime=1.58 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 16590 0 -1 1077944384 3029 0 0 0 158 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031725284080 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30165] ppid=30149 vsize=10624000 CPUtime=0.77 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 16590 0 -1 1077944384 3734 0 0 0 76 1 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031724231280 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30166] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031723178720 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30167] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 16590 0 -1 1077944384 768 0 0 0 0 0 0 0 20 0 16 0 30641384 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031722126000 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30168] ppid=30149 vsize=10624000 CPUtime=14.01 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 16590 0 -1 4202560 6173 0 0 0 1397 4 0 0 20 0 16 0 30641401 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031718935528 140031863281867 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
Current children cumulated CPU time (s) 18.25
Current children cumulated vsize (KiB) 10624000

[startup+15.2007 s]
/proc/loadavg: 1.83 1.78 1.78 3/214 30169
/proc/meminfo: memFree=31048188/32770624 swapFree=0/452720
[pid=30152] ppid=30149 vsize=10624000 CPUtime=19.05 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 27969 0 0 0 1892 13 0 0 20 0 16 0 30641366 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 58585 3130 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30160] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 16590 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031729493024 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30161] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031728440176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30162] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031727388496 140032233600923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30163] ppid=30149 vsize=10624000 CPUtime=1.54 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 16590 0 -1 1077944384 6127 0 0 0 154 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031726336880 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30164] ppid=30149 vsize=10624000 CPUtime=1.58 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 16590 0 -1 1077944384 3029 0 0 0 158 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031725284080 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30165] ppid=30149 vsize=10624000 CPUtime=0.77 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 16590 0 -1 1077944384 3734 0 0 0 76 1 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031724231280 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30166] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031723178720 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30167] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 16590 0 -1 1077944384 768 0 0 0 0 0 0 0 20 0 16 0 30641384 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031722126000 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30168] ppid=30149 vsize=10624000 CPUtime=14.81 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 16590 0 -1 4202560 6173 0 0 0 1477 4 0 0 20 0 16 0 30641401 10878976000 58585 18446744073709551615 4194304 4196468 140735170834912 140031718935224 140031863865434 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
Current children cumulated CPU time (s) 19.05
Current children cumulated vsize (KiB) 10624000

[startup+16.0007 s]
/proc/loadavg: 1.83 1.78 1.78 3/214 30169
/proc/meminfo: memFree=31048188/32770624 swapFree=0/452720
[pid=30152] ppid=30149 vsize=10624000 CPUtime=19.85 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 28318 0 0 0 1972 13 0 0 20 0 16 0 30641366 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 58597 3130 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30160] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 16590 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031729493024 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30161] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031728440176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30162] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031727388496 140032233600923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30163] ppid=30149 vsize=10624000 CPUtime=1.55 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) S 30149 30152 16590 0 -1 1077944384 6130 0 0 0 155 0 0 0 20 0 16 0 30641380 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031726336880 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30164] ppid=30149 vsize=10624000 CPUtime=1.58 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) S 30149 30152 16590 0 -1 1077944384 3029 0 0 0 158 0 0 0 20 0 16 0 30641380 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031725284080 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30165] ppid=30149 vsize=10624000 CPUtime=0.77 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 16590 0 -1 1077944384 4041 0 0 0 76 1 0 0 20 0 16 0 30641380 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031724231280 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30166] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031723178720 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30167] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 16590 0 -1 1077944384 769 0 0 0 0 0 0 0 20 0 16 0 30641384 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031722126000 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30168] ppid=30149 vsize=10624000 CPUtime=15.61 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 16590 0 -1 4202560 6211 0 0 0 1557 4 0 0 20 0 16 0 30641401 10878976000 58597 18446744073709551615 4194304 4196468 140735170834912 140031718935224 140031863865286 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (KiB) 10624000

[startup+16.2101 s]
/proc/loadavg: 1.83 1.78 1.78 3/214 30169
/proc/meminfo: memFree=31048188/32770624 swapFree=0/452720
[pid=30152] ppid=30149 vsize=10624000 CPUtime=20.11 cores=0,2,4,6
/proc/30152/stat : 30152 (java) S 30149 30152 16590 0 -1 1077944320 29859 0 0 0 1998 13 0 0 20 0 16 0 30641366 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140735170817456 140032233582327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
/proc/30152/statm: 2656000 58638 3130 1 0 2644926 0
[pid=30152/tid=30154] ppid=30149 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/30152/task/30154/stat : 30154 (java) S 30149 30152 16590 0 -1 1077944384 6203 0 0 0 19 2 0 0 20 0 16 0 30641375 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140032237825200 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30155] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30155/stat : 30155 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031844805776 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30156] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30156/stat : 30156 (java) S 30149 30152 16590 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031843752976 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30157] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30157/stat : 30157 (java) S 30149 30152 16590 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 30641376 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031842700176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30158] ppid=30149 vsize=10624000 CPUtime=0.01 cores=0,2,4,6
/proc/30152/task/30158/stat : 30158 (java) S 30149 30152 16590 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 16 0 30641376 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031841647376 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30159] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30159/stat : 30159 (java) S 30149 30152 16590 0 -1 1077944384 464 0 0 0 0 0 0 0 20 0 16 0 30641377 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031730547056 140032233593474 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30160] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30160/stat : 30160 (java) S 30149 30152 16590 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031729493024 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30161] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30161/stat : 30161 (java) S 30149 30152 16590 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 30641378 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031728440176 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30162] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30162/stat : 30162 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031727388496 140032233600923 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30163] ppid=30149 vsize=10624000 CPUtime=1.56 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) R 30149 30152 16590 0 -1 4202560 6329 0 0 0 156 0 0 0 20 0 16 0 30641380 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031726330072 140032211177872 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30164] ppid=30149 vsize=10624000 CPUtime=1.6 cores=0,2,4,6
/proc/30152/task/30164/stat : 30164 (java) R 30149 30152 16590 0 -1 4202560 3377 0 0 0 160 0 0 0 20 0 16 0 30641380 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031725283968 140032215145887 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30165] ppid=30149 vsize=10624000 CPUtime=0.79 cores=0,2,4,6
/proc/30152/task/30165/stat : 30165 (java) S 30149 30152 16590 0 -1 1077944384 4963 0 0 0 78 1 0 0 20 0 16 0 30641380 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031724231280 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30166] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30166/stat : 30166 (java) S 30149 30152 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 30641380 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031723178720 140032233592533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30167] ppid=30149 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/30152/task/30167/stat : 30167 (java) S 30149 30152 16590 0 -1 1077944384 769 0 0 0 0 0 0 0 20 0 16 0 30641384 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031722126000 140032233593474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
[pid=30152/tid=30168] ppid=30149 vsize=10624000 CPUtime=15.82 cores=0,2,4,6
/proc/30152/task/30168/stat : 30168 (java) R 30149 30152 16590 0 -1 4202560 6282 0 0 0 1578 4 0 0 20 0 16 0 30641401 10878976000 58638 18446744073709551615 4194304 4196468 140735170834912 140031718932368 140031863160839 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15806464 140735170838990 140735170839119 140735170839119 140735170842575 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 10624000

[startup+16.3007 s]
/proc/loadavg: 1.83 1.78 1.78 3/214 30169
/proc/meminfo: memFree=31048188/32770624 swapFree=0/452720
[pid=30152] ppid=30149 vsize=0 CPUtime=20.39 cores=0,2,4,6
/proc/30152/stat : 30152 (java) Z 30149 30152 16590 0 -1 4227084 32904 0 0 0 2025 14 0 0 20 0 2 0 30641366 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/30152/statm: 0 0 0 0 0 0 0
[pid=30152/tid=30163] ppid=30149 vsize=0 CPUtime=1.65 cores=0,2,4,6
/proc/30152/task/30163/stat : 30163 (java) R 30149 30152 16590 0 -1 4203588 7026 0 0 0 164 1 0 0 20 0 2 0 30641380 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 16.3028
CPU time (s): 20.4059
CPU user time (s): 20.2594
CPU system time (s): 0.146486
CPU usage (%): 125.168
Max. virtual memory (cumulated for all children) (KiB): 10624000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.2594
system time used= 0.146486
maximum resident set size= 235420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32904
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= 2941
involuntary context switches= 37

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064891 second user time and 0.112372 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-09 15:00:32
IDJOB=4264262
IDBENCH=125571
IDSOLVER=2652
FILE ID=node127/4264262-1502284478
RUNJOBID= node127-1502258002-23061
PBS_JOBID= 
Free space on /tmp= 62024 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-4264262-1502284478/watcher-4264262-1502284478 -o /tmp/evaluation-result-4264262-1502284478/solver-4264262-1502284478 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502258002-23061 --watchdog 2580  java -jar HOME/AbsCon-basic.jar HOME/instance-4264262-1502284478.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=24946063

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31272884 kB
MemAvailable:   31870372 kB
Buffers:          201176 kB
Cached:           680668 kB
SwapCached:            0 kB
Active:           612200 kB
Inactive:         469700 kB
Active(anon):     199940 kB
Inactive(anon):    16716 kB
Active(file):     412260 kB
Inactive(file):   452984 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8316 kB
Writeback:             0 kB
AnonPages:        322296 kB
Mapped:            49860 kB
Shmem:             17060 kB
Slab:             121296 kB
SReclaimable:      96156 kB
SUnreclaim:        25140 kB
KernelStack:        3776 kB
PageTables:         6052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1032476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node127 at 2017-08-09 15:00:48