Trace number 4393708

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallelSAT 1023.83 129.22

General information on the benchmark

NameXCSP19/hcp/
graph197.xml
MD5SUM037a78a785183bf334685935f46df3ca
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 benchmark156.565
Satisfiable
(Un)Satisfiability was proved
Number of variables1188
Number of constraints1
Number of domains1188
Minimum domain size3
Maximum domain size4
Distribution of domain sizes[{"size":3,"count":1186},{"size":4,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1188}]
Minimum constraint arity1188
Maximum constraint arity1188
Distribution of constraint arities[{"arity":1188,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393708-1568448887.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393708-1568448887.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.13/0.86	c solve instance...
1023.21/129.19	s SATISFIABLE
1023.21/129.19	v <instantiation>
1023.21/129.19	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 v996 v997 v998 v999 v1000 v1001 v1002 v1003 v1004 v1005 v1006 v1007 v1008 v1009 v1010 v1011 v1012 v1013 v1014 v1015 v1016 v1017 v1018 v1019 v1020 v1021 v1022 v1023 v1024 v1025 v1026 v1027 v1028 v1029 v1030 v1031 v1032 v1033 v1034 v1035 v1036 v1037 v1038 v1039 v1040 v1041 v1042 v1043 v1044 v1045 v1046 v1047 v1048 v1049 v1050 v1051 v1052 v1053 v1054 v1055 v1056 v1057 v1058 v1059 v1060 v1061 v1062 v1063 v1064 v1065 v1066 v1067 v1068 v1069 v1070 v1071 v1072 v1073 v1074 v1075 v1076 v1077 v1078 v1079 v1080 v1081 v1082 v1083 v1084 v1085 v1086 v1087 v1088 v1089 v1090 v1091 v1092 v1093 v1094 v1095 v1096 v1097 v1098 v1099 v1100 v1101 v1102 v1103 v1104 v1105 v1106 v1107 v1108 v1109 v1110 v1111 v1112 v1113 v1114 v1115 v1116 v1117 v1118 v1119 v1120 v1121 v1122 v1123 v1124 v1125 v1126 v1127 v1128 v1129 v1130 v1131 v1132 v1133 v1134 v1135 v1136 v1137 v1138 v1139 v1140 v1141 v1142 v1143 v1144 v1145 v1146 v1147 v1148 v1149 v1150 v1151 v1152 v1153 v1154 v1155 v1156 v1157 v1158 v1159 v1160 v1161 v1162 v1163 v1164 v1165 v1166 v1167 v1168 v1169 v1170 v1171 v1172 v1173 v1174 v1175 v1176 v1177 v1178 v1179 v1180 v1181 v1182 v1183 v1184 v1185 v1186 v1187 </list>
1023.21/129.19	v 	<values>236 476 843 661 272 66 782 783 332 528 1008 493 1070 989 436 1030 897 48 724 884 92 329 905 242 294 293 1077 453 345 820 334 703 342 274 177 491 723 13 113 360 640 1045 24 1066 179 214 308 252 663 876 605 146 969 531 713 182 570 225 830 400 406 758 942 564 25 105 916 409 510 1173 1108 301 36 948 7 556 1096 1038 631 439 23 801 405 617 184 1120 217 643 1024 410 700 965 271 281 986 856 1112 541 260 123 40 1124 867 744 337 317 532 534 441 1062 33 292 172 1154 328 1082 243 1002 574 108 170 575 581 1069 324 387 743 232 251 1022 1097 394 1102 526 1011 190 708 776 963 15 1088 666 218 732 831 635 458 1104 987 1063 246 93 262 895 14 419 978 425 928 562 870 454 869 777 874 20 930 311 802 909 960 355 1086 1146 644 341 1061 471 935 187 785 263 473 368 961 913 207 411 174 714 835 927 508 671 946 276 582 1174 739 1151 498 213 358 1143 384 535 889 79 951 490 906 424 1162 682 115 19 979 1054 291 1059 185 78 679 883 1085 929 826 656 623 288 722 65 339 687 171 521 882 626 681 319 50 768 727 994 615 279 241 443 950 772 717 507 592 1089 903 140 336 1169 268 842 296 931 393 1118 1161 715 756 1138 823 1094 486 597 598 107 116 974 147 1015 956 431 244 106 298 1179 335 32 469 199 1014 18 81 235 203 795 1170 773 914 673 1107 352 641 971 313 840 0 766 852 372 180 525 734 627 730 80 567 577 369 55 901 696 299 873 1187 338 446 675 688 1 863 654 821 877 838 151 61 42 196 310 1020 462 699 774 970 1058 219 832 1073 613 325 212 118 1101 1128 692 306 343 503 253 855 350 125 977 513 91 163 937 1074 1075 517 413 911 52 608 611 186 472 1144 330 155 27 378 677 1050 229 1055 683 88 160 374 620 833 367 881 1036 181 364 375 35 616 1039 991 2 417 1122 668 5 158 892 500 46 326 997 572 322 1007 201 996 728 900 307 1093 426 320 447 829 976 499 379 1155 731 407 28 651 533 1113 401 899 361 449 655 457 16 810 957 204 120 438 836 878 596 936 388 1152 1135 695 939 742 796 377 553 331 481 90 769 488 789 64 257 871 1000 602 1147 786 216 959 990 584 1042 1149 445 505 595 318 733 70 41 1171 860 135 1035 759 962 1076 150 1148 380 735 693 647 432 381 442 6 1132 817 610 240 543 484 630 983 250 427 1004 818 809 920 580 618 459 59 1056 1116 58 680 1175 999 652 223 992 1168 813 110 67 707 356 746 697 1046 529 102 686 749 29 926 138 63 47 725 604 421 684 1095 161 646 918 21 94 134 1136 430 827 99 1010 316 698 39 949 1079 54 530 632 309 1180 665 149 1083 465 238 189 578 1013 231 1084 194 586 1185 30 540 111 940 1142 757 49 370 1021 504 793 846 1049 286 245 1040 544 606 973 389 765 429 165 781 566 924 395 211 144 10 265 1018 145 885 653 988 452 837 642 353 550 737 437 188 480 808 128 932 794 591 659 1064 133 398 239 1031 210 621 1167 1048 537 273 509 565 1182 157 1164 523 747 609 141 536 848 803 143 709 791 1186 825 917 1158 736 1163 941 8 45 434 787 359 1029 109 450 87 97 496 770 256 221 156 674 980 745 82 648 538 975 938 416 522 563 1115 137 966 890 103 784 129 690 576 1081 68 485 898 1047 1043 470 506 888 539 399 455 423 233 753 191 1053 760 333 585 300 285 1041 780 1156 466 847 478 323 676 658 280 716 518 327 75 86 1012 850 154 248 763 1071 363 366 834 1183 1009 944 1090 624 844 527 799 601 76 1129 420 797 501 841 247 314 633 270 552 590 1127 583 657 169 451 226 904 775 404 701 73 800 1111 183 993 195 1092 972 402 1177 74 662 53 84 304 706 130 1087 227 12 4 495 669 954 215 864 600 516 206 804 568 1001 814 435 515 891 755 614 479 302 998 1026 851 289 166 865 896 98 376 520 397 982 255 1005 1068 664 542 1078 392 1091 670 912 230 1133 569 44 277 875 934 209 854 637 119 748 1099 1060 85 373 1134 1125 1117 208 1114 908 702 83 205 362 1032 718 559 779 650 1103 22 96 468 415 824 628 1052 636 69 282 383 56 104 121 412 269 290 1023 738 200 489 547 197 1130 72 958 764 857 1006 1072 303 136 719 278 1003 729 645 915 37 396 573 819 234 403 391 557 127 1184 448 589 386 638 483 571 1016 100 754 17 1105 1123 168 546 685 968 492 390 771 346 694 603 853 704 953 812 1145 548 945 1137 254 1121 667 220 849 71 114 689 859 1051 1131 861 456 1034 519 9 193 549 1181 1110 497 124 1100 778 894 224 38 1019 351 811 822 43 60 964 385 619 139 1160 985 607 1139 893 287 101 750 1176 593 31 741 1027 428 162 344 259 902 474 460 762 408 816 202 494 955 858 433 371 1141 463 258 579 1065 237 921 482 348 634 222 321 798 173 711 153 981 599 283 51 312 678 925 1067 807 919 1033 178 879 721 418 11 862 726 142 315 131 612 349 933 984 868 477 691 845 176 545 461 922 159 660 1037 1028 475 382 554 89 266 198 1178 132 947 828 297 1153 622 26 340 887 175 440 357 705 264 1159 629 502 305 228 560 839 3 1109 720 1126 275 249 952 761 444 284 511 524 910 512 1098 907 558 422 112 880 815 872 587 261 752 148 57 561 152 792 594 1017 672 467 365 164 414 886 1165 767 555 943 464 710 712 805 295 1106 1057 267 1025 967 347 639 866 751 923 790 487 995 1172 1119 625 1080 788 77 588 167 117 514 354 34 1150 122 1140 1157 740 551 1166 95 1044 62 126 806 649 192 </values>
1023.21/129.19	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14131 MiB free)
  memory of node 1: 16384 MiB (15723 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393708-1568448887/watcher-4393708-1568448887 -o /tmp/evaluation-result-4393708-1568448887/solver-4393708-1568448887 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1380041561 HOME/instance-4393708-1568448887.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=4850, runsolver pid=4847

[startup+0.100137 s]*
/proc/loadavg: 7.28 7.50 7.28 2/212 4871
/proc/meminfo: memFree=30554964/32770624 swapFree=67022328/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 2957 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421161354 115843072 363 33554432000 4194304 5098028 140725385798720 140725385796824 140689710629500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8441856 140725385802613 140725385802857 140725385802857 140725385805770 0
/proc/4850/statm: 28282 363 304 221 0 87 0
[pid=4852] ppid=4850 vsize=28227388 memory=29008 CPUtime=0.13 cores=0-7
/proc/4852/stat : 4852 (java) S 4850 4850 2957 0 -1 1077944320 5730 0 0 0 11 2 0 0 20 0 20 0 421161355 28904845312 7252 33554432000 4194304 4196468 140735909920224 140735909902768 140078321266423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
/proc/4852/statm: 7056847 7252 3120 1 0 7019032 0
[pid=4852/tid=4853] ppid=4850 vsize=28227388 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 2957 0 -1 4202560 3631 0 0 0 8 1 0 0 20 0 20 0 421161355 28904845312 7252 33554432000 4194304 4196468 140735909920224 140078325500704 140078321278358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4854] ppid=4850 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140078280026768 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4855] ppid=4850 vsize=28227388 memory=140564203140736 CPUtime=0 cores=0-7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140077871147536 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4856] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140077870094736 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4857] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140077869041936 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4858] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140077867990160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4859] ppid=4850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140077866937360 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4860] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140077865884560 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4861] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 7252 33554432000 4194304 4196468 140735909920224 140077864831760 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4862] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161357 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076583926128 140078321277570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4863] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421161358 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076582872096 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4864] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421161358 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076581819248 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4865] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161360 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076580767568 140078321285019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4866] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 2957 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 421161360 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076579715952 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4867] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4867/stat : 4867 (java) R 4850 4850 2957 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 421161360 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076578663152 140078321277570 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4868] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4868/stat : 4868 (java) R 4850 4850 2957 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 421161360 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076577610352 140078321277570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4869] ppid=4850 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/4852/task/4869/stat : 4869 (java) R 4850 4850 2957 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 421161360 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076576557552 140078299831681 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4870] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4870/stat : 4870 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421161361 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076575504992 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4871] ppid=4850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/4852/task/4871/stat : 4871 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161361 28904845312 7252 33554432000 4194304 4196468 140735909920224 140076574452272 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30460 KiB

