Trace number 4404467

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-20 parallelSAT 243.512 31.1839

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404467-1569012294/watcher-4404467-1569012294 -o /var/tmp/evaluation-result-4404467-1569012294/solver-4404467-1569012294 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569004947-15378 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1923907468 HOME/instance-4404467-1569012294.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=16698, runsolver pid=16695

[startup+0.100122 s]*
/proc/loadavg: 7.61 8.21 8.19 2/213 16719
/proc/meminfo: memFree=25640100/32770624 swapFree=66989220/67108860
[pid=16698] ppid=16695 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16698/stat : 16698 (xcsp3-exec) S 16695 16698 15351 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477492011 115843072 362 33554432000 4194304 5098028 140731160125504 140731160123608 139624453653116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38215680 140731160130385 140731160130645 140731160130645 140731160133574 0
/proc/16698/statm: 28282 362 304 221 0 87 0
[pid=16700] ppid=16698 vsize=28227396 memory=28820 CPUtime=0.12 cores=0-7
/proc/16700/stat : 16700 (java) S 16698 16698 15351 0 -1 1077944320 5691 0 0 0 11 1 0 0 20 0 20 0 477492012 28904853504 7205 33554432000 4194304 4196468 140734583564032 140734583546576 140525706231543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
/proc/16700/statm: 7056849 7205 3123 1 0 7019032 0
[pid=16700/tid=16701] ppid=16698 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/16700/task/16701/stat : 16701 (java) R 16698 16698 15351 0 -1 4202560 3603 0 0 0 8 0 0 0 20 0 20 0 477492012 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525710457680 140525706243478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16702] ppid=16698 vsize=28227396 memory=732370569705855973 CPUtime=0 cores=0-7
/proc/16700/task/16702/stat : 16702 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525257742992 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16703] ppid=16698 vsize=28227396 memory=140431368402560 CPUtime=0 cores=0-7
/proc/16700/task/16703/stat : 16703 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525256690192 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16704] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16704/stat : 16704 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525255637392 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16705] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16705/stat : 16705 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525254584592 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16706] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16706/stat : 16706 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525253532816 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16707] ppid=16698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16700/task/16707/stat : 16707 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525252480016 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16708] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16708/stat : 16708 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525251427216 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16709] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16709/stat : 16709 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 7205 33554432000 4194304 4196468 140734583564032 140525250374416 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16710] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16710/stat : 16710 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492014 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524822526320 140525706242690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16711] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16711/stat : 16711 (java) S 16698 16698 15351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477492015 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524821472288 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16712] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16712/stat : 16712 (java) S 16698 16698 15351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477492015 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524753249136 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16713] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16713/stat : 16713 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492017 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524752197456 140525706250139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16714] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16714/stat : 16714 (java) S 16698 16698 15351 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 477492017 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524751145840 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16715] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16715/stat : 16715 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477492017 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524750093040 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16716] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16716/stat : 16716 (java) S 16698 16698 15351 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477492017 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524749040240 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16717] ppid=16698 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16700/task/16717/stat : 16717 (java) R 16698 16698 15351 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 20 0 477492017 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524747987440 140525690312030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16718] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16718/stat : 16718 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477492018 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524746934880 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16719] ppid=16698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16700/task/16719/stat : 16719 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492018 28904853504 7205 33554432000 4194304 4196468 140734583564032 140524745882160 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30268 KiB

