Trace number 4405967

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-24SAT 148.855 144.635

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405967-1569415367/watcher-4405967-1569415367 -o /tmp/evaluation-result-4405967-1569415367/solver-4405967-1569415367 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569408595-17299 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1501084404 HOME/instance-4405967-1569415367.xml 

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

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

solver pid=18632, runsolver pid=18629

[startup+0.100157 s]*
/proc/loadavg: 1.83 1.81 1.81 4/230 18648
/proc/meminfo: memFree=27296036/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15144776 memory=29336 CPUtime=0.13 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 5742 0 0 0 12 1 0 0 20 0 15 0 517789729 15508250624 7334 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3786194 7334 3154 1 0 3748377 0
[pid=18634/tid=18635] ppid=18632 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 3656 0 0 0 8 0 0 0 20 0 15 0 517789729 15508250624 7334 33554432000 4194304 4196468 140724078358592 140634118905744 140634098754910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 7334 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15144776 memory=3688931317751666336 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 7334 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 7334 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 7334 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517789731 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517789731 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632987722528 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517789732 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632986670192 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) R 18632 18632 17267 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 517789734 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632984566384 140634114685570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) R 18632 18632 17267 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 15 0 517789734 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632983513584 140634098576510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15144776 memory=139938261816960 CPUtime=0.02 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) R 18632 18632 17267 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 517789734 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632982461296 140634100998807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789735 15508250624 7334 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30788 KiB

[startup+0.211055 s]*
/proc/loadavg: 1.83 1.81 1.81 4/230 18648
/proc/meminfo: memFree=27282660/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15144776 memory=40832 CPUtime=0.34 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 9492 0 0 0 32 2 0 0 20 0 15 0 517789729 15508250624 10208 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3786194 10208 3250 1 0 3748377 0
[pid=18634/tid=18635] ppid=18632 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 6653 0 0 0 18 2 0 0 20 0 15 0 517789729 15508250624 10208 33554432000 4194304 4196468 140724078358592 140634118911184 140634114696349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 10208 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15144776 memory=139938265941831 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 10208 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 10208 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517789730 15508250624 10208 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15144776 memory=139938261816960 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517789731 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517789731 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632987722528 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517789732 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632986670192 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18632 17267 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 517789734 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632984566384 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18632 17267 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 15 0 517789734 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632983513584 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15144776 memory=139938261816960 CPUtime=0.08 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) R 18632 18632 17267 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 517789734 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632982461296 140634114695770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789735 15508250624 10208 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42284 KiB

[startup+0.310705 s]*
/proc/loadavg: 1.83 1.81 1.81 6/230 18648
/proc/meminfo: memFree=27275640/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15149032 memory=50280 CPUtime=0.53 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 10895 0 0 0 50 3 0 0 20 0 15 0 517789729 15512608768 12570 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3787258 12570 3371 1 0 3748377 0
[pid=18634/tid=18635] ppid=18632 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 7827 0 0 0 27 3 0 0 20 0 15 0 517789729 15512608768 12570 33554432000 4194304 4196468 140724078358592 140634118901040 140634100040819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15512608768 12570 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15512608768 12570 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15512608768 12570 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517789730 15512608768 12570 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517789731 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517789731 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632987722528 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517789732 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632986670192 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15149032 memory=6576575808607070885 CPUtime=0.03 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18632 17267 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 15 0 517789734 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632984566384 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) R 18632 18632 17267 0 -1 4202560 445 0 0 0 6 0 0 0 20 0 15 0 517789734 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632983494600 140634096194098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18632 17267 0 -1 1077944384 852 0 0 0 13 0 0 0 20 0 15 0 517789734 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632982461296 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789735 15512608768 12570 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51732 KiB

