Trace number 4400866

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
Concrete 3.12.2Wrong Cert. 11.4881 5.21799

General information on the benchmark

NameXCSP19/hcp/
graph162.xml
MD5SUM0d1146fb66ad2f4e2d5d75203fe6e22a
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.99647
Satisfiable
(Un)Satisfiability was proved
Number of variables909
Number of constraints1
Number of domains909
Minimum domain size2
Maximum domain size908
Distribution of domain sizes[{"size":2,"count":2},{"size":3,"count":1},{"size":4,"count":1},{"size":5,"count":1},{"size":6,"count":1},{"size":7,"count":1},{"size":8,"count":1},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":14,"count":1},{"size":15,"count":1},{"size":16,"count":1},{"size":17,"count":1},{"size":18,"count":1},{"size":19,"count":1},{"size":20,"count":1},{"size":21,"count":1},{"size":22,"count":1},{"size":23,"count":1},{"size":24,"count":1},{"size":25,"count":1},{"size":26,"count":1},"...",{"size":884,"count":1}, {"size":885,"count":1}, {"size":886,"count":1}, {"size":887,"count":1}, {"size":888,"count":1}, {"size":889,"count":1}, {"size":890,"count":1}, {"size":891,"count":1}, {"size":892,"count":1}, {"size":893,"count":1}, {"size":894,"count":1}, {"size":895,"count":1}, {"size":896,"count":1}, {"size":897,"count":1}, {"size":898,"count":1}, {"size":899,"count":1}, {"size":900,"count":1}, {"size":901,"count":1}, {"size":902,"count":1}, {"size":903,"count":1}, {"size":904,"count":1}, {"size":905,"count":1}, {"size":906,"count":1}, {"size":907,"count":1}, {"size":908,"count":1}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":909}]
Minimum constraint arity909
Maximum constraint arity909
Distribution of constraint arities[{"arity":909,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.76/0.55	c Concrete v3.12.2.1568631193530 running
11.29/5.19	v <instantiation
11.29/5.19	v         >
11.29/5.19	v       <list>
11.29/5.19	v         v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30 v31 v32 v33 v34 v35 v36 v37 v38 v39 v40 v41 v42 v43 v44 v45 v46 v47 v48 v49 v50 v51 v52 v53 v54 v55 v56 v57 v58 v59 v60 v61 v62 v63 v64 v65 v66 v67 v68 v69 v70 v71 v72 v73 v74 v75 v76 v77 v78 v79 v80 v81 v82 v83 v84 v85 v86 v87 v88 v89 v90 v91 v92 v93 v94 v95 v96 v97 v98 v99 v100 v101 v102 v103 v104 v105 v106 v107 v108 v109 v110 v111 v112 v113 v114 v115 v116 v117 v118 v119 v120 v121 v122 v123 v124 v125 v126 v127 v128 v129 v130 v131 v132 v133 v134 v135 v136 v137 v138 v139 v140 v141 v142 v143 v144 v145 v146 v147 v148 v149 v150 v151 v152 v153 v154 v155 v156 v157 v158 v159 v160 v161 v162 v163 v164 v165 v166 v167 v168 v169 v170 v171 v172 v173 v174 v175 v176 v177 v178 v179 v180 v181 v182 v183 v184 v185 v186 v187 v188 v189 v190 v191 v192 v193 v194 v195 v196 v197 v198 v199 v200 v201 v202 v203 v204 v205 v206 v207 v208 v209 v210 v211 v212 v213 v214 v215 v216 v217 v218 v219 v220 v221 v222 v223 v224 v225 v226 v227 v228 v229 v230 v231 v232 v233 v234 v235 v236 v237 v238 v239 v240 v241 v242 v243 v244 v245 v246 v247 v248 v249 v250 v251 v252 v253 v254 v255 v256 v257 v258 v259 v260 v261 v262 v263 v264 v265 v266 v267 v268 v269 v270 v271 v272 v273 v274 v275 v276 v277 v278 v279 v280 v281 v282 v283 v284 v285 v286 v287 v288 v289 v290 v291 v292 v293 v294 v295 v296 v297 v298 v299 v300 v301 v302 v303 v304 v305 v306 v307 v308 v309 v310 v311 v312 v313 v314 v315 v316 v317 v318 v319 v320 v321 v322 v323 v324 v325 v326 v327 v328 v329 v330 v331 v332 v333 v334 v335 v336 v337 v338 v339 v340 v341 v342 v343 v344 v345 v346 v347 v348 v349 v350 v351 v352 v353 v354 v355 v356 v357 v358 v359 v360 v361 v362 v363 v364 v365 v366 v367 v368 v369 v370 v371 v372 v373 v374 v375 v376 v377 v378 v379 v380 v381 v382 v383 v384 v385 v386 v387 v388 v389 v390 v391 v392 v393 v394 v395 v396 v397 v398 v399 v400 v401 v402 v403 v404 v405 v406 v407 v408 v409 v410 v411 v412 v413 v414 v415 v416 v417 v418 v419 v420 v421 v422 v423 v424 v425 v426 v427 v428 v429 v430 v431 v432 v433 v434 v435 v436 v437 v438 v439 v440 v441 v442 v443 v444 v445 v446 v447 v448 v449 v450 v451 v452 v453 v454 v455 v456 v457 v458 v459 v460 v461 v462 v463 v464 v465 v466 v467 v468 v469 v470 v471 v472 v473 v474 v475 v476 v477 v478 v479 v480 v481 v482 v483 v484 v485 v486 v487 v488 v489 v490 v491 v492 v493 v494 v495 v496 v497 v498 v499 v500 v501 v502 v503 v504 v505 v506 v507 v508 v509 v510 v511 v512 v513 v514 v515 v516 v517 v518 v519 v520 v521 v522 v523 v524 v525 v526 v527 v528 v529 v530 v531 v532 v533 v534 v535 v536 v537 v538 v539 v540 v541 v542 v543 v544 v545 v546 v547 v548 v549 v550 v551 v552 v553 v554 v555 v556 v557 v558 v559 v560 v561 v562 v563 v564 v565 v566 v567 v568 v569 v570 v571 v572 v573 v574 v575 v576 v577 v578 v579 v580 v581 v582 v583 v584 v585 v586 v587 v588 v589 v590 v591 v592 v593 v594 v595 v596 v597 v598 v599 v600 v601 v602 v603 v604 v605 v606 v607 v608 v609 v610 v611 v612 v613 v614 v615 v616 v617 v618 v619 v620 v621 v622 v623 v624 v625 v626 v627 v628 v629 v630 v631 v632 v633 v634 v635 v636 v637 v638 v639 v640 v641 v642 v643 v644 v645 v646 v647 v648 v649 v650 v651 v652 v653 v654 v655 v656 v657 v658 v659 v660 v661 v662 v663 v664 v665 v666 v667 v668 v669 v670 v671 v672 v673 v674 v675 v676 v677 v678 v679 v680 v681 v682 v683 v684 v685 v686 v687 v688 v689 v690 v691 v692 v693 v694 v695 v696 v697 v698 v699 v700 v701 v702 v703 v704 v705 v706 v707 v708 v709 v710 v711 v712 v713 v714 v715 v716 v717 v718 v719 v720 v721 v722 v723 v724 v725 v726 v727 v728 v729 v730 v731 v732 v733 v734 v735 v736 v737 v738 v739 v740 v741 v742 v743 v744 v745 v746 v747 v748 v749 v750 v751 v752 v753 v754 v755 v756 v757 v758 v759 v760 v761 v762 v763 v764 v765 v766 v767 v768 v769 v770 v771 v772 v773 v774 v775 v776 v777 v778 v779 v780 v781 v782 v783 v784 v785 v786 v787 v788 v789 v790 v791 v792 v793 v794 v795 v796 v797 v798 v799 v800 v801 v802 v803 v804 v805 v806 v807 v808 v809 v810 v811 v812 v813 v814 v815 v816 v817 v818 v819 v820 v821 v822 v823 v824 v825 v826 v827 v828 v829 v830 v831 v832 v833 v834 v835 v836 v837 v838 v839 v840 v841 v842 v843 v844 v845 v846 v847 v848 v849 v850 v851 v852 v853 v854 v855 v856 v857 v858 v859 v860 v861 v862 v863 v864 v865 v866 v867 v868 v869 v870 v871 v872 v873 v874 v875 v876 v877 v878 v879 v880 v881 v882 v883 v884 v885 v886 v887 v888 v889 v890 v891 v892 v893 v894 v895 v896 v897 v898 v899 v900 v901 v902 v903 v904 v905 v906 v907 v908
11.29/5.19	v       </list>
11.29/5.19	v       <values>
11.29/5.19	v         455 241 15 885 541 458 152 395 492 226 296 384 266 898 8 711 577 62 535 55 114 22 157 425 666 799 780 706 201 678 308 360 548 790 686 390 615 521 846 656 824 576 690 617 269 546 639 494 845 236 265 567 430 68 214 19 662 680 125 694 621 349 194 868 306 181 580 202 53 178 531 414 717 253 859 280 733 849 636 677 783 712 260 454 330 139 94 652 98 322 831 237 650 520 156 270 191 307 725 897 528 778 708 49 634 24 365 873 839 487 651 173 835 412 843 833 613 683 814 490 864 884 452 195 165 58 344 451 523 632 443 180 333 826 56 669 854 578 404 85 350 895 174 150 693 339 513 407 659 582 143 527 6 729 315 724 592 628 579 638 113 815 328 4 555 124 410 568 684 449 468 86 801 426 855 591 105 534 69 800 131 122 589 739 825 310 417 471 444 89 827 96 370 463 501 123 782 635 710 251 805 28 67 478 649 889 120 743 252 730 184 794 262 904 54 758 286 516 719 433 676 583 303 316 847 664 9 208 137 755 419 890 474 525 838 99 268 91 701 275 422 1 622 771 519 424 337 569 631 135 540 199 813 73 377 802 338 10 485 594 82 573 257 476 707 830 12 817 21 44 95 341 514 740 146 239 396 878 836 876 803 877 320 738 447 103 282 475 335 682 893 629 321 806 595 732 456 147 747 819 687 574 465 222 699 828 64 97 899 267 185 35 774 367 46 154 223 498 348 530 637 40 420 581 359 477 536 670 162 231 84 715 400 109 784 288 250 787 256 145 588 271 382 645 508 431 571 764 373 380 140 402 756 811 176 542 869 685 459 324 31 762 775 600 892 106 489 71 515 556 192 596 760 599 663 646 714 769 718 92 112 388 342 522 886 249 723 466 737 65 691 493 401 234 697 7 276 41 325 584 332 392 351 149 304 448 721 496 698 5 166 441 439 748 108 673 888 186 672 230 853 768 240 703 187 57 653 505 896 879 52 345 654 219 742 279 554 292 841 246 309 26 808 130 188 767 545 284 405 169 812 127 59 880 83 0 518 491 564 358 821 704 29 193 336 302 387 791 440 30 376 427 245 867 232 161 263 311 203 887 563 776 552 681 735 551 593 399 832 366 905 248 509 33 461 630 754 894 317 906 875 20 820 88 255 585 741 705 655 642 640 254 625 549 272 368 217 688 14 772 93 37 383 128 834 398 457 151 87 318 319 70 883 481 177 18 326 766 860 393 158 695 355 375 822 446 511 798 32 297 781 529 334 785 436 164 369 558 242 881 716 660 210 480 504 753 572 752 167 526 50 346 566 261 301 856 421 16 391 700 66 323 818 221 42 865 229 609 212 182 641 175 586 486 665 294 371 796 679 852 363 129 434 908 644 837 329 216 138 587 793 298 200 163 620 36 829 43 467 871 614 60 722 797 779 512 757 45 627 291 495 618 874 274 104 362 78 770 159 763 510 278 562 842 604 343 848 190 870 204 397 872 543 746 432 901 39 731 773 148 561 736 413 374 225 858 850 671 844 196 378 667 418 111 795 314 220 79 381 598 47 483 289 27 168 357 34 299 517 734 300 647 259 144 283 233 745 313 408 702 713 238 189 423 900 507 258 264 102 788 198 142 81 623 356 331 560 72 51 218 862 406 539 386 155 464 789 728 727 153 209 657 295 76 689 484 840 134 121 183 273 777 235 207 110 696 115 327 74 807 851 882 403 565 75 179 352 626 119 482 372 866 100 116 347 861 602 445 394 606 411 243 744 658 786 354 633 823 101 624 472 550 863 80 385 553 23 197 709 726 607 608 462 610 211 674 597 479 547 25 857 172 2 61 409 473 293 749 442 816 171 353 450 570 118 759 809 750 340 470 502 460 544 590 285 170 133 132 305 160 117 90 488 891 524 415 379 605 287 469 437 438 643 247 668 48 38 224 616 77 435 227 533 601 136 792 575 907 312 903 538 765 720 11 804 506 761 228 63 361 648 619 389 107 611 500 244 281 277 429 453 559 751 532 612 3 692 215 416 205 902 810 364 290 497 141 428 126 13 557 661 503 206 537 213 17 499 675 603
11.29/5.19	v       </values>
11.29/5.19	v     </instantiation>
11.29/5.19	s SATISFIABLE

Verifier Data 

INVALID Solution! (1 errors)
  Violated Constraint c_0 : circuit()
	list() : [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13, v14, v15, v16, v17, v18, v19, v20, v21, v22, v23, v24, v25, v26, v27, v28, v29, v30, v31, v32, v33, v34, v35, v36, v37, v38, v39, v40, v41, v42, v43, v44, v45, v46, v47, v48, v49, v50, v51, v52, v53, v54, v55, v56, v57, v58, v59, v60, v61, v62, v63, v64, v65, v66, v67, v68, v69, v70, v71, v72, v73, v74, v75, v76, v77, v78, v79, v80, v81, v82, v83, v84, v85, v86, v87, v88, v89, v90, v91, v92, v93, v94, v95, v96, v97, v98, v99, v100, v101, v102, v103, v104, v105, v106, v107, v108, v109, v110, v111, v112, v113, v114, v115, v116, v117, v118, v119, v120, v121, v122, v123, v124, v125, v126, v127, v128, v129, v130, v131, v132, v133, v134, v135, v136, v137, v138, v139, v140, v141, v142, v143, v144, v145, v146, v147, v148, v149, v150, v151, v152, v153, v154, v155, v156, v157, v158, v159, v160, v161, v162, v163, v164, v165, v166, v167, v168, v169, v170, v171, v172, v173, v174, v175, v176, v177, v178, v179, v180, v181, v182, v183, v184, v185, v186, v187, v188, v189, v190, v191, v192, v193, v194, v195, v196, v197, v198, v199, v200, v201, v202, v203, v204, v205, v206, v207, v208, v209, v210, v211, v212, v213, v214, v215, v216, v217, v218, v219, v220, v221, v222, v223, v224, v225, v226, v227, v228, v229, v230, v231, v232, v233, v234, v235, v236, v237, v238, v239, v240, v241, v242, v243, v244, v245, v246, v247, v248, v249, v250, v251, v252, v253, v254, v255, v256, v257, v258, v259, v260, v261, v262, v263, v264, v265, v266, v267, v268, v269, v270, v271, v272, v273, v274, v275, v276, v277, v278, v279, v280, v281, v282, v283, v284, v285, v286, v287, v288, v289, v290, v291, v292, v293, v294, v295, v296, v297, v298, v299, v300, v301, v302, v303, v304, v305, v306, v307, v308, v309, v310, v311, v312, v313, v314, v315, v316, v317, v318, v319, v320, v321, v322, v323, v324, v325, v326, v327, v328, v329, v330, v331, v332, v333, v334, v335, v336, v337, v338, v339, v340, v341, v342, v343, v344, v345, v346, v347, v

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13600 MiB free)
  memory of node 1: 16384 MiB (15331 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400866-1568695779/watcher-4400866-1568695779 -o /tmp/evaluation-result-4400866-1568695779/solver-4400866-1568695779 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5872 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1600584356 HOME/instance-4400866-1568695779.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=12860, runsolver pid=12857

[startup+0.100019 s]*
/proc/loadavg: 1.29 1.25 1.38 3/217 12917
/proc/meminfo: memFree=29617112/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=9972712 memory=17348 CPUtime=0.08 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 4562 13255 0 0 1 0 4 3 20 0 6 0 445836110 10212057088 4337 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2493178 4337 1958 1 0 2481616 0
[pid=12860/tid=12913] ppid=12857 vsize=9981200 memory=-8617482348318186131 CPUtime=0.08 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 2366 13255 0 0 1 0 4 3 20 0 6 0 445836119 10220748800 4337 33554432000 4194304 4196468 140731669749008 139898893066832 139898913467870 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=9988792 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 6 0 445836120 10228523008 4337 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=9988792 memory=139661813311104 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 6 0 445836120 10228523008 4337 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 6 0 445836120 10228523008 4337 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 6 0 445836120 10228523008 4337 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17348 KiB

[startup+0.210181 s]*
/proc/loadavg: 1.29 1.25 1.38 4/226 12926
/proc/meminfo: memFree=29592168/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10820196 memory=46576 CPUtime=0.26 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 7439 13255 0 0 17 2 4 3 20 0 15 0 445836110 11079880704 11644 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2705049 11644 3292 1 0 2667149 0
[pid=12860/tid=12913] ppid=12857 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 3937 13255 0 0 10 1 4 3 20 0 15 0 445836119 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898893044256 139898844281227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10820196 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10820196 memory=139661813323238 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10820196 memory=139661813311104 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836121 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898447821680 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 13 13255 0 0 0 0 4 3 20 0 15 0 445836121 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898359113248 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836122 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898224895344 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836124 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898090678608 139898921248667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) S 12857 12860 5840 0 -1 1077944384 481 13255 0 0 1 0 4 3 20 0 15 0 445836124 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898446768496 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) S 12857 12860 5840 0 -1 1077944384 184 13255 0 0 1 0 4 3 20 0 15 0 445836124 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898445715696 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10820196 memory=139661813311104 CPUtime=0.1 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) R 12857 12860 5840 0 -1 4202560 601 13255 0 0 3 0 4 3 20 0 15 0 445836124 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898444662896 139898900500165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11079880704 11644 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12926] ppid=12857 vsize=10820196 memory=139661813311104 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12926/stat : 12926 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836125 11079880704 11644 33554432000 4194304 4196468 140731669749008 139898443611312 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46576 KiB