[startup+0.210496 s]*
/proc/loadavg: 7.61 8.21 8.19 2/213 16719
/proc/meminfo: memFree=25627632/32770624 swapFree=66989220/67108860
[pid=16698] ppid=16695 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16698/stat : 16698 (xcsp3-exec) S 16695 16698 15351 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477492011 115843072 362 33554432000 4194304 5098028 140731160125504 140731160123608 139624453653116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38215680 140731160130385 140731160130645 140731160130645 140731160133574 0
/proc/16698/statm: 28282 362 304 221 0 87 0
[pid=16700] ppid=16698 vsize=28227396 memory=41304 CPUtime=0.33 cores=0-7
/proc/16700/stat : 16700 (java) S 16698 16698 15351 0 -1 1077944320 9519 0 0 0 30 3 0 0 20 0 20 0 477492012 28904853504 10326 33554432000 4194304 4196468 140734583564032 140734583546576 140525706231543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
/proc/16700/statm: 7056849 10326 3317 1 0 7019032 0
[pid=16700/tid=16701] ppid=16698 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/16700/task/16701/stat : 16701 (java) R 16698 16698 15351 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 20 0 477492012 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525710464272 140525685309440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16702] ppid=16698 vsize=28227396 memory=732370569705855973 CPUtime=0 cores=0-7
/proc/16700/task/16702/stat : 16702 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525257742992 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16703] ppid=16698 vsize=28227396 memory=140431368402560 CPUtime=0 cores=0-7
/proc/16700/task/16703/stat : 16703 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525256690192 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16704] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16704/stat : 16704 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525255637392 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16705] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16705/stat : 16705 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525254584592 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16706] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16706/stat : 16706 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525253532816 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16707] ppid=16698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16700/task/16707/stat : 16707 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525252480016 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16708] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16708/stat : 16708 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525251427216 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16709] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16709/stat : 16709 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28904853504 10326 33554432000 4194304 4196468 140734583564032 140525250374416 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16710] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16710/stat : 16710 (java) S 16698 16698 15351 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477492014 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524822526320 140525706242690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16711] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16711/stat : 16711 (java) S 16698 16698 15351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477492015 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524821472288 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16712] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16712/stat : 16712 (java) S 16698 16698 15351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477492015 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524753249136 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16713] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16713/stat : 16713 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492017 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524752197456 140525706250139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16714] ppid=16698 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16700/task/16714/stat : 16714 (java) S 16698 16698 15351 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 20 0 477492017 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524751145840 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16715] ppid=16698 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16700/task/16715/stat : 16715 (java) S 16698 16698 15351 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 20 0 477492017 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524750093040 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16716] ppid=16698 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16700/task/16716/stat : 16716 (java) S 16698 16698 15351 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 20 0 477492017 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524749040240 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16717] ppid=16698 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/16700/task/16717/stat : 16717 (java) R 16698 16698 15351 0 -1 4202560 729 0 0 0 7 0 0 0 20 0 20 0 477492017 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524747987440 140525685637841 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16718] ppid=16698 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16718/stat : 16718 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477492018 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524746934880 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16719] ppid=16698 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16700/task/16719/stat : 16719 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492018 28904853504 10326 33554432000 4194304 4196468 140734583564032 140524745882160 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42752 KiB

