Trace number 4406867

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
choco-solver 2019-09-24 parallelSAT 264.782 33.8567

General information on the benchmark

NameXCSP19/hcp/
graph171.xml
MD5SUM889399dd2d9405aab831b2de91bd17ad
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 benchmark72.9286
Satisfiable
(Un)Satisfiability was proved
Number of variables996
Number of constraints1
Number of domains996
Minimum domain size3
Maximum domain size4
Distribution of domain sizes[{"size":3,"count":994},{"size":4,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":996}]
Minimum constraint arity996
Maximum constraint arity996
Distribution of constraint arities[{"arity":996,"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.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406867-1569364309.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406867-1569364309.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
2.11/0.83	c solve instance...
264.56/33.83	s SATISFIABLE
264.56/33.83	v <instantiation>
264.56/33.83	v 	<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 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 v909 v910 v911 v912 v913 v914 v915 v916 v917 v918 v919 v920 v921 v922 v923 v924 v925 v926 v927 v928 v929 v930 v931 v932 v933 v934 v935 v936 v937 v938 v939 v940 v941 v942 v943 v944 v945 v946 v947 v948 v949 v950 v951 v952 v953 v954 v955 v956 v957 v958 v959 v960 v961 v962 v963 v964 v965 v966 v967 v968 v969 v970 v971 v972 v973 v974 v975 v976 v977 v978 v979 v980 v981 v982 v983 v984 v985 v986 v987 v988 v989 v990 v991 v992 v993 v994 v995 </list>
264.56/33.83	v 	<values>308 172 889 750 904 888 770 363 283 103 270 134 102 148 72 447 265 311 992 466 907 865 196 977 280 514 872 464 30 90 424 781 111 924 854 61 495 293 446 400 481 944 700 412 717 839 813 486 489 982 921 793 332 966 27 22 14 388 113 915 243 640 241 565 731 963 154 693 679 972 150 988 697 509 654 209 268 482 945 550 520 256 662 653 891 957 500 555 189 771 806 461 306 516 382 152 282 373 928 913 200 530 213 64 834 556 853 843 878 2 70 541 515 449 986 477 158 427 588 968 518 798 880 28 379 547 574 73 216 389 767 236 756 572 429 954 41 192 121 846 406 740 587 612 86 436 887 605 557 669 508 493 475 922 959 346 7 136 549 479 698 450 762 68 579 59 742 765 848 757 936 420 531 660 431 23 478 685 929 860 217 426 415 810 171 39 777 128 497 285 527 380 57 796 203 569 345 861 548 325 526 137 772 663 107 69 366 686 24 682 952 510 816 898 161 160 502 45 441 385 759 616 664 399 987 361 953 788 302 857 485 228 163 802 523 832 476 586 3 681 985 715 410 125 351 874 315 618 580 973 613 790 911 629 129 858 142 876 879 886 56 711 229 9 787 96 467 552 868 392 277 318 716 519 738 652 132 237 310 657 544 760 551 702 214 637 934 291 824 425 778 546 205 146 908 207 827 744 444 774 608 826 730 269 714 398 251 32 600 220 901 817 371 339 89 630 708 313 591 190 91 912 279 65 694 833 786 67 994 95 13 633 55 718 687 116 414 650 127 473 596 841 247 289 453 165 751 76 727 568 439 131 40 233 648 407 19 358 174 971 77 525 411 496 943 734 286 869 290 584 448 104 895 93 592 903 755 215 558 626 202 737 723 620 139 324 317 536 748 897 529 969 48 354 460 623 384 16 609 114 617 474 955 501 563 1 875 294 995 204 94 645 577 451 21 611 632 413 524 295 49 659 257 17 610 166 948 795 292 743 595 909 147 918 709 458 359 883 614 938 405 438 805 935 965 333 819 197 926 783 677 856 684 578 252 10 939 692 35 933 707 455 263 690 741 87 181 499 877 193 539 393 809 249 246 644 773 859 287 937 278 80 44 149 418 401 961 647 598 960 823 733 794 528 890 761 206 323 275 736 326 303 639 636 274 658 245 893 666 905 374 235 123 135 828 638 585 38 296 521 370 646 822 780 849 43 507 218 82 182 20 350 850 656 402 262 602 818 340 594 288 353 369 198 71 503 219 138 864 6 570 349 186 991 222 335 227 240 676 141 226 540 143 394 403 492 472 239 419 120 347 962 582 47 815 590 885 211 627 583 109 504 12 597 422 126 728 667 266 157 337 976 914 390 179 665 372 882 465 917 624 443 655 383 225 106 643 185 950 352 300 884 607 105 334 984 391 726 321 273 916 942 79 360 110 835 432 896 699 468 319 454 932 511 764 775 811 635 668 170 112 566 852 706 753 842 967 459 829 661 298 847 562 573 703 101 628 381 949 387 42 705 58 397 722 253 208 964 122 725 177 50 29 779 115 801 330 642 593 375 81 281 803 97 537 830 329 906 899 758 900 812 956 776 851 37 305 814 631 223 469 821 210 494 543 589 517 355 671 840 506 343 560 855 719 622 183 348 212 789 925 958 169 63 559 180 258 940 989 145 491 276 533 763 704 866 561 250 430 621 980 342 599 752 678 31 272 78 408 301 512 230 259 428 108 284 919 894 754 194 576 701 836 651 36 416 808 513 649 871 689 487 433 873 85 983 153 357 409 739 395 747 445 553 34 746 417 838 297 328 845 188 434 178 92 344 673 254 5 271 33 571 452 83 799 356 768 975 307 0 634 488 195 187 930 98 118 404 923 336 396 242 978 881 601 4 238 641 234 712 309 316 175 365 66 862 691 797 15 25 604 162 619 542 927 224 749 74 713 435 931 244 710 807 606 248 260 133 769 368 534 338 791 312 184 386 364 615 267 696 837 732 993 532 378 119 60 867 505 176 784 167 674 724 680 421 327 545 304 670 483 792 159 498 564 75 130 535 11 920 54 367 320 423 8 299 721 581 88 941 990 144 970 672 870 910 173 688 62 522 168 140 463 471 457 575 974 720 946 462 221 625 844 255 100 456 947 831 603 675 191 18 199 164 863 825 442 800 331 231 981 362 84 683 902 53 729 735 51 804 567 52 155 341 314 979 117 322 201 554 264 484 745 695 151 766 538 785 892 782 376 99 820 440 261 232 377 490 951 156 470 46 124 480 26 437 </values>
264.56/33.83	v </instantiation>

Verifier Data 

OK

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 (13661 MiB free)
  memory of node 1: 16384 MiB (11437 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406867-1569364309/watcher-4406867-1569364309 -o /var/tmp/evaluation-result-4406867-1569364309/solver-4406867-1569364309 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569360588-4134 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1761838728 HOME/instance-4406867-1569364309.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5044, runsolver pid=5041

[startup+0.100163 s]*
/proc/loadavg: 7.15 7.77 7.83 2/214 5065
/proc/meminfo: memFree=25683784/32770624 swapFree=67002384/67108860
[pid=5044] ppid=5041 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5044/stat : 5044 (xcsp3-exec) S 5041 5044 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512344786 115843072 363 33554432000 4194304 5098028 140726525561088 140726525559192 139888883868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140726525567825 140726525568085 140726525568085 140726525571014 0
/proc/5044/statm: 28282 363 304 221 0 87 0
[pid=5046] ppid=5044 vsize=28227396 memory=28792 CPUtime=0.12 cores=0-7
/proc/5046/stat : 5046 (java) S 5044 5044 4107 0 -1 1077944320 5695 0 0 0 11 1 0 0 20 0 20 0 512344786 28904853504 7198 33554432000 4194304 4196468 140727640262464 140727640245008 139674696081143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
/proc/5046/statm: 7056849 7198 3121 1 0 7019032 0
[pid=5046/tid=5047] ppid=5044 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/5046/task/5047/stat : 5047 (java) R 5044 5044 4107 0 -1 4202560 3594 0 0 0 8 1 0 0 20 0 20 0 512344786 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674700316360 139674677476349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5048] ppid=5044 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5046/task/5048/stat : 5048 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674648701328 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5049] ppid=5044 vsize=28227396 memory=140429117597312 CPUtime=0 cores=0-7
/proc/5046/task/5049/stat : 5049 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674647648528 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5050] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5050/stat : 5050 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674646596240 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5051] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5051/stat : 5051 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674645543440 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5052] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5052/stat : 5052 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674644491152 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5053] ppid=5044 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5046/task/5053/stat : 5053 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674643438352 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5054] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5054/stat : 5054 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674642386064 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5055] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5055/stat : 5055 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 7198 33554432000 4194304 4196468 140727640262464 139674641333264 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5056] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5056/stat : 5056 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344789 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673208875120 139674696092290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5057] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5057/stat : 5057 (java) S 5044 5044 4107 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512344789 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673207821088 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5058] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5058/stat : 5058 (java) S 5044 5044 4107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512344790 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673206768752 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5059] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5059/stat : 5059 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673205717072 139674696099739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5060] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5060/stat : 5060 (java) S 5044 5044 4107 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673204664944 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5061] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5061/stat : 5061 (java) S 5044 5044 4107 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673203612144 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5062] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5062/stat : 5062 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673202559856 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5063] ppid=5044 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5046/task/5063/stat : 5063 (java) R 5044 5044 4107 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 20 0 512344792 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673201507056 139674680161630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5064] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5064/stat : 5064 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673200453984 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5065] ppid=5044 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5046/task/5065/stat : 5065 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 7198 33554432000 4194304 4196468 140727640262464 139673199401264 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30244 KiB