[startup+0.31092 s]*
/proc/loadavg: 1.29 1.25 1.38 4/226 12926
/proc/meminfo: memFree=29582776/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10820196 memory=54860 CPUtime=0.39 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 10920 13255 0 0 28 4 4 3 20 0 15 0 445836110 11079880704 13715 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2705049 13715 3308 1 0 2667149 0
[pid=12860/tid=12913] ppid=12857 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 7410 13255 0 0 18 3 4 3 20 0 15 0 445836119 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898893036176 139898907418661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836120 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836121 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898447821680 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 13 13255 0 0 0 0 4 3 20 0 15 0 445836121 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898359113248 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836122 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898224895344 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836124 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898090678608 139898921248667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) S 12857 12860 5840 0 -1 1077944384 481 13255 0 0 1 0 4 3 20 0 15 0 445836124 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898446768496 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) S 12857 12860 5840 0 -1 1077944384 185 13255 0 0 2 0 4 3 20 0 15 0 445836124 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898445715696 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10820196 memory=139661813311104 CPUtime=0.12 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) S 12857 12860 5840 0 -1 1077944384 610 13255 0 0 5 0 4 3 20 0 15 0 445836124 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898444662896 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11079880704 13715 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12926] ppid=12857 vsize=10820196 memory=139661813311104 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12926/stat : 12926 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836125 11079880704 13715 33554432000 4194304 4196468 140731669749008 139898443611312 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54860 KiB

