Trace number 4393707

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-06-14 parallelSAT 149.391 19.4308

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393707-1568449173/watcher-4393707-1568449173 -o /tmp/evaluation-result-4393707-1568449173/solver-4393707-1568449173 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1192161216 HOME/instance-4393707-1568449173.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
solver pid=5398, runsolver pid=5395
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.38 7.74 7.46 2/211 5420
/proc/meminfo: memFree=30556800/32770624 swapFree=67022328/67108860
[pid=5398] ppid=5395 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5398/stat : 5398 (xcsp3-exec) S 5395 5398 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421189920 115843072 364 33554432000 4194304 5098028 140735318788288 140735318786392 140382215127676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26746880 140735318791029 140735318791273 140735318791273 140735318794186 0
/proc/5398/statm: 28282 364 305 221 0 87 0
[pid=5400] ppid=5398 vsize=28227388 memory=28892 CPUtime=0.12 cores=0-7
/proc/5400/stat : 5400 (java) S 5398 5398 2957 0 -1 1077944320 5706 0 0 0 11 1 0 0 20 0 20 0 421189920 28904845312 7223 33554432000 4194304 4196468 140721433597152 140721433579696 140537160265463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
/proc/5400/statm: 7056847 7223 3116 1 0 7019032 0
[pid=5400/tid=5401] ppid=5398 vsize=28227388 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5400/task/5401/stat : 5401 (java) R 5398 5398 2957 0 -1 4202560 3619 0 0 0 8 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537164497728 140537160287389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5402] ppid=5398 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5400/task/5402/stat : 5402 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537112886416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5403] ppid=5398 vsize=28227388 memory=140495026144896 CPUtime=0 cores=0-7
/proc/5400/task/5403/stat : 5403 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537111833616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5404] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5404/stat : 5404 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537110780816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5405] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5405/stat : 5405 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537109728016 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5406] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5406/stat : 5406 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537108675216 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5407] ppid=5398 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5400/task/5407/stat : 5407 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537107622416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5408] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5408/stat : 5408 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537106569616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5409] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5409/stat : 5409 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189922 28904845312 7223 33554432000 4194304 4196468 140721433597152 140537105516816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5410] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5410/stat : 5410 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189923 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536477813616 140537160276610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5411] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5411/stat : 5411 (java) S 5398 5398 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421189923 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536476759584 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5413] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5413/stat : 5413 (java) S 5398 5398 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421189924 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536475706736 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5414] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5414/stat : 5414 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189926 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536474655056 140537160284059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5415] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5415/stat : 5415 (java) S 5398 5398 2957 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 421189926 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536473602416 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5416] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5416/stat : 5416 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189926 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536472549616 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5417] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5417/stat : 5417 (java) S 5398 5398 2957 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 421189926 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536471496816 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5418] ppid=5398 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/5400/task/5418/stat : 5418 (java) R 5398 5398 2957 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 20 0 421189926 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536470444016 140537160286810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5419] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5419/stat : 5419 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421189926 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536469392480 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5420] ppid=5398 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5400/task/5420/stat : 5420 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189927 28904845312 7223 33554432000 4194304 4196468 140721433597152 140536468339760 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30348 KiB