[startup+0.21046 s]*
/proc/loadavg: 7.28 7.50 7.28 3/212 4871
/proc/meminfo: memFree=30544580/32770624 swapFree=67022328/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 2957 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421161354 115843072 363 33554432000 4194304 5098028 140725385798720 140725385796824 140689710629500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8441856 140725385802613 140725385802857 140725385802857 140725385805770 0
/proc/4850/statm: 28282 363 304 221 0 87 0
[pid=4852] ppid=4850 vsize=28227388 memory=40236 CPUtime=0.33 cores=0-7
/proc/4852/stat : 4852 (java) S 4850 4850 2957 0 -1 1077944320 9367 0 0 0 30 3 0 0 20 0 20 0 421161355 28904845312 10059 33554432000 4194304 4196468 140735909920224 140735909902768 140078321266423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
/proc/4852/statm: 7056847 10059 3283 1 0 7019032 0
[pid=4852/tid=4853] ppid=4850 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 2957 0 -1 4202560 6630 0 0 0 17 2 0 0 20 0 20 0 421161355 28904845312 10059 33554432000 4194304 4196468 140735909920224 140078325497952 140078321278358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4854] ppid=4850 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140078280026768 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4855] ppid=4850 vsize=28227388 memory=140564203145845 CPUtime=0 cores=0-7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140077871147536 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4856] ppid=4850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140077870094736 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4857] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140077869041936 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4858] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140077867990160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4859] ppid=4850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140077866937360 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4860] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140077865884560 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4861] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28904845312 10059 33554432000 4194304 4196468 140735909920224 140077864831760 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4862] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421161357 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076583926128 140078321277570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4863] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421161358 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076582872096 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4864] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421161358 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076581819248 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4865] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161360 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076580767568 140078321285019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4866] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 2957 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 421161360 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076579715952 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4867] ppid=4850 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/4852/task/4867/stat : 4867 (java) S 4850 4850 2957 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 421161360 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076578663152 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4868] ppid=4850 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/4852/task/4868/stat : 4868 (java) S 4850 4850 2957 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 421161360 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076577610352 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4869] ppid=4850 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/4852/task/4869/stat : 4869 (java) R 4850 4850 2957 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 20 0 421161360 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076576557552 140078299950063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4870] ppid=4850 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4870/stat : 4870 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421161361 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076575504992 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4871] ppid=4850 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/4852/task/4871/stat : 4871 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161361 28904845312 10059 33554432000 4194304 4196468 140735909920224 140076574452272 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41688 KiB