[startup+0.70072 s]
/proc/loadavg: 1.27 1.25 1.38 3/226 12926
/proc/meminfo: memFree=29567864/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10824364 memory=87564 CPUtime=1.12 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 15149 13255 0 0 100 5 4 3 20 0 15 0 445836110 11084148736 21891 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2706091 21891 3503 1 0 2668173 0
[pid=12860/tid=12913] ppid=12857 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 10513 13255 0 0 55 4 4 3 20 0 15 0 445836119 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898893059616 139898921251997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836120 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836120 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10824364 memory=139661666300112 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836120 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10824364 memory=139663746531945 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836120 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 5 13255 0 0 0 0 4 3 20 0 15 0 445836121 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898447821680 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10824364 memory=7014751519667017297 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 13 13255 0 0 0 0 4 3 20 0 15 0 445836121 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898359113248 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10824364 memory=7812451590864393325 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836122 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898224895344 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10824364 memory=14056 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836124 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898090678608 139898921248667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10824364 memory=2116 CPUtime=0.19 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) R 12857 12860 5840 0 -1 4202560 911 13255 0 0 12 0 4 3 20 0 15 0 445836124 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898446768496 139898907244395 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10824364 memory=516 CPUtime=0.22 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) R 12857 12860 5840 0 -1 4202560 636 13255 0 0 15 0 4 3 20 0 15 0 445836124 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898445715696 139898901930939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10824364 memory=1556 CPUtime=0.24 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) S 12857 12860 5840 0 -1 1077944384 849 13255 0 0 17 0 4 3 20 0 15 0 445836124 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898444662896 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10824364 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11084148736 21891 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12926] ppid=12857 vsize=10824364 memory=1772 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12926/stat : 12926 (java) R 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836125 11084148736 21891 33554432000 4194304 4196468 140731669749008 139898443611312 139898921241218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87564 KiB