[startup+0.210143 s]*
/proc/loadavg: 7.15 7.77 7.83 2/214 5065
/proc/meminfo: memFree=25671520/32770624 swapFree=67002384/67108860
[pid=5044] ppid=5041 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5044/stat : 5044 (xcsp3-exec) S 5041 5044 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512344786 115843072 363 33554432000 4194304 5098028 140726525561088 140726525559192 139888883868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140726525567825 140726525568085 140726525568085 140726525571014 0
/proc/5044/statm: 28282 363 304 221 0 87 0
[pid=5046] ppid=5044 vsize=28227396 memory=40608 CPUtime=0.34 cores=0-7
/proc/5046/stat : 5046 (java) S 5044 5044 4107 0 -1 1077944320 9449 0 0 0 30 4 0 0 20 0 20 0 512344786 28904853504 10152 33554432000 4194304 4196468 140727640262464 140727640245008 139674696081143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
/proc/5046/statm: 7056849 10152 3278 1 0 7019032 0
[pid=5046/tid=5047] ppid=5044 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5046/task/5047/stat : 5047 (java) R 5044 5044 4107 0 -1 4202560 6590 0 0 0 17 2 0 0 20 0 20 0 512344786 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674700311424 139674696103069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5048] ppid=5044 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/5046/task/5048/stat : 5048 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674648701328 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5049] ppid=5044 vsize=28227396 memory=140429117603982 CPUtime=0 cores=0-7
/proc/5046/task/5049/stat : 5049 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674647648528 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5050] ppid=5044 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5046/task/5050/stat : 5050 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674646596240 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5051] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5051/stat : 5051 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674645543440 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5052] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5052/stat : 5052 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674644491152 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5053] ppid=5044 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5046/task/5053/stat : 5053 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674643438352 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5054] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5054/stat : 5054 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674642386064 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5055] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5055/stat : 5055 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28904853504 10152 33554432000 4194304 4196468 140727640262464 139674641333264 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5056] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5056/stat : 5056 (java) S 5044 5044 4107 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512344789 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673208875120 139674696092290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5057] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5057/stat : 5057 (java) S 5044 5044 4107 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512344789 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673207821088 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5058] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5058/stat : 5058 (java) S 5044 5044 4107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512344790 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673206768752 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5059] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5059/stat : 5059 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673205717072 139674696099739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5060] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5060/stat : 5060 (java) S 5044 5044 4107 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673204664944 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5061] ppid=5044 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5046/task/5061/stat : 5061 (java) S 5044 5044 4107 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 512344792 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673203612144 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5062] ppid=5044 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/5046/task/5062/stat : 5062 (java) S 5044 5044 4107 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 512344792 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673202559856 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5063] ppid=5044 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/5046/task/5063/stat : 5063 (java) S 5044 5044 4107 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 20 0 512344792 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673201507056 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5064] ppid=5044 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5064/stat : 5064 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673200453984 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5065] ppid=5044 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5046/task/5065/stat : 5065 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344792 28904853504 10152 33554432000 4194304 4196468 140727640262464 139673199401264 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42060 KiB