[startup+0.310241 s]*
/proc/loadavg: 7.28 7.50 7.28 5/212 4871
/proc/meminfo: memFree=30536204/32770624 swapFree=67022328/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 2957 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421161354 115843072 363 33554432000 4194304 5098028 140725385798720 140725385796824 140689710629500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8441856 140725385802613 140725385802857 140725385802857 140725385805770 0
/proc/4850/statm: 28282 363 304 221 0 87 0
[pid=4852] ppid=4850 vsize=28231644 memory=49760 CPUtime=0.52 cores=0-7
/proc/4852/stat : 4852 (java) S 4850 4850 2957 0 -1 1077944320 10822 0 0 0 48 4 0 0 20 0 20 0 421161355 28909203456 12440 33554432000 4194304 4196468 140735909920224 140735909902768 140078321266423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
/proc/4852/statm: 7057911 12440 3328 1 0 7019032 0
[pid=4852/tid=4853] ppid=4850 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 2957 0 -1 4202560 7770 0 0 0 26 3 0 0 20 0 20 0 421161355 28909203456 12440 33554432000 4194304 4196468 140735909920224 140078325497536 140078305346910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4854] ppid=4850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140078280026768 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4855] ppid=4850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140077871147536 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4856] ppid=4850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140077870094736 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4857] ppid=4850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140077869041936 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4858] ppid=4850 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140077867990160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4859] ppid=4850 vsize=28231644 memory=140564079145903 CPUtime=0 cores=0-7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140077866937360 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4860] ppid=4850 vsize=28231644 memory=140564079148208 CPUtime=0 cores=0-7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140077865884560 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4861] ppid=4850 vsize=28231644 memory=140564079150512 CPUtime=0 cores=0-7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28909203456 12440 33554432000 4194304 4196468 140735909920224 140077864831760 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4862] ppid=4850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421161357 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076583926128 140078321277570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4863] ppid=4850 vsize=28231644 memory=281128158307984 CPUtime=0 cores=0-7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421161358 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076582872096 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4864] ppid=4850 vsize=28231644 memory=281128158314896 CPUtime=0 cores=0-7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421161358 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076581819248 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4865] ppid=4850 vsize=28231644 memory=281128158256176 CPUtime=0 cores=0-7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161360 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076580767568 140078321285019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4866] ppid=4850 vsize=28231644 memory=281128158328720 CPUtime=0.02 cores=0-7
/proc/4852/task/4866/stat : 4866 (java) R 4850 4850 2957 0 -1 4202560 429 0 0 0 2 0 0 0 20 0 20 0 421161360 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076579706336 140078302788684 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4867] ppid=4850 vsize=28231644 memory=281128158335632 CPUtime=0.02 cores=0-7
/proc/4852/task/4867/stat : 4867 (java) S 4850 4850 2957 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 20 0 421161360 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076578663152 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4868] ppid=4850 vsize=28231644 memory=281128158333328 CPUtime=0.03 cores=0-7
/proc/4852/task/4868/stat : 4868 (java) S 4850 4850 2957 0 -1 1077944384 128 0 0 0 3 0 0 0 20 0 20 0 421161360 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076577610352 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4869] ppid=4850 vsize=28231644 memory=281128158349488 CPUtime=0.13 cores=0-7
/proc/4852/task/4869/stat : 4869 (java) S 4850 4850 2957 0 -1 1077944384 945 0 0 0 13 0 0 0 20 0 20 0 421161360 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076576557552 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4870] ppid=4850 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4870/stat : 4870 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421161361 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076575504992 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4871] ppid=4850 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/4852/task/4871/stat : 4871 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421161361 28909203456 12440 33554432000 4194304 4196468 140735909920224 140076574452272 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51212 KiB