[startup+1.50093 s]
/proc/loadavg: 1.27 1.25 1.38 5/226 12926
/proc/meminfo: memFree=29450020/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10832632 memory=262988 CPUtime=2.99 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 19933 13255 0 0 279 13 4 3 20 0 15 0 445836110 11092615168 65747 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2708158 65747 3587 1 0 2670221 0
[pid=12860/tid=12913] ppid=12857 vsize=10832632 memory=214304 CPUtime=1.4 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 14012 13255 0 0 126 7 4 3 20 0 15 0 445836119 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898893063552 139898905310558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10832632 memory=2436 CPUtime=0.09 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 41 13255 0 0 2 0 4 3 20 0 15 0 445836120 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10832632 memory=1760 CPUtime=0.09 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 18 13255 0 0 2 0 4 3 20 0 15 0 445836120 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 36 13255 0 0 2 1 4 3 20 0 15 0 445836120 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10832632 memory=-7303279828959712342 CPUtime=0.09 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 52 13255 0 0 2 0 4 3 20 0 15 0 445836120 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10832632 memory=3833724587141655611 CPUtime=0.08 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 108 13255 0 0 1 0 4 3 20 0 15 0 445836121 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898447821680 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10832632 memory=-6870368076204431200 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 14 13255 0 0 0 0 4 3 20 0 15 0 445836121 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898359113312 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10832632 memory=-6078294146213043397 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836122 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898224895360 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836124 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898090678608 139898921248667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10832632 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) S 12857 12860 5840 0 -1 1077944384 1183 13255 0 0 46 0 4 3 20 0 15 0 445836124 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898446768496 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10832632 memory=4580 CPUtime=0.57 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) R 12857 12860 5840 0 -1 4202560 857 13255 0 0 50 0 4 3 20 0 15 0 445836124 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898445702160 139898899646379 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10832632 memory=6225474849764036692 CPUtime=0.49 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) S 12857 12860 5840 0 -1 1077944384 1397 13255 0 0 42 0 4 3 20 0 15 0 445836124 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898444662896 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10832632 memory=4641048842867336035 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11092615168 65747 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12926] ppid=12857 vsize=10832632 memory=5865753188562660968 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12926/stat : 12926 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836125 11092615168 65747 33554432000 4194304 4196468 140731669749008 139898443611312 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10832632 KiB

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