[startup+0.31005 s]*
/proc/loadavg: 7.61 8.21 8.19 3/213 16719
/proc/meminfo: memFree=25619340/32770624 swapFree=66989220/67108860
[pid=16698] ppid=16695 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16698/stat : 16698 (xcsp3-exec) S 16695 16698 15351 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477492011 115843072 362 33554432000 4194304 5098028 140731160125504 140731160123608 139624453653116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38215680 140731160130385 140731160130645 140731160130645 140731160133574 0
/proc/16698/statm: 28282 362 304 221 0 87 0
[pid=16700] ppid=16698 vsize=28231652 memory=49888 CPUtime=0.53 cores=0-7
/proc/16700/stat : 16700 (java) S 16698 16698 15351 0 -1 1077944320 10843 0 0 0 49 4 0 0 20 0 20 0 477492012 28909211648 12472 33554432000 4194304 4196468 140734583564032 140734583546576 140525706231543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
/proc/16700/statm: 7057913 12472 3353 1 0 7019032 0
[pid=16700/tid=16701] ppid=16698 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16700/task/16701/stat : 16701 (java) R 16698 16698 15351 0 -1 4202560 7784 0 0 0 27 2 0 0 20 0 20 0 477492012 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525710465328 140525690312030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16702] ppid=16698 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16702/stat : 16702 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525257742992 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16703] ppid=16698 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16703/stat : 16703 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525256690192 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16704] ppid=16698 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16704/stat : 16704 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525255637392 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16705] ppid=16698 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16705/stat : 16705 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525254584592 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16706] ppid=16698 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16706/stat : 16706 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525253532816 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16707] ppid=16698 vsize=28231652 memory=140431270701743 CPUtime=0 cores=0-7
/proc/16700/task/16707/stat : 16707 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525252480016 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16708] ppid=16698 vsize=28231652 memory=140431270704048 CPUtime=0 cores=0-7
/proc/16700/task/16708/stat : 16708 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525251427216 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16709] ppid=16698 vsize=28231652 memory=140431270706352 CPUtime=0 cores=0-7
/proc/16700/task/16709/stat : 16709 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28909211648 12472 33554432000 4194304 4196468 140734583564032 140525250374416 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16710] ppid=16698 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16710/stat : 16710 (java) S 16698 16698 15351 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477492014 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524822526320 140525706242690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16711] ppid=16698 vsize=28231652 memory=280862541426576 CPUtime=0 cores=0-7
/proc/16700/task/16711/stat : 16711 (java) S 16698 16698 15351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477492015 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524821472288 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16712] ppid=16698 vsize=28231652 memory=280862541424272 CPUtime=0 cores=0-7
/proc/16700/task/16712/stat : 16712 (java) S 16698 16698 15351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477492015 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524753249136 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16713] ppid=16698 vsize=28231652 memory=280862541431184 CPUtime=0 cores=0-7
/proc/16700/task/16713/stat : 16713 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492017 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524752197456 140525706250139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16714] ppid=16698 vsize=28231652 memory=280862541372432 CPUtime=0.01 cores=0-7
/proc/16700/task/16714/stat : 16714 (java) S 16698 16698 15351 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 477492017 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524751145840 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16715] ppid=16698 vsize=28231652 memory=280862541445008 CPUtime=0.04 cores=0-7
/proc/16700/task/16715/stat : 16715 (java) R 16698 16698 15351 0 -1 4202560 409 0 0 0 4 0 0 0 20 0 20 0 477492017 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524750083424 140525687756440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16716] ppid=16698 vsize=28231652 memory=280862541451920 CPUtime=0.03 cores=0-7
/proc/16700/task/16716/stat : 16716 (java) S 16698 16698 15351 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 20 0 477492017 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524749040240 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16717] ppid=16698 vsize=28231652 memory=280862541449616 CPUtime=0.12 cores=0-7
/proc/16700/task/16717/stat : 16717 (java) S 16698 16698 15351 0 -1 1077944384 799 0 0 0 12 0 0 0 20 0 20 0 477492017 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524747987440 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16718] ppid=16698 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16718/stat : 16718 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477492018 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524746934880 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16719] ppid=16698 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16700/task/16719/stat : 16719 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492018 28909211648 12472 33554432000 4194304 4196468 140734583564032 140524745882160 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51336 KiB

[startup+0.701375 s]
/proc/loadavg: 7.61 8.21 8.19 4/213 16719
/proc/meminfo: memFree=25608856/32770624 swapFree=66989220/67108860
[pid=16698] ppid=16695 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16698/stat : 16698 (xcsp3-exec) S 16695 16698 15351 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477492011 115843072 362 33554432000 4194304 5098028 140731160125504 140731160123608 139624453653116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38215680 140731160130385 140731160130645 140731160130645 140731160133574 0
/proc/16698/statm: 28282 362 304 221 0 87 0
[pid=16700] ppid=16698 vsize=28233776 memory=104444 CPUtime=1.72 cores=0-7
/proc/16700/stat : 16700 (java) S 16698 16698 15351 0 -1 1077944320 15760 0 0 0 166 6 0 0 20 0 20 0 477492012 28911386624 26111 33554432000 4194304 4196468 140734583564032 140734583546576 140525706231543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
/proc/16700/statm: 7058444 26111 3467 1 0 7019544 0
[pid=16700/tid=16701] ppid=16698 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/16700/task/16701/stat : 16701 (java) R 16698 16698 15351 0 -1 4202560 9058 0 0 0 64 4 0 0 20 0 20 0 477492012 28911386624 26111 33554432000 4194304 4196468 140734583564032 140525710468312 140525311338371 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16702] ppid=16698 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16702/stat : 16702 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28911386624 26111 33554432000 4194304 4196468 140734583564032 140525257742992 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16703] ppid=16698 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16703/stat : 16703 (java) S 16698 16698 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477492013 28911386624 26111 33554432000 4194304 4196468 140734583564032 140525256690192 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16704] ppid=16698 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16704/stat : 16704 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477492013 28911386624 26111 33554432000 4194304 4196468 140734583564032 140525255637392 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0

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

