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: 63665 MiB (51319 MiB free)
memory of node 1: 64507 MiB (60664 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519981-1751570173/watcher-4519981-1751570173 -o /tmp/evaluation-result-4519981-1751570173/solver-4519981-1751570173 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751562972-81029 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4519981-1751570173 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4519981-1751570173.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82014, runsolver pid=82011
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.35 4.25 4.20 6/340 82032
/proc/meminfo: memFree=114651824/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=18930384 memory=55360 CPUtime=0.11 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 6498 0 0 0 10 1 0 0 20 0 18 0 72694974 19384713216 13840 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4732596 13840 5335 1 0 547573 0
[pid=82014/tid=82016] ppid=82011 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 5005 0 0 0 6 1 0 0 20 0 18 0 72694975 19384713216 13840 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72694978 19384713216 13840 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=18930384 memory=59585004307076 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 72694978 19384713216 13840 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55360 KiB
[startup+0.20573 s]*
/proc/loadavg: 4.35 4.25 4.20 7/340 82032
/proc/meminfo: memFree=114646720/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=18930384 memory=64336 CPUtime=0.31 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 7117 0 0 0 29 2 0 0 20 0 18 0 72694974 19384713216 16084 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4732596 16084 5431 1 0 547979 0
[pid=82014/tid=82016] ppid=82011 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 5403 0 0 0 15 1 0 0 20 0 18 0 72694975 19384713216 16084 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=18930384 memory=15140 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72694978 19384713216 16084 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 72694978 19384713216 16084 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64336 KiB
[startup+0.305641 s]*
/proc/loadavg: 4.35 4.25 4.20 6/341 82033
/proc/meminfo: memFree=114640608/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=18996948 memory=72076 CPUtime=0.5 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 7492 0 0 0 47 3 0 0 20 0 19 0 72694974 19452874752 18019 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4749237 18019 5463 1 0 548475 0
[pid=82014/tid=82016] ppid=82011 vsize=18996948 memory=-6000919502838721127 CPUtime=0.25 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 5540 0 0 0 23 2 0 0 20 0 19 0 72694975 19452874752 18019 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72694978 19452874752 18019 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 72694978 19452874752 18019 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72695000 19452874752 18019 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72076 KiB
[startup+0.700253 s]
/proc/loadavg: 4.35 4.25 4.20 6/341 82033
/proc/meminfo: memFree=114603368/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=18996948 memory=144308 CPUtime=1.25 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 16880 0 0 0 119 6 0 0 20 0 19 0 72694974 19452874752 36077 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4749237 36077 5463 1 0 554117 0
[pid=82014/tid=82016] ppid=82011 vsize=18996948 memory=14592 CPUtime=0.6 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 5635 0 0 0 57 3 0 0 20 0 19 0 72694975 19452874752 36077 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72694978 19452874752 36077 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 72694978 19452874752 36077 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72695000 19452874752 36077 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144308 KiB
[startup+1.50022 s]
/proc/loadavg: 4.49 4.28 4.21 6/342 82034
/proc/meminfo: memFree=114530148/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=179748 CPUtime=2.84 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 23740 0 0 0 276 8 0 0 20 0 20 0 72694974 19521036288 44937 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 44937 5495 1 0 554784 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=10752 CPUtime=1.38 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 6091 0 0 0 134 4 0 0 20 0 20 0 72694975 19521036288 44937 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 44937 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 44937 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 44937 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179748 KiB
[startup+3.10553 s]
/proc/loadavg: 4.49 4.28 4.21 6/342 82034
/proc/meminfo: memFree=114384444/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=318264 CPUtime=5.97 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 27135 0 0 0 585 12 0 0 20 0 20 0 72694974 19521036288 79566 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 79566 5495 1 0 554876 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=10752 CPUtime=2.9 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 6734 0 0 0 284 6 0 0 20 0 20 0 72694975 19521036288 79566 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=-6000919502838721127 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 79566 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 79566 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 79566 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 318264 KiB
[startup+6.30024 s]
/proc/loadavg: 4.45 4.28 4.21 6/342 82034
/proc/meminfo: memFree=114031860/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=659912 CPUtime=10.19 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 27790 0 0 0 999 20 0 0 20 0 20 0 72694974 19521036288 164978 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 164978 5495 1 0 554884 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=0 CPUtime=6.06 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 7073 0 0 0 592 14 0 0 20 0 20 0 72694975 19521036288 164978 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 164978 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 164978 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=186072 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 164978 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 10.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 659912 KiB
[startup+12.7002 s]
/proc/loadavg: 4.41 4.27 4.20 5/342 82034
/proc/meminfo: memFree=113325728/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=1354096 CPUtime=17.99 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 38727 0 0 0 1765 34 0 0 20 0 20 0 72694974 19521036288 338524 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 338524 5495 1 0 555646 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=186072 CPUtime=12.37 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 8911 0 0 0 1213 24 0 0 20 0 20 0 72694975 19521036288 338524 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 338524 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=1354096 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 338524 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 338524 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1354096 KiB
[startup+25.5002 s]
/proc/loadavg: 4.43 4.28 4.21 5/342 82101
/proc/meminfo: memFree=117615188/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=1398128 CPUtime=31.66 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 49547 0 0 0 3129 37 0 0 20 0 20 0 72694974 19521036288 349532 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 349532 5495 1 0 556144 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=10752 CPUtime=24.98 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 10651 0 0 0 2473 25 0 0 20 0 20 0 72694975 19521036288 349532 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=1354096 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 349532 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 349532 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 349532 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 31.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1398128 KiB
[startup+51.1056 s]
/proc/loadavg: 4.41 4.28 4.21 5/342 82169
/proc/meminfo: memFree=116985084/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=1464344 CPUtime=58.28 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 55410 0 0 0 5784 44 0 0 20 0 20 0 72694974 19521036288 366086 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 366086 5495 1 0 556304 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=1458160 CPUtime=50.16 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=107888216/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611076 CPUtime=3174.57 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 156844 0 0 0 317049 408 0 0 20 0 20 0 72694974 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652769 5559 1 0 663419 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=2610308 CPUtime=3069.9 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 61330 0 0 0 306723 267 0 0 20 0 20 0 72694975 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=2610308 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=2610308 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 1981 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=14592 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3174.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/344 82352
/proc/meminfo: memFree=107881836/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611076 CPUtime=3233.76 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 158490 0 0 0 322961 415 0 0 20 0 20 0 72694974 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652769 5559 1 0 663419 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=2610308 CPUtime=3127.64 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 62448 0 0 0 312492 272 0 0 20 0 20 0 72694975 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=2611076 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 2002 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652769 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3233.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611076 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/342 82354
/proc/meminfo: memFree=107877356/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3277.18 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 160118 0 0 0 327298 420 0 0 20 0 20 0 72694974 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652801 5559 1 0 663445 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=12544 CPUtime=3169.33 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 62579 0 0 0 316658 275 0 0 20 0 20 0 72694975 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 2002 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3277.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/342 82362
/proc/meminfo: memFree=107857336/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3323.3 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 160359 0 0 0 331905 425 0 0 20 0 20 0 72694974 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652801 5559 1 0 663446 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=12544 CPUtime=3214.47 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 62767 0 0 0 321168 279 0 0 20 0 20 0 72694975 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=14592 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 2002 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3323.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.18 4.18 8/342 82364
/proc/meminfo: memFree=107826560/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3381.5 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 162400 0 0 0 337718 432 0 0 20 0 20 0 72694974 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652801 5559 1 0 663446 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3270.7 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 64295 0 0 0 326786 284 0 0 20 0 20 0 72694975 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 2002 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3381.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/342 82366
/proc/meminfo: memFree=107795928/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3440.46 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 163477 0 0 0 343608 438 0 0 20 0 20 0 72694974 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652801 5559 1 0 663446 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3328.02 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 65115 0 0 0 332514 288 0 0 20 0 20 0 72694975 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=14592 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 2077 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=14592 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3440.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611204 KiB
[startup+3642.3 s]
/proc/loadavg: 4.16 4.17 4.18 1/323 82371
/proc/meminfo: memFree=110333080/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3489.52 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 166391 0 0 0 348509 443 0 0 20 0 20 0 72694974 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652801 5559 1 0 663446 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3375.24 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) D 82011 82014 80990 0 -1 4194368 66177 0 0 0 337233 291 0 0 20 0 20 0 72694975 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 2116 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=2611204 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3489.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611204 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 3.62 4.02 4.12 4/317 82403
/proc/meminfo: memFree=111694784/131249996 swapFree=33003468/33010684
[pid=82014] ppid=82011 vsize=19063512 memory=2611204 CPUtime=3533.64 cores=1,3
/proc/82014/stat : 82014 (java) S 82011 82014 80990 0 -1 4194304 166414 0 0 0 352917 447 0 0 20 0 20 0 72694974 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
/proc/82014/statm: 4765878 652801 5559 1 0 663446 0
[pid=82014/tid=82016] ppid=82011 vsize=19063512 memory=-6000919481313487463 CPUtime=3418.19 cores=1,3
/proc/82014/task/82016/stat : 82016 (java) R 82011 82014 80990 0 -1 4194368 66186 0 0 0 341525 294 0 0 20 0 20 0 72694975 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82025] ppid=82011 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=1,3
/proc/82014/task/82025/stat : 82025 (Finalizer) S 82011 82014 80990 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82032] ppid=82011 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/82014/task/82032/stat : 82032 (Common-Cleaner) S 82011 82014 80990 0 -1 4194368 2116 0 0 0 0 0 0 0 20 0 20 0 72694978 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
[pid=82014/tid=82033] ppid=82011 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/82014/task/82033/stat : 82033 (Timer-0) S 82011 82014 80990 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72695000 19521036288 652801 18446744073709551615 94279265366016 94279265369712 140723392838416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94279265377528 94279265378320 94279271141376 140723392842029 140723392842214 140723392842214 140723392847816 0
Current children cumulated CPU time: 3533.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2611204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.1 s]
# the end of solver process 82014 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3529.34 s, system=4.48885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3700.1
CPU time (s): 3533.83
CPU user time (s): 3529.34
CPU system time (s): 4.48885
CPU usage (%): 95.5061
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2611204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.34
system time used= 4.48885
maximum resident set size= 2612228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1644136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151427
involuntary context switches= 18012
# summary of solver processes directly reported to runsolver:
# pid: 82014
# total CPU time (s): 3533.83
# total CPU user time (s): 3529.34
# total CPU system time (s): 4.48885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38684 second user time and 18.0842 second system time
The end