Current children cumulated memory: 423336 KiB

[startup+5.21792 s]
# the end of solver process 12860 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.0885 s, system=0.399528 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20095 s]
/proc/loadavg: 1.27 1.25 1.38 6/226 12926
/proc/meminfo: memFree=29207696/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10838796 memory=436240 CPUtime=6.5 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 28572 13255 0 0 622 21 4 3 20 0 15 0 445836110 11098927104 109060 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2709699 109060 3600 1 0 2671757 0
[pid=12860/tid=12913] ppid=12857 vsize=10838796 memory=7 CPUtime=2.83 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 16623 13255 0 0 265 11 4 3 20 0 15 0 445836119 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898893065152 139898518940485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10838796 memory=7649399375625007665 CPUtime=0.12 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 51 13255 0 0 4 1 4 3 20 0 15 0 445836120 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10838796 memory=7649399379919974961 CPUtime=0.12 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 31 13255 0 0 4 1 4 3 20 0 15 0 445836120 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10838796 memory=7649399384214942257 CPUtime=0.11 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 47 13255 0 0 3 1 4 3 20 0 15 0 445836120 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10838796 memory=7649399388509909553 CPUtime=0.12 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 66 13255 0 0 4 1 4 3 20 0 15 0 445836120 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10838796 memory=7649399392804876849 CPUtime=0.08 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 185 13255 0 0 1 0 4 3 20 0 15 0 445836121 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898447821680 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10838796 memory=7649399397099844145 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 14 13255 0 0 0 0 4 3 20 0 15 0 445836121 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898359113312 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10838796 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836122 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898224895360 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10838796 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836124 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898090678608 139898921248667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10838796 memory=2241 CPUtime=1.31 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) S 12857 12860 5840 0 -1 1077944384 3543 13255 0 0 123 1 4 3 20 0 15 0 445836124 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898446768496 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10838796 memory=2244 CPUtime=1.34 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) S 12857 12860 5840 0 -1 1077944384 2579 13255 0 0 127 0 4 3 20 0 15 0 445836124 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898445715696 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10838796 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) S 12857 12860 5840 0 -1 1077944384 3215 13255 0 0 86 1 4 3 20 0 15 0 445836124 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898444662896 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10838796 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11098927104 109060 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12926] ppid=12857 vsize=10838796 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12926/stat : 12926 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11098927104 109060 33554432000 4194304 4196468 140731669749008 139898443611312 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 6.5 s
Current children cumulated vsize: 10838796 KiB
Current children cumulated memory: 436240 KiB