[startup+0.70171 s]
/proc/loadavg: 1.83 1.81 1.81 5/230 18648
/proc/meminfo: memFree=27266012/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15151156 memory=73004 CPUtime=1.52 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 13462 0 0 0 147 5 0 0 20 0 15 0 517789729 15514783744 18251 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3787789 18251 3459 1 0 3748889 0
[pid=18634/tid=18635] ppid=18632 vsize=15151156 memory=-7533522213388100735 CPUtime=0.68 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 9127 0 0 0 64 4 0 0 20 0 15 0 517789729 15514783744 18251 33554432000 4194304 4196468 140724078358592 140634118913352 140633750559506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15514783744 18251 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15151156 memory=7519155755615801680 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15514783744 18251 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15151156 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789730 15514783744 18251 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517789730 15514783744 18251 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15151156 memory=676 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517789731 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517789731 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632987722528 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517789732 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632986670192 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15151156 memory=1712 CPUtime=0.22 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) R 18632 18632 17267 0 -1 4202560 874 0 0 0 22 0 0 0 20 0 15 0 517789734 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632984566384 140634093851918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15151156 memory=1112 CPUtime=0.23 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) R 18632 18632 17267 0 -1 4202560 672 0 0 0 23 0 0 0 20 0 15 0 517789734 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632983513584 140634100826064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15151156 memory=1004 CPUtime=0.36 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) R 18632 18632 17267 0 -1 4202560 1481 0 0 0 36 0 0 0 20 0 15 0 517789734 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632982461296 140634093477632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15151156 memory=6096 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517789735 15514783744 18251 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 74456 KiB

[startup+1.50079 s]
/proc/loadavg: 1.83 1.81 1.81 4/230 18648
/proc/meminfo: memFree=27229972/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0

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

/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15151156 memory=144816 CPUtime=147.71 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 48610 0 0 0 14752 19 0 0 20 0 15 0 517789729 15514783744 36204 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3787789 36204 3515 1 0 3748889 0
[pid=18634/tid=18635] ppid=18632 vsize=15151156 memory=2512 CPUtime=143.35 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 13441 0 0 0 14329 6 0 0 20 0 15 0 517789729 15514783744 36204 33554432000 4194304 4196468 140724078358592 140634118913584 140633754823369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15151156 memory=1436 CPUtime=0.04 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1321 0 0 0 3 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15151156 memory=1060 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 848 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15151156 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1103 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15151156 memory=3504 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 900 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15151156 memory=66876 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 1317 0 0 0 4 1 0 0 20 0 15 0 517789731 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15151156 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517789731 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632987722592 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 517789732 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632986670208 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15151156 memory=776 CPUtime=1.5 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18632 17267 0 -1 1077944384 6974 0 0 0 150 0 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632984566384 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15151156 memory=3604 CPUtime=1.97 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18632 17267 0 -1 1077944384 15632 0 0 0 195 2 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632983513584 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15151156 memory=2828 CPUtime=0.54 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18632 17267 0 -1 1077944384 5163 0 0 0 53 1 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632982461296 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15151156 memory=676 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15151156 memory=1060 CPUtime=0.02 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 511 0 0 0 0 2 0 0 20 0 15 0 517789735 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 147.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 146268 KiB

[startup+144.301 s]*
/proc/loadavg: 1.79 1.84 1.82 3/230 18658
/proc/meminfo: memFree=27107544/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15151156 memory=144816 CPUtime=148.52 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 48872 0 0 0 14833 19 0 0 20 0 15 0 517789729 15514783744 36204 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3787789 36204 3515 1 0 3748889 0
[pid=18634/tid=18635] ppid=18632 vsize=15151156 memory=1398722017469774279 CPUtime=144.16 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 13688 0 0 0 14410 6 0 0 20 0 15 0 517789729 15514783744 36204 33554432000 4194304 4196468 140724078358592 140634118913584 140633754626891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15151156 memory=1112 CPUtime=0.04 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1321 0 0 0 3 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15151156 memory=1004 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 848 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15151156 memory=6096 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1103 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15151156 memory=14008 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 900 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36204 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15151156 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 1317 0 0 0 4 1 0 0 20 0 15 0 517789731 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15151156 memory=143280 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517789731 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632987722592 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 517789732 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632986670208 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15151156 memory=3024 CPUtime=1.5 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18632 17267 0 -1 1077944384 6974 0 0 0 150 0 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632984566384 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15151156 memory=1452 CPUtime=1.97 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18632 17267 0 -1 1077944384 15632 0 0 0 195 2 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632983513584 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15151156 memory=142768 CPUtime=0.54 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18632 17267 0 -1 1077944384 5163 0 0 0 53 1 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632982461296 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15151156 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15151156 memory=1398722017469774279 CPUtime=0.02 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 526 0 0 0 0 2 0 0 20 0 15 0 517789735 15514783744 36204 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 148.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 146268 KiB