[startup+0.309487 s]*
/proc/loadavg: 7.15 7.77 7.83 3/214 5065
/proc/meminfo: memFree=25665800/32770624 swapFree=67002384/67108860
[pid=5044] ppid=5041 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5044/stat : 5044 (xcsp3-exec) S 5041 5044 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512344786 115843072 363 33554432000 4194304 5098028 140726525561088 140726525559192 139888883868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140726525567825 140726525568085 140726525568085 140726525571014 0
/proc/5044/statm: 28282 363 304 221 0 87 0
[pid=5046] ppid=5044 vsize=28231652 memory=49304 CPUtime=0.52 cores=0-7
/proc/5046/stat : 5046 (java) S 5044 5044 4107 0 -1 1077944320 10727 0 0 0 48 4 0 0 20 0 20 0 512344786 28909211648 12326 33554432000 4194304 4196468 140727640262464 140727640245008 139674696081143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
/proc/5046/statm: 7057913 12326 3316 1 0 7019032 0
[pid=5046/tid=5047] ppid=5044 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5046/task/5047/stat : 5047 (java) R 5044 5044 4107 0 -1 4202560 7663 0 0 0 26 3 0 0 20 0 20 0 512344786 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674700312256 139674680161630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5048] ppid=5044 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5048/stat : 5048 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674648701328 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5049] ppid=5044 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5049/stat : 5049 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674647648528 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5050] ppid=5044 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5050/stat : 5050 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674646596240 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5051] ppid=5044 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5051/stat : 5051 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674645543440 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5052] ppid=5044 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5052/stat : 5052 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674644491152 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5053] ppid=5044 vsize=28231652 memory=140428989000367 CPUtime=0 cores=0-7
/proc/5046/task/5053/stat : 5053 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674643438352 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5054] ppid=5044 vsize=28231652 memory=140428989002672 CPUtime=0 cores=0-7
/proc/5046/task/5054/stat : 5054 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674642386064 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5055] ppid=5044 vsize=28231652 memory=140428989004976 CPUtime=0 cores=0-7
/proc/5046/task/5055/stat : 5055 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28909211648 12407 33554432000 4194304 4196468 140727640262464 139674641333264 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5056] ppid=5044 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5056/stat : 5056 (java) S 5044 5044 4107 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512344789 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673208875120 139674696092290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5057] ppid=5044 vsize=28231652 memory=280857978023824 CPUtime=0 cores=0-7
/proc/5046/task/5057/stat : 5057 (java) S 5044 5044 4107 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512344789 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673207821088 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5058] ppid=5044 vsize=28231652 memory=280857978021520 CPUtime=0 cores=0-7
/proc/5046/task/5058/stat : 5058 (java) S 5044 5044 4107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512344790 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673206768752 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5059] ppid=5044 vsize=28231652 memory=280857978028432 CPUtime=0 cores=0-7
/proc/5046/task/5059/stat : 5059 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344792 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673205717072 139674696099739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5060] ppid=5044 vsize=28231652 memory=280857977969712 CPUtime=0.01 cores=0-7
/proc/5046/task/5060/stat : 5060 (java) R 5044 5044 4107 0 -1 4202560 406 0 0 0 1 0 0 0 20 0 20 0 512344792 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673204645960 139674676781440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5061] ppid=5044 vsize=28231652 memory=280857978042256 CPUtime=0.03 cores=0-7
/proc/5046/task/5061/stat : 5061 (java) S 5044 5044 4107 0 -1 1077944384 369 0 0 0 3 0 0 0 20 0 20 0 512344792 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673203612144 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5062] ppid=5044 vsize=28231652 memory=280857978049168 CPUtime=0.03 cores=0-7
/proc/5046/task/5062/stat : 5062 (java) S 5044 5044 4107 0 -1 1077944384 106 0 0 0 3 0 0 0 20 0 20 0 512344792 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673202559856 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5063] ppid=5044 vsize=28231652 memory=280857978046864 CPUtime=0.13 cores=0-7
/proc/5046/task/5063/stat : 5063 (java) S 5044 5044 4107 0 -1 1077944384 903 0 0 0 13 0 0 0 20 0 20 0 512344792 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673201507056 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5064] ppid=5044 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5064/stat : 5064 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512344792 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673200453984 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5065] ppid=5044 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5046/task/5065/stat : 5065 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344792 28909211648 12407 33554432000 4194304 4196468 140727640262464 139673199401264 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50756 KiB