[startup+0.700967 s]
/proc/loadavg: 7.28 7.50 7.28 3/212 4871
/proc/meminfo: memFree=30523612/32770624 swapFree=67022328/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 2957 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421161354 115843072 363 33554432000 4194304 5098028 140725385798720 140725385796824 140689710629500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8441856 140725385802613 140725385802857 140725385802857 140725385805770 0
/proc/4850/statm: 28282 363 304 221 0 87 0
[pid=4852] ppid=4850 vsize=28233768 memory=100704 CPUtime=1.73 cores=0-7
/proc/4852/stat : 4852 (java) S 4850 4850 2957 0 -1 1077944320 15885 0 0 0 165 8 0 0 20 0 20 0 421161355 28911378432 25176 33554432000 4194304 4196468 140735909920224 140735909902768 140078321266423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
/proc/4852/statm: 7058442 25176 3465 1 0 7019544 0
[pid=4852/tid=4853] ppid=4850 vsize=28233768 memory=281128158707376 CPUtime=0.67 cores=0-7
/proc/4852/task/4853/stat : 4853 (java) R 4850 4850 2957 0 -1 4202560 9136 0 0 0 63 4 0 0 20 0 20 0 421161355 28911378432 25176 33554432000 4194304 4196468 140735909920224 140078325502064 140078321288349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4854] ppid=4850 vsize=28233768 memory=140564079354736 CPUtime=0 cores=0-7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28911378432 25176 33554432000 4194304 4196468 140735909920224 140078280026768 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4855] ppid=4850 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421161356 28911378432 25176 33554432000 4194304 4196468 140735909920224 140077871147536 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4856] ppid=4850 vsize=28233768 memory=1224 CPUtime=0 cores=0-7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421161356 28911378432 25176 33554432000 4194304 4196468 140735909920224 140077870094736 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0

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

