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 (14822 MiB free)
memory of node 1: 16384 MiB (14301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399275-1568699000/watcher-4399275-1568699000 -o /tmp/evaluation-result-4399275-1568699000/solver-4399275-1568699000 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568698770-20211 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 331599863 HOME/instance-4399275-1568699000.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20797, runsolver pid=20794
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 7.92 4.27 2.38 6/234 20813
/proc/meminfo: memFree=29806780/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
[pid=20799] ppid=20797 vsize=15144776 memory=30204 CPUtime=0.11 cores=0,2,4,6
/proc/20799/stat : 20799 (java) S 20797 20797 20180 0 -1 1077944320 5431 0 0 0 10 1 0 0 20 0 15 0 446061591 15508250624 7551 33554432000 4194304 4196468 140721891715568 140721891698112 140335600299767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
/proc/20799/statm: 3786194 7551 3146 1 0 3748377 0
[pid=20799/tid=20800] ppid=20797 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/20799/task/20800/stat : 20800 (java) R 20797 20797 20180 0 -1 4202560 3356 0 0 0 7 1 0 0 20 0 15 0 446061591 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335604531696 140335187629312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20801] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20801/stat : 20801 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335511955728 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20802] ppid=20797 vsize=15144776 memory=140534625212506 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20802/stat : 20802 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335510903184 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20803] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20803/stat : 20803 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335509850640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20804] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20804/stat : 20804 (java) S 20797 20797 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335508798096 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20805] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20805/stat : 20805 (java) S 20797 20797 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446061594 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335069010416 140335600310914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20806] ppid=20797 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20806/stat : 20806 (java) S 20797 20797 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446061594 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335067956640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20807] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20807/stat : 20807 (java) S 20797 20797 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446061594 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335066904048 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20808] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20808/stat : 20808 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446061597 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335065852624 140335600318363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20809] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20809/stat : 20809 (java) S 20797 20797 20180 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 446061597 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335064799216 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20810] ppid=20797 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20810/stat : 20810 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061597 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335063746672 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20811] ppid=20797 vsize=15144776 memory=140534621914752 CPUtime=0.01 cores=0,2,4,6
/proc/20799/task/20811/stat : 20811 (java) R 20797 20797 20180 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 446061597 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335062694128 140335579593948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20812] ppid=20797 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20812/stat : 20812 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446061597 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335061641824 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20813] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20813/stat : 20813 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061598 15508250624 7551 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31656 KiB
[startup+0.210567 s]*
/proc/loadavg: 7.92 4.27 2.38 7/234 20813
/proc/meminfo: memFree=29794048/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
[pid=20799] ppid=20797 vsize=15144776 memory=40780 CPUtime=0.33 cores=0,2,4,6
/proc/20799/stat : 20799 (java) S 20797 20797 20180 0 -1 1077944320 8846 0 0 0 30 3 0 0 20 0 15 0 446061591 15508250624 10195 33554432000 4194304 4196468 140721891715568 140721891698112 140335600299767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
/proc/20799/statm: 3786194 10195 3313 1 0 3748377 0
[pid=20799/tid=20800] ppid=20797 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/20799/task/20800/stat : 20800 (java) R 20797 20797 20180 0 -1 4202560 6153 0 0 0 17 2 0 0 20 0 15 0 446061591 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335604531680 140335584380254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20801] ppid=20797 vsize=15144776 memory=14643 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20801/stat : 20801 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335511955728 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20802] ppid=20797 vsize=15144776 memory=3474725067378378400 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20802/stat : 20802 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335510903184 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20803] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20803/stat : 20803 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335509850640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20804] ppid=20797 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20804/stat : 20804 (java) S 20797 20797 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446061592 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335508798096 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20805] ppid=20797 vsize=15144776 memory=140534621914752 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20805/stat : 20805 (java) S 20797 20797 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446061594 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335069010416 140335600310914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20806] ppid=20797 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20806/stat : 20806 (java) S 20797 20797 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446061594 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335067956640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20807] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20807/stat : 20807 (java) S 20797 20797 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446061594 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335066904048 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20808] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20808/stat : 20808 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446061597 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335065852624 140335600318363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20809] ppid=20797 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20799/task/20809/stat : 20809 (java) R 20797 20797 20180 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 446061597 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335064799216 140335600310914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20810] ppid=20797 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20799/task/20810/stat : 20810 (java) R 20797 20797 20180 0 -1 4202560 73 0 0 0 1 0 0 0 20 0 15 0 446061597 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335063746672 140335593284809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20811] ppid=20797 vsize=15144776 memory=140534621914752 CPUtime=0.07 cores=0,2,4,6
/proc/20799/task/20811/stat : 20811 (java) R 20797 20797 20180 0 -1 4202560 761 0 0 0 7 0 0 0 20 0 15 0 446061597 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335062689168 140335579268081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20812] ppid=20797 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20812/stat : 20812 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446061597 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335061641824 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20813] ppid=20797 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20813/stat : 20813 (java) R 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061598 15508250624 10195 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42232 KiB
[startup+0.313347 s]*
/proc/loadavg: 7.92 4.27 2.38 7/234 20813
/proc/meminfo: memFree=29788992/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
[pid=20799] ppid=20797 vsize=15149032 memory=49784 CPUtime=0.52 cores=0,2,4,6
/proc/20799/stat : 20799 (java) S 20797 20797 20180 0 -1 1077944320 10364 0 0 0 48 4 0 0 20 0 15 0 446061591 15512608768 12446 33554432000 4194304 4196468 140721891715568 140721891698112 140335600299767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
/proc/20799/statm: 3787258 12446 3360 1 0 3748377 0
[pid=20799/tid=20800] ppid=20797 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/20799/task/20800/stat : 20800 (java) R 20797 20797 20180 0 -1 4202560 7343 0 0 0 26 3 0 0 20 0 15 0 446061591 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335604530880 140335584380254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20801] ppid=20797 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20801/stat : 20801 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335511955728 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20802] ppid=20797 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20802/stat : 20802 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335510903184 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20803] ppid=20797 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20803/stat : 20803 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061592 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335509850640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20804] ppid=20797 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20804/stat : 20804 (java) S 20797 20797 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446061592 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335508798096 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20805] ppid=20797 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20805/stat : 20805 (java) S 20797 20797 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446061594 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335069010416 140335600310914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20806] ppid=20797 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20806/stat : 20806 (java) S 20797 20797 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446061594 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335067956640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20807] ppid=20797 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20807/stat : 20807 (java) S 20797 20797 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446061594 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335066904048 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20808] ppid=20797 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20808/stat : 20808 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446061597 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335065852624 140335600318363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20809] ppid=20797 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/20799/task/20809/stat : 20809 (java) S 20797 20797 20180 0 -1 1077944384 571 0 0 0 4 0 0 0 20 0 15 0 446061597 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335064799216 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20810] ppid=20797 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20799/task/20810/stat : 20810 (java) R 20797 20797 20180 0 -1 4202560 234 0 0 0 3 0 0 0 20 0 15 0 446061597 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335063746672 140335581000064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20811] ppid=20797 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20799/task/20811/stat : 20811 (java) S 20797 20797 20180 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 15 0 446061597 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335062694128 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20812] ppid=20797 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20812/stat : 20812 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446061597 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335061641824 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20813] ppid=20797 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20813/stat : 20813 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446061598 15512608768 12446 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51236 KiB
[startup+0.702624 s]
/proc/loadavg: 7.92 4.27 2.38 10/234 20813
/proc/meminfo: memFree=29773456/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
[pid=20799] ppid=20797 vsize=15483976 memory=150108 CPUtime=1.63 cores=0,2,4,6
/proc/20799/stat : 20799 (java) S 20797 20797 20180 0 -1 1077944320 14136 0 0 0 156 7 0 0 20 0 19 0 446061591 15855591424 37527 33554432000 4194304 4196468 140721891715568 140721891698112 140335600299767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
/proc/20799/statm: 3870994 37527 3465 1 0 3832094 0
[pid=20799/tid=20800] ppid=20797 vsize=15483976 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/20799/task/20800/stat : 20800 (java) S 20797 20797 20180 0 -1 1077944384 8321 0 0 0 48 3 0 0 20 0 19 0 446061591 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335604540544 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20801] ppid=20797 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20801/stat : 20801 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446061592 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335511955728 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20802] ppid=20797 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20802/stat : 20802 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446061592 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335510903184 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20803] ppid=20797 vsize=15483976 memory=740 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20803/stat : 20803 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446061592 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335509850640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20804] ppid=20797 vsize=15483976 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20804/stat : 20804 (java) S 20797 20797 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446061592 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335508798096 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20805] ppid=20797 vsize=15483976 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20805/stat : 20805 (java) S 20797 20797 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335069010416 140335600310914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20806] ppid=20797 vsize=15483976 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20806/stat : 20806 (java) S 20797 20797 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335067956640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20807] ppid=20797 vsize=15483976 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20807/stat : 20807 (java) S 20797 20797 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335066904048 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20808] ppid=20797 vsize=15483976 memory=776 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20808/stat : 20808 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335065852624 140335600318363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20809] ppid=20797 vsize=15483976 memory=1160 CPUtime=0.24 cores=0,2,4,6
/proc/20799/task/20809/stat : 20809 (java) R 20797 20797 20180 0 -1 4202560 1364 0 0 0 24 0 0 0 20 0 19 0 446061597 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335064780624 140335586329712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20810] ppid=20797 vsize=15483976 memory=1720 CPUtime=0.25 cores=0,2,4,6
/proc/20799/task/20810/stat : 20810 (java) R 20797 20797 20180 0 -1 4202560 580 0 0 0 25 0 0 0 20 0 19 0 446061597 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335063736464 140335586624033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20811] ppid=20797 vsize=15483976 memory=1096 CPUtime=0.35 cores=0,2,4,6
/proc/20799/task/20811/stat : 20811 (java) R 20797 20797 20180 0 -1 1077944384 1685 0 0 0 35 0 0 0 20 0 19 0 446061597 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335062689888 140335600309973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20812] ppid=20797 vsize=15483976 memory=5988 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20812/stat : 20812 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335061641824 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20813] ppid=20797 vsize=15483976 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20813/stat : 20813 (java) S 20797 20797 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446061598 15855591424 37527 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 151560 KiB
[startup+1.50595 s]
/proc/loadavg: 7.92 4.27 2.38 11/238 20865
/proc/meminfo: memFree=29647472/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20799/task/20813/stat : 20813 (java) S 20797 20797 20180 0 -1 1077944384 888 0 0 0 6 6 0 0 20 0 19 0 446061598 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20870] ppid=20797 vsize=15483976 memory=504 CPUtime=482.27 cores=0,2,4,6
/proc/20799/task/20870/stat : 20870 (java) R 20797 20797 20180 0 -1 4202560 1405 0 0 0 48226 1 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335050317384 140335192460650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20871] ppid=20797 vsize=15483976 memory=1560 CPUtime=481.98 cores=0,2,4,6
/proc/20799/task/20871/stat : 20871 (java) R 20797 20797 20180 0 -1 4202560 3840 0 0 0 48197 1 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335051370480 140335193225965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20872] ppid=20797 vsize=15483976 memory=924 CPUtime=482.27 cores=0,2,4,6
/proc/20799/task/20872/stat : 20872 (java) R 20797 20797 20180 0 -1 4202560 3328 0 0 0 48225 2 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335048215856 140335191572853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20873] ppid=20797 vsize=15483976 memory=1452 CPUtime=481.73 cores=0,2,4,6
/proc/20799/task/20873/stat : 20873 (java) R 20797 20797 20180 0 -1 4202560 3181 0 0 0 48171 2 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335049264600 140335192618251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 1940.49 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 378540 KiB
[startup+489.201 s]
/proc/loadavg: 8.64 7.68 4.90 9/238 21000
/proc/meminfo: memFree=30376840/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
[pid=20799] ppid=20797 vsize=15483976 memory=377088 CPUtime=1942.07 cores=0,2,4,6
/proc/20799/stat : 20799 (java) S 20797 20797 20180 0 -1 1077944320 75185 0 0 0 194156 51 0 0 20 0 19 0 446061591 15855591424 94272 33554432000 4194304 4196468 140721891715568 140721891698112 140335600299767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
/proc/20799/statm: 3870994 94272 3532 1 0 3832094 0
[pid=20799/tid=20800] ppid=20797 vsize=15483976 memory=6791534058613427641 CPUtime=0.51 cores=0,2,4,6
/proc/20799/task/20800/stat : 20800 (java) S 20797 20797 20180 0 -1 1077944384 8321 0 0 0 48 3 0 0 20 0 19 0 446061591 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335604540544 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20801] ppid=20797 vsize=15483976 memory=303430223234596890 CPUtime=0.94 cores=0,2,4,6
/proc/20799/task/20801/stat : 20801 (java) S 20797 20797 20180 0 -1 1077944384 3174 0 0 0 85 9 0 0 20 0 19 0 446061592 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335511955728 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20802] ppid=20797 vsize=15483976 memory=288230621803970871 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20802/stat : 20802 (java) S 20797 20797 20180 0 -1 1077944384 2308 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335510903184 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20803] ppid=20797 vsize=15483976 memory=16106965717748364 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20803/stat : 20803 (java) S 20797 20797 20180 0 -1 1077944384 2045 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335509850640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20804] ppid=20797 vsize=15483976 memory=303430270546346295 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20804/stat : 20804 (java) S 20797 20797 20180 0 -1 1077944384 2557 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335508798096 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20805] ppid=20797 vsize=15483976 memory=209004 CPUtime=0.55 cores=0,2,4,6
/proc/20799/task/20805/stat : 20805 (java) S 20797 20797 20180 0 -1 1077944384 5147 0 0 0 49 6 0 0 20 0 19 0 446061594 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335069010416 140335600310914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20806] ppid=20797 vsize=15483976 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20806/stat : 20806 (java) S 20797 20797 20180 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335067956704 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20807] ppid=20797 vsize=15483976 memory=1398722017469774279 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20807/stat : 20807 (java) S 20797 20797 20180 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335066904064 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20808] ppid=20797 vsize=15483976 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20808/stat : 20808 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335065852624 140335600318363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20809] ppid=20797 vsize=15483976 memory=2120 CPUtime=2.03 cores=0,2,4,6
/proc/20799/task/20809/stat : 20809 (java) S 20797 20797 20180 0 -1 1077944384 14727 0 0 0 202 1 0 0 20 0 19 0 446061597 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335064799216 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20810] ppid=20797 vsize=15483976 memory=504 CPUtime=2.26 cores=0,2,4,6
/proc/20799/task/20810/stat : 20810 (java) S 20797 20797 20180 0 -1 1077944384 14309 0 0 0 225 1 0 0 20 0 19 0 446061597 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335063746672 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20811] ppid=20797 vsize=15483976 memory=1560 CPUtime=0.61 cores=0,2,4,6
/proc/20799/task/20811/stat : 20811 (java) S 20797 20797 20180 0 -1 1077944384 7401 0 0 0 60 1 0 0 20 0 19 0 446061597 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335062694128 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20812] ppid=20797 vsize=15483976 memory=924 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20812/stat : 20812 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335061641824 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20813] ppid=20797 vsize=15483976 memory=1692 CPUtime=0.12 cores=0,2,4,6
/proc/20799/task/20813/stat : 20813 (java) S 20797 20797 20180 0 -1 1077944384 888 0 0 0 6 6 0 0 20 0 19 0 446061598 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20870] ppid=20797 vsize=15483976 memory=792 CPUtime=482.67 cores=0,2,4,6
/proc/20799/task/20870/stat : 20870 (java) R 20797 20797 20180 0 -1 4202560 1405 0 0 0 48266 1 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335050317384 140335193237349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20871] ppid=20797 vsize=15483976 memory=377088 CPUtime=482.38 cores=0,2,4,6
/proc/20799/task/20871/stat : 20871 (java) R 20797 20797 20180 0 -1 4202560 3840 0 0 0 48237 1 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335051370480 140335584639936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20872] ppid=20797 vsize=15483976 memory=377088 CPUtime=482.65 cores=0,2,4,6
/proc/20799/task/20872/stat : 20872 (java) R 20797 20797 20180 0 -1 4202560 3328 0 0 0 48263 2 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335048215856 140335193188365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20873] ppid=20797 vsize=15483976 memory=504 CPUtime=482.13 cores=0,2,4,6
/proc/20799/task/20873/stat : 20873 (java) R 20797 20797 20180 0 -1 4202560 3181 0 0 0 48211 2 0 0 20 0 19 0 446061753 15855591424 94272 33554432000 4194304 4196468 140721891715568 140335049264600 140335191573933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 1942.07 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 378540 KiB
[startup+489.601 s]
/proc/loadavg: 8.64 7.68 4.90 9/238 21000
/proc/meminfo: memFree=30376840/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
[pid=20799] ppid=20797 vsize=15483976 memory=377288 CPUtime=1943.67 cores=0,2,4,6
/proc/20799/stat : 20799 (java) S 20797 20797 20180 0 -1 1077944320 75258 0 0 0 194316 51 0 0 20 0 19 0 446061591 15855591424 94322 33554432000 4194304 4196468 140721891715568 140721891698112 140335600299767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
/proc/20799/statm: 3870994 94322 3532 1 0 3832094 0
[pid=20799/tid=20800] ppid=20797 vsize=15483976 memory=7957840591243091925 CPUtime=0.51 cores=0,2,4,6
/proc/20799/task/20800/stat : 20800 (java) S 20797 20797 20180 0 -1 1077944384 8321 0 0 0 48 3 0 0 20 0 19 0 446061591 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335604540544 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20801] ppid=20797 vsize=15483976 memory=1452 CPUtime=0.94 cores=0,2,4,6
/proc/20799/task/20801/stat : 20801 (java) S 20797 20797 20180 0 -1 1077944384 3192 0 0 0 85 9 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335511955728 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20802] ppid=20797 vsize=15483976 memory=1452 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20802/stat : 20802 (java) S 20797 20797 20180 0 -1 1077944384 2328 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335510903184 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20803] ppid=20797 vsize=15483976 memory=377088 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20803/stat : 20803 (java) S 20797 20797 20180 0 -1 1077944384 2057 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335509850640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20804] ppid=20797 vsize=15483976 memory=1760 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20804/stat : 20804 (java) S 20797 20797 20180 0 -1 1077944384 2579 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335508798096 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20805] ppid=20797 vsize=15483976 memory=377088 CPUtime=0.55 cores=0,2,4,6
/proc/20799/task/20805/stat : 20805 (java) S 20797 20797 20180 0 -1 1077944384 5147 0 0 0 49 6 0 0 20 0 19 0 446061594 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335069010416 140335600310914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20806] ppid=20797 vsize=15483976 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20806/stat : 20806 (java) S 20797 20797 20180 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335067956704 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20807] ppid=20797 vsize=15483976 memory=3588 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20807/stat : 20807 (java) S 20797 20797 20180 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335066904064 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20808] ppid=20797 vsize=15483976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20808/stat : 20808 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335065852624 140335600318363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20809] ppid=20797 vsize=15483976 memory=1692 CPUtime=2.03 cores=0,2,4,6
/proc/20799/task/20809/stat : 20809 (java) S 20797 20797 20180 0 -1 1077944384 14727 0 0 0 202 1 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335064799216 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20810] ppid=20797 vsize=15483976 memory=792 CPUtime=2.26 cores=0,2,4,6
/proc/20799/task/20810/stat : 20810 (java) S 20797 20797 20180 0 -1 1077944384 14309 0 0 0 225 1 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335063746672 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20811] ppid=20797 vsize=15483976 memory=1448 CPUtime=0.61 cores=0,2,4,6
/proc/20799/task/20811/stat : 20811 (java) S 20797 20797 20180 0 -1 1077944384 7401 0 0 0 60 1 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335062694128 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20812] ppid=20797 vsize=15483976 memory=1964 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20812/stat : 20812 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335061641824 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20813] ppid=20797 vsize=15483976 memory=2456 CPUtime=0.12 cores=0,2,4,6
/proc/20799/task/20813/stat : 20813 (java) S 20797 20797 20180 0 -1 1077944384 888 0 0 0 6 6 0 0 20 0 19 0 446061598 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20870] ppid=20797 vsize=15483976 memory=1760 CPUtime=483.07 cores=0,2,4,6
/proc/20799/task/20870/stat : 20870 (java) R 20797 20797 20180 0 -1 4202560 1405 0 0 0 48306 1 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335050316704 140335191572927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20871] ppid=20797 vsize=15483976 memory=111632 CPUtime=482.77 cores=0,2,4,6
/proc/20799/task/20871/stat : 20871 (java) R 20797 20797 20180 0 -1 4202560 3840 0 0 0 48276 1 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335051370920 140335191574170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20872] ppid=20797 vsize=15483976 memory=6791534058613427641 CPUtime=483.05 cores=0,2,4,6
/proc/20799/task/20872/stat : 20872 (java) R 20797 20797 20180 0 -1 4202560 3329 0 0 0 48303 2 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335048215856 140335191573520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20873] ppid=20797 vsize=15483976 memory=5988 CPUtime=482.53 cores=0,2,4,6
/proc/20799/task/20873/stat : 20873 (java) R 20797 20797 20180 0 -1 4202560 3181 0 0 0 48251 2 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335049264432 140335192764547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 1943.67 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 378740 KiB
[startup+489.701 s]
/proc/loadavg: 8.64 7.68 4.90 9/238 21000
/proc/meminfo: memFree=30376840/32770624 swapFree=67004312/67108860
[pid=20797] ppid=20794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20797/stat : 20797 (xcsp3-exec) S 20794 20797 20180 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446061591 115843072 363 33554432000 4194304 5098028 140731561010800 140731561008904 140578614100604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14532608 140731561018235 140731561018477 140731561018477 140731561021386 0
/proc/20797/statm: 28282 363 304 221 0 87 0
[pid=20799] ppid=20797 vsize=15483976 memory=377288 CPUtime=1944.07 cores=0,2,4,6
/proc/20799/stat : 20799 (java) S 20797 20797 20180 0 -1 1077944320 75258 0 0 0 194356 51 0 0 20 0 19 0 446061591 15855591424 94322 33554432000 4194304 4196468 140721891715568 140721891698112 140335600299767 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
/proc/20799/statm: 3870994 94322 3532 1 0 3832094 0
[pid=20799/tid=20800] ppid=20797 vsize=15483976 memory=377088 CPUtime=0.51 cores=0,2,4,6
/proc/20799/task/20800/stat : 20800 (java) S 20797 20797 20180 0 -1 1077944384 8321 0 0 0 48 3 0 0 20 0 19 0 446061591 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335604540544 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20801] ppid=20797 vsize=15483976 memory=1452 CPUtime=0.94 cores=0,2,4,6
/proc/20799/task/20801/stat : 20801 (java) S 20797 20797 20180 0 -1 1077944384 3192 0 0 0 85 9 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335511955728 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20802] ppid=20797 vsize=15483976 memory=1452 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20802/stat : 20802 (java) S 20797 20797 20180 0 -1 1077944384 2328 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335510903184 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20803] ppid=20797 vsize=15483976 memory=6791534058613427641 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20803/stat : 20803 (java) S 20797 20797 20180 0 -1 1077944384 2057 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335509850640 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20804] ppid=20797 vsize=15483976 memory=14012 CPUtime=0.93 cores=0,2,4,6
/proc/20799/task/20804/stat : 20804 (java) S 20797 20797 20180 0 -1 1077944384 2579 0 0 0 86 7 0 0 20 0 19 0 446061592 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335508798096 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20805] ppid=20797 vsize=15483976 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/20799/task/20805/stat : 20805 (java) S 20797 20797 20180 0 -1 1077944384 5147 0 0 0 49 6 0 0 20 0 19 0 446061594 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335069010416 140335600310914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20806] ppid=20797 vsize=15483976 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20806/stat : 20806 (java) S 20797 20797 20180 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335067956704 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20807] ppid=20797 vsize=15483976 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20807/stat : 20807 (java) S 20797 20797 20180 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446061594 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335066904064 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20808] ppid=20797 vsize=15483976 memory=23684 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20808/stat : 20808 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335065852624 140335600318363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20809] ppid=20797 vsize=15483976 memory=377288 CPUtime=2.03 cores=0,2,4,6
/proc/20799/task/20809/stat : 20809 (java) S 20797 20797 20180 0 -1 1077944384 14727 0 0 0 202 1 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335064799216 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20810] ppid=20797 vsize=15483976 memory=1452 CPUtime=2.26 cores=0,2,4,6
/proc/20799/task/20810/stat : 20810 (java) S 20797 20797 20180 0 -1 1077944384 14309 0 0 0 225 1 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335063746672 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20811] ppid=20797 vsize=15483976 memory=1448 CPUtime=0.61 cores=0,2,4,6
/proc/20799/task/20811/stat : 20811 (java) S 20797 20797 20180 0 -1 1077944384 7401 0 0 0 60 1 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335062694128 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20812] ppid=20797 vsize=15483976 memory=225804 CPUtime=0 cores=0,2,4,6
/proc/20799/task/20812/stat : 20812 (java) S 20797 20797 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446061597 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335061641824 140335600309973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20813] ppid=20797 vsize=15483976 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/20799/task/20813/stat : 20813 (java) S 20797 20797 20180 0 -1 1077944384 888 0 0 0 6 6 0 0 20 0 19 0 446061598 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335060589360 140335600310914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20870] ppid=20797 vsize=15483976 memory=1416 CPUtime=483.17 cores=0,2,4,6
/proc/20799/task/20870/stat : 20870 (java) R 20797 20797 20180 0 -1 4202560 1405 0 0 0 48316 1 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335050316704 140335192515100 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20871] ppid=20797 vsize=15483976 memory=1556 CPUtime=482.87 cores=0,2,4,6
/proc/20799/task/20871/stat : 20871 (java) R 20797 20797 20180 0 -1 4202560 3840 0 0 0 48286 1 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335051370920 140335194367507 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20872] ppid=20797 vsize=15483976 memory=1452 CPUtime=483.15 cores=0,2,4,6
/proc/20799/task/20872/stat : 20872 (java) R 20797 20797 20180 0 -1 4202560 3329 0 0 0 48313 2 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335048215856 140335192657689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
[pid=20799/tid=20873] ppid=20797 vsize=15483976 memory=1452 CPUtime=482.63 cores=0,2,4,6
/proc/20799/task/20873/stat : 20873 (java) R 20797 20797 20180 0 -1 4202560 3181 0 0 0 48261 2 0 0 20 0 19 0 446061753 15855591424 94322 33554432000 4194304 4196468 140721891715568 140335049264432 140335191572947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11960320 140721891722223 140721891722394 140721891722394 140721891725263 0
Current children cumulated CPU time: 1944.07 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 378740 KiB
Child status: 0
Real time (s): 489.775
CPU time (s): 1944.35
CPU user time (s): 1943.83
CPU system time (s): 0.520791
CPU usage (%): 396.988
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 535344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1943.83
system time used= 0.520791
maximum resident set size= 572360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33333
involuntary context switches= 43961
# summary of solver processes directly reported to runsolver:
# pid: 20797
# total CPU time (s): 1944.35
# total CPU user time (s): 1943.83
# total CPU system time (s): 0.520791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.01688 second user time and 5.38453 second system time
The end