[startup+0.700881 s]
/proc/loadavg: 7.15 7.77 7.83 4/214 5065
/proc/meminfo: memFree=25652276/32770624 swapFree=67002384/67108860
[pid=5044] ppid=5041 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5044/stat : 5044 (xcsp3-exec) S 5041 5044 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512344786 115843072 363 33554432000 4194304 5098028 140726525561088 140726525559192 139888883868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140726525567825 140726525568085 140726525568085 140726525571014 0
/proc/5044/statm: 28282 363 304 221 0 87 0
[pid=5046] ppid=5044 vsize=28233776 memory=105428 CPUtime=1.7 cores=0-7
/proc/5046/stat : 5046 (java) S 5044 5044 4107 0 -1 1077944320 17020 0 0 0 163 7 0 0 20 0 20 0 512344786 28911386624 26357 33554432000 4194304 4196468 140727640262464 140727640245008 139674696081143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
/proc/5046/statm: 7058444 26357 3461 1 0 7019544 0
[pid=5046/tid=5047] ppid=5044 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/5046/task/5047/stat : 5047 (java) R 5044 5044 4107 0 -1 4202560 9073 0 0 0 63 4 0 0 20 0 20 0 512344786 28911386624 26357 33554432000 4194304 4196468 140727640262464 139674700319376 139674302758129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5048] ppid=5044 vsize=28233776 memory=140428989211504 CPUtime=0 cores=0-7
/proc/5046/task/5048/stat : 5048 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28911386624 26357 33554432000 4194304 4196468 140727640262464 139674648701328 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5049] ppid=5044 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5046/task/5049/stat : 5049 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512344787 28911386624 26357 33554432000 4194304 4196468 140727640262464 139674647648528 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5050] ppid=5044 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/5046/task/5050/stat : 5050 (java) S 5044 5044 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512344787 28911386624 26357 33554432000 4194304 4196468 140727640262464 139674646596240 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0

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