[pid=4852/tid=4860] ppid=4850 vsize=28768328 memory=1760 CPUtime=0.43 cores=0-7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 2957 0 -1 1077944384 1235 0 0 0 20 23 0 0 20 0 28 0 421161356 29458767872 370267 33554432000 4194304 4196468 140735909920224 140077865884560 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4861] ppid=4850 vsize=28768328 memory=111632 CPUtime=0.45 cores=0-7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 2957 0 -1 1077944384 1137 0 0 0 20 25 0 0 20 0 28 0 421161356 29458767872 370267 33554432000 4194304 4196468 140735909920224 140077864831760 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4862] ppid=4850 vsize=28768328 memory=804 CPUtime=0.08 cores=0-7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 2957 0 -1 1077944384 3864 0 0 0 6 2 0 0 20 0 28 0 421161357 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076583926128 140078321277570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4863] ppid=4850 vsize=28768328 memory=1844 CPUtime=0 cores=0-7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 2957 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 421161358 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076582872160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4864] ppid=4850 vsize=28768328 memory=4956 CPUtime=0 cores=0-7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 2957 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 421161358 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076581819264 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4865] ppid=4850 vsize=28768328 memory=10092 CPUtime=0 cores=0-7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421161360 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076580767568 140078321285019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4866] ppid=4850 vsize=28768328 memory=1908 CPUtime=3.65 cores=0-7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 2957 0 -1 1077944384 18033 0 0 0 361 4 0 0 20 0 28 0 421161360 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076579715952 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4867] ppid=4850 vsize=28768328 memory=0 CPUtime=3.47 cores=0-7
/proc/4852/task/4867/stat : 4867 (java) S 4850 4850 2957 0 -1 1077944384 15250 0 0 0 343 4 0 0 20 0 28 0 421161360 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076578663152 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4868] ppid=4850 vsize=28768328 memory=7666366133399217767 CPUtime=3.23 cores=0-7
/proc/4852/task/4868/stat : 4868 (java) S 4850 4850 2957 0 -1 1077944384 19112 0 0 0 318 5 0 0 20 0 28 0 421161360 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076577610352 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4869] ppid=4850 vsize=28768328 memory=51 CPUtime=1.03 cores=0-7
/proc/4852/task/4869/stat : 4869 (java) S 4850 4850 2957 0 -1 1077944384 12957 0 0 0 99 4 0 0 20 0 28 0 421161360 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076576557552 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4870] ppid=4850 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4870/stat : 4870 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421161361 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076575504992 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4871] ppid=4850 vsize=28768328 memory=50 CPUtime=0.06 cores=0-7
/proc/4852/task/4871/stat : 4871 (java) S 4850 4850 2957 0 -1 1077944384 1082 0 0 0 6 0 0 0 20 0 28 0 421161361 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076574452272 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4872] ppid=4850 vsize=28768328 memory=0 CPUtime=125.53 cores=0-7
/proc/4852/task/4872/stat : 4872 (java) R 4850 4850 2957 0 -1 4202560 3464 0 0 0 12549 4 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076565244048 140077962884286 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4873] ppid=4850 vsize=28768328 memory=0 CPUtime=124.26 cores=0-7
/proc/4852/task/4873/stat : 4873 (java) R 4850 4850 2957 0 -1 4202560 1911 0 0 0 12423 3 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076564188920 140077963266926 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4874] ppid=4850 vsize=28768328 memory=0 CPUtime=124.25 cores=0-7
/proc/4852/task/4874/stat : 4874 (java) R 4850 4850 2957 0 -1 4202560 11121 0 0 0 12408 17 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076563136624 140077964704987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4875] ppid=4850 vsize=28768328 memory=1452 CPUtime=124.82 cores=0-7
/proc/4852/task/4875/stat : 4875 (java) R 4850 4850 2957 0 -1 4202560 4906 0 0 0 12475 7 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076562084344 140077962408433 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4876] ppid=4850 vsize=28768328 memory=1422340 CPUtime=125.14 cores=0-7
/proc/4852/task/4876/stat : 4876 (java) R 4850 4850 2957 0 -1 4202560 3169 0 0 0 12511 3 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076561031192 140077963407040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4877] ppid=4850 vsize=28768328 memory=2001 CPUtime=125.54 cores=0-7
/proc/4852/task/4877/stat : 4877 (java) R 4850 4850 2957 0 -1 4202560 3869 0 0 0 12550 4 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076559981768 140077964449264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4878] ppid=4850 vsize=28768328 memory=0 CPUtime=124.71 cores=0-7
/proc/4852/task/4878/stat : 4878 (java) R 4850 4850 2957 0 -1 4202560 2068 0 0 0 12468 3 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076558925608 140077962883513 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4879] ppid=4850 vsize=28768328 memory=97 CPUtime=124.29 cores=0-7
/proc/4852/task/4879/stat : 4879 (java) R 4850 4850 2957 0 -1 4202560 3446 0 0 0 12423 6 0 0 20 0 28 0 421161444 29458767872 370267 33554432000 4194304 4196468 140735909920224 140076557872808 140077962886233 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
Current children cumulated CPU time: 1014.44 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1482520 KiB