[pid=16700/tid=16717] ppid=16698 vsize=28766288 memory=1060 CPUtime=0.66 cores=0-7
/proc/16700/task/16717/stat : 16717 (java) S 16698 16698 15351 0 -1 1077944384 3756 0 0 0 65 1 0 0 20 0 28 0 477492017 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524747987440 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16718] ppid=16698 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16700/task/16718/stat : 16718 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477492018 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524746934880 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16719] ppid=16698 vsize=28766288 memory=756 CPUtime=0.01 cores=0-7
/proc/16700/task/16719/stat : 16719 (java) S 16698 16698 15351 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 28 0 477492018 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524745882160 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16720] ppid=16698 vsize=28766288 memory=1548 CPUtime=28.95 cores=0-7
/proc/16700/task/16720/stat : 16720 (java) R 16698 16698 15351 0 -1 4202560 1281 0 0 0 2892 3 0 0 20 0 28 0 477492093 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524736662168 140525312142565 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16721] ppid=16698 vsize=28766288 memory=7976 CPUtime=28.94 cores=0-7
/proc/16700/task/16721/stat : 16721 (java) R 16698 16698 15351 0 -1 4202560 1326 0 0 0 2890 4 0 0 20 0 28 0 477492093 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524735610584 140525312522410 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16722] ppid=16698 vsize=28766288 memory=1164 CPUtime=29.25 cores=0-7
/proc/16700/task/16722/stat : 16722 (java) R 16698 16698 15351 0 -1 4202560 1852 0 0 0 2923 2 0 0 20 0 28 0 477492093 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524734558536 140525312501218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16723] ppid=16698 vsize=28766288 memory=0 CPUtime=29.13 cores=0-7
/proc/16700/task/16723/stat : 16723 (java) R 16698 16698 15351 0 -1 4202560 971 0 0 0 2909 4 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524733505856 140525312500872 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16724] ppid=16698 vsize=28766288 memory=-6876588461455810464 CPUtime=29.14 cores=0-7
/proc/16700/task/16724/stat : 16724 (java) R 16698 16698 15351 0 -1 4202560 709 0 0 0 2911 3 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524732453056 140525314059417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16725] ppid=16698 vsize=28766288 memory=6944656592452807325 CPUtime=29.4 cores=0-7
/proc/16700/task/16725/stat : 16725 (java) R 16698 16698 15351 0 -1 4202560 1537 0 0 0 2936 4 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524731399760 140525312843859 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16726] ppid=16698 vsize=28766288 memory=7805670902587548776 CPUtime=28.84 cores=0-7
/proc/16700/task/16726/stat : 16726 (java) R 16698 16698 15351 0 -1 4202560 2697 0 0 0 2877 7 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524730347592 140525312522294 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16727] ppid=16698 vsize=28766288 memory=-7384474665255210089 CPUtime=29.33 cores=0-7
/proc/16700/task/16727/stat : 16727 (java) R 16698 16698 15351 0 -1 4202560 1649 0 0 0 2929 4 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524729294728 140525312108230 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
Current children cumulated CPU time: 240.67 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1182360 KiB