[startup+0.209782 s]*
/proc/loadavg: 7.38 7.74 7.46 3/211 5420
/proc/meminfo: memFree=30542140/32770624 swapFree=67022328/67108860
[pid=5398] ppid=5395 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5398/stat : 5398 (xcsp3-exec) S 5395 5398 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421189920 115843072 364 33554432000 4194304 5098028 140735318788288 140735318786392 140382215127676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26746880 140735318791029 140735318791273 140735318791273 140735318794186 0
/proc/5398/statm: 28282 364 305 221 0 87 0
[pid=5400] ppid=5398 vsize=28227388 memory=41104 CPUtime=0.33 cores=0-7
/proc/5400/stat : 5400 (java) S 5398 5398 2957 0 -1 1077944320 9512 0 0 0 30 3 0 0 20 0 20 0 421189920 28904845312 10276 33554432000 4194304 4196468 140721433597152 140721433579696 140537160265463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
/proc/5400/statm: 7056847 10276 3301 1 0 7019032 0
[pid=5400/tid=5401] ppid=5398 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5400/task/5401/stat : 5401 (java) R 5398 5398 2957 0 -1 4202560 6641 0 0 0 18 2 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537164500608 140536782655549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5402] ppid=5398 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/5400/task/5402/stat : 5402 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537112886416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5403] ppid=5398 vsize=28227388 memory=140495026150565 CPUtime=0 cores=0-7
/proc/5400/task/5403/stat : 5403 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537111833616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5404] ppid=5398 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5400/task/5404/stat : 5404 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537110780816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5405] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5405/stat : 5405 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537109728016 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5406] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5406/stat : 5406 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537108675216 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5407] ppid=5398 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5400/task/5407/stat : 5407 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537107622416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5408] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5408/stat : 5408 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537106569616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5409] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5409/stat : 5409 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189922 28904845312 10276 33554432000 4194304 4196468 140721433597152 140537105516816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5410] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5410/stat : 5410 (java) S 5398 5398 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421189923 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536477813616 140537160276610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5411] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5411/stat : 5411 (java) S 5398 5398 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421189923 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536476759584 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5413] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5413/stat : 5413 (java) S 5398 5398 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421189924 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536475706736 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5414] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5414/stat : 5414 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189926 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536474655056 140537160284059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5415] ppid=5398 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5400/task/5415/stat : 5415 (java) S 5398 5398 2957 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 20 0 421189926 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536473602416 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5416] ppid=5398 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5400/task/5416/stat : 5416 (java) S 5398 5398 2957 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 20 0 421189926 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536472549616 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5417] ppid=5398 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/5400/task/5417/stat : 5417 (java) S 5398 5398 2957 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 20 0 421189926 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536471496816 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5418] ppid=5398 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/5400/task/5418/stat : 5418 (java) R 5398 5398 2957 0 -1 4202560 754 0 0 0 7 0 0 0 20 0 20 0 421189926 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536470444016 140537152502590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5419] ppid=5398 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5419/stat : 5419 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421189926 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536469392480 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5420] ppid=5398 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5400/task/5420/stat : 5420 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189927 28904845312 10276 33554432000 4194304 4196468 140721433597152 140536468339760 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42560 KiB

[startup+0.309452 s]*
/proc/loadavg: 7.38 7.74 7.46 4/211 5420
/proc/meminfo: memFree=30535408/32770624 swapFree=67022328/67108860
[pid=5398] ppid=5395 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5398/stat : 5398 (xcsp3-exec) S 5395 5398 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421189920 115843072 364 33554432000 4194304 5098028 140735318788288 140735318786392 140382215127676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26746880 140735318791029 140735318791273 140735318791273 140735318794186 0
/proc/5398/statm: 28282 364 305 221 0 87 0
[pid=5400] ppid=5398 vsize=28231644 memory=50268 CPUtime=0.52 cores=0-7
/proc/5400/stat : 5400 (java) S 5398 5398 2957 0 -1 1077944320 10920 0 0 0 48 4 0 0 20 0 20 0 421189920 28909203456 12567 33554432000 4194304 4196468 140721433597152 140721433579696 140537160265463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
/proc/5400/statm: 7057911 12567 3367 1 0 7019032 0
[pid=5400/tid=5401] ppid=5398 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5400/task/5401/stat : 5401 (java) R 5398 5398 2957 0 -1 4202560 7811 0 0 0 27 2 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537164496576 140537145633610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5402] ppid=5398 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5402/stat : 5402 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537112886416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5403] ppid=5398 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5403/stat : 5403 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537111833616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5404] ppid=5398 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5404/stat : 5404 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537110780816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5405] ppid=5398 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5405/stat : 5405 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537109728016 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5406] ppid=5398 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/5400/task/5406/stat : 5406 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537108675216 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5407] ppid=5398 vsize=28231644 memory=140494889907119 CPUtime=0 cores=0-7
/proc/5400/task/5407/stat : 5407 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537107622416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5408] ppid=5398 vsize=28231644 memory=140494889909424 CPUtime=0 cores=0-7
/proc/5400/task/5408/stat : 5408 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537106569616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5409] ppid=5398 vsize=28231644 memory=140494889911728 CPUtime=0 cores=0-7
/proc/5400/task/5409/stat : 5409 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189922 28909203456 12567 33554432000 4194304 4196468 140721433597152 140537105516816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5410] ppid=5398 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5410/stat : 5410 (java) S 5398 5398 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421189923 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536477813616 140537160276610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5411] ppid=5398 vsize=28231644 memory=280989779830416 CPUtime=0 cores=0-7
/proc/5400/task/5411/stat : 5411 (java) S 5398 5398 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421189923 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536476759584 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5413] ppid=5398 vsize=28231644 memory=280989779837328 CPUtime=0 cores=0-7
/proc/5400/task/5413/stat : 5413 (java) S 5398 5398 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421189924 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536475706736 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5414] ppid=5398 vsize=28231644 memory=280989779778608 CPUtime=0 cores=0-7
/proc/5400/task/5414/stat : 5414 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189926 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536474655056 140537160284059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5415] ppid=5398 vsize=28231644 memory=280989779851152 CPUtime=0.02 cores=0-7
/proc/5400/task/5415/stat : 5415 (java) S 5398 5398 2957 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 20 0 421189926 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536473602416 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5416] ppid=5398 vsize=28231644 memory=280989779858064 CPUtime=0.03 cores=0-7
/proc/5400/task/5416/stat : 5416 (java) R 5398 5398 2957 0 -1 4202560 191 0 0 0 3 0 0 0 20 0 20 0 421189926 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536472540000 140537143650212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5417] ppid=5398 vsize=28231644 memory=280989779855760 CPUtime=0.02 cores=0-7
/proc/5400/task/5417/stat : 5417 (java) S 5398 5398 2957 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 20 0 421189926 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536471496816 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5418] ppid=5398 vsize=28231644 memory=280989779871920 CPUtime=0.12 cores=0-7
/proc/5400/task/5418/stat : 5418 (java) S 5398 5398 2957 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 20 0 421189926 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536470444016 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5419] ppid=5398 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5419/stat : 5419 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421189926 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536469392480 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5420] ppid=5398 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5400/task/5420/stat : 5420 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189927 28909203456 12567 33554432000 4194304 4196468 140721433597152 140536468339760 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51724 KiB