[startup+128.802 s]
/proc/loadavg: 8.45 7.85 7.43 9/219 4887
/proc/meminfo: memFree=29105276/32770624 swapFree=67022328/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 2957 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421161354 115843072 363 33554432000 4194304 5098028 140725385798720 140725385796824 140689710629500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8441856 140725385802613 140725385802857 140725385802857 140725385805770 0
/proc/4850/statm: 28282 363 304 221 0 87 0
[pid=4852] ppid=4850 vsize=28768328 memory=1483100 CPUtime=1020.75 cores=0-7
/proc/4852/stat : 4852 (java) S 4850 4850 2957 0 -1 1077944320 128849 0 0 0 101815 260 0 0 20 0 28 0 421161355 29458767872 370775 33554432000 4194304 4196468 140735909920224 140735909902768 140078321266423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
/proc/4852/statm: 7192082 370775 3537 1 0 7153184 0
[pid=4852/tid=4853] ppid=4850 vsize=28768328 memory=1481068 CPUtime=0.87 cores=0-7
/proc/4852/task/4853/stat : 4853 (java) S 4850 4850 2957 0 -1 1077944384 9310 0 0 0 82 5 0 0 20 0 28 0 421161355 29458767872 370775 33554432000 4194304 4196468 140735909920224 140078325507200 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4854] ppid=4850 vsize=28768328 memory=8112282956445269571 CPUtime=0.4 cores=0-7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 2957 0 -1 1077944384 1820 0 0 0 18 22 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140078280026768 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4855] ppid=4850 vsize=28768328 memory=1481068 CPUtime=0.41 cores=0-7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 2957 0 -1 1077944384 1119 0 0 0 19 22 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140077871147536 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4856] ppid=4850 vsize=28768328 memory=2184 CPUtime=0.42 cores=0-7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 2957 0 -1 1077944384 1712 0 0 0 20 22 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140077870094736 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4857] ppid=4850 vsize=28768328 memory=1844 CPUtime=0.4 cores=0-7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 2957 0 -1 1077944384 2461 0 0 0 19 21 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140077869041936 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4858] ppid=4850 vsize=28768328 memory=4956 CPUtime=0.43 cores=0-7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 2957 0 -1 1077944384 2300 0 0 0 19 24 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140077867990160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4859] ppid=4850 vsize=28768328 memory=8112282956445269571 CPUtime=0.42 cores=0-7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 2957 0 -1 1077944384 2126 0 0 0 19 23 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140077866937360 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4860] ppid=4850 vsize=28768328 memory=38 CPUtime=0.43 cores=0-7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 2957 0 -1 1077944384 1238 0 0 0 20 23 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140077865884560 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4861] ppid=4850 vsize=28768328 memory=37 CPUtime=0.45 cores=0-7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 2957 0 -1 1077944384 1141 0 0 0 20 25 0 0 20 0 28 0 421161356 29458767872 370775 33554432000 4194304 4196468 140735909920224 140077864831760 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4862] ppid=4850 vsize=28768328 memory=40 CPUtime=0.08 cores=0-7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 2957 0 -1 1077944384 3865 0 0 0 6 2 0 0 20 0 28 0 421161357 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076583926128 140078321277570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4863] ppid=4850 vsize=28768328 memory=40 CPUtime=0 cores=0-7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 2957 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 421161358 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076582872160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4864] ppid=4850 vsize=28768328 memory=8 CPUtime=0 cores=0-7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 2957 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 421161358 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076581819264 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4865] ppid=4850 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421161360 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076580767568 140078321285019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4866] ppid=4850 vsize=28768328 memory=4488 CPUtime=3.65 cores=0-7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 2957 0 -1 1077944384 18033 0 0 0 361 4 0 0 20 0 28 0 421161360 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076579715952 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4867] ppid=4850 vsize=28768328 memory=4108 CPUtime=3.47 cores=0-7
/proc/4852/task/4867/stat : 4867 (java) S 4850 4850 2957 0 -1 1077944384 15250 0 0 0 343 4 0 0 20 0 28 0 421161360 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076578663152 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4868] ppid=4850 vsize=28768328 memory=1412 CPUtime=3.23 cores=0-7
/proc/4852/task/4868/stat : 4868 (java) S 4850 4850 2957 0 -1 1077944384 19112 0 0 0 318 5 0 0 20 0 28 0 421161360 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076577610352 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4869] ppid=4850 vsize=28768328 memory=3416 CPUtime=1.03 cores=0-7
/proc/4852/task/4869/stat : 4869 (java) S 4850 4850 2957 0 -1 1077944384 12957 0 0 0 99 4 0 0 20 0 28 0 421161360 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076576557552 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4870] ppid=4850 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/4852/task/4870/stat : 4870 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421161361 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076575504992 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4871] ppid=4850 vsize=28768328 memory=1474948 CPUtime=0.06 cores=0-7
/proc/4852/task/4871/stat : 4871 (java) S 4850 4850 2957 0 -1 1077944384 1082 0 0 0 6 0 0 0 20 0 28 0 421161361 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076574452272 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4872] ppid=4850 vsize=28768328 memory=8112282956445269571 CPUtime=126.31 cores=0-7
/proc/4852/task/4872/stat : 4872 (java) R 4850 4850 2957 0 -1 4202560 3464 0 0 0 12627 4 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076565243696 140077964055573 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4873] ppid=4850 vsize=28768328 memory=4126316290023845779 CPUtime=125.04 cores=0-7
/proc/4852/task/4873/stat : 4873 (java) R 4850 4850 2957 0 -1 4202560 1911 0 0 0 12501 3 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076564188984 140077965052276 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4874] ppid=4850 vsize=28768328 memory=8112282956445269571 CPUtime=125.04 cores=0-7
/proc/4852/task/4874/stat : 4874 (java) R 4850 4850 2957 0 -1 4202560 11121 0 0 0 12487 17 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076563137160 140077966775720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4875] ppid=4850 vsize=28768328 memory=2876 CPUtime=125.6 cores=0-7
/proc/4852/task/4875/stat : 4875 (java) R 4850 4850 2957 0 -1 4202560 4907 0 0 0 12553 7 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076562084192 140077964055564 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4876] ppid=4850 vsize=28768328 memory=1572 CPUtime=125.93 cores=0-7
/proc/4852/task/4876/stat : 4876 (java) R 4850 4850 2957 0 -1 4202560 3169 0 0 0 12590 3 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076561031408 140077962883543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4877] ppid=4850 vsize=28768328 memory=868 CPUtime=126.33 cores=0-7
/proc/4852/task/4877/stat : 4877 (java) R 4850 4850 2957 0 -1 4202560 3869 0 0 0 12629 4 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076559978744 140077964782132 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4878] ppid=4850 vsize=28768328 memory=1760 CPUtime=125.5 cores=0-7
/proc/4852/task/4878/stat : 4878 (java) R 4850 4850 2957 0 -1 4202560 2069 0 0 0 12547 3 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076558925584 140077964055564 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4879] ppid=4850 vsize=28768328 memory=111632 CPUtime=125.07 cores=0-7
/proc/4852/task/4879/stat : 4879 (java) R 4850 4850 2957 0 -1 4202560 3447 0 0 0 12501 6 0 0 20 0 28 0 421161444 29458767872 370775 33554432000 4194304 4196468 140735909920224 140076557875816 140077963373168 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
Current children cumulated CPU time: 1020.75 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1484552 KiB