[startup+144.501 s]
/proc/loadavg: 1.79 1.84 1.82 3/230 18658
/proc/meminfo: memFree=27107544/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15151156 memory=144300 CPUtime=148.71 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 49217 0 0 0 14852 19 0 0 20 0 15 0 517789729 15514783744 36075 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3787789 36075 3515 1 0 3748889 0
[pid=18634/tid=18635] ppid=18632 vsize=15151156 memory=1412 CPUtime=144.35 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 13695 0 0 0 14429 6 0 0 20 0 15 0 517789729 15514783744 36075 33554432000 4194304 4196468 140724078358592 140634118914000 140633755139535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15151156 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1323 0 0 0 3 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15151156 memory=36696 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 952 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15151156 memory=12024 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1121 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15151156 memory=500 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 903 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15151156 memory=1560 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 1528 0 0 0 4 1 0 0 20 0 15 0 517789731 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517789731 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632987722592 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 517789732 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632986670208 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15151156 memory=2512 CPUtime=1.5 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18632 17267 0 -1 1077944384 6974 0 0 0 150 0 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632984566384 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15151156 memory=1436 CPUtime=1.97 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18632 17267 0 -1 1077944384 15632 0 0 0 195 2 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632983513584 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15151156 memory=144816 CPUtime=0.54 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18632 17267 0 -1 1077944384 5163 0 0 0 53 1 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632982461296 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15151156 memory=6096 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15151156 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 526 0 0 0 1 2 0 0 20 0 15 0 517789735 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 148.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 145752 KiB