[startup+31.0014 s]*
/proc/loadavg: 7.76 8.19 8.18 9/221 16730
/proc/meminfo: memFree=24485244/32770624 swapFree=66989220/67108860
[pid=16698] ppid=16695 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16698/stat : 16698 (xcsp3-exec) S 16695 16698 15351 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477492011 115843072 362 33554432000 4194304 5098028 140731160125504 140731160123608 139624453653116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38215680 140731160130385 140731160130645 140731160130645 140731160133574 0
/proc/16698/statm: 28282 362 304 221 0 87 0
[pid=16700] ppid=16698 vsize=28766288 memory=1180912 CPUtime=242.34 cores=0-7
/proc/16700/stat : 16700 (java) S 16698 16698 15351 0 -1 1077944320 49624 0 0 0 24149 85 0 0 20 0 28 0 477492012 29456678912 295228 33554432000 4194304 4196468 140734583564032 140734583546576 140525706231543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
/proc/16700/statm: 7191572 295228 3534 1 0 7152672 0
[pid=16700/tid=16701] ppid=16698 vsize=28766288 memory=1398722017469774279 CPUtime=0.8 cores=0-7
/proc/16700/task/16701/stat : 16701 (java) S 16698 16698 15351 0 -1 1077944384 9154 0 0 0 75 5 0 0 20 0 28 0 477492012 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525710472320 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16702] ppid=16698 vsize=28766288 memory=-7003737579269690708 CPUtime=0.11 cores=0-7
/proc/16700/task/16702/stat : 16702 (java) S 16698 16698 15351 0 -1 1077944384 862 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525257742992 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16703] ppid=16698 vsize=28766288 memory=928 CPUtime=0.11 cores=0-7
/proc/16700/task/16703/stat : 16703 (java) S 16698 16698 15351 0 -1 1077944384 358 0 0 0 6 5 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525256690192 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16704] ppid=16698 vsize=28766288 memory=3784 CPUtime=0.09 cores=0-7
/proc/16700/task/16704/stat : 16704 (java) S 16698 16698 15351 0 -1 1077944384 289 0 0 0 5 4 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525255637392 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16705] ppid=16698 vsize=28766288 memory=1440 CPUtime=0.09 cores=0-7
/proc/16700/task/16705/stat : 16705 (java) S 16698 16698 15351 0 -1 1077944384 190 0 0 0 6 3 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525254584592 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16706] ppid=16698 vsize=28766288 memory=904 CPUtime=0.11 cores=0-7
/proc/16700/task/16706/stat : 16706 (java) S 16698 16698 15351 0 -1 1077944384 228 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525253532816 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16707] ppid=16698 vsize=28766288 memory=1984 CPUtime=0.11 cores=0-7
/proc/16700/task/16707/stat : 16707 (java) S 16698 16698 15351 0 -1 1077944384 526 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525252480016 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16708] ppid=16698 vsize=28766288 memory=2528 CPUtime=0.11 cores=0-7
/proc/16700/task/16708/stat : 16708 (java) S 16698 16698 15351 0 -1 1077944384 295 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525251427216 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16709] ppid=16698 vsize=28766288 memory=1764 CPUtime=0.1 cores=0-7
/proc/16700/task/16709/stat : 16709 (java) S 16698 16698 15351 0 -1 1077944384 1090 0 0 0 6 4 0 0 20 0 28 0 477492013 29456678912 295228 33554432000 4194304 4196468 140734583564032 140525250374416 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16710] ppid=16698 vsize=28766288 memory=111632 CPUtime=0.01 cores=0-7
/proc/16700/task/16710/stat : 16710 (java) S 16698 16698 15351 0 -1 1077944384 1828 0 0 0 1 0 0 0 20 0 28 0 477492014 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524822526320 140525706242690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16711] ppid=16698 vsize=28766288 memory=804 CPUtime=0 cores=0-7
/proc/16700/task/16711/stat : 16711 (java) S 16698 16698 15351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 477492015 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524821472288 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16712] ppid=16698 vsize=28766288 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/16700/task/16712/stat : 16712 (java) S 16698 16698 15351 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 477492015 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524753249152 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16713] ppid=16698 vsize=28766288 memory=98401 CPUtime=0 cores=0-7
/proc/16700/task/16713/stat : 16713 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477492017 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524752197456 140525706250139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16714] ppid=16698 vsize=28766288 memory=6791534058613427641 CPUtime=1.68 cores=0-7
/proc/16700/task/16714/stat : 16714 (java) S 16698 16698 15351 0 -1 1077944384 5908 0 0 0 167 1 0 0 20 0 28 0 477492017 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524751145840 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16715] ppid=16698 vsize=28766288 memory=6369617543181068644 CPUtime=1.43 cores=0-7
/proc/16700/task/16715/stat : 16715 (java) S 16698 16698 15351 0 -1 1077944384 5217 0 0 0 140 3 0 0 20 0 28 0 477492017 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524750093040 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16716] ppid=16698 vsize=28766288 memory=7594292064303999079 CPUtime=2.07 cores=0-7
/proc/16700/task/16716/stat : 16716 (java) S 16698 16698 15351 0 -1 1077944384 5591 0 0 0 205 2 0 0 20 0 28 0 477492017 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524749040240 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16717] ppid=16698 vsize=28766288 memory=7594292064303999079 CPUtime=0.66 cores=0-7
/proc/16700/task/16717/stat : 16717 (java) S 16698 16698 15351 0 -1 1077944384 3756 0 0 0 65 1 0 0 20 0 28 0 477492017 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524747987440 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16718] ppid=16698 vsize=28766288 memory=7594292064303999079 CPUtime=0 cores=0-7
/proc/16700/task/16718/stat : 16718 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477492018 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524746934880 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16719] ppid=16698 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/16700/task/16719/stat : 16719 (java) S 16698 16698 15351 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 28 0 477492018 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524745882160 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16720] ppid=16698 vsize=28766288 memory=0 CPUtime=29.16 cores=0-7
/proc/16700/task/16720/stat : 16720 (java) R 16698 16698 15351 0 -1 4202560 1284 0 0 0 2913 3 0 0 20 0 28 0 477492093 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524736662168 140525312842961 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16721] ppid=16698 vsize=28766288 memory=0 CPUtime=29.14 cores=0-7
/proc/16700/task/16721/stat : 16721 (java) R 16698 16698 15351 0 -1 4202560 1743 0 0 0 2910 4 0 0 20 0 28 0 477492093 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524735610584 140525312144307 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16722] ppid=16698 vsize=28766288 memory=0 CPUtime=29.47 cores=0-7
/proc/16700/task/16722/stat : 16722 (java) R 16698 16698 15351 0 -1 4202560 1922 0 0 0 2944 3 0 0 20 0 28 0 477492093 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524734558536 140525312843211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16723] ppid=16698 vsize=28766288 memory=0 CPUtime=29.34 cores=0-7
/proc/16700/task/16723/stat : 16723 (java) R 16698 16698 15351 0 -1 4202560 974 0 0 0 2930 4 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524733505856 140525313323849 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16724] ppid=16698 vsize=28766288 memory=5794535547722547298 CPUtime=29.35 cores=0-7
/proc/16700/task/16724/stat : 16724 (java) R 16698 16698 15351 0 -1 4202560 713 0 0 0 2932 3 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524732453056 140525312108291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16725] ppid=16698 vsize=28766288 memory=7451315970123262548 CPUtime=29.61 cores=0-7
/proc/16700/task/16725/stat : 16725 (java) R 16698 16698 15351 0 -1 4202560 1543 0 0 0 2957 4 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524731399760 140525312522744 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16726] ppid=16698 vsize=28766288 memory=7444825561389879400 CPUtime=29.05 cores=0-7
/proc/16700/task/16726/stat : 16726 (java) R 16698 16698 15351 0 -1 4202560 2703 0 0 0 2898 7 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524730347592 140525312522256 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16727] ppid=16698 vsize=28766288 memory=7230638415855315543 CPUtime=29.53 cores=0-7
/proc/16700/task/16727/stat : 16727 (java) R 16698 16698 15351 0 -1 4202560 1653 0 0 0 2949 4 0 0 20 0 28 0 477492094 29456678912 295228 33554432000 4194304 4196468 140734583564032 140524729294728 140525312108230 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
Current children cumulated CPU time: 242.34 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1182360 KiB

