| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-20 parallel | SAT | 21.1342 | 4.12484 |
| Name | XCSP19/hcp/ graph162.xml |
| MD5SUM | 0d1146fb66ad2f4e2d5d75203fe6e22a |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 3.99647 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 909 |
| Number of constraints | 1 |
| Number of domains | 909 |
| Minimum domain size | 2 |
| Maximum domain size | 908 |
| Distribution of domain sizes | [{"size":2,"count":2},{"size":3,"count":1},{"size":4,"count":1},{"size":5,"count":1},{"size":6,"count":1},{"size":7,"count":1},{"size":8,"count":1},{"size":9,"count":1},{"size":10,"count":1},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":14,"count":1},{"size":15,"count":1},{"size":16,"count":1},{"size":17,"count":1},{"size":18,"count":1},{"size":19,"count":1},{"size":20,"count":1},{"size":21,"count":1},{"size":22,"count":1},{"size":23,"count":1},{"size":24,"count":1},{"size":25,"count":1},{"size":26,"count":1},"...",{"size":884,"count":1}, {"size":885,"count":1}, {"size":886,"count":1}, {"size":887,"count":1}, {"size":888,"count":1}, {"size":889,"count":1}, {"size":890,"count":1}, {"size":891,"count":1}, {"size":892,"count":1}, {"size":893,"count":1}, {"size":894,"count":1}, {"size":895,"count":1}, {"size":896,"count":1}, {"size":897,"count":1}, {"size":898,"count":1}, {"size":899,"count":1}, {"size":900,"count":1}, {"size":901,"count":1}, {"size":902,"count":1}, {"size":903,"count":1}, {"size":904,"count":1}, {"size":905,"count":1}, {"size":906,"count":1}, {"size":907,"count":1}, {"size":908,"count":1}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 1 |
| Distribution of variable degrees | [{"degree":1,"count":909}] |
| Minimum constraint arity | 909 |
| Maximum constraint arity | 909 |
| Distribution of constraint arities | [{"arity":909,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"circuit","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404466-1569012103.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404466-1569012103.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 4.87/1.97 c solve instance... 20.74/4.10 s SATISFIABLE 20.74/4.10 v <instantiation> 20.74/4.10 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 </list> 20.74/4.10 v <values>455 241 15 774 541 458 36 395 204 269 296 384 266 898 8 589 577 636 867 55 114 674 157 425 666 799 780 706 201 678 796 535 154 790 686 390 615 230 846 479 824 576 690 617 391 546 639 494 845 236 265 567 430 68 630 168 662 680 319 694 621 349 194 868 231 181 580 202 673 178 883 414 100 485 859 847 733 51 62 413 783 712 752 454 293 139 205 652 98 701 500 193 556 221 156 877 191 131 725 657 528 904 708 49 581 24 365 873 839 487 651 173 835 412 843 833 613 683 244 490 864 884 452 538 804 58 106 303 523 632 491 180 333 817 402 669 854 578 404 309 350 327 693 679 174 339 513 214 785 582 143 527 6 526 315 724 516 628 579 122 113 63 448 4 555 124 410 568 684 125 422 86 801 426 855 591 105 616 34 800 776 638 811 739 825 65 449 471 444 89 827 456 704 463 69 123 782 728 710 251 805 533 136 377 649 889 120 255 252 596 184 83 198 418 54 758 286 401 563 433 888 583 467 5 280 664 9 208 137 755 419 890 474 781 838 99 268 91 322 275 450 151 622 608 519 424 337 569 631 135 540 262 813 73 862 802 468 10 253 594 82 573 257 119 196 484 606 545 21 44 95 643 514 778 146 152 648 878 836 876 803 386 1 738 716 103 282 475 335 682 893 311 321 806 145 732 520 147 747 819 822 574 623 222 699 599 64 97 899 267 185 35 885 367 289 808 223 498 150 530 637 40 420 427 199 477 536 670 162 306 84 607 726 109 784 140 250 787 256 356 372 271 382 645 508 378 179 764 373 380 709 740 756 711 587 542 869 277 459 324 31 762 775 600 892 488 489 343 515 650 192 242 760 828 33 646 714 769 718 92 112 388 891 522 886 249 723 466 737 13 691 493 592 234 697 245 276 41 325 417 332 392 351 640 304 160 59 496 698 316 229 225 439 748 497 53 624 186 672 270 853 768 240 94 187 524 653 505 896 879 605 345 121 344 742 279 235 292 871 246 85 26 297 130 465 767 908 284 405 169 812 127 195 880 626 155 518 330 295 342 821 370 751 232 336 302 905 791 440 30 376 634 7 360 379 161 263 629 203 887 658 307 552 158 735 551 685 399 832 895 387 248 509 663 461 407 676 894 660 906 875 20 71 88 743 585 741 705 572 642 856 254 625 549 283 434 217 688 14 38 93 37 675 554 834 398 457 320 66 318 584 70 298 481 177 18 210 766 860 393 681 355 81 375 687 446 719 798 32 548 525 547 334 655 436 19 369 558 730 215 593 421 76 480 504 753 659 260 441 729 50 346 566 61 792 149 317 863 352 700 87 323 610 164 42 865 734 609 212 182 641 512 586 486 665 294 371 308 348 852 507 129 844 604 644 837 329 216 138 176 793 288 200 163 313 506 829 590 451 48 614 499 722 797 779 166 757 290 627 291 495 618 874 274 104 362 78 807 159 0 510 80 562 842 826 820 848 190 870 492 397 25 543 746 432 901 39 731 773 148 561 736 400 374 167 858 850 841 368 707 431 667 347 111 795 314 220 79 381 598 47 483 46 27 96 357 501 299 239 175 300 647 259 144 272 233 881 364 571 702 713 238 189 423 900 677 258 264 517 788 107 142 183 188 595 331 560 72 849 218 341 406 539 717 763 60 789 761 727 153 209 67 564 326 689 830 172 134 654 695 273 777 128 207 110 696 447 366 74 770 851 882 403 102 75 408 226 23 476 482 588 866 521 116 56 861 602 534 394 831 411 243 744 511 786 354 633 823 101 754 472 550 816 278 385 553 794 197 531 363 715 771 462 460 211 22 597 656 765 872 857 840 2 261 409 473 443 749 442 16 171 353 338 570 118 759 809 750 340 470 502 818 544 43 285 170 133 132 305 328 117 90 219 358 57 415 237 45 287 469 437 438 428 247 668 897 453 224 445 77 435 227 28 601 671 301 575 907 312 903 721 529 720 11 165 565 635 228 815 361 429 619 389 359 611 12 814 281 115 772 396 559 29 532 612 3 692 745 416 703 902 810 620 52 108 141 478 126 310 557 661 503 206 537 213 17 464 383 603 </values> 20.74/4.10 v </instantiation>
OK
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 (4517 MiB free)
memory of node 1: 16384 MiB (4608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404466-1569012103/watcher-4404466-1569012103 -o /var/tmp/evaluation-result-4404466-1569012103/solver-4404466-1569012103 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569004489-19989 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 522891647 HOME/instance-4404466-1569012103.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=21055, runsolver pid=21052
[startup+0.100169 s]*
/proc/loadavg: 7.54 8.17 8.25 4/212 21076
/proc/meminfo: memFree=9332348/32770624 swapFree=67021952/67108860
[pid=21055] ppid=21052 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21055/stat : 21055 (xcsp3-exec) S 21052 21055 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477482799 115843072 363 33554432000 4194304 5098028 140735204169008 140735204167112 140634877530748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37806080 140735204172626 140735204172885 140735204172885 140735204175814 0
/proc/21055/statm: 28282 363 304 221 0 87 0
[pid=21057] ppid=21055 vsize=28227396 memory=27360 CPUtime=0.12 cores=0-7
/proc/21057/stat : 21057 (java) S 21055 21055 19962 0 -1 1077944320 5823 0 0 0 11 1 0 0 20 0 20 0 477482799 28904853504 6840 33554432000 4194304 4196468 140723124812480 140723124795024 140547133062903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
/proc/21057/statm: 7056849 6840 3120 1 0 7019032 0
[pid=21057/tid=21058] ppid=21055 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21057/task/21058/stat : 21058 (java) R 21055 21055 19962 0 -1 4202560 3714 0 0 0 8 0 0 0 20 0 20 0 477482799 28904853504 6840 33554432000 4194304 4196468 140723124812480 140547137296112 140547117106533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21059] ppid=21055 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21057/task/21059/stat : 21059 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546684873744 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21060] ppid=21055 vsize=28227396 memory=140184931174016 CPUtime=0 cores=0-7
/proc/21057/task/21060/stat : 21060 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546683821200 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21061] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21061/stat : 21061 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546682768144 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21062] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21062/stat : 21062 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546681715600 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21063] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21063/stat : 21063 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546680662544 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21064] ppid=21055 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21057/task/21064/stat : 21064 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546679610000 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21065] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21065/stat : 21065 (java) S 21055 21055 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546678556944 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21066] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21066/stat : 21066 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 6840 33554432000 4194304 4196468 140723124812480 140546677504400 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21067] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21067/stat : 21067 (java) S 21055 21055 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477482802 28904853504 6840 33554432000 4194304 4196468 140723124812480 140545731332848 140547133074050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21068] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21068/stat : 21068 (java) S 21055 21055 19962 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477482802 28904853504 6840 33554432000 4194304 4196468 140723124812480 140545730279072 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21069] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21069/stat : 21069 (java) S 21055 21055 19962 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477482802 28904853504 6840 33554432000 4194304 4196468 140723124812480 140545729225968 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21070] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21070/stat : 21070 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 6906 33554432000 4194304 4196468 140723124812480 140545728174544 140547133081499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21071] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21071/stat : 21071 (java) S 21055 21055 19962 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 6906 33554432000 4194304 4196468 140723124812480 140545727121648 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21072] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21072/stat : 21072 (java) R 21055 21055 19962 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 6906 33554432000 4194304 4196468 140723124812480 140545726060752 140547116492544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21073] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21073/stat : 21073 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 6906 33554432000 4194304 4196468 140723124812480 140545725016048 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21074] ppid=21055 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21057/task/21074/stat : 21074 (java) R 21055 21055 19962 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 477482805 28904853504 6906 33554432000 4194304 4196468 140723124812480 140545723963504 140547126159739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21075] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21075/stat : 21075 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 6906 33554432000 4194304 4196468 140723124812480 140545722911712 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21076] ppid=21055 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21057/task/21076/stat : 21076 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 6906 33554432000 4194304 4196468 140723124812480 140545721859248 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28812 KiB
[startup+0.210351 s]*
/proc/loadavg: 7.54 8.17 8.25 2/212 21076
/proc/meminfo: memFree=9306612/32770624 swapFree=67021952/67108860
[pid=21055] ppid=21052 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21055/stat : 21055 (xcsp3-exec) S 21052 21055 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477482799 115843072 363 33554432000 4194304 5098028 140735204169008 140735204167112 140634877530748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37806080 140735204172626 140735204172885 140735204172885 140735204175814 0
/proc/21055/statm: 28282 363 304 221 0 87 0
[pid=21057] ppid=21055 vsize=28227396 memory=39656 CPUtime=0.33 cores=0-7
/proc/21057/stat : 21057 (java) S 21055 21055 19962 0 -1 1077944320 9692 0 0 0 31 2 0 0 20 0 20 0 477482799 28904853504 9914 33554432000 4194304 4196468 140723124812480 140723124795024 140547133062903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
/proc/21057/statm: 7056849 9914 3284 1 0 7019032 0
[pid=21057/tid=21058] ppid=21055 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21057/task/21058/stat : 21058 (java) R 21055 21055 19962 0 -1 4202560 6668 0 0 0 18 2 0 0 20 0 20 0 477482799 28904853504 9914 33554432000 4194304 4196468 140723124812480 140547137292624 140547117143390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21059] ppid=21055 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/21057/task/21059/stat : 21059 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546684873744 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21060] ppid=21055 vsize=28227396 memory=4050336608376489632 CPUtime=0 cores=0-7
/proc/21057/task/21060/stat : 21060 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546683821200 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21061] ppid=21055 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21057/task/21061/stat : 21061 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546682768144 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21062] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21062/stat : 21062 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546681715600 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21063] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21063/stat : 21063 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546680662544 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21064] ppid=21055 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21057/task/21064/stat : 21064 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546679610000 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21065] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21065/stat : 21065 (java) S 21055 21055 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546678556944 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21066] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21066/stat : 21066 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477482800 28904853504 9914 33554432000 4194304 4196468 140723124812480 140546677504400 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21067] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21067/stat : 21067 (java) S 21055 21055 19962 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477482802 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545731332848 140547133074050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21068] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21068/stat : 21068 (java) S 21055 21055 19962 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477482802 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545730279072 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21069] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21069/stat : 21069 (java) S 21055 21055 19962 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477482802 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545729225968 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21070] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21070/stat : 21070 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545728174544 140547133081499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21071] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21071/stat : 21071 (java) S 21055 21055 19962 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545727121648 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21072] ppid=21055 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21057/task/21072/stat : 21072 (java) S 21055 21055 19962 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 477482805 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545726069104 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21073] ppid=21055 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/21057/task/21073/stat : 21073 (java) S 21055 21055 19962 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 20 0 477482805 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545725016048 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21074] ppid=21055 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/21057/task/21074/stat : 21074 (java) R 21055 21055 19962 0 -1 4202560 884 0 0 0 7 0 0 0 20 0 20 0 477482805 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545723963312 140547112777684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21075] ppid=21055 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21075/stat : 21075 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545722911712 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21076] ppid=21055 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21057/task/21076/stat : 21076 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482805 28904853504 9914 33554432000 4194304 4196468 140723124812480 140545721859248 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41108 KiB
[startup+0.310259 s]*
/proc/loadavg: 7.54 8.17 8.25 3/212 21076
/proc/meminfo: memFree=9301996/32770624 swapFree=67021952/67108860
[pid=21055] ppid=21052 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21055/stat : 21055 (xcsp3-exec) S 21052 21055 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477482799 115843072 363 33554432000 4194304 5098028 140735204169008 140735204167112 140634877530748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37806080 140735204172626 140735204172885 140735204172885 140735204175814 0
/proc/21055/statm: 28282 363 304 221 0 87 0
[pid=21057] ppid=21055 vsize=28231652 memory=48844 CPUtime=0.52 cores=0-7
/proc/21057/stat : 21057 (java) S 21055 21055 19962 0 -1 1077944320 11078 0 0 0 48 4 0 0 20 0 20 0 477482799 28909211648 12189 33554432000 4194304 4196468 140723124812480 140723124795024 140547133062903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
/proc/21057/statm: 7057913 12211 3338 1 0 7019032 0
[pid=21057/tid=21058] ppid=21055 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21057/task/21058/stat : 21058 (java) R 21055 21055 19962 0 -1 4202560 7804 0 0 0 27 3 0 0 20 0 20 0 477482799 28909211648 12211 33554432000 4194304 4196468 140723124812480 140547137294016 140547117143390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21059] ppid=21055 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21059/stat : 21059 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546684873744 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21060] ppid=21055 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21060/stat : 21060 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546683821200 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21061] ppid=21055 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21061/stat : 21061 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546682768144 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21062] ppid=21055 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21062/stat : 21062 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546681715600 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21063] ppid=21055 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/21057/task/21063/stat : 21063 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546680662544 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21064] ppid=21055 vsize=28231652 memory=140184779846575 CPUtime=0 cores=0-7
/proc/21057/task/21064/stat : 21064 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546679610000 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21065] ppid=21055 vsize=28231652 memory=140184779848880 CPUtime=0 cores=0-7
/proc/21057/task/21065/stat : 21065 (java) S 21055 21055 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546678556944 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21066] ppid=21055 vsize=28231652 memory=140184779851184 CPUtime=0 cores=0-7
/proc/21057/task/21066/stat : 21066 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477482800 28909211648 12211 33554432000 4194304 4196468 140723124812480 140546677504400 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21067] ppid=21055 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21067/stat : 21067 (java) S 21055 21055 19962 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477482802 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545731332848 140547133074050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21068] ppid=21055 vsize=28231652 memory=280369559709328 CPUtime=0 cores=0-7
/proc/21057/task/21068/stat : 21068 (java) S 21055 21055 19962 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477482802 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545730279072 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21069] ppid=21055 vsize=28231652 memory=280369559716240 CPUtime=0 cores=0-7
/proc/21057/task/21069/stat : 21069 (java) S 21055 21055 19962 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477482802 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545729225968 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21070] ppid=21055 vsize=28231652 memory=280369559657520 CPUtime=0 cores=0-7
/proc/21057/task/21070/stat : 21070 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482805 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545728174544 140547133081499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21071] ppid=21055 vsize=28231652 memory=280369559730064 CPUtime=0.02 cores=0-7
/proc/21057/task/21071/stat : 21071 (java) S 21055 21055 19962 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 20 0 477482805 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545727121648 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21072] ppid=21055 vsize=28231652 memory=280369559736976 CPUtime=0.02 cores=0-7
/proc/21057/task/21072/stat : 21072 (java) S 21055 21055 19962 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 477482805 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545726069104 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21073] ppid=21055 vsize=28231652 memory=280369559734672 CPUtime=0.03 cores=0-7
/proc/21057/task/21073/stat : 21073 (java) S 21055 21055 19962 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 20 0 477482805 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545725016048 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21074] ppid=21055 vsize=28231652 memory=280369559750832 CPUtime=0.12 cores=0-7
/proc/21057/task/21074/stat : 21074 (java) S 21055 21055 19962 0 -1 1077944384 1072 0 0 0 12 0 0 0 20 0 20 0 477482805 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545723963504 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21075] ppid=21055 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21075/stat : 21075 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477482805 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545722911712 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21076] ppid=21055 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21057/task/21076/stat : 21076 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482805 28909211648 12211 33554432000 4194304 4196468 140723124812480 140545721859248 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50296 KiB
[startup+0.700985 s]
/proc/loadavg: 7.54 8.17 8.25 6/212 21076
/proc/meminfo: memFree=9262600/32770624 swapFree=67021952/67108860
[pid=21055] ppid=21052 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21055/stat : 21055 (xcsp3-exec) S 21052 21055 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477482799 115843072 363 33554432000 4194304 5098028 140735204169008 140735204167112 140634877530748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37806080 140735204172626 140735204172885 140735204172885 140735204175814 0
/proc/21055/statm: 28282 363 304 221 0 87 0
[pid=21057] ppid=21055 vsize=28233776 memory=196260 CPUtime=1.84 cores=0-7
/proc/21057/stat : 21057 (java) S 21055 21055 19962 0 -1 1077944320 15803 0 0 0 175 9 0 0 20 0 20 0 477482799 28911386624 49065 33554432000 4194304 4196468 140723124812480 140723124795024 140547133062903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
/proc/21057/statm: 7058444 49065 3470 1 0 7019544 0
[pid=21057/tid=21058] ppid=21055 vsize=28233776 memory=280369560108720 CPUtime=0.67 cores=0-7
/proc/21057/task/21058/stat : 21058 (java) R 21055 21055 19962 0 -1 4202560 8491 0 0 0 61 6 0 0 20 0 20 0 477482799 28911386624 49065 33554432000 4194304 4196468 140723124812480 140547137300528 140547118761985 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21059] ppid=21055 vsize=28233776 memory=140184780055408 CPUtime=0 cores=0-7
/proc/21057/task/21059/stat : 21059 (java) S 21055 21055 19962 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 477482800 28911386624 49065 33554432000 4194304 4196468 140723124812480 140546684873744 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21060] ppid=21055 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21060/stat : 21060 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28911386624 49065 33554432000 4194304 4196468 140723124812480 140546683821200 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21061] ppid=21055 vsize=28233776 memory=1076 CPUtime=0 cores=0-7
/proc/21057/task/21061/stat : 21061 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477482800 28911386624 49065 33554432000 4194304 4196468 140723124812480 140546682768144 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
################
# More data... #
################
[pid=21057/tid=21065] ppid=21055 vsize=28766288 memory=4104 CPUtime=0.12 cores=0-7
/proc/21057/task/21065/stat : 21065 (java) S 21055 21055 19962 0 -1 1077944384 145 0 0 0 5 7 0 0 20 0 28 0 477482800 29456678912 179368 33554432000 4194304 4196468 140723124812480 140546678556944 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21066] ppid=21055 vsize=28766288 memory=1412 CPUtime=0.12 cores=0-7
/proc/21057/task/21066/stat : 21066 (java) S 21055 21055 19962 0 -1 1077944384 145 0 0 0 5 7 0 0 20 0 28 0 477482800 29456678912 179368 33554432000 4194304 4196468 140723124812480 140546677504400 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21067] ppid=21055 vsize=28766288 memory=2588 CPUtime=0.01 cores=0-7
/proc/21057/task/21067/stat : 21067 (java) S 21055 21055 19962 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 28 0 477482802 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545731332848 140547133074050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21068] ppid=21055 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/21057/task/21068/stat : 21068 (java) S 21055 21055 19962 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 477482802 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545730279136 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21069] ppid=21055 vsize=28766288 memory=666856 CPUtime=0 cores=0-7
/proc/21057/task/21069/stat : 21069 (java) S 21055 21055 19962 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477482802 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545729225984 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21070] ppid=21055 vsize=28766288 memory=13856 CPUtime=0 cores=0-7
/proc/21057/task/21070/stat : 21070 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477482805 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545728174544 140547133081499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21071] ppid=21055 vsize=28766288 memory=280369560693504 CPUtime=1.06 cores=0-7
/proc/21057/task/21071/stat : 21071 (java) R 21055 21055 19962 0 -1 4202560 1952 0 0 0 105 1 0 0 20 0 28 0 477482805 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545727111736 140547116412450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21072] ppid=21055 vsize=28766288 memory=140184780341296 CPUtime=1.04 cores=0-7
/proc/21057/task/21072/stat : 21072 (java) R 21055 21055 19962 0 -1 4202560 1782 0 0 0 104 0 0 0 20 0 28 0 477482805 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545726050304 140547114608201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21073] ppid=21055 vsize=28766288 memory=0 CPUtime=1.07 cores=0-7
/proc/21057/task/21073/stat : 21073 (java) R 21055 21055 19962 0 -1 4202560 1472 0 0 0 107 0 0 0 20 0 28 0 477482805 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545725004784 140547114587612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21074] ppid=21055 vsize=28766288 memory=0 CPUtime=0.52 cores=0-7
/proc/21057/task/21074/stat : 21074 (java) R 21055 21055 19962 0 -1 1077944384 2299 0 0 0 52 0 0 0 20 0 28 0 477482805 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545723963504 140547133074050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21075] ppid=21055 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21075/stat : 21075 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477482805 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545722911712 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21076] ppid=21055 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21076/stat : 21076 (java) R 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477482805 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545721859248 140547133074050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21077] ppid=21055 vsize=28766288 memory=0 CPUtime=1.43 cores=0-7
/proc/21057/task/21077/stat : 21077 (java) R 21055 21055 19962 0 -1 4202560 61 0 0 0 143 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545712639352 140546776486400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21078] ppid=21055 vsize=28766288 memory=0 CPUtime=1.41 cores=0-7
/proc/21057/task/21078/stat : 21078 (java) R 21055 21055 19962 0 -1 4202560 47 0 0 0 141 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545711587736 140546776486412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21079] ppid=21055 vsize=28766288 memory=0 CPUtime=1.41 cores=0-7
/proc/21057/task/21079/stat : 21079 (java) R 21055 21055 19962 0 -1 4202560 72 0 0 0 141 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545710536360 140546776486604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21080] ppid=21055 vsize=28766288 memory=0 CPUtime=1.33 cores=0-7
/proc/21057/task/21080/stat : 21080 (java) R 21055 21055 19962 0 -1 4202560 43 0 0 0 133 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545709481216 140546777448040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21081] ppid=21055 vsize=28766288 memory=0 CPUtime=1.29 cores=0-7
/proc/21057/task/21081/stat : 21081 (java) R 21055 21055 19962 0 -1 4202560 47 0 0 0 129 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545708428072 140546777176517 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21082] ppid=21055 vsize=28766288 memory=0 CPUtime=1.38 cores=0-7
/proc/21057/task/21082/stat : 21082 (java) R 21055 21055 19962 0 -1 4202560 86 0 0 0 138 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545707375544 140546776486379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21083] ppid=21055 vsize=28766288 memory=6791534058613427641 CPUtime=1.42 cores=0-7
/proc/21057/task/21083/stat : 21083 (java) R 21055 21055 19962 0 -1 4202560 38 0 0 0 142 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545706326200 140546777174870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21084] ppid=21055 vsize=28766288 memory=0 CPUtime=1.5 cores=0-7
/proc/21057/task/21084/stat : 21084 (java) R 21055 21055 19962 0 -1 4202560 37 0 0 0 150 0 0 0 20 0 28 0 477482998 29456678912 179368 33554432000 4194304 4196468 140723124812480 140545705274216 140546777300975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
Current children cumulated CPU time: 17.78 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 718924 KiB
[startup+4.00121 s]*
/proc/loadavg: 7.09 8.07 8.22 7/220 21084
/proc/meminfo: memFree=8638732/32770624 swapFree=67021952/67108860
[pid=21055] ppid=21052 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21055/stat : 21055 (xcsp3-exec) S 21052 21055 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477482799 115843072 363 33554432000 4194304 5098028 140735204169008 140735204167112 140634877530748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37806080 140735204172626 140735204172885 140735204172885 140735204175814 0
/proc/21055/statm: 28282 363 304 221 0 87 0
[pid=21057] ppid=21055 vsize=28766288 memory=719444 CPUtime=20.74 cores=0-7
/proc/21057/stat : 21057 (java) S 21055 21055 19962 0 -1 1077944320 24350 0 0 0 2007 67 0 0 20 0 28 0 477482799 29456678912 179861 33554432000 4194304 4196468 140723124812480 140723124795024 140547133062903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
/proc/21057/statm: 7191572 179861 3515 1 0 7152672 0
[pid=21057/tid=21058] ppid=21055 vsize=28766288 memory=0 CPUtime=1.85 cores=0-7
/proc/21057/task/21058/stat : 21058 (java) S 21055 21055 19962 0 -1 1077944384 9437 0 0 0 174 11 0 0 20 0 28 0 477482799 29456678912 179861 33554432000 4194304 4196468 140723124812480 140547137303680 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21059] ppid=21055 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/21057/task/21059/stat : 21059 (java) S 21055 21055 19962 0 -1 1077944384 157 0 0 0 5 5 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546684873744 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21060] ppid=21055 vsize=28766288 memory=3472468481158853296 CPUtime=0.11 cores=0-7
/proc/21057/task/21060/stat : 21060 (java) S 21055 21055 19962 0 -1 1077944384 161 0 0 0 6 5 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546683821200 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21061] ppid=21055 vsize=28766288 memory=-1 CPUtime=0.1 cores=0-7
/proc/21057/task/21061/stat : 21061 (java) S 21055 21055 19962 0 -1 1077944384 83 0 0 0 5 5 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546682768144 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21062] ppid=21055 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7
/proc/21057/task/21062/stat : 21062 (java) S 21055 21055 19962 0 -1 1077944384 158 0 0 0 6 5 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546681715600 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21063] ppid=21055 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7
/proc/21057/task/21063/stat : 21063 (java) S 21055 21055 19962 0 -1 1077944384 120 0 0 0 4 7 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546680662544 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21064] ppid=21055 vsize=28766288 memory=2319389229550156063 CPUtime=0.1 cores=0-7
/proc/21057/task/21064/stat : 21064 (java) S 21055 21055 19962 0 -1 1077944384 155 0 0 0 5 5 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546679610000 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21065] ppid=21055 vsize=28766288 memory=7311146985107750967 CPUtime=0.12 cores=0-7
/proc/21057/task/21065/stat : 21065 (java) S 21055 21055 19962 0 -1 1077944384 145 0 0 0 5 7 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546678556944 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21066] ppid=21055 vsize=28766288 memory=13938 CPUtime=0.12 cores=0-7
/proc/21057/task/21066/stat : 21066 (java) S 21055 21055 19962 0 -1 1077944384 145 0 0 0 5 7 0 0 20 0 28 0 477482800 29456678912 179861 33554432000 4194304 4196468 140723124812480 140546677504400 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21067] ppid=21055 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7
/proc/21057/task/21067/stat : 21067 (java) S 21055 21055 19962 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 28 0 477482802 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545731332848 140547133074050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21068] ppid=21055 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21068/stat : 21068 (java) S 21055 21055 19962 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 477482802 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545730279136 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21069] ppid=21055 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21069/stat : 21069 (java) S 21055 21055 19962 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477482802 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545729225984 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21070] ppid=21055 vsize=28766288 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/21057/task/21070/stat : 21070 (java) S 21055 21055 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477482805 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545728174544 140547133081499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21071] ppid=21055 vsize=28766288 memory=0 CPUtime=1.27 cores=0-7
/proc/21057/task/21071/stat : 21071 (java) R 21055 21055 19962 0 -1 4202560 3154 0 0 0 126 1 0 0 20 0 28 0 477482805 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545727121648 140547114607360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21072] ppid=21055 vsize=28766288 memory=0 CPUtime=1.18 cores=0-7
/proc/21057/task/21072/stat : 21072 (java) S 21055 21055 19962 0 -1 1077944384 2704 0 0 0 117 1 0 0 20 0 28 0 477482805 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545726069104 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21073] ppid=21055 vsize=28766288 memory=0 CPUtime=1.35 cores=0-7
/proc/21057/task/21073/stat : 21073 (java) S 21055 21055 19962 0 -1 1077944384 2923 0 0 0 135 0 0 0 20 0 28 0 477482805 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545725016048 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21074] ppid=21055 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7
/proc/21057/task/21074/stat : 21074 (java) S 21055 21055 19962 0 -1 1077944384 2371 0 0 0 54 0 0 0 20 0 28 0 477482805 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545723963504 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21075] ppid=21055 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21075/stat : 21075 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477482805 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545722911712 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21076] ppid=21055 vsize=28766288 memory=-1 CPUtime=0 cores=0-7
/proc/21057/task/21076/stat : 21076 (java) R 21055 21055 19962 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 477482805 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545721859248 140547133074050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21077] ppid=21055 vsize=28766288 memory=-1 CPUtime=1.81 cores=0-7
/proc/21057/task/21077/stat : 21077 (java) R 21055 21055 19962 0 -1 4202560 128 0 0 0 181 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545712642120 140546777846383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21078] ppid=21055 vsize=28766288 memory=0 CPUtime=1.75 cores=0-7
/proc/21057/task/21078/stat : 21078 (java) R 21055 21055 19962 0 -1 4202560 80 0 0 0 175 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545711586752 140546777846383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21079] ppid=21055 vsize=28766288 memory=8819569139123385389 CPUtime=1.81 cores=0-7
/proc/21057/task/21079/stat : 21079 (java) R 21055 21055 19962 0 -1 4202560 118 0 0 0 181 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545710533696 140546777847749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21080] ppid=21055 vsize=28766288 memory=288287770756252900 CPUtime=1.49 cores=0-7
/proc/21057/task/21080/stat : 21080 (java) S 21055 21055 19962 0 -1 1077944384 198 0 0 0 149 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545709487184 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21081] ppid=21055 vsize=28766288 memory=0 CPUtime=1.48 cores=0-7
/proc/21057/task/21081/stat : 21081 (java) S 21055 21055 19962 0 -1 1077944384 49 0 0 0 148 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545708434128 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21082] ppid=21055 vsize=28766288 memory=280369559503088 CPUtime=1.71 cores=0-7
/proc/21057/task/21082/stat : 21082 (java) R 21055 21055 19962 0 -1 4202560 143 0 0 0 171 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545707375552 140546777846343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21083] ppid=21055 vsize=28766288 memory=280369559506736 CPUtime=1.61 cores=0-7
/proc/21057/task/21083/stat : 21083 (java) S 21055 21055 19962 0 -1 1077944384 38 0 0 0 161 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545706329552 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21084] ppid=21055 vsize=28766288 memory=280369559503088 CPUtime=1.83 cores=0-7
/proc/21057/task/21084/stat : 21084 (java) R 21055 21055 19962 0 -1 4202560 75 0 0 0 183 0 0 0 20 0 28 0 477482998 29456678912 179861 33554432000 4194304 4196468 140723124812480 140545705271168 140546777846159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
Current children cumulated CPU time: 20.74 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 720896 KiB
[startup+4.11062 s]
/proc/loadavg: 7.09 8.07 8.22 7/220 21084
/proc/meminfo: memFree=8638732/32770624 swapFree=67021952/67108860
[pid=21055] ppid=21052 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21055/stat : 21055 (xcsp3-exec) S 21052 21055 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477482799 115843072 363 33554432000 4194304 5098028 140735204169008 140735204167112 140634877530748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37806080 140735204172626 140735204172885 140735204172885 140735204175814 0
/proc/21055/statm: 28282 363 304 221 0 87 0
[pid=21057] ppid=21055 vsize=28766288 memory=719280 CPUtime=21.11 cores=0-7
/proc/21057/stat : 21057 (java) S 21055 21055 19962 0 -1 1077944320 25685 0 0 0 2044 67 0 0 20 0 19 0 477482799 29456678912 179820 33554432000 4194304 4196468 140723124812480 140723124795024 140547133062903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
/proc/21057/statm: 7191572 179820 3517 1 0 7152672 0
[pid=21057/tid=21058] ppid=21055 vsize=28766288 memory=716976 CPUtime=1.85 cores=0-7
/proc/21057/task/21058/stat : 21058 (java) S 21055 21055 19962 0 -1 1077944384 9667 0 0 0 174 11 0 0 20 0 19 0 477482799 29456678912 179820 33554432000 4194304 4196468 140723124812480 140547137305744 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21059] ppid=21055 vsize=28766288 memory=140189226141311 CPUtime=0.1 cores=0-7
/proc/21057/task/21059/stat : 21059 (java) S 21055 21055 19962 0 -1 1077944384 157 0 0 0 5 5 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546684873744 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21060] ppid=21055 vsize=28766288 memory=0 CPUtime=0.11 cores=0-7
/proc/21057/task/21060/stat : 21060 (java) S 21055 21055 19962 0 -1 1077944384 161 0 0 0 6 5 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546683821200 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21061] ppid=21055 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/21057/task/21061/stat : 21061 (java) S 21055 21055 19962 0 -1 1077944384 83 0 0 0 5 5 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546682768144 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21062] ppid=21055 vsize=28766288 memory=56 CPUtime=0.11 cores=0-7
/proc/21057/task/21062/stat : 21062 (java) S 21055 21055 19962 0 -1 1077944384 158 0 0 0 6 5 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546681715600 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21063] ppid=21055 vsize=28766288 memory=6944656592387989600 CPUtime=0.11 cores=0-7
/proc/21057/task/21063/stat : 21063 (java) S 21055 21055 19962 0 -1 1077944384 120 0 0 0 4 7 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546680662544 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21064] ppid=21055 vsize=28766288 memory=0 CPUtime=0.1 cores=0-7
/proc/21057/task/21064/stat : 21064 (java) S 21055 21055 19962 0 -1 1077944384 155 0 0 0 5 5 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546679610000 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21065] ppid=21055 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7
/proc/21057/task/21065/stat : 21065 (java) S 21055 21055 19962 0 -1 1077944384 145 0 0 0 5 7 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546678556944 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21066] ppid=21055 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7
/proc/21057/task/21066/stat : 21066 (java) S 21055 21055 19962 0 -1 1077944384 145 0 0 0 5 7 0 0 20 0 19 0 477482800 29456678912 179820 33554432000 4194304 4196468 140723124812480 140546677504400 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21067] ppid=21055 vsize=28766288 memory=56 CPUtime=0.01 cores=0-7
/proc/21057/task/21067/stat : 21067 (java) S 21055 21055 19962 0 -1 1077944384 727 0 0 0 1 0 0 0 20 0 19 0 477482802 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545731333056 140547133074050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21068] ppid=21055 vsize=28766288 memory=13798 CPUtime=0 cores=0-7
/proc/21057/task/21068/stat : 21068 (java) S 21055 21055 19962 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 477482802 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545730279136 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21069] ppid=21055 vsize=28766288 memory=3135787 CPUtime=0 cores=0-7
/proc/21057/task/21069/stat : 21069 (java) S 21055 21055 19962 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 477482802 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545729225984 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21070] ppid=21055 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21070/stat : 21070 (java) S 21055 21055 19962 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 477482805 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545728174192 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21071] ppid=21055 vsize=28766288 memory=0 CPUtime=1.31 cores=0-7
/proc/21057/task/21071/stat : 21071 (java) S 21055 21055 19962 0 -1 1077944384 3218 0 0 0 130 1 0 0 20 0 19 0 477482805 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545727102064 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21072] ppid=21055 vsize=28766288 memory=57 CPUtime=1.26 cores=0-7
/proc/21057/task/21072/stat : 21072 (java) S 21055 21055 19962 0 -1 1077944384 3125 0 0 0 125 1 0 0 20 0 19 0 477482805 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545726053616 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21073] ppid=21055 vsize=28766288 memory=0 CPUtime=1.36 cores=0-7
/proc/21057/task/21073/stat : 21073 (java) S 21055 21055 19962 0 -1 1077944384 2923 0 0 0 136 0 0 0 20 0 19 0 477482805 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545725001120 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21074] ppid=21055 vsize=28766288 memory=0 CPUtime=0.55 cores=0-7
/proc/21057/task/21074/stat : 21074 (java) S 21055 21055 19962 0 -1 1077944384 2386 0 0 0 55 0 0 0 20 0 19 0 477482805 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545723963504 140547133074050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
[pid=21057/tid=21075] ppid=21055 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21057/task/21075/stat : 21075 (java) S 21055 21055 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 477482805 29456678912 179820 33554432000 4194304 4196468 140723124812480 140545722911712 140547133073109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9515008 140723124814806 140723124814982 140723124814982 140723124817871 0
Current children cumulated CPU time: 21.11 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 720732 KiB
Child status: 0
Real time (s): 4.12484
CPU time (s): 21.1342
CPU user time (s): 20.4461
CPU system time (s): 0.688033
CPU usage (%): 512.363
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 720896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4461
system time used= 0.688033
maximum resident set size= 719716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3936
involuntary context switches= 411
# summary of solver processes directly reported to runsolver:
# pid: 21055
# total CPU time (s): 21.1342
# total CPU user time (s): 20.4461
# total CPU system time (s): 0.688033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051104 second user time and 0.095228 second system time
The end
Begin job on node150 at 2019-09-20 22:41:02 IDJOB=4404466 IDBENCH=141689 IDSOLVER=2865 FILE ID=node150/4404466-1569012103 RUNJOBID= node150-1569004489-19989 PBS_JOBID= 21704739 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP19/hcp/graph162.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-4404466-1569012103/watcher-4404466-1569012103 -o /var/tmp/evaluation-result-4404466-1569012103/solver-4404466-1569012103 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569004489-19989 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 522891647 HOME/instance-4404466-1569012103.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0d1146fb66ad2f4e2d5d75203fe6e22a RANDOM SEED=522891647 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 9345784 kB MemAvailable: 31826900 kB Buffers: 175144 kB Cached: 22192320 kB SwapCached: 7940 kB Active: 11147644 kB Inactive: 11253236 kB Active(anon): 4452 kB Inactive(anon): 70320 kB Active(file): 11143192 kB Inactive(file): 11182916 kB Unevictable: 110732 kB Mlocked: 110732 kB SwapTotal: 67108860 kB SwapFree: 67021952 kB Dirty: 27028 kB Writeback: 0 kB AnonPages: 173568 kB Mapped: 48132 kB Shmem: 32580 kB Slab: 612796 kB SReclaimable: 583468 kB SUnreclaim: 29328 kB KernelStack: 3728 kB PageTables: 5376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-20 22:41:07