[startup+0.700916 s]
/proc/loadavg: 7.38 7.74 7.46 5/211 5420
/proc/meminfo: memFree=30526196/32770624 swapFree=67022328/67108860
[pid=5398] ppid=5395 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5398/stat : 5398 (xcsp3-exec) S 5395 5398 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421189920 115843072 364 33554432000 4194304 5098028 140735318788288 140735318786392 140382215127676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26746880 140735318791029 140735318791273 140735318791273 140735318794186 0
/proc/5398/statm: 28282 364 305 221 0 87 0
[pid=5400] ppid=5398 vsize=28233768 memory=102664 CPUtime=1.72 cores=0-7
/proc/5400/stat : 5400 (java) S 5398 5398 2957 0 -1 1077944320 15323 0 0 0 166 6 0 0 20 0 20 0 421189920 28911378432 25666 33554432000 4194304 4196468 140721433597152 140721433579696 140537160265463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
/proc/5400/statm: 7058442 25666 3463 1 0 7019544 0
[pid=5400/tid=5401] ppid=5398 vsize=28233768 memory=280989780229808 CPUtime=0.68 cores=0-7
/proc/5400/task/5401/stat : 5401 (java) R 5398 5398 2957 0 -1 4202560 9051 0 0 0 64 4 0 0 20 0 20 0 421189921 28911378432 25666 33554432000 4194304 4196468 140721433597152 140537164502736 140536786340282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5402] ppid=5398 vsize=28233768 memory=140494890115952 CPUtime=0 cores=0-7
/proc/5400/task/5402/stat : 5402 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28911378432 25666 33554432000 4194304 4196468 140721433597152 140537112886416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5403] ppid=5398 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5403/stat : 5403 (java) S 5398 5398 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421189921 28911378432 25666 33554432000 4194304 4196468 140721433597152 140537111833616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5404] ppid=5398 vsize=28233768 memory=1224 CPUtime=0 cores=0-7
/proc/5400/task/5404/stat : 5404 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421189921 28911378432 25666 33554432000 4194304 4196468 140721433597152 140537110780816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0

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