[startup+31.1114 s]
/proc/loadavg: 7.76 8.19 8.18 9/221 16730
/proc/meminfo: memFree=24485244/32770624 swapFree=66989220/67108860
[pid=16698] ppid=16695 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/16698/stat : 16698 (xcsp3-exec) S 16695 16698 15351 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477492011 115843072 362 33554432000 4194304 5098028 140731160125504 140731160123608 139624453653116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38215680 140731160130385 140731160130645 140731160130645 140731160133574 0
/proc/16698/statm: 28282 362 304 221 0 87 0
[pid=16700] ppid=16698 vsize=28766288 memory=1180940 CPUtime=243.14 cores=0-7
/proc/16700/stat : 16700 (java) S 16698 16698 15351 0 -1 1077944320 49890 0 0 0 24229 85 0 0 20 0 28 0 477492012 29456678912 295235 33554432000 4194304 4196468 140734583564032 140734583546576 140525706231543 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
/proc/16700/statm: 7191572 295235 3534 1 0 7152672 0
[pid=16700/tid=16701] ppid=16698 vsize=28766288 memory=1180912 CPUtime=0.8 cores=0-7
/proc/16700/task/16701/stat : 16701 (java) S 16698 16698 15351 0 -1 1077944384 9154 0 0 0 75 5 0 0 20 0 28 0 477492012 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525710472320 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16702] ppid=16698 vsize=28766288 memory=1180884 CPUtime=0.11 cores=0-7
/proc/16700/task/16702/stat : 16702 (java) S 16698 16698 15351 0 -1 1077944384 862 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525257742992 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16703] ppid=16698 vsize=28766288 memory=2528 CPUtime=0.11 cores=0-7
/proc/16700/task/16703/stat : 16703 (java) S 16698 16698 15351 0 -1 1077944384 358 0 0 0 6 5 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525256690192 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16704] ppid=16698 vsize=28766288 memory=1180912 CPUtime=0.09 cores=0-7
/proc/16700/task/16704/stat : 16704 (java) S 16698 16698 15351 0 -1 1077944384 289 0 0 0 5 4 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525255637392 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16705] ppid=16698 vsize=28766288 memory=16100 CPUtime=0.09 cores=0-7
/proc/16700/task/16705/stat : 16705 (java) S 16698 16698 15351 0 -1 1077944384 190 0 0 0 6 3 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525254584592 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16706] ppid=16698 vsize=28766288 memory=1180912 CPUtime=0.11 cores=0-7
/proc/16700/task/16706/stat : 16706 (java) S 16698 16698 15351 0 -1 1077944384 228 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525253532816 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16707] ppid=16698 vsize=28766288 memory=6943526294502006880 CPUtime=0.11 cores=0-7
/proc/16700/task/16707/stat : 16707 (java) S 16698 16698 15351 0 -1 1077944384 526 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525252480016 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16708] ppid=16698 vsize=28766288 memory=1180752 CPUtime=0.11 cores=0-7
/proc/16700/task/16708/stat : 16708 (java) S 16698 16698 15351 0 -1 1077944384 295 0 0 0 7 4 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525251427216 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16709] ppid=16698 vsize=28766288 memory=7300722378031785815 CPUtime=0.1 cores=0-7
/proc/16700/task/16709/stat : 16709 (java) S 16698 16698 15351 0 -1 1077944384 1090 0 0 0 6 4 0 0 20 0 28 0 477492013 29456678912 295235 33554432000 4194304 4196468 140734583564032 140525250374416 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16710] ppid=16698 vsize=28766288 memory=9520 CPUtime=0.01 cores=0-7
/proc/16700/task/16710/stat : 16710 (java) S 16698 16698 15351 0 -1 1077944384 1829 0 0 0 1 0 0 0 20 0 28 0 477492014 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524822526320 140525706242690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16711] ppid=16698 vsize=28766288 memory=14004 CPUtime=0 cores=0-7
/proc/16700/task/16711/stat : 16711 (java) S 16698 16698 15351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 477492015 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524821472288 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16712] ppid=16698 vsize=28766288 memory=2120 CPUtime=0 cores=0-7
/proc/16700/task/16712/stat : 16712 (java) S 16698 16698 15351 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 477492015 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524753249152 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16713] ppid=16698 vsize=28766288 memory=10 CPUtime=0 cores=0-7
/proc/16700/task/16713/stat : 16713 (java) S 16698 16698 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477492017 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524752197456 140525706250139 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16714] ppid=16698 vsize=28766288 memory=1 CPUtime=1.68 cores=0-7
/proc/16700/task/16714/stat : 16714 (java) S 16698 16698 15351 0 -1 1077944384 5909 0 0 0 167 1 0 0 20 0 28 0 477492017 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524751145840 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16715] ppid=16698 vsize=28766288 memory=0 CPUtime=1.43 cores=0-7
/proc/16700/task/16715/stat : 16715 (java) S 16698 16698 15351 0 -1 1077944384 5217 0 0 0 140 3 0 0 20 0 28 0 477492017 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524750093040 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16716] ppid=16698 vsize=28766288 memory=1165188 CPUtime=2.07 cores=0-7
/proc/16700/task/16716/stat : 16716 (java) S 16698 16698 15351 0 -1 1077944384 5591 0 0 0 205 2 0 0 20 0 28 0 477492017 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524749040240 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16717] ppid=16698 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7
/proc/16700/task/16717/stat : 16717 (java) R 16698 16698 15351 0 -1 1077944384 3975 0 0 0 65 1 0 0 20 0 28 0 477492017 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524747987224 140525706252733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16718] ppid=16698 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/16700/task/16718/stat : 16718 (java) S 16698 16698 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477492018 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524746934880 140525706241749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16719] ppid=16698 vsize=28766288 memory=1448 CPUtime=0.01 cores=0-7
/proc/16700/task/16719/stat : 16719 (java) S 16698 16698 15351 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 28 0 477492018 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524745882160 140525706242690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16720] ppid=16698 vsize=28766288 memory=1180912 CPUtime=29.26 cores=0-7
/proc/16700/task/16720/stat : 16720 (java) R 16698 16698 15351 0 -1 4202560 1287 0 0 0 2923 3 0 0 20 0 28 0 477492093 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524736662032 140525314059495 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16721] ppid=16698 vsize=28766288 memory=140431368407233 CPUtime=29.24 cores=0-7
/proc/16700/task/16721/stat : 16721 (java) R 16698 16698 15351 0 -1 4202560 1748 0 0 0 2920 4 0 0 20 0 28 0 477492093 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524735610192 140525313053024 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16722] ppid=16698 vsize=28766288 memory=7883665941071157349 CPUtime=29.57 cores=0-7
/proc/16700/task/16722/stat : 16722 (java) R 16698 16698 15351 0 -1 4202560 1924 0 0 0 2954 3 0 0 20 0 28 0 477492093 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524734558712 140525314059972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16723] ppid=16698 vsize=28766288 memory=1164 CPUtime=29.44 cores=0-7
/proc/16700/task/16723/stat : 16723 (java) R 16698 16698 15351 0 -1 4202560 976 0 0 0 2940 4 0 0 20 0 28 0 477492094 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524733505856 140525312843033 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16724] ppid=16698 vsize=28766288 memory=9520 CPUtime=29.45 cores=0-7
/proc/16700/task/16724/stat : 16724 (java) R 16698 16698 15351 0 -1 4202560 715 0 0 0 2942 3 0 0 20 0 28 0 477492094 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524732452976 140525313848280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16725] ppid=16698 vsize=28766288 memory=14004 CPUtime=29.71 cores=0-7
/proc/16700/task/16725/stat : 16725 (java) R 16698 16698 15351 0 -1 4202560 1546 0 0 0 2967 4 0 0 20 0 28 0 477492094 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524731400176 140525313849363 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16726] ppid=16698 vsize=28766288 memory=2004 CPUtime=29.15 cores=0-7
/proc/16700/task/16726/stat : 16726 (java) R 16698 16698 15351 0 -1 4202560 2729 0 0 0 2908 7 0 0 20 0 28 0 477492094 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524730350528 140525306936053 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
[pid=16700/tid=16727] ppid=16698 vsize=28766288 memory=984 CPUtime=29.62 cores=0-7
/proc/16700/task/16727/stat : 16727 (java) R 16698 16698 15351 0 -1 4202560 1655 0 0 0 2958 4 0 0 20 0 28 0 477492094 29456678912 295235 33554432000 4194304 4196468 140734583564032 140524729294776 140525312844031 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 26025984 140734583571414 140734583571590 140734583571590 140734583574479 0
Current children cumulated CPU time: 243.14 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1182388 KiB