[pid=5046/tid=5063] ppid=5044 vsize=28766288 memory=580 CPUtime=0.66 cores=0-7
/proc/5046/task/5063/stat : 5063 (java) S 5044 5044 4107 0 -1 1077944384 4590 0 0 0 65 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673201507056 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5064] ppid=5044 vsize=28766288 memory=1692 CPUtime=0 cores=0-7
/proc/5046/task/5064/stat : 5064 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673200453984 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5065] ppid=5044 vsize=28766288 memory=3616 CPUtime=0.01 cores=0-7
/proc/5046/task/5065/stat : 5065 (java) S 5044 5044 4107 0 -1 1077944384 187 0 0 0 0 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673199401264 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5066] ppid=5044 vsize=28766288 memory=7548 CPUtime=30.86 cores=0-7
/proc/5046/task/5066/stat : 5066 (java) R 5044 5044 4107 0 -1 4202560 803 0 0 0 3083 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673190419240 139674304703320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5067] ppid=5044 vsize=28766288 memory=2832 CPUtime=30.95 cores=0-7
/proc/5046/task/5067/stat : 5067 (java) R 5044 5044 4107 0 -1 4202560 1050 0 0 0 3092 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673189367656 139674305703769 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5068] ppid=5044 vsize=28766288 memory=1224 CPUtime=31.26 cores=0-7
/proc/5046/task/5068/stat : 5068 (java) R 5044 5044 4107 0 -1 4202560 1215 0 0 0 3122 4 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673188315416 139674305704077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5069] ppid=5044 vsize=28766288 memory=6168 CPUtime=30.78 cores=0-7
/proc/5046/task/5069/stat : 5069 (java) R 5044 5044 4107 0 -1 4202560 1823 0 0 0 3072 6 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673187265432 139674306388647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5070] ppid=5044 vsize=28766288 memory=772 CPUtime=31.1 cores=0-7
/proc/5046/task/5070/stat : 5070 (java) R 5044 5044 4107 0 -1 4202560 978 0 0 0 3107 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673186210072 139674304509690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5071] ppid=5044 vsize=28766288 memory=1556 CPUtime=31.19 cores=0-7
/proc/5046/task/5071/stat : 5071 (java) R 5044 5044 4107 0 -1 4202560 1095 0 0 0 3116 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673185157232 139674305513091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5072] ppid=5044 vsize=28766288 memory=288230574492221466 CPUtime=31.23 cores=0-7
/proc/5046/task/5072/stat : 5072 (java) R 5044 5044 4107 0 -1 4202560 675 0 0 0 3120 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673184104376 139674304703382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5073] ppid=5044 vsize=28766288 memory=288230596050944315 CPUtime=31.12 cores=0-7
/proc/5046/task/5073/stat : 5073 (java) R 5044 5044 4107 0 -1 4202560 1271 0 0 0 3109 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673183051160 139674304703293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
Current children cumulated CPU time: 256.58 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1183900 KiB