[startup+4.00094 s]*
/proc/loadavg: 1.27 1.25 1.38 3/226 12926
/proc/meminfo: memFree=29092152/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10842892 memory=546908 CPUtime=8.13 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 30871 13255 0 0 779 27 4 3 20 0 15 0 445836110 11103121408 136727 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2710723 136727 3603 1 0 2672781 0
[pid=12860/tid=12913] ppid=12857 vsize=10842892 memory=8317482817917895235 CPUtime=3.6 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 18110 13255 0 0 341 12 4 3 20 0 15 0 445836119 11103121408 136727 33554432000 4194304 4196468 140731669749008 139898893059416 139898921251997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10842892 memory=4126316290023845779 CPUtime=0.14 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 60 13255 0 0 5 2 4 3 20 0 15 0 445836120 11103121408 136727 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10842892 memory=10284366300929 CPUtime=0.13 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 40 13255 0 0 5 1 4 3 20 0 15 0 445836120 11103121408 136727 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10842892 memory=10370265646849 CPUtime=0.13 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 56 13255 0 0 4 2 4 3 20 0 15 0 445836120 11103121408 136727 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10842892 memory=27258077055722 CPUtime=0.14 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 75 13255 0 0 5 2 4 3 20 0 15 0 445836120 11103121408 136727 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10842892 memory=27369746205418 CPUtime=0.09 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 287 13255 0 0 2 0 4 3 20 0 15 0 445836121 11103121408 136727 33554432000 4194304 4196468 140731669749008 139898447821680 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10842892 memory=279323332362704 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 14 13255 0 0 0 0 4 3 20 0 15 0 445836121 11103121408 136767 33554432000 4194304 4196468 140731669749008 139898359113312 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10842892 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836122 11103121408 136767 33554432000 4194304 4196468 140731669749008 139898224895360 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10842892 memory=279323333002096 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836124 11103121408 136767 33554432000 4194304 4196468 140731669749008 139898090678608 139898921248667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10842892 memory=6655300316396806240 CPUtime=1.59 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) S 12857 12860 5840 0 -1 1077944384 3630 13255 0 0 151 1 4 3 20 0 15 0 445836124 11103121408 136767 33554432000 4194304 4196468 140731669749008 139898446768496 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10842892 memory=0 CPUtime=1.6 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) S 12857 12860 5840 0 -1 1077944384 2674 13255 0 0 153 0 4 3 20 0 15 0 445836124 11103121408 136767 33554432000 4194304 4196468 140731669749008 139898445715696 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10842892 memory=164 CPUtime=1.15 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) S 12857 12860 5840 0 -1 1077944384 3709 13255 0 0 107 1 4 3 20 0 15 0 445836124 11103121408 136767 33554432000 4194304 4196468 140731669749008 139898444662896 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10842892 memory=-8990767739041718176 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11103121408 136767 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12926] ppid=12857 vsize=10842892 memory=6944656425122700657 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12926/stat : 12926 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11103121408 136767 33554432000 4194304 4196468 140731669749008 139898443611312 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 546908 KiB