[pid=5400/tid=5418] ppid=5398 vsize=28768328 memory=0 CPUtime=0.87 cores=0-7
/proc/5400/task/5418/stat : 5418 (java) S 5398 5398 2957 0 -1 1077944384 3536 0 0 0 86 1 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536470444016 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5419] ppid=5398 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5419/stat : 5419 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536469392480 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5420] ppid=5398 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5420/stat : 5420 (java) S 5398 5398 2957 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 28 0 421189927 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536468339760 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5421] ppid=5398 vsize=28768328 memory=0 CPUtime=15.94 cores=0-7
/proc/5400/task/5421/stat : 5421 (java) R 5398 5398 2957 0 -1 4202560 1021 0 0 0 1591 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536459127864 140536788694796 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5422] ppid=5398 vsize=28768328 memory=0 CPUtime=16.47 cores=0-7
/proc/5400/task/5422/stat : 5422 (java) R 5398 5398 2957 0 -1 4202560 246 0 0 0 1644 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536458075968 140536791416570 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5423] ppid=5398 vsize=28768328 memory=0 CPUtime=15.51 cores=0-7
/proc/5400/task/5423/stat : 5423 (java) R 5398 5398 2957 0 -1 4202560 1443 0 0 0 1543 8 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536457022784 140536789968763 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5424] ppid=5398 vsize=28768328 memory=1456 CPUtime=16.43 cores=0-7
/proc/5400/task/5424/stat : 5424 (java) R 5398 5398 2957 0 -1 4202560 515 0 0 0 1640 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536455970464 140536791053862 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5425] ppid=5398 vsize=28768328 memory=1204268 CPUtime=16.67 cores=0-7
/proc/5400/task/5425/stat : 5425 (java) R 5398 5398 2957 0 -1 4202560 276 0 0 0 1663 4 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536454917504 140536788193095 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5426] ppid=5398 vsize=28768328 memory=280989780492000 CPUtime=16.35 cores=0-7
/proc/5400/task/5426/stat : 5426 (java) R 5398 5398 2957 0 -1 4202560 339 0 0 0 1633 2 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536453864664 140536788470075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5427] ppid=5398 vsize=28768328 memory=140495026144896 CPUtime=16.12 cores=0-7
/proc/5400/task/5427/stat : 5427 (java) R 5398 5398 2957 0 -1 4202560 898 0 0 0 1610 2 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536452813224 140536787994781 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5428] ppid=5398 vsize=28768328 memory=0 CPUtime=16.73 cores=0-7
/proc/5400/task/5428/stat : 5428 (java) R 5398 5398 2957 0 -1 4202560 255 0 0 0 1670 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536451762696 140536788190615 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
Current children cumulated CPU time: 141.45 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1228196 KiB