Child status: 0
Real time (s): 31.1839
CPU time (s): 243.512
CPU user time (s): 242.638
CPU system time (s): 0.873853
CPU usage (%): 780.89
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1182388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.638
system time used= 0.873853
maximum resident set size= 1183388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5172
involuntary context switches= 3907


# summary of solver processes directly reported to runsolver:
#   pid: 16698
#   total CPU time (s): 243.512
#   total CPU user time (s): 242.638
#   total CPU system time (s): 0.873853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.293067 second user time and 0.428162 second system time

The end

Launcher Data

Begin job on node121 at 2019-09-20 22:44:11
IDJOB=4404467
IDBENCH=141696
IDSOLVER=2865
FILE ID=node121/4404467-1569012294
RUNJOBID= node121-1569004947-15378
PBS_JOBID= 21704746
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-20 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-4404467-1569012294/watcher-4404467-1569012294 -o /var/tmp/evaluation-result-4404467-1569012294/solver-4404467-1569012294 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569004947-15378 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1923907468 HOME/instance-4404467-1569012294.xml

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

MD5SUM BENCH= 889399dd2d9405aab831b2de91bd17ad
RANDOM SEED=1923907468

node121.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.75
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.75
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.75
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.75
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:        25655840 kB
MemAvailable:   31858140 kB
Buffers:           96800 kB
Cached:          6204292 kB
SwapCached:         5388 kB
Active:          3138140 kB
Inactive:        3170444 kB
Active(anon):       3408 kB
Inactive(anon):    42032 kB
Active(file):    3134732 kB
Inactive(file):  3128412 kB
Unevictable:      111168 kB
Mlocked:          111168 kB
SwapTotal:      67108860 kB
SwapFree:       66989220 kB
Dirty:             26132 kB
Writeback:            12 kB
AnonPages:        113352 kB
Mapped:            47256 kB
Shmem:             29724 kB
Slab:             396812 kB
SReclaimable:     367616 kB
SUnreclaim:        29196 kB
KernelStack:        3392 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node121 at 2019-09-20 22:44:43