[startup+33.6016 s]
/proc/loadavg: 8.12 7.95 7.88 9/222 5075
/proc/meminfo: memFree=24530120/32770624 swapFree=67002384/67108860
[pid=5044] ppid=5041 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5044/stat : 5044 (xcsp3-exec) S 5041 5044 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512344786 115843072 363 33554432000 4194304 5098028 140726525561088 140726525559192 139888883868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140726525567825 140726525568085 140726525568085 140726525571014 0
/proc/5044/statm: 28282 363 304 221 0 87 0
[pid=5046] ppid=5044 vsize=28766288 memory=1182448 CPUtime=262.96 cores=0-7
/proc/5046/stat : 5046 (java) S 5044 5044 4107 0 -1 1077944320 45860 0 0 0 26211 85 0 0 20 0 28 0 512344786 29456678912 295612 33554432000 4194304 4196468 140727640262464 140727640245008 139674696081143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
/proc/5046/statm: 7191572 295612 3539 1 0 7152672 0
[pid=5046/tid=5047] ppid=5044 vsize=28766288 memory=1408 CPUtime=0.82 cores=0-7
/proc/5046/task/5047/stat : 5047 (java) S 5044 5044 4107 0 -1 1077944384 9169 0 0 0 76 6 0 0 20 0 28 0 512344786 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674700321920 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5048] ppid=5044 vsize=28766288 memory=3152 CPUtime=0.1 cores=0-7
/proc/5046/task/5048/stat : 5048 (java) S 5044 5044 4107 0 -1 1077944384 188 0 0 0 5 5 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674648701328 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5049] ppid=5044 vsize=28766288 memory=140433412564607 CPUtime=0.09 cores=0-7
/proc/5046/task/5049/stat : 5049 (java) S 5044 5044 4107 0 -1 1077944384 478 0 0 0 5 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674647648528 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5050] ppid=5044 vsize=28766288 memory=7523615452491704178 CPUtime=0.1 cores=0-7
/proc/5046/task/5050/stat : 5050 (java) S 5044 5044 4107 0 -1 1077944384 215 0 0 0 5 5 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674646596240 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5051] ppid=5044 vsize=28766288 memory=4639074098508484694 CPUtime=0.08 cores=0-7
/proc/5046/task/5051/stat : 5051 (java) S 5044 5044 4107 0 -1 1077944384 545 0 0 0 4 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674645543440 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5052] ppid=5044 vsize=28766288 memory=4639074098508484691 CPUtime=0.11 cores=0-7
/proc/5046/task/5052/stat : 5052 (java) S 5044 5044 4107 0 -1 1077944384 253 0 0 0 6 5 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674644491152 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5053] ppid=5044 vsize=28766288 memory=7079765598914236496 CPUtime=0.1 cores=0-7
/proc/5046/task/5053/stat : 5053 (java) S 5044 5044 4107 0 -1 1077944384 252 0 0 0 6 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674643438352 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5054] ppid=5044 vsize=28766288 memory=7367994820071022925 CPUtime=0.1 cores=0-7
/proc/5046/task/5054/stat : 5054 (java) S 5044 5044 4107 0 -1 1077944384 723 0 0 0 6 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674642386064 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5055] ppid=5044 vsize=28766288 memory=6935650355288821840 CPUtime=0.12 cores=0-7
/proc/5046/task/5055/stat : 5055 (java) S 5044 5044 4107 0 -1 1077944384 488 0 0 0 8 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674641333264 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5056] ppid=5044 vsize=28766288 memory=7523615452491704178 CPUtime=0.02 cores=0-7
/proc/5046/task/5056/stat : 5056 (java) S 5044 5044 4107 0 -1 1077944384 1696 0 0 0 1 1 0 0 20 0 28 0 512344789 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673208875120 139674696092290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5057] ppid=5044 vsize=28766288 memory=7584172172082901604 CPUtime=0 cores=0-7
/proc/5046/task/5057/stat : 5057 (java) S 5044 5044 4107 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 512344789 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673207821152 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5058] ppid=5044 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5046/task/5058/stat : 5058 (java) S 5044 5044 4107 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 512344790 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673206768768 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5059] ppid=5044 vsize=28766288 memory=1692 CPUtime=0 cores=0-7
/proc/5046/task/5059/stat : 5059 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673205717072 139674696099739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5060] ppid=5044 vsize=28766288 memory=3616 CPUtime=1.67 cores=0-7
/proc/5046/task/5060/stat : 5060 (java) S 5044 5044 4107 0 -1 1077944384 4655 0 0 0 166 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673204664944 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5061] ppid=5044 vsize=28766288 memory=7548 CPUtime=1.97 cores=0-7
/proc/5046/task/5061/stat : 5061 (java) S 5044 5044 4107 0 -1 1077944384 6169 0 0 0 196 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673203612144 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5062] ppid=5044 vsize=28766288 memory=2832 CPUtime=1.92 cores=0-7
/proc/5046/task/5062/stat : 5062 (java) S 5044 5044 4107 0 -1 1077944384 5453 0 0 0 190 2 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673202559856 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5063] ppid=5044 vsize=28766288 memory=1224 CPUtime=0.66 cores=0-7
/proc/5046/task/5063/stat : 5063 (java) S 5044 5044 4107 0 -1 1077944384 4590 0 0 0 65 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673201507056 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5064] ppid=5044 vsize=28766288 memory=6168 CPUtime=0 cores=0-7
/proc/5046/task/5064/stat : 5064 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673200453984 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5065] ppid=5044 vsize=28766288 memory=772 CPUtime=0.01 cores=0-7
/proc/5046/task/5065/stat : 5065 (java) S 5044 5044 4107 0 -1 1077944384 187 0 0 0 0 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673199401264 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5066] ppid=5044 vsize=28766288 memory=1556 CPUtime=31.66 cores=0-7
/proc/5046/task/5066/stat : 5066 (java) R 5044 5044 4107 0 -1 4202560 811 0 0 0 3163 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673190419240 139674306673233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5067] ppid=5044 vsize=28766288 memory=1056 CPUtime=31.74 cores=0-7
/proc/5046/task/5067/stat : 5067 (java) R 5044 5044 4107 0 -1 4202560 1556 0 0 0 3170 4 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673189367656 139674305705248 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5068] ppid=5044 vsize=28766288 memory=1096 CPUtime=32.06 cores=0-7
/proc/5046/task/5068/stat : 5068 (java) R 5044 5044 4107 0 -1 4202560 1232 0 0 0 3202 4 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673188315416 139674305512765 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5069] ppid=5044 vsize=28766288 memory=14008 CPUtime=31.58 cores=0-7
/proc/5046/task/5069/stat : 5069 (java) R 5044 5044 4107 0 -1 4202560 1831 0 0 0 3152 6 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673187265432 139674304703425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5070] ppid=5044 vsize=28766288 memory=988 CPUtime=31.9 cores=0-7
/proc/5046/task/5070/stat : 5070 (java) R 5044 5044 4107 0 -1 4202560 983 0 0 0 3187 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673186210072 139674305703777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5071] ppid=5044 vsize=28766288 memory=2012 CPUtime=31.99 cores=0-7
/proc/5046/task/5071/stat : 5071 (java) R 5044 5044 4107 0 -1 4202560 1104 0 0 0 3196 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673185157232 139674305705335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5072] ppid=5044 vsize=28766288 memory=1424 CPUtime=32.03 cores=0-7
/proc/5046/task/5072/stat : 5072 (java) R 5044 5044 4107 0 -1 4202560 683 0 0 0 3200 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673184104376 139674305703971 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5073] ppid=5044 vsize=28766288 memory=580 CPUtime=31.92 cores=0-7
/proc/5046/task/5073/stat : 5073 (java) R 5044 5044 4107 0 -1 4202560 1277 0 0 0 3189 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673183051160 139674306388647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
Current children cumulated CPU time: 262.96 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1183900 KiB