[startup+19.2019 s]
/proc/loadavg: 8.44 7.97 7.54 9/219 5429
/proc/meminfo: memFree=29355688/32770624 swapFree=67022328/67108860
[pid=5398] ppid=5395 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5398/stat : 5398 (xcsp3-exec) S 5395 5398 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421189920 115843072 364 33554432000 4194304 5098028 140735318788288 140735318786392 140382215127676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26746880 140735318791029 140735318791273 140735318791273 140735318794186 0
/proc/5398/statm: 28282 364 305 221 0 87 0
[pid=5400] ppid=5398 vsize=28768328 memory=1226740 CPUtime=147.77 cores=0-7
/proc/5400/stat : 5400 (java) S 5398 5398 2957 0 -1 1077944320 41476 0 0 0 14690 87 0 0 20 0 28 0 421189920 29458767872 306685 33554432000 4194304 4196468 140721433597152 140721433579696 140537160265463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
/proc/5400/statm: 7192082 306685 3535 1 0 7153184 0
[pid=5400/tid=5401] ppid=5398 vsize=28768328 memory=513 CPUtime=0.82 cores=0-7
/proc/5400/task/5401/stat : 5401 (java) S 5398 5398 2957 0 -1 1077944384 9224 0 0 0 78 4 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537164506240 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5402] ppid=5398 vsize=28768328 memory=8112282956445269571 CPUtime=0.12 cores=0-7
/proc/5400/task/5402/stat : 5402 (java) S 5398 5398 2957 0 -1 1077944384 473 0 0 0 7 5 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537112886416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5403] ppid=5398 vsize=28768328 memory=675532 CPUtime=0.09 cores=0-7
/proc/5400/task/5403/stat : 5403 (java) S 5398 5398 2957 0 -1 1077944384 174 0 0 0 5 4 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537111833616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5404] ppid=5398 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7
/proc/5400/task/5404/stat : 5404 (java) S 5398 5398 2957 0 -1 1077944384 124 0 0 0 7 4 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537110780816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5405] ppid=5398 vsize=28768328 memory=0 CPUtime=0.12 cores=0-7
/proc/5400/task/5405/stat : 5405 (java) S 5398 5398 2957 0 -1 1077944384 401 0 0 0 6 6 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537109728016 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5406] ppid=5398 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7
/proc/5400/task/5406/stat : 5406 (java) S 5398 5398 2957 0 -1 1077944384 280 0 0 0 6 5 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537108675216 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5407] ppid=5398 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7
/proc/5400/task/5407/stat : 5407 (java) S 5398 5398 2957 0 -1 1077944384 149 0 0 0 5 4 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537107622416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5408] ppid=5398 vsize=28768328 memory=1456 CPUtime=0.13 cores=0-7
/proc/5400/task/5408/stat : 5408 (java) S 5398 5398 2957 0 -1 1077944384 309 0 0 0 8 5 0 0 20 0 28 0 421189921 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537106569616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5409] ppid=5398 vsize=28768328 memory=698508 CPUtime=0.09 cores=0-7
/proc/5400/task/5409/stat : 5409 (java) S 5398 5398 2957 0 -1 1077944384 152 0 0 0 5 4 0 0 20 0 28 0 421189922 29458767872 306685 33554432000 4194304 4196468 140721433597152 140537105516816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5410] ppid=5398 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7
/proc/5400/task/5410/stat : 5410 (java) S 5398 5398 2957 0 -1 1077944384 1247 0 0 0 2 0 0 0 20 0 28 0 421189923 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536477813616 140537160276610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5411] ppid=5398 vsize=28768328 memory=7879161181735572065 CPUtime=0 cores=0-7
/proc/5400/task/5411/stat : 5411 (java) S 5398 5398 2957 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 421189923 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536476759648 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5413] ppid=5398 vsize=28768328 memory=7739276948477997159 CPUtime=0 cores=0-7
/proc/5400/task/5413/stat : 5413 (java) S 5398 5398 2957 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 421189924 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536475706752 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5414] ppid=5398 vsize=28768328 memory=5788930165031592000 CPUtime=0 cores=0-7
/proc/5400/task/5414/stat : 5414 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536474655056 140537160284059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5415] ppid=5398 vsize=28768328 memory=4120 CPUtime=2.63 cores=0-7
/proc/5400/task/5415/stat : 5415 (java) R 5398 5398 2957 0 -1 4202560 7069 0 0 0 260 3 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536473602712 140537145191875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5416] ppid=5398 vsize=28768328 memory=24356 CPUtime=2.87 cores=0-7
/proc/5400/task/5416/stat : 5416 (java) R 5398 5398 2957 0 -1 1077944384 6824 0 0 0 285 2 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536472549616 140537160276610 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5417] ppid=5398 vsize=28768328 memory=1296 CPUtime=2.97 cores=0-7
/proc/5400/task/5417/stat : 5417 (java) R 5398 5398 2957 0 -1 4202560 4931 0 0 0 296 1 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536471496816 140537139511717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5418] ppid=5398 vsize=28768328 memory=2184 CPUtime=0.87 cores=0-7
/proc/5400/task/5418/stat : 5418 (java) S 5398 5398 2957 0 -1 1077944384 3536 0 0 0 86 1 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536470444016 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5419] ppid=5398 vsize=28768328 memory=1844 CPUtime=0 cores=0-7
/proc/5400/task/5419/stat : 5419 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421189926 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536469392480 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5420] ppid=5398 vsize=28768328 memory=4956 CPUtime=0 cores=0-7
/proc/5400/task/5420/stat : 5420 (java) S 5398 5398 2957 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 28 0 421189927 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536468339760 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5421] ppid=5398 vsize=28768328 memory=146 CPUtime=16.73 cores=0-7
/proc/5400/task/5421/stat : 5421 (java) R 5398 5398 2957 0 -1 4202560 1021 0 0 0 1670 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536459127864 140536788733452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5422] ppid=5398 vsize=28768328 memory=327 CPUtime=17.24 cores=0-7
/proc/5400/task/5422/stat : 5422 (java) R 5398 5398 2957 0 -1 4202560 246 0 0 0 1721 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536458078904 140536787766845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5423] ppid=5398 vsize=28768328 memory=11 CPUtime=16.31 cores=0-7
/proc/5400/task/5423/stat : 5423 (java) R 5398 5398 2957 0 -1 4202560 1443 0 0 0 1623 8 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536457025320 140536788190521 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5424] ppid=5398 vsize=28768328 memory=1329 CPUtime=17.21 cores=0-7
/proc/5400/task/5424/stat : 5424 (java) R 5398 5398 2957 0 -1 4202560 515 0 0 0 1718 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536455970600 140536788190605 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5425] ppid=5398 vsize=28768328 memory=0 CPUtime=17.46 cores=0-7
/proc/5400/task/5425/stat : 5425 (java) R 5398 5398 2957 0 -1 4202560 276 0 0 0 1742 4 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536454917504 140536788469970 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5426] ppid=5398 vsize=28768328 memory=140494890190977 CPUtime=17.15 cores=0-7
/proc/5400/task/5426/stat : 5426 (java) R 5398 5398 2957 0 -1 4202560 339 0 0 0 1713 2 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536453864664 140536788190574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5427] ppid=5398 vsize=28768328 memory=280989780389152 CPUtime=16.91 cores=0-7
/proc/5400/task/5427/stat : 5427 (java) R 5398 5398 2957 0 -1 4202560 898 0 0 0 1689 2 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536452813224 140536787994973 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5428] ppid=5398 vsize=28768328 memory=391 CPUtime=17.5 cores=0-7
/proc/5400/task/5428/stat : 5428 (java) R 5398 5398 2957 0 -1 4202560 255 0 0 0 1747 3 0 0 20 0 28 0 421190005 29458767872 306685 33554432000 4194304 4196468 140721433597152 140536451762696 140536790089313 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
Current children cumulated CPU time: 147.77 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1228196 KiB