[startup+144.601 s]
/proc/loadavg: 1.79 1.84 1.82 3/230 18658
/proc/meminfo: memFree=27107544/32770624 swapFree=66999256/67108860
[pid=18632] ppid=18629 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18632/stat : 18632 (xcsp3-exec) S 18629 18632 17267 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517789728 115843072 363 33554432000 4194304 5098028 140727270930208 140727270928312 139673111003772 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25964544 140727270933370 140727270933613 140727270933613 140727270936522 0
/proc/18632/statm: 28282 363 304 221 0 87 0
[pid=18634] ppid=18632 vsize=15151156 memory=144300 CPUtime=148.81 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18632 17267 0 -1 1077944320 49219 0 0 0 14862 19 0 0 20 0 15 0 517789729 15514783744 36075 33554432000 4194304 4196468 140724078358592 140724078341136 140634114674423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
/proc/18634/statm: 3787789 36075 3515 1 0 3748889 0
[pid=18634/tid=18635] ppid=18632 vsize=15151156 memory=1452 CPUtime=144.45 cores=1,3,5,7
/proc/18634/task/18635/stat : 18635 (java) R 18632 18632 17267 0 -1 4202560 13697 0 0 0 14439 6 0 0 20 0 15 0 517789729 15514783744 36075 33554432000 4194304 4196468 140724078358592 140634118914000 140633755136063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18636] ppid=18632 vsize=15151156 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18632 17267 0 -1 1077944384 1323 0 0 0 3 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140634075634576 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18637] ppid=18632 vsize=15151156 memory=144300 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18632 17267 0 -1 1077944384 952 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140633705519888 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18638] ppid=18632 vsize=15151156 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18632 17267 0 -1 1077944384 1121 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140633704467600 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18639] ppid=18632 vsize=15151156 memory=144816 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18632 17267 0 -1 1077944384 903 0 0 0 4 1 0 0 20 0 15 0 517789730 15514783744 36075 33554432000 4194304 4196468 140724078358592 140633703414800 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18640] ppid=18632 vsize=15151156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18632 17267 0 -1 1077944384 1528 0 0 0 4 1 0 0 20 0 15 0 517789731 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632988776560 140634114685570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18641] ppid=18632 vsize=15151156 memory=12608 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18632 17267 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517789731 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632987722592 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18642] ppid=18632 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18632 17267 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 517789732 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632986670208 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18643] ppid=18632 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632985618512 140634114693019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18644] ppid=18632 vsize=15151156 memory=1980 CPUtime=1.5 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18632 17267 0 -1 1077944384 6974 0 0 0 150 0 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632984566384 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18645] ppid=18632 vsize=15151156 memory=2512 CPUtime=1.97 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18632 17267 0 -1 1077944384 15632 0 0 0 195 2 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632983513584 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18646] ppid=18632 vsize=15151156 memory=6096 CPUtime=0.54 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18632 17267 0 -1 1077944384 5163 0 0 0 53 1 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632982461296 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18647] ppid=18632 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18632 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517789734 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632981408736 140634114684629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
[pid=18634/tid=18648] ppid=18632 vsize=15151156 memory=2124 CPUtime=0.03 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18632 17267 0 -1 1077944384 526 0 0 0 1 2 0 0 20 0 15 0 517789735 15514783744 36075 33554432000 4194304 4196468 140724078358592 140632980355504 140634114685570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10379264 140724078367727 140724078367898 140724078367898 140724078370767 0
Current children cumulated CPU time: 148.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 145752 KiB

Child status: 0
Real time (s): 144.635
CPU time (s): 148.855
CPU user time (s): 148.655
CPU system time (s): 0.199814
CPU usage (%): 102.918
Max. virtual memory (cumulated for all children) (KiB): 15266304
Max. memory (cumulated for all children) (KiB): 218408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.655
system time used= 0.199814
maximum resident set size= 219020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51377
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6616
involuntary context switches= 89


# summary of solver processes directly reported to runsolver:
#   pid: 18632
#   total CPU time (s): 148.855
#   total CPU user time (s): 148.655
#   total CPU system time (s): 0.199814

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12252 second user time and 1.14058 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-25 14:41:48
IDJOB=4405967
IDBENCH=141696
IDSOLVER=2869
FILE ID=node103/4405967-1569415367
RUNJOBID= node103-1569408595-17299
PBS_JOBID= 21705709
Free space on /tmp= 20832 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP19/hcp/graph171.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405967-1569415367/watcher-4405967-1569415367 -o /tmp/evaluation-result-4405967-1569415367/solver-4405967-1569415367 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569408595-17299 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1501084404 HOME/instance-4405967-1569415367.xml

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

MD5SUM BENCH= 889399dd2d9405aab831b2de91bd17ad
RANDOM SEED=1501084404

node103.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.74
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.74
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.74
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.74
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:        27313368 kB
MemAvailable:   30476944 kB
Buffers:           92844 kB
Cached:          3350572 kB
SwapCached:         7000 kB
Active:          4611632 kB
Inactive:         223708 kB
Active(anon):    1381664 kB
Inactive(anon):    67960 kB
Active(file):    3229968 kB
Inactive(file):   155748 kB
Unevictable:      107152 kB
Mlocked:          107152 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             26224 kB
Writeback:             0 kB
AnonPages:       1493452 kB
Mapped:            71792 kB
Shmem:             49080 kB
Slab:             215840 kB
SReclaimable:     187392 kB
SUnreclaim:        28448 kB
KernelStack:        3712 kB
PageTables:         8648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3068780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1386496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20808 MiB
End job on node103 at 2019-09-25 14:44:12