[startup+33.8016 s]
/proc/loadavg: 8.12 7.95 7.88 9/222 5075
/proc/meminfo: memFree=24530120/32770624 swapFree=67002384/67108860
[pid=5044] ppid=5041 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5044/stat : 5044 (xcsp3-exec) S 5041 5044 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512344786 115843072 363 33554432000 4194304 5098028 140726525561088 140726525559192 139888883868284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31412224 140726525567825 140726525568085 140726525568085 140726525571014 0
/proc/5044/statm: 28282 363 304 221 0 87 0
[pid=5046] ppid=5044 vsize=28766288 memory=1182448 CPUtime=264.56 cores=0-7
/proc/5046/stat : 5046 (java) S 5044 5044 4107 0 -1 1077944320 45871 0 0 0 26371 85 0 0 20 0 28 0 512344786 29456678912 295612 33554432000 4194304 4196468 140727640262464 140727640245008 139674696081143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
/proc/5046/statm: 7191572 295612 3539 1 0 7152672 0
[pid=5046/tid=5047] ppid=5044 vsize=28766288 memory=7548 CPUtime=0.82 cores=0-7
/proc/5046/task/5047/stat : 5047 (java) S 5044 5044 4107 0 -1 1077944384 9169 0 0 0 76 6 0 0 20 0 28 0 512344786 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674700321920 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5048] ppid=5044 vsize=28766288 memory=2832 CPUtime=0.1 cores=0-7
/proc/5046/task/5048/stat : 5048 (java) S 5044 5044 4107 0 -1 1077944384 188 0 0 0 5 5 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674648701328 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5049] ppid=5044 vsize=28766288 memory=1452 CPUtime=0.09 cores=0-7
/proc/5046/task/5049/stat : 5049 (java) S 5044 5044 4107 0 -1 1077944384 478 0 0 0 5 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674647648528 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5050] ppid=5044 vsize=28766288 memory=1182448 CPUtime=0.1 cores=0-7
/proc/5046/task/5050/stat : 5050 (java) S 5044 5044 4107 0 -1 1077944384 215 0 0 0 5 5 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674646596240 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5051] ppid=5044 vsize=28766288 memory=14008 CPUtime=0.08 cores=0-7
/proc/5046/task/5051/stat : 5051 (java) S 5044 5044 4107 0 -1 1077944384 545 0 0 0 4 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674645543440 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5052] ppid=5044 vsize=28766288 memory=1452 CPUtime=0.11 cores=0-7
/proc/5046/task/5052/stat : 5052 (java) S 5044 5044 4107 0 -1 1077944384 253 0 0 0 6 5 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674644491152 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5053] ppid=5044 vsize=28766288 memory=1772 CPUtime=0.1 cores=0-7
/proc/5046/task/5053/stat : 5053 (java) S 5044 5044 4107 0 -1 1077944384 252 0 0 0 6 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674643438352 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5054] ppid=5044 vsize=28766288 memory=2648 CPUtime=0.1 cores=0-7
/proc/5046/task/5054/stat : 5054 (java) S 5044 5044 4107 0 -1 1077944384 723 0 0 0 6 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674642386064 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5055] ppid=5044 vsize=28766288 memory=884 CPUtime=0.12 cores=0-7
/proc/5046/task/5055/stat : 5055 (java) S 5044 5044 4107 0 -1 1077944384 488 0 0 0 8 4 0 0 20 0 28 0 512344787 29456678912 295612 33554432000 4194304 4196468 140727640262464 139674641333264 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5056] ppid=5044 vsize=28766288 memory=1440 CPUtime=0.02 cores=0-7
/proc/5046/task/5056/stat : 5056 (java) S 5044 5044 4107 0 -1 1077944384 1696 0 0 0 1 1 0 0 20 0 28 0 512344789 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673208875120 139674696092290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5057] ppid=5044 vsize=28766288 memory=1768 CPUtime=0 cores=0-7
/proc/5046/task/5057/stat : 5057 (java) S 5044 5044 4107 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 512344789 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673207821152 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5058] ppid=5044 vsize=28766288 memory=111636 CPUtime=0 cores=0-7
/proc/5046/task/5058/stat : 5058 (java) S 5044 5044 4107 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 512344790 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673206768768 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5059] ppid=5044 vsize=28766288 memory=808 CPUtime=0 cores=0-7
/proc/5046/task/5059/stat : 5059 (java) S 5044 5044 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673205717072 139674696099739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5060] ppid=5044 vsize=28766288 memory=1808 CPUtime=1.67 cores=0-7
/proc/5046/task/5060/stat : 5060 (java) S 5044 5044 4107 0 -1 1077944384 4655 0 0 0 166 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673204664944 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5061] ppid=5044 vsize=28766288 memory=924 CPUtime=1.97 cores=0-7
/proc/5046/task/5061/stat : 5061 (java) S 5044 5044 4107 0 -1 1077944384 6169 0 0 0 196 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673203612144 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5062] ppid=5044 vsize=28766288 memory=4936 CPUtime=1.92 cores=0-7
/proc/5046/task/5062/stat : 5062 (java) S 5044 5044 4107 0 -1 1077944384 5453 0 0 0 190 2 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673202559856 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5063] ppid=5044 vsize=28766288 memory=4104 CPUtime=0.66 cores=0-7
/proc/5046/task/5063/stat : 5063 (java) S 5044 5044 4107 0 -1 1077944384 4590 0 0 0 65 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673201507056 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5064] ppid=5044 vsize=28766288 memory=1408 CPUtime=0 cores=0-7
/proc/5046/task/5064/stat : 5064 (java) S 5044 5044 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673200453984 139674696091349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5065] ppid=5044 vsize=28766288 memory=3152 CPUtime=0.01 cores=0-7
/proc/5046/task/5065/stat : 5065 (java) S 5044 5044 4107 0 -1 1077944384 187 0 0 0 0 1 0 0 20 0 28 0 512344792 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673199401264 139674696092290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5066] ppid=5044 vsize=28766288 memory=1452 CPUtime=31.86 cores=0-7
/proc/5046/task/5066/stat : 5066 (java) R 5044 5044 4107 0 -1 4202560 812 0 0 0 3183 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673190419240 139674305514542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5067] ppid=5044 vsize=28766288 memory=1182448 CPUtime=31.94 cores=0-7
/proc/5046/task/5067/stat : 5067 (java) R 5044 5044 4107 0 -1 4202560 1558 0 0 0 3190 4 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673189367656 139674304703302 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5068] ppid=5044 vsize=28766288 memory=1720 CPUtime=32.26 cores=0-7
/proc/5046/task/5068/stat : 5068 (java) R 5044 5044 4107 0 -1 4202560 1234 0 0 0 3222 4 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673188315416 139674304703293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5069] ppid=5044 vsize=28766288 memory=1224 CPUtime=31.78 cores=0-7
/proc/5046/task/5069/stat : 5069 (java) R 5044 5044 4107 0 -1 4202560 1832 0 0 0 3172 6 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673187265432 139674305803185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5070] ppid=5044 vsize=28766288 memory=6168 CPUtime=32.1 cores=0-7
/proc/5046/task/5070/stat : 5070 (java) R 5044 5044 4107 0 -1 4202560 986 0 0 0 3207 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673186210072 139674305300445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5071] ppid=5044 vsize=28766288 memory=772 CPUtime=32.19 cores=0-7
/proc/5046/task/5071/stat : 5071 (java) R 5044 5044 4107 0 -1 4202560 1105 0 0 0 3216 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673185157232 139674304703350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5072] ppid=5044 vsize=28766288 memory=1556 CPUtime=32.23 cores=0-7
/proc/5046/task/5072/stat : 5072 (java) R 5044 5044 4107 0 -1 4202560 684 0 0 0 3220 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673184104376 139674304509977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
[pid=5046/tid=5073] ppid=5044 vsize=28766288 memory=1056 CPUtime=32.12 cores=0-7
/proc/5046/task/5073/stat : 5073 (java) R 5044 5044 4107 0 -1 4202560 1277 0 0 0 3209 3 0 0 20 0 28 0 512344871 29456678912 295612 33554432000 4194304 4196468 140727640262464 139673183051160 139674304703320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36151296 140727640269782 140727640269958 140727640269958 140727640272847 0
Current children cumulated CPU time: 264.56 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1183900 KiB