[startup+19.4012 s]
/proc/loadavg: 8.44 7.97 7.54 9/219 5429
/proc/meminfo: memFree=29355688/32770624 swapFree=67022328/67108860
[pid=5398] ppid=5395 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5398/stat : 5398 (xcsp3-exec) S 5395 5398 2957 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 421189920 115843072 364 33554432000 4194304 5098028 140735318788288 140735318786392 140382215127676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26746880 140735318791029 140735318791273 140735318791273 140735318794186 0
/proc/5398/statm: 28282 364 305 221 0 87 0
[pid=5400] ppid=5398 vsize=28768328 memory=1226764 CPUtime=149.35 cores=0-7
/proc/5400/stat : 5400 (java) S 5398 5398 2957 0 -1 1077944320 42775 0 0 0 14848 87 0 0 20 0 28 0 421189920 29458767872 306691 33554432000 4194304 4196468 140721433597152 140721433579696 140537160265463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
/proc/5400/statm: 7192082 306691 3535 1 0 7153184 0
[pid=5400/tid=5401] ppid=5398 vsize=28768328 memory=140496970187333 CPUtime=0.82 cores=0-7
/proc/5400/task/5401/stat : 5401 (java) S 5398 5398 2957 0 -1 1077944384 9224 0 0 0 78 4 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537164506240 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5402] ppid=5398 vsize=28768328 memory=140496970187343 CPUtime=0.12 cores=0-7
/proc/5400/task/5402/stat : 5402 (java) S 5398 5398 2957 0 -1 1077944384 473 0 0 0 7 5 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537112886416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5403] ppid=5398 vsize=28768328 memory=140496970187346 CPUtime=0.09 cores=0-7
/proc/5400/task/5403/stat : 5403 (java) S 5398 5398 2957 0 -1 1077944384 174 0 0 0 5 4 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537111833616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5404] ppid=5398 vsize=28768328 memory=140496970187347 CPUtime=0.11 cores=0-7
/proc/5400/task/5404/stat : 5404 (java) S 5398 5398 2957 0 -1 1077944384 124 0 0 0 7 4 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537110780816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5405] ppid=5398 vsize=28768328 memory=140496970187349 CPUtime=0.12 cores=0-7
/proc/5400/task/5405/stat : 5405 (java) S 5398 5398 2957 0 -1 1077944384 401 0 0 0 6 6 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537109728016 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5406] ppid=5398 vsize=28768328 memory=140496970187353 CPUtime=0.11 cores=0-7
/proc/5400/task/5406/stat : 5406 (java) S 5398 5398 2957 0 -1 1077944384 280 0 0 0 6 5 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537108675216 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5407] ppid=5398 vsize=28768328 memory=140496970187358 CPUtime=0.09 cores=0-7
/proc/5400/task/5407/stat : 5407 (java) S 5398 5398 2957 0 -1 1077944384 149 0 0 0 5 4 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537107622416 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5408] ppid=5398 vsize=28768328 memory=1456 CPUtime=0.13 cores=0-7
/proc/5400/task/5408/stat : 5408 (java) S 5398 5398 2957 0 -1 1077944384 309 0 0 0 8 5 0 0 20 0 28 0 421189921 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537106569616 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5409] ppid=5398 vsize=28768328 memory=1203044 CPUtime=0.09 cores=0-7
/proc/5400/task/5409/stat : 5409 (java) S 5398 5398 2957 0 -1 1077944384 152 0 0 0 5 4 0 0 20 0 28 0 421189922 29458767872 306691 33554432000 4194304 4196468 140721433597152 140537105516816 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5410] ppid=5398 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7
/proc/5400/task/5410/stat : 5410 (java) S 5398 5398 2957 0 -1 1077944384 1247 0 0 0 2 0 0 0 20 0 28 0 421189923 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536477813616 140537160276610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5411] ppid=5398 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5411/stat : 5411 (java) S 5398 5398 2957 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 421189923 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536476759648 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5413] ppid=5398 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5413/stat : 5413 (java) S 5398 5398 2957 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 421189924 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536475706752 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5414] ppid=5398 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/5400/task/5414/stat : 5414 (java) S 5398 5398 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421189926 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536474655056 140537160284059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5415] ppid=5398 vsize=28768328 memory=0 CPUtime=2.63 cores=0-7
/proc/5400/task/5415/stat : 5415 (java) S 5398 5398 2957 0 -1 1077944384 7072 0 0 0 260 3 0 0 20 0 28 0 421189926 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536473602416 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5416] ppid=5398 vsize=28768328 memory=0 CPUtime=2.87 cores=0-7
/proc/5400/task/5416/stat : 5416 (java) S 5398 5398 2957 0 -1 1077944384 6824 0 0 0 285 2 0 0 20 0 28 0 421189926 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536472549616 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5417] ppid=5398 vsize=28768328 memory=0 CPUtime=2.97 cores=0-7
/proc/5400/task/5417/stat : 5417 (java) S 5398 5398 2957 0 -1 1077944384 4933 0 0 0 296 1 0 0 20 0 28 0 421189926 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536471496816 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5418] ppid=5398 vsize=28768328 memory=1456 CPUtime=0.87 cores=0-7
/proc/5400/task/5418/stat : 5418 (java) R 5398 5398 2957 0 -1 1077944384 3536 0 0 0 86 1 0 0 20 0 28 0 421189926 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536470444016 140537160276610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5419] ppid=5398 vsize=28768328 memory=1227624 CPUtime=0 cores=0-7
/proc/5400/task/5419/stat : 5419 (java) S 5398 5398 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421189926 29458767872 306691 33554432000 4194304 4196468 140721433597152 140536469392480 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5420] ppid=5398 vsize=28768328 memory=2976 CPUtime=0 cores=0-7
/proc/5400/task/5420/stat : 5420 (java) S 5398 5398 2957 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 28 0 421189927 29458767872 306698 33554432000 4194304 4196468 140721433597152 140536468339760 140537160276610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5421] ppid=5398 vsize=28768328 memory=1456 CPUtime=16.93 cores=0-7
/proc/5400/task/5421/stat : 5421 (java) R 5398 5398 2957 0 -1 4202560 1119 0 0 0 1690 3 0 0 20 0 28 0 421190005 29458767872 306698 33554432000 4194304 4196468 140721433597152 140536459134256 140537146233664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5422] ppid=5398 vsize=28768328 memory=1204176 CPUtime=17.44 cores=0-7
/proc/5400/task/5422/stat : 5422 (java) R 5398 5398 2957 0 -1 4202560 316 0 0 0 1741 3 0 0 20 0 28 0 421190005 29458767872 306699 33554432000 4194304 4196468 140721433597152 140536458081488 140536782669080 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5423] ppid=5398 vsize=28768328 memory=8112282956445269571 CPUtime=16.51 cores=0-7
/proc/5400/task/5423/stat : 5423 (java) R 5398 5398 2957 0 -1 4202560 1879 0 0 0 1643 8 0 0 20 0 28 0 421190005 29458767872 306699 33554432000 4194304 4196468 140721433597152 140536457028528 140537160286810 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5424] ppid=5398 vsize=28768328 memory=4126316290023845779 CPUtime=17.41 cores=0-7
/proc/5400/task/5424/stat : 5424 (java) D 5398 5398 2957 0 -1 4202560 676 0 0 0 1738 3 0 0 20 0 28 0 421190005 29458767872 306699 33554432000 4194304 4196468 140721433597152 140536455975776 140537146233664 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5425] ppid=5398 vsize=28768316 memory=1047 CPUtime=17.66 cores=0-7
/proc/5400/task/5425/stat : 5425 (java) S 5398 5398 2957 0 -1 1077944384 375 0 0 0 1762 4 0 0 20 0 28 0 421190005 29458755584 306700 33554432000 4194304 4196468 140721433597152 140536454924336 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5426] ppid=5398 vsize=28768328 memory=1031 CPUtime=17.34 cores=0-7
/proc/5400/task/5426/stat : 5426 (java) S 5398 5398 2957 0 -1 1077944384 520 0 0 0 1732 2 0 0 20 0 28 0 421190005 29458767872 306700 33554432000 4194304 4196468 140721433597152 140536453868720 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5427] ppid=5398 vsize=28768328 memory=1078 CPUtime=17.1 cores=0-7
/proc/5400/task/5427/stat : 5427 (java) D 5398 5398 2957 0 -1 4202560 966 0 0 0 1708 2 0 0 20 0 28 0 421190005 29458767872 306700 33554432000 4194304 4196468 140721433597152 140536452819848 140537146252084 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 1 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
[pid=5400/tid=5428] ppid=5398 vsize=28768328 memory=8112282956445269571 CPUtime=17.69 cores=0-7
/proc/5400/task/5428/stat : 5428 (java) S 5398 5398 2957 0 -1 1077944384 540 0 0 0 1766 3 0 0 20 0 28 0 421190005 29458767872 306706 33554432000 4194304 4196468 140721433597152 140536451766992 140537160275669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26955776 140721433601002 140721433601174 140721433601174 140721433604047 0
Current children cumulated CPU time: 149.35 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1228220 KiB

