runsolver version 3.4.2 (svn: 4680) 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: 63708 MiB (59546 MiB free)
memory of node 1: 64465 MiB (56269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498176-1751273640/watcher-4498176-1751273640 -o /tmp/evaluation-result-4498176-1751273640/solver-4498176-1751273640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751270061-35889 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4498176-1751273640.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36911, runsolver pid=36908
[startup+0.100061 s]*
/proc/loadavg: 4.31 4.38 4.45 5/339 36929
/proc/meminfo: memFree=118560088/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=18930384 memory=57860 CPUtime=0.13 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 6577 0 0 0 11 2 0 0 20 0 18 0 43042639 19384713216 14465 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4732596 14465 5350 1 0 547620 0
[pid=36911/tid=36913] ppid=36908 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 5065 0 0 0 6 1 0 0 20 0 18 0 43042640 19384713216 14465 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43042642 19384713216 14465 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=18930384 memory=61784027576291 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43042643 19384713216 14465 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57860 KiB
[startup+0.205641 s]*
/proc/loadavg: 4.31 4.38 4.45 7/339 36929
/proc/meminfo: memFree=118553976/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=18930384 memory=64384 CPUtime=0.32 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 7131 0 0 0 30 2 0 0 20 0 18 0 43042639 19384713216 16096 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4732596 16096 5414 1 0 547978 0
[pid=36911/tid=36913] ppid=36908 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 5388 0 0 0 16 1 0 0 20 0 18 0 43042640 19384713216 16096 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=18930384 memory=13937 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43042642 19384713216 16096 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=18930384 memory=60684515935208 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43042643 19384713216 16096 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64384 KiB
[startup+0.305708 s]*
/proc/loadavg: 4.31 4.38 4.45 6/339 36929
/proc/meminfo: memFree=118523036/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=18930648 memory=94132 CPUtime=0.5 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 8092 0 0 0 48 2 0 0 20 0 18 0 43042639 19384983552 23533 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4732662 23533 5414 1 0 548231 0
[pid=36911/tid=36913] ppid=36908 vsize=18930648 memory=-6000919472790136428 CPUtime=0.28 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 5402 0 0 0 26 2 0 0 20 0 18 0 43042640 19384983552 23533 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=18930648 memory=0 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 43042642 19384983552 23533 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=18930648 memory=0 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 43042643 19384983552 23533 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930648 KiB
Current children cumulated memory: 94132 KiB
[startup+0.700233 s]
/proc/loadavg: 4.31 4.38 4.45 6/340 36930
/proc/meminfo: memFree=118476280/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=177176 CPUtime=1.27 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 10667 0 0 0 122 5 0 0 20 0 20 0 43042639 19521036288 44294 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 44294 5510 1 0 550135 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=17664 CPUtime=0.64 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 5545 0 0 0 61 3 0 0 20 0 20 0 43042640 19521036288 44294 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 44294 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 44294 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=4496 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 44294 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177176 KiB
[startup+1.50023 s]
/proc/loadavg: 4.31 4.38 4.45 8/341 36931
/proc/meminfo: memFree=118429712/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=198792 CPUtime=2.86 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 13490 0 0 0 279 7 0 0 20 0 20 0 43042639 19521036288 49698 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 49698 5510 1 0 551698 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=0 CPUtime=1.38 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 5550 0 0 0 135 3 0 0 20 0 20 0 43042640 19521036288 49698 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 49698 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 49698 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=4496 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 49698 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198792 KiB
[startup+3.10588 s]
/proc/loadavg: 4.31 4.38 4.45 6/341 36931
/proc/meminfo: memFree=118102788/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=397256 CPUtime=5.54 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 14541 0 0 0 542 12 0 0 20 0 20 0 43042639 19521036288 99314 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 99314 5542 1 0 812914 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=11136 CPUtime=2.85 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 5630 0 0 0 279 6 0 0 20 0 20 0 43042640 19521036288 99314 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=-6000919472790136428 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 99314 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 99314 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 99314 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 5.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 397256 KiB
[startup+6.30023 s]
/proc/loadavg: 4.29 4.37 4.45 8/341 36998
/proc/meminfo: memFree=119978252/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=1029232 CPUtime=9.5 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 25699 0 0 0 923 27 0 0 20 0 20 0 43042639 19521036288 257308 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 257308 5542 1 0 1298089 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=0 CPUtime=5.86 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 6970 0 0 0 570 16 0 0 20 0 20 0 43042640 19521036288 257308 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 257308 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 257308 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=198792 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 257308 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1029232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.37 4.45 5/341 36998
/proc/meminfo: memFree=117787724/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=2458012 CPUtime=16.03 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 26791 0 0 0 1548 55 0 0 20 0 20 0 43042639 19521036288 614503 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 614503 5542 1 0 1298098 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=198792 CPUtime=12.2 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 7897 0 0 0 1178 42 0 0 20 0 20 0 43042640 19521036288 614503 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 614503 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 614503 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 614503 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2458012 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.37 4.44 5/341 36998
/proc/meminfo: memFree=115300200/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=3441776 CPUtime=29.49 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 32644 0 0 0 2871 78 0 0 20 0 20 0 43042639 19521036288 860444 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 860444 5542 1 0 1298188 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=0 CPUtime=24.58 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 10392 0 0 0 2399 59 0 0 20 0 20 0 43042640 19521036288 860444 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=3441648 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 860444 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 860444 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 860444 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 29.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3441776 KiB
[startup+51.1057 s]
/proc/loadavg: 4.25 4.35 4.44 5/341 36999
/proc/meminfo: memFree=114397720/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=3606024 CPUtime=55.75 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 40885 0 0 0 5492 83 0 0 20 0 20 0 43042639 19521036288 901506 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 901506 5542 1 0 1298222 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=17664 CPUtime=49.6 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 13755 0 0 0 4900 60 0 0 20 0 20 0 43042640 19521036288 901506 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=3521904 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 901506 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=3521904 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1659289 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=6637156 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 1832 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1659289 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=6637156 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1659289 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3146.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6637156 KiB
[startup+2862.3 s]
/proc/loadavg: 5.44 5.35 5.04 6/339 37231
/proc/meminfo: memFree=107087336/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=6720676 CPUtime=3218.64 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 256243 0 0 0 321322 542 0 0 20 0 20 0 43042639 19521036288 1680169 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 1680169 5542 1 0 1691735 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=6637284 CPUtime=2816.98 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 124192 0 0 0 281557 141 0 0 20 0 20 0 43042640 19521036288 1680169 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=6637156 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1680169 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=6637284 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1680169 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1680169 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3218.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6720676 KiB
[startup+2922.3 s]
/proc/loadavg: 5.06 5.25 5.02 6/340 37234
/proc/meminfo: memFree=106436060/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=6779088 CPUtime=3291.13 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 261749 0 0 0 328556 557 0 0 20 0 20 0 43042639 19521036288 1694772 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 1694772 5542 1 0 1706351 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=6637284 CPUtime=2876.27 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 127216 0 0 0 287484 143 0 0 20 0 20 0 43042640 19521036288 1694772 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=6737360 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1694772 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=6737360 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1694772 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=6737360 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1694772 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3291.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6779088 KiB
[startup+2982.3 s]
/proc/loadavg: 5.01 5.22 5.02 6/340 37236
/proc/meminfo: memFree=105696632/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=6845392 CPUtime=3363.57 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 264271 0 0 0 335786 571 0 0 20 0 20 0 43042639 19521036288 1711348 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 1711348 5542 1 0 1723061 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=6737360 CPUtime=2935.38 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 129380 0 0 0 293392 146 0 0 20 0 20 0 43042640 19521036288 1711348 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1711348 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 1967 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1711348 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1711348 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3363.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6845392 KiB
[startup+3042.3 s]
/proc/loadavg: 4.90 5.14 5.01 7/340 37304
/proc/meminfo: memFree=113558192/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=6887504 CPUtime=3433.69 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 270697 0 0 0 342786 583 0 0 20 0 20 0 43042639 19521036288 1721876 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 1721876 5542 1 0 1733513 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=6845776 CPUtime=2994.52 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 133271 0 0 0 299304 148 0 0 20 0 20 0 43042640 19521036288 1721876 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1721876 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=6887504 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 2018 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1721876 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=6887504 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1721876 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3433.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6887504 KiB
[startup+3102.3 s]
/proc/loadavg: 4.56 5.00 4.96 6/341 37314
/proc/meminfo: memFree=112241460/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=6970920 CPUtime=3505.19 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 276311 0 0 0 349925 594 0 0 20 0 20 0 43042639 19521036288 1742730 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 1742730 5542 1 0 1754398 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=6929192 CPUtime=3053.64 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 136404 0 0 0 305213 151 0 0 20 0 20 0 43042640 19521036288 1742730 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=21692 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1742730 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=-6000919472790136428 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 2058 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1742730 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1742730 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3505.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6970920 KiB
[startup+3162.3 s]
/proc/loadavg: 4.36 4.86 4.92 5/341 37316
/proc/meminfo: memFree=111141768/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=7070888 CPUtime=3576.04 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 281447 0 0 0 356998 606 0 0 20 0 20 0 43042639 19521036288 1767722 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 1767722 5542 1 0 1779467 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=6929192 CPUtime=3112.78 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 140126 0 0 0 311125 153 0 0 20 0 20 0 43042640 19521036288 1767722 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=21692 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1767722 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1767722 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=7070888 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1767722 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3576.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7070888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3179.9 s]
/proc/loadavg: 4.35 4.83 4.91 5/341 37316
/proc/meminfo: memFree=111048844/131249996 swapFree=33010684/33010684
[pid=36911] ppid=36908 vsize=19063512 memory=7112624 CPUtime=3600.04 cores=4,6
/proc/36911/stat : 36911 (java) S 36908 36911 35399 0 -1 4194304 284186 0 0 0 359391 613 0 0 20 0 20 0 43042639 19521036288 1778156 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
/proc/36911/statm: 4765878 1778156 5542 1 0 1789909 0
[pid=36911/tid=36913] ppid=36908 vsize=19063512 memory=17664 CPUtime=3130.09 cores=4,6
/proc/36911/task/36913/stat : 36913 (java) R 36908 36911 35399 0 -1 4194368 141458 0 0 0 312855 154 0 0 20 0 20 0 43042640 19521036288 1778156 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36922] ppid=36908 vsize=19063512 memory=7379820269443572822 CPUtime=0 cores=4,6
/proc/36911/task/36922/stat : 36922 (Finalizer) S 36908 36911 35399 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 43042642 19521036288 1778156 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36929] ppid=36908 vsize=19063512 memory=7070888 CPUtime=0 cores=4,6
/proc/36911/task/36929/stat : 36929 (Common-Cleaner) S 36908 36911 35399 0 -1 4194368 2059 0 0 0 0 0 0 0 20 0 20 0 43042643 19521036288 1778156 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
[pid=36911/tid=36930] ppid=36908 vsize=19063512 memory=7112624 CPUtime=0 cores=4,6
/proc/36911/task/36930/stat : 36930 (Timer-0) S 36908 36911 35399 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 43042680 19521036288 1778156 18446744073709551615 94741154246656 94741154250352 140721493074672 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94741154258168 94741154258960 94741163528192 140721493080446 140721493080550 140721493080550 140721493086152 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7112624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3180.02 s]
# the end of solver process 36911 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.06 s, system=6.15628 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3180 s]*
/proc/loadavg: 4.35 4.83 4.91 5/323 37319
/proc/meminfo: memFree=117946796/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3180.02
CPU time (s): 3600.22
CPU user time (s): 3594.06
CPU system time (s): 6.15628
CPU usage (%): 113.214
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 7112624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.06
system time used= 6.15628
maximum resident set size= 7113648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113930
involuntary context switches= 27790
# summary of solver processes directly reported to runsolver:
# pid: 36911
# total CPU time (s): 3600.22
# total CPU user time (s): 3594.06
# total CPU system time (s): 6.15628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58666 second user time and 15.1993 second system time
The end