[startup+129.201 s]
/proc/loadavg: 8.41 7.85 7.43 9/219 4887
/proc/meminfo: memFree=29103576/32770624 swapFree=67022328/67108860
[pid=4850] ppid=4847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4850/stat : 4850 (xcsp3-exec) S 4847 4850 2957 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421161354 115843072 363 33554432000 4194304 5098028 140725385798720 140725385796824 140689710629500 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8441856 140725385802613 140725385802857 140725385802857 140725385805770 0
/proc/4850/statm: 28282 363 304 221 0 87 0
[pid=4852] ppid=4850 vsize=28768328 memory=1487664 CPUtime=1023.8 cores=0-7
/proc/4852/stat : 4852 (java) S 4850 4850 2957 0 -1 1077944320 130366 0 0 0 102118 262 0 0 20 0 19 0 421161355 29458767872 371916 33554432000 4194304 4196468 140735909920224 140735909902768 140078321266423 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
/proc/4852/statm: 7192082 371916 3540 1 0 7153184 0
[pid=4852/tid=4853] ppid=4850 vsize=28768328 memory=924 CPUtime=0.87 cores=0-7
/proc/4852/task/4853/stat : 4853 (java) S 4850 4850 2957 0 -1 1077944384 9743 0 0 0 82 5 0 0 20 0 19 0 421161355 29458767872 371916 33554432000 4194304 4196468 140735909920224 140078325509264 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4854] ppid=4850 vsize=28768328 memory=2344 CPUtime=0.4 cores=0-7
/proc/4852/task/4854/stat : 4854 (java) S 4850 4850 2957 0 -1 1077944384 1825 0 0 0 18 22 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140078280026768 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4855] ppid=4850 vsize=28768328 memory=1452 CPUtime=0.42 cores=0-7
/proc/4852/task/4855/stat : 4855 (java) S 4850 4850 2957 0 -1 1077944384 1122 0 0 0 20 22 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140077871147536 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4856] ppid=4850 vsize=28768328 memory=1483100 CPUtime=0.43 cores=0-7
/proc/4852/task/4856/stat : 4856 (java) S 4850 4850 2957 0 -1 1077944384 1716 0 0 0 20 23 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140077870094736 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4857] ppid=4850 vsize=28768328 memory=1572 CPUtime=0.4 cores=0-7
/proc/4852/task/4857/stat : 4857 (java) S 4850 4850 2957 0 -1 1077944384 2466 0 0 0 19 21 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140077869041936 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4858] ppid=4850 vsize=28768328 memory=868 CPUtime=0.43 cores=0-7
/proc/4852/task/4858/stat : 4858 (java) S 4850 4850 2957 0 -1 1077944384 2303 0 0 0 19 24 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140077867990160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4859] ppid=4850 vsize=28768328 memory=1760 CPUtime=0.42 cores=0-7
/proc/4852/task/4859/stat : 4859 (java) S 4850 4850 2957 0 -1 1077944384 2129 0 0 0 19 23 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140077866937360 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4860] ppid=4850 vsize=28768328 memory=6628 CPUtime=0.44 cores=0-7
/proc/4852/task/4860/stat : 4860 (java) S 4850 4850 2957 0 -1 1077944384 1242 0 0 0 20 24 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140077865884560 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4861] ppid=4850 vsize=28768328 memory=8836 CPUtime=0.45 cores=0-7
/proc/4852/task/4861/stat : 4861 (java) S 4850 4850 2957 0 -1 1077944384 1145 0 0 0 20 25 0 0 20 0 19 0 421161356 29458767872 371916 33554432000 4194304 4196468 140735909920224 140077864831760 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4862] ppid=4850 vsize=28768328 memory=11044 CPUtime=0.09 cores=0-7
/proc/4852/task/4862/stat : 4862 (java) S 4850 4850 2957 0 -1 1077944384 3865 0 0 0 7 2 0 0 20 0 19 0 421161357 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076583926336 140078321277570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4863] ppid=4850 vsize=28768328 memory=13252 CPUtime=0 cores=0-7
/proc/4852/task/4863/stat : 4863 (java) S 4850 4850 2957 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 421161358 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076582872160 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4864] ppid=4850 vsize=28768328 memory=15460 CPUtime=0 cores=0-7
/proc/4852/task/4864/stat : 4864 (java) S 4850 4850 2957 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 421161358 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076581819264 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4865] ppid=4850 vsize=28768328 memory=1403544 CPUtime=0 cores=0-7
/proc/4852/task/4865/stat : 4865 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 421161360 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076580766624 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4866] ppid=4850 vsize=28768328 memory=1452 CPUtime=3.65 cores=0-7
/proc/4852/task/4866/stat : 4866 (java) S 4850 4850 2957 0 -1 1077944384 18129 0 0 0 361 4 0 0 20 0 19 0 421161360 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076579715952 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4867] ppid=4850 vsize=28768328 memory=1452 CPUtime=3.47 cores=0-7
/proc/4852/task/4867/stat : 4867 (java) S 4850 4850 2957 0 -1 1077944384 15250 0 0 0 343 4 0 0 20 0 19 0 421161360 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076578663152 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4868] ppid=4850 vsize=28768328 memory=860 CPUtime=3.23 cores=0-7
/proc/4852/task/4868/stat : 4868 (java) S 4850 4850 2957 0 -1 1077944384 19187 0 0 0 318 5 0 0 20 0 19 0 421161360 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076577594864 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4869] ppid=4850 vsize=28768328 memory=776 CPUtime=1.03 cores=0-7
/proc/4852/task/4869/stat : 4869 (java) S 4850 4850 2957 0 -1 1077944384 13583 0 0 0 99 4 0 0 20 0 19 0 421161360 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076576557552 140078321277570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
[pid=4852/tid=4870] ppid=4850 vsize=28768328 memory=1612 CPUtime=0 cores=0-7
/proc/4852/task/4870/stat : 4870 (java) S 4850 4850 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 421161361 29458767872 371916 33554432000 4194304 4196468 140735909920224 140076575504992 140078321276629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30343168 140735909925866 140735909926038 140735909926038 140735909928911 0
Current children cumulated CPU time: 1023.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1489116 KiB