Child status: 0
Real time (s): 19.4308
CPU time (s): 149.391
CPU user time (s): 148.496
CPU system time (s): 0.895249
CPU usage (%): 768.836
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 1229080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.496
system time used= 0.895249
maximum resident set size= 1227624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44944
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= 5240
involuntary context switches= 3068


# summary of solver processes directly reported to runsolver:
#   pid: 5398
#   total CPU time (s): 149.391
#   total CPU user time (s): 148.496
#   total CPU system time (s): 0.895249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.182603 second user time and 0.279508 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 10:18:53
IDJOB=4393707
IDBENCH=141696
IDSOLVER=2841
FILE ID=node150/4393707-1568449173
RUNJOBID= node150-1568441012-2984
PBS_JOBID= 21702341
Free space on /tmp= 59360 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
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 /tmp/evaluation-result-4393707-1568449173/watcher-4393707-1568449173 -o /tmp/evaluation-result-4393707-1568449173/solver-4393707-1568449173 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1192161216 HOME/instance-4393707-1568449173.xml

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

MD5SUM BENCH= 889399dd2d9405aab831b2de91bd17ad
RANDOM SEED=1192161216

node150.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.79
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.79
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.79
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.79
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:        30571108 kB
MemAvailable:   31848304 kB
Buffers:          161156 kB
Cached:          1363260 kB
SwapCached:        13556 kB
Active:           768316 kB
Inactive:         804452 kB
Active(anon):       5584 kB
Inactive(anon):    68520 kB
Active(file):     762732 kB
Inactive(file):   735932 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       67022328 kB
Dirty:             25872 kB
Writeback:             4 kB
AnonPages:        143632 kB
Mapped:            39612 kB
Shmem:             17652 kB
Slab:             218252 kB
SReclaimable:     188732 kB
SUnreclaim:        29520 kB
KernelStack:        3440 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498216 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:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59332 MiB
End job on node150 at 2019-09-14 10:19:13