[startup+4.80093 s]
/proc/loadavg: 1.27 1.25 1.38 3/226 12926
/proc/meminfo: memFree=29092152/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10847588 memory=602808 CPUtime=10.56 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 42747 13255 0 0 1017 32 4 3 20 0 15 0 445836110 11107930112 150702 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2711897 150702 3628 1 0 2673955 0
[pid=12860/tid=12913] ppid=12857 vsize=10847588 memory=318144 CPUtime=4.3 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) R 12857 12860 5840 0 -1 4202560 18771 13255 0 0 410 13 4 3 20 0 15 0 445836119 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898893064856 139898510191894 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10847588 memory=2116 CPUtime=0.21 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 145 13255 0 0 12 2 4 3 20 0 15 0 445836120 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10847588 memory=516 CPUtime=0.21 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 158 13255 0 0 12 2 4 3 20 0 15 0 445836120 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10847588 memory=1556 CPUtime=0.21 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 143 13255 0 0 11 3 4 3 20 0 15 0 445836120 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10847588 memory=542672 CPUtime=0.23 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 193 13255 0 0 13 3 4 3 20 0 15 0 445836120 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10847588 memory=35160 CPUtime=0.11 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 528 13255 0 0 4 0 4 3 20 0 15 0 445836121 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898447821680 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10847588 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 14 13255 0 0 0 0 4 3 20 0 15 0 445836121 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898359113312 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10847588 memory=2016 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 15 0 445836122 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898224895360 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10847588 memory=1412 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 2 13255 0 0 0 0 4 3 20 0 15 0 445836124 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898090678608 139898921248667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10847588 memory=1548 CPUtime=2.18 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) R 12857 12860 5840 0 -1 4202560 5615 13255 0 0 209 2 4 3 20 0 15 0 445836124 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898446754816 139898906337746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10847588 memory=7396 CPUtime=2.21 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) R 12857 12860 5840 0 -1 4202560 10404 13255 0 0 213 1 4 3 20 0 15 0 445836124 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898445695720 139898902774736 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10847588 memory=4000 CPUtime=1.37 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) S 12857 12860 5840 0 -1 1077944384 4558 13255 0 0 128 2 4 3 20 0 15 0 445836124 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898444662896 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10847588 memory=616 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11107930112 150702 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12926] ppid=12857 vsize=10847588 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12926/stat : 12926 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 15 0 445836125 11107930112 150702 33554432000 4194304 4196468 140731669749008 139898443611312 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 10847588 KiB
Current children cumulated memory: 602808 KiB