Child status: 0
Real time (s): 129.22
CPU time (s): 1023.83
CPU user time (s): 1021.18
CPU system time (s): 2.64559
CPU usage (%): 792.317
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 1489672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1021.18
system time used= 2.64559
maximum resident set size= 1491296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11507
involuntary context switches= 13770


# summary of solver processes directly reported to runsolver:
#   pid: 4850
#   total CPU time (s): 1023.83
#   total CPU user time (s): 1021.18
#   total CPU system time (s): 2.64559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13626 second user time and 1.68613 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 10:14:08
IDJOB=4393708
IDBENCH=141693
IDSOLVER=2841
FILE ID=node150/4393708-1568448887
RUNJOBID= node150-1568441012-2984
PBS_JOBID= 21702341
Free space on /tmp= 59360 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP19/hcp/graph197.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393708-1568448887/watcher-4393708-1568448887 -o /tmp/evaluation-result-4393708-1568448887/solver-4393708-1568448887 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1380041561 HOME/instance-4393708-1568448887.xml

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

MD5SUM BENCH= 037a78a785183bf334685935f46df3ca
RANDOM SEED=1380041561

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:        30571440 kB
MemAvailable:   31848068 kB
Buffers:          160948 kB
Cached:          1363124 kB
SwapCached:        13556 kB
Active:           768148 kB
Inactive:         804180 kB
Active(anon):       5772 kB
Inactive(anon):    68520 kB
Active(file):     762376 kB
Inactive(file):   735660 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       67022328 kB
Dirty:             26308 kB
Writeback:             0 kB
AnonPages:        251880 kB
Mapped:            39376 kB
Shmem:             17652 kB
Slab:             218128 kB
SReclaimable:     188856 kB
SUnreclaim:        29272 kB
KernelStack:        3760 kB
PageTables:         5916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

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