Child status: 0
Real time (s): 33.8567
CPU time (s): 264.782
CPU user time (s): 263.909
CPU system time (s): 0.872991
CPU usage (%): 782.067
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1183900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.909
system time used= 0.872991
maximum resident set size= 1183352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5212
involuntary context switches= 4049


# summary of solver processes directly reported to runsolver:
#   pid: 5044
#   total CPU time (s): 264.782
#   total CPU user time (s): 263.909
#   total CPU system time (s): 0.872991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.28316 second user time and 0.475882 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-25 00:31:07
IDJOB=4406867
IDBENCH=141696
IDSOLVER=2871
FILE ID=node146/4406867-1569364309
RUNJOBID= node146-1569360588-4134
PBS_JOBID= 21705124
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP19/hcp/graph171.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406867-1569364309/watcher-4406867-1569364309 -o /var/tmp/evaluation-result-4406867-1569364309/solver-4406867-1569364309 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569360588-4134 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1761838728 HOME/instance-4406867-1569364309.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 889399dd2d9405aab831b2de91bd17ad
RANDOM SEED=1761838728

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        25700252 kB
MemAvailable:   31841812 kB
Buffers:          120240 kB
Cached:          6127744 kB
SwapCached:         3552 kB
Active:          3096700 kB
Inactive:        3156728 kB
Active(anon):       4460 kB
Inactive(anon):    56852 kB
Active(file):    3092240 kB
Inactive(file):  3099876 kB
Unevictable:      110884 kB
Mlocked:          110884 kB
SwapTotal:      67108860 kB
SwapFree:       67002384 kB
Dirty:             26280 kB
Writeback:             8 kB
AnonPages:        113456 kB
Mapped:            57016 kB
Shmem:             47640 kB
Slab:             406460 kB
SReclaimable:     377904 kB
SUnreclaim:        28556 kB
KernelStack:        3552 kB
PageTables:         6176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     516388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node146 at 2019-09-25 00:31:41