[startup+5.20071 s]
/proc/loadavg: 1.27 1.25 1.38 6/226 12926
/proc/meminfo: memFree=28985296/32770624 swapFree=66939756/67108860
[pid=12860] ppid=12857 vsize=10943248 memory=733832 CPUtime=11.45 cores=1,3,5,7
/proc/12860/stat : 12860 (java) S 12857 12860 5840 0 -1 1077944320 45942 13255 0 0 1103 35 4 3 20 0 14 0 445836110 11205885952 183458 33554432000 4194304 4196468 140731669749008 140731669731552 139898921230071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
/proc/12860/statm: 2735812 183458 3630 1 0 2697870 0
[pid=12860/tid=12913] ppid=12857 vsize=10943248 memory=4134930498285298233 CPUtime=4.67 cores=1,3,5,7
/proc/12860/task/12913/stat : 12913 (java) S 12857 12860 5840 0 -1 1077944384 18956 13255 0 0 445 15 4 3 20 0 14 0 445836119 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898893073552 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12914] ppid=12857 vsize=10943248 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/12860/task/12914/stat : 12914 (java) S 12857 12860 5840 0 -1 1077944384 145 13255 0 0 12 2 4 3 20 0 14 0 445836120 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898925472400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12915] ppid=12857 vsize=10943248 memory=6944656592455097440 CPUtime=0.21 cores=1,3,5,7
/proc/12860/task/12915/stat : 12915 (java) S 12857 12860 5840 0 -1 1077944384 158 13255 0 0 12 2 4 3 20 0 14 0 445836120 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898494179856 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12916] ppid=12857 vsize=10943248 memory=6656426216303648864 CPUtime=0.21 cores=1,3,5,7
/proc/12860/task/12916/stat : 12916 (java) S 12857 12860 5840 0 -1 1077944384 143 13255 0 0 11 3 4 3 20 0 14 0 445836120 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898493127056 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12917] ppid=12857 vsize=10943248 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/12860/task/12917/stat : 12917 (java) S 12857 12860 5840 0 -1 1077944384 193 13255 0 0 13 3 4 3 20 0 14 0 445836120 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898492074256 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12918] ppid=12857 vsize=10943248 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12860/task/12918/stat : 12918 (java) S 12857 12860 5840 0 -1 1077944384 537 13255 0 0 4 0 4 3 20 0 14 0 445836121 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898447821888 139898921241218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12919] ppid=12857 vsize=10943248 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12919/stat : 12919 (java) S 12857 12860 5840 0 -1 1077944384 14 13255 0 0 0 0 4 3 20 0 14 0 445836121 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898359113312 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12920] ppid=12857 vsize=10943248 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12920/stat : 12920 (java) S 12857 12860 5840 0 -1 1077944384 1 13255 0 0 0 0 4 3 20 0 14 0 445836122 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898224895360 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12921] ppid=12857 vsize=10943248 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12921/stat : 12921 (java) S 12857 12860 5840 0 -1 1077944384 4 13255 0 0 0 0 4 3 20 0 14 0 445836124 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898090678320 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12922] ppid=12857 vsize=10943248 memory=0 CPUtime=2.37 cores=1,3,5,7
/proc/12860/task/12922/stat : 12922 (java) S 12857 12860 5840 0 -1 1077944384 6079 13255 0 0 228 2 4 3 20 0 14 0 445836124 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898446768496 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12923] ppid=12857 vsize=10943248 memory=0 CPUtime=2.46 cores=1,3,5,7
/proc/12860/task/12923/stat : 12923 (java) S 12857 12860 5840 0 -1 1077944384 12599 13255 0 0 238 1 4 3 20 0 14 0 445836124 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898445700208 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12924] ppid=12857 vsize=10943248 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/12860/task/12924/stat : 12924 (java) S 12857 12860 5840 0 -1 1077944384 4881 13255 0 0 134 3 4 3 20 0 14 0 445836124 11205885952 183458 33554432000 4194304 4196468 140731669749008 139898444662896 139898921241218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
[pid=12860/tid=12925] ppid=12857 vsize=10943248 memory=600316 CPUtime=0.07 cores=1,3,5,7
/proc/12860/task/12925/stat : 12925 (java) S 12857 12860 5840 0 -1 1077944384 3 13255 0 0 0 0 4 3 20 0 14 0 445836125 11205885952 183458 33554432000 4194304 4196468 140731669749008 139897151154400 139898921240277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19263488 140731669756655 140731669759173 140731669759173 140731669761999 0
Current children cumulated CPU time: 11.45 s
Current children cumulated vsize: 10943248 KiB
Current children cumulated memory: 733832 KiB

Child status: 0
Real time (s): 5.21799
CPU time (s): 11.4881
CPU user time (s): 11.0885
CPU system time (s): 0.399528
CPU usage (%): 220.163
Max. virtual memory (cumulated for all children) (KiB): 10943248
Max. memory (cumulated for all children) (KiB): 733832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0885
system time used= 0.399528
maximum resident set size= 735828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5794
involuntary context switches= 51


# summary of solver processes directly reported to runsolver:
#   pid: 12860
#   total CPU time (s): 11.4881
#   total CPU user time (s): 11.0885
#   total CPU system time (s): 0.399528

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05268 second user time and 0.098129 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-17 05:48:02
IDJOB=4400866
IDBENCH=141689
IDSOLVER=2857
FILE ID=node105/4400866-1568695779
RUNJOBID= node105-1568669636-5872
PBS_JOBID= 21703795
Free space on /tmp= 60968 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP19/hcp/graph162.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400866-1568695779/watcher-4400866-1568695779 -o /tmp/evaluation-result-4400866-1568695779/solver-4400866-1568695779 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5872 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1600584356 HOME/instance-4400866-1568695779.xml

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

MD5SUM BENCH= 0d1146fb66ad2f4e2d5d75203fe6e22a
RANDOM SEED=1600584356

node105.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.00
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.00
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.00
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.00
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:        29626180 kB
MemAvailable:   30317996 kB
Buffers:          178844 kB
Cached:           812984 kB
SwapCached:        65664 kB
Active:          2088228 kB
Inactive:         500224 kB
Active(anon):    1537316 kB
Inactive(anon):   103476 kB
Active(file):     550912 kB
Inactive(file):   396748 kB
Unevictable:      109004 kB
Mlocked:          109004 kB
SwapTotal:      67108860 kB
SwapFree:       66939756 kB
Dirty:             36416 kB
Writeback:            16 kB
AnonPages:       1641488 kB
Mapped:            57372 kB
Shmem:             35548 kB
Slab:             148568 kB
SReclaimable:     119980 kB
SUnreclaim:        28588 kB
KernelStack:        3712 kB
PageTables:         8972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2604360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1474560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60932 MiB
End job on node105 at 2019-09-17 05:48:08