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 (55631 MiB free)
memory of node 1: 64465 MiB (57013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514095-1751223403/watcher-4514095-1751223403 -o /tmp/evaluation-result-4514095-1751223403/solver-4514095-1751223403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30660 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514095-1751223403 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514095-1751223403.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=31578, runsolver pid=31575
[startup+0.100059 s]*
/proc/loadavg: 4.08 4.11 4.14 5/339 31596
/proc/meminfo: memFree=115321600/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=18930384 memory=57728 CPUtime=0.13 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 6567 0 0 0 11 2 0 0 20 0 18 0 38018901 19384713216 14432 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4732596 14432 5324 1 0 547604 0
[pid=31578/tid=31580] ppid=31575 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 5067 0 0 0 6 1 0 0 20 0 18 0 38018902 19384713216 14432 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38018904 19384713216 14432 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=18930384 memory=59585004333716 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38018904 19384713216 14432 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57728 KiB
[startup+0.205713 s]*
/proc/loadavg: 4.08 4.11 4.14 7/340 31597
/proc/meminfo: memFree=115312728/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=18996948 memory=64476 CPUtime=0.31 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 7167 0 0 0 28 3 0 0 20 0 19 0 38018901 19452874752 16119 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4749237 16119 5420 1 0 548291 0
[pid=31578/tid=31580] ppid=31575 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 5336 0 0 0 15 2 0 0 20 0 19 0 38018902 19452874752 16119 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=18996948 memory=2569 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38018904 19452874752 16119 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=18996948 memory=58485492679654 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38018904 19452874752 16119 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38018917 19452874752 16119 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64476 KiB
[startup+0.305712 s]*
/proc/loadavg: 4.08 4.11 4.14 6/340 31597
/proc/meminfo: memFree=115294960/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=18996948 memory=79352 CPUtime=0.5 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 9959 0 0 0 46 4 0 0 20 0 19 0 38018901 19452874752 19838 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4749237 19838 5452 1 0 549853 0
[pid=31578/tid=31580] ppid=31575 vsize=18996948 memory=-6000919485557861228 CPUtime=0.22 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 5346 0 0 0 20 2 0 0 20 0 19 0 38018902 19452874752 19838 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38018904 19452874752 19838 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38018904 19452874752 19838 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38018917 19452874752 19838 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79352 KiB
[startup+0.700234 s]
/proc/loadavg: 4.08 4.11 4.14 6/340 31597
/proc/meminfo: memFree=115239448/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=18996948 memory=151292 CPUtime=1.26 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 12237 0 0 0 120 6 0 0 20 0 19 0 38018901 19452874752 37823 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4749237 37823 5452 1 0 551293 0
[pid=31578/tid=31580] ppid=31575 vsize=18996948 memory=17408 CPUtime=0.59 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 5389 0 0 0 55 4 0 0 20 0 19 0 38018902 19452874752 37823 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38018904 19452874752 37823 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 38018904 19452874752 37823 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 38018917 19452874752 37823 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 151292 KiB
[startup+1.50023 s]
/proc/loadavg: 4.08 4.11 4.14 6/341 31598
/proc/meminfo: memFree=115184048/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=171948 CPUtime=2.84 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 20126 0 0 0 276 8 0 0 20 0 20 0 38018901 19521036288 42987 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 42987 5484 1 0 552939 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=0 CPUtime=1.34 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 5787 0 0 0 129 5 0 0 20 0 20 0 38018902 19521036288 42987 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 42987 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 42987 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 42987 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171948 KiB
[startup+3.10553 s]
/proc/loadavg: 4.08 4.10 4.14 5/341 31598
/proc/meminfo: memFree=115155192/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=188928 CPUtime=4.93 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 21917 0 0 0 483 10 0 0 20 0 20 0 38018901 19521036288 47232 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 47232 5484 1 0 552940 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=10752 CPUtime=2.93 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 6291 0 0 0 286 7 0 0 20 0 20 0 38018902 19521036288 47232 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=-6000919485557861228 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 47232 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 47232 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 47232 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188928 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.10 4.14 5/341 31598
/proc/meminfo: memFree=114867288/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=462944 CPUtime=8.58 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 25420 0 0 0 839 19 0 0 20 0 20 0 38018901 19521036288 115736 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 115736 5484 1 0 552960 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=0 CPUtime=6.11 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 6765 0 0 0 597 14 0 0 20 0 20 0 38018902 19521036288 115736 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 115736 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 115736 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=172204 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 115736 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 8.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 462944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.14 5/341 31599
/proc/meminfo: memFree=114361516/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=950484 CPUtime=14.97 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 28666 0 0 0 1466 31 0 0 20 0 20 0 38018901 19521036288 237621 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 237621 5484 1 0 552976 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=172204 CPUtime=12.48 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 8113 0 0 0 1222 26 0 0 20 0 20 0 38018902 19521036288 237621 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=862304 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 237621 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 237621 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 237621 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 14.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 950484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.14 5/341 31599
/proc/meminfo: memFree=114243908/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=956628 CPUtime=27.83 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 33224 0 0 0 2747 36 0 0 20 0 20 0 38018901 19521036288 239157 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 239157 5484 1 0 552976 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=862304 CPUtime=25.24 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 9330 0 0 0 2493 31 0 0 20 0 20 0 38018902 19521036288 239157 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 239157 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=956628 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 239157 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 239157 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 27.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 956628 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.10 4.14 5/341 31599
/proc/meminfo: memFree=113741704/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=1319188 CPUtime=53.22 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 35909 0 0 0 5268 54 0 0 20 0 20 0 38018901 19521036288 329797 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 329797 5484 1 0 552976 0
################
# More data... #
################
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 541250 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=2165000 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 541250 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=2165000 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 541250 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3217.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/343 31909
/proc/meminfo: memFree=110572436/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=2166280 CPUtime=3277.41 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 118712 0 0 0 327024 717 0 0 20 0 20 0 38018901 19521036288 541570 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 541570 5516 1 0 553930 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=-6000919485557861228 CPUtime=3264.57 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 45132 0 0 0 325828 629 0 0 20 0 20 0 38018902 19521036288 541570 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 541570 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=2166280 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 541570 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=2165000 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 541570 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3277.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166280 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/347 31915
/proc/meminfo: memFree=110435436/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3337.36 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 120325 0 0 0 333008 728 0 0 20 0 20 0 38018901 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 542658 5516 1 0 553930 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3324.21 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 46236 0 0 0 331782 639 0 0 20 0 20 0 38018902 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=2166280 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 1969 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3337.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/347 31984
/proc/meminfo: memFree=115059920/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3396.66 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 121032 0 0 0 338933 733 0 0 20 0 20 0 38018901 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 542658 5516 1 0 553930 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3383.36 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 46681 0 0 0 337692 644 0 0 20 0 20 0 38018902 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=-6000919485557861228 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 2076 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3396.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/347 31988
/proc/meminfo: memFree=113652440/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3456.46 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 121241 0 0 0 344900 746 0 0 20 0 20 0 38018901 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 542658 5516 1 0 553930 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3442.91 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 46840 0 0 0 343635 656 0 0 20 0 20 0 38018902 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 2078 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3456.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/345 31990
/proc/meminfo: memFree=113427044/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3516.38 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 121909 0 0 0 350881 757 0 0 20 0 20 0 38018901 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 542658 5516 1 0 553930 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=10752 CPUtime=3502.58 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 47396 0 0 0 349592 666 0 0 20 0 20 0 38018902 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 2078 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3516.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/344 31992
/proc/meminfo: memFree=113179252/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3576.27 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 123558 0 0 0 356859 768 0 0 20 0 20 0 38018901 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 542658 5516 1 0 553930 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=5760 CPUtime=3562.27 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 48645 0 0 0 355551 676 0 0 20 0 20 0 38018902 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3576.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.11 s]
/proc/loadavg: 4.12 4.12 4.09 5/344 31992
/proc/meminfo: memFree=113117672/131250000 swapFree=33010684/33010684
[pid=31578] ppid=31575 vsize=19063512 memory=2170632 CPUtime=3600 cores=5,7
/proc/31578/stat : 31578 (java) S 31575 31578 30647 0 -1 4194304 123995 0 0 0 359228 772 0 0 20 0 20 0 38018901 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
/proc/31578/statm: 4765878 542658 5516 1 0 553930 0
[pid=31578/tid=31580] ppid=31575 vsize=19063512 memory=2892 CPUtime=3585.99 cores=5,7
/proc/31578/task/31580/stat : 31580 (java) R 31575 31578 30647 0 -1 4194368 49070 0 0 0 357920 679 0 0 20 0 20 0 38018902 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31589] ppid=31575 vsize=19063512 memory=2165000 CPUtime=0 cores=5,7
/proc/31578/task/31589/stat : 31589 (Finalizer) S 31575 31578 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31596] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31596/stat : 31596 (Common-Cleaner) S 31575 31578 30647 0 -1 4194368 2171 0 0 0 0 0 0 0 20 0 20 0 38018904 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
[pid=31578/tid=31597] ppid=31575 vsize=19063512 memory=2170632 CPUtime=0 cores=5,7
/proc/31578/task/31597/stat : 31597 (Timer-0) S 31575 31578 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38018917 19521036288 542658 18446744073709551615 94480222420992 94480222424688 140731867487584 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94480222432504 94480222433296 94480246456320 140731867490608 140731867490790 140731867490790 140731867496392 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.21 s]
# the end of solver process 31578 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.41 s, system=7.73726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3606.21 s]*
/proc/loadavg: 4.12 4.12 4.09 5/326 31995
/proc/meminfo: memFree=113117360/131250000 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): 3606.21
CPU time (s): 3600.15
CPU user time (s): 3592.41
CPU system time (s): 7.73726
CPU usage (%): 99.8318
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2170632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.41
system time used= 7.73726
maximum resident set size= 2171656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6636672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110352
involuntary context switches= 7913
# summary of solver processes directly reported to runsolver:
# pid: 31578
# total CPU time (s): 3600.15
# total CPU user time (s): 3592.41
# total CPU system time (s): 7.73726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19807 second user time and 17.1347 second system time
The end