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 (58950 MiB free)
memory of node 1: 64465 MiB (59083 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515713-1751236799/watcher-4515713-1751236799 -o /tmp/evaluation-result-4515713-1751236799/solver-4515713-1751236799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751229408-33176 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515713-1751236799 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4515713-1751236799.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=34541, runsolver pid=34538
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.20 4.22 6/342 34559
/proc/meminfo: memFree=120841340/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=18930384 memory=57304 CPUtime=0.12 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 6475 0 0 0 10 2 0 0 20 0 18 0 39358297 19384713216 14326 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4732596 14326 5345 1 0 547604 0
[pid=34541/tid=34543] ppid=34538 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 5053 0 0 0 6 1 0 0 20 0 18 0 39358298 19384713216 14326 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39358300 19384713216 14326 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=18930384 memory=58485492711461 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39358301 19384713216 14326 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57304 KiB
[startup+0.205994 s]*
/proc/loadavg: 4.13 4.20 4.22 7/342 34559
/proc/meminfo: memFree=120806332/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=18930384 memory=98424 CPUtime=0.31 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 6918 0 0 0 28 3 0 0 20 0 18 0 39358297 19384713216 24606 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4732596 24606 5441 1 0 547958 0
[pid=34541/tid=34543] ppid=34538 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 5407 0 0 0 15 2 0 0 20 0 18 0 39358298 19384713216 24606 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=18930384 memory=2641 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39358300 19384713216 24606 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39358301 19384713216 24606 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 98424 KiB
[startup+0.306024 s]*
/proc/loadavg: 4.13 4.20 4.22 6/343 34560
/proc/meminfo: memFree=120735252/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=18996948 memory=158560 CPUtime=0.5 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 8706 0 0 0 45 5 0 0 20 0 19 0 39358297 19452874752 39640 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4749237 39640 5505 1 0 549402 0
[pid=34541/tid=34543] ppid=34538 vsize=18996948 memory=-6000919472740067436 CPUtime=0.24 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 5434 0 0 0 21 3 0 0 20 0 19 0 39358298 19452874752 39640 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39358300 19452874752 39640 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39358301 19452874752 39640 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158560 KiB
[startup+0.700247 s]
/proc/loadavg: 4.13 4.20 4.22 6/343 34560
/proc/meminfo: memFree=120542488/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=18996948 memory=828636 CPUtime=1.24 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 12148 0 0 0 105 19 0 0 20 0 19 0 39358297 19452874752 207159 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4749237 207159 5505 1 0 1208859 0
[pid=34541/tid=34543] ppid=34538 vsize=18996948 memory=17536 CPUtime=0.58 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 5736 0 0 0 43 15 0 0 20 0 19 0 39358298 19452874752 207159 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39358300 19452874752 207159 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39358301 19452874752 207159 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 828636 KiB
[startup+1.50027 s]
/proc/loadavg: 4.20 4.21 4.22 6/344 34561
/proc/meminfo: memFree=119702668/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=1286004 CPUtime=2.81 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 21657 0 0 0 251 30 0 0 20 0 20 0 39358297 19521036288 321501 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 321501 5505 1 0 1213548 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=3328 CPUtime=1.32 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 6037 0 0 0 108 24 0 0 20 0 20 0 39358298 19521036288 321501 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 321501 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 321501 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 321501 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1286004 KiB
[startup+3.10577 s]
/proc/loadavg: 4.20 4.21 4.22 6/344 34561
/proc/meminfo: memFree=119017432/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=1861476 CPUtime=5.98 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 22454 0 0 0 555 43 0 0 20 0 20 0 39358297 19521036288 465369 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 465369 5505 1 0 1213556 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=14976 CPUtime=2.84 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 6307 0 0 0 249 35 0 0 20 0 20 0 39358298 19521036288 465369 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 465369 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 465369 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 465369 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1861476 KiB
[startup+6.30023 s]
/proc/loadavg: 4.19 4.21 4.22 5/345 34562
/proc/meminfo: memFree=117838992/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=3030104 CPUtime=10.58 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 23488 0 0 0 990 68 0 0 20 0 20 0 39358297 19521036288 757526 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 757526 5537 1 0 1213667 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=0 CPUtime=5.98 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 7090 0 0 0 539 59 0 0 20 0 20 0 39358298 19521036288 757526 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 757526 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 757526 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=1359736 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 757526 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 10.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3030104 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.21 4.22 5/345 34562
/proc/meminfo: memFree=117533008/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=3309740 CPUtime=17.32 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 25744 0 0 0 1657 75 0 0 20 0 20 0 39358297 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 827435 5537 1 0 1214755 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=1359736 CPUtime=12.35 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 8184 0 0 0 1169 66 0 0 20 0 20 0 39358298 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=3305604 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 17.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3309740 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.20 4.22 5/345 34563
/proc/meminfo: memFree=117506524/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=3309740 CPUtime=30.1 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 31633 0 0 0 2929 81 0 0 20 0 20 0 39358297 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 827435 5537 1 0 1214755 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=0 CPUtime=24.91 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 10072 0 0 0 2420 71 0 0 20 0 20 0 39358298 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=3309740 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=3309740 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 827435 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 30.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3309740 KiB
[startup+51.106 s]
/proc/loadavg: 4.15 4.20 4.22 5/345 34563
/proc/meminfo: memFree=117387072/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=3317140 CPUtime=55.99 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 43350 0 0 0 5508 91 0 0 20 0 20 0 39358297 19521036288 829285 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 829285 5537 1 0 1214787 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=3309740 CPUtime=50.33 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 13263 0 0 0 4954 79 0 0 20 0 20 0 39358298 19521036288 829285 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=26512 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 829285 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=4805788 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1810 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3237.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
[startup+3282.3 s]
/proc/loadavg: 3.19 3.72 3.99 4/317 34790
/proc/meminfo: memFree=115244440/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3297.18 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 183783 0 0 0 329248 470 0 0 20 0 20 0 39358297 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 1201959 5537 1 0 1215225 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3252 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 90164 0 0 0 324872 328 0 0 20 0 20 0 39358298 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1839 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3297.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
[startup+3342.3 s]
/proc/loadavg: 3.19 3.62 3.93 4/317 34793
/proc/meminfo: memFree=115086572/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3357.09 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 186804 0 0 0 335237 472 0 0 20 0 20 0 39358297 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 1201959 5537 1 0 1215225 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=5632 CPUtime=3311.76 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 92582 0 0 0 330847 329 0 0 20 0 20 0 39358298 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1861 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3357.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
[startup+3402.3 s]
/proc/loadavg: 2.47 3.36 3.82 2/267 34863
/proc/meminfo: memFree=124312832/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3416.98 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 189114 0 0 0 341223 475 0 0 20 0 20 0 39358297 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 1201959 5537 1 0 1215225 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3371.56 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 94239 0 0 0 336825 331 0 0 20 0 20 0 39358298 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=-4050210904893735054 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1883 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3416.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
[startup+3462.3 s]
/proc/loadavg: 1.54 2.93 3.64 2/268 34868
/proc/meminfo: memFree=124321828/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3476.94 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 189433 0 0 0 347215 479 0 0 20 0 20 0 39358297 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 1201959 5537 1 0 1215225 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3431.36 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 94490 0 0 0 342804 332 0 0 20 0 20 0 39358298 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1887 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3476.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
[startup+3522.3 s]
/proc/loadavg: 1.31 2.61 3.49 2/267 34870
/proc/meminfo: memFree=124317344/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3536.87 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 192437 0 0 0 353205 482 0 0 20 0 20 0 39358297 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 1201959 5537 1 0 1215225 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=17536 CPUtime=3491.19 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 96829 0 0 0 348785 334 0 0 20 0 20 0 39358298 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1890 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=4807836 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3536.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
[startup+3582.3 s]
/proc/loadavg: 1.18 2.33 3.33 2/267 34872
/proc/meminfo: memFree=124325004/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3596.82 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 194998 0 0 0 359198 484 0 0 20 0 20 0 39358297 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 1201959 5537 1 0 1215225 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=17536 CPUtime=3550.98 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 98711 0 0 0 354763 335 0 0 20 0 20 0 39358298 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=21996 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3596.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3585.5 s]
/proc/loadavg: 1.18 2.33 3.33 2/267 34872
/proc/meminfo: memFree=124325004/131249996 swapFree=33010684/33010684
[pid=34541] ppid=34538 vsize=19063512 memory=4807836 CPUtime=3600.02 cores=0,2
/proc/34541/stat : 34541 (java) S 34538 34541 33166 0 -1 4194304 194999 0 0 0 359517 485 0 0 20 0 20 0 39358297 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
/proc/34541/statm: 4765878 1201959 5537 1 0 1215225 0
[pid=34541/tid=34543] ppid=34538 vsize=19063512 memory=17536 CPUtime=3554.18 cores=0,2
/proc/34541/task/34543/stat : 34543 (java) R 34538 34541 33166 0 -1 4194368 98712 0 0 0 355083 335 0 0 20 0 20 0 39358298 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34552] ppid=34538 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/34541/task/34552/stat : 34552 (Finalizer) S 34538 34541 33166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39358300 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34559] ppid=34538 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/34541/task/34559/stat : 34559 (Common-Cleaner) S 34538 34541 33166 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 39358301 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
[pid=34541/tid=34561] ppid=34538 vsize=19063512 memory=-6000919472740067436 CPUtime=0 cores=0,2
/proc/34541/task/34561/stat : 34561 (Timer-0) S 34538 34541 33166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39358385 19521036288 1201959 18446744073709551615 94744943853568 94744943857264 140732661167248 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94744943865080 94744943865872 94744950366208 140732661176621 140732661176806 140732661176806 140732661182408 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4807836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3585.62 s]
# the end of solver process 34541 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.37 s, system=4.87203 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3585.6 s]*
/proc/loadavg: 1.18 2.33 3.33 2/249 34875
/proc/meminfo: memFree=124344728/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): 3585.62
CPU time (s): 3600.24
CPU user time (s): 3595.37
CPU system time (s): 4.87203
CPU usage (%): 100.408
Max. virtual memory (cumulated for all children) (KiB): 19064648
Max. memory (cumulated for all children) (KiB): 4807836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.37
system time used= 4.87203
maximum resident set size= 4808732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1881968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122479
involuntary context switches= 12544
# summary of solver processes directly reported to runsolver:
# pid: 34541
# total CPU time (s): 3600.24
# total CPU user time (s): 3595.37
# total CPU system time (s): 4.87203
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03177 second user time and 16.5955 second system time
The end