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 (60558 MiB free)
memory of node 1: 64507 MiB (53606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522326-1751597603/watcher-4522326-1751597603 -o /tmp/evaluation-result-4522326-1751597603/solver-4522326-1751597603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751597603-94967 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4522326-1751597603.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 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=95011, runsolver pid=95003
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.54 3.72 3.96 9/313 95067
/proc/meminfo: memFree=116829572/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=18930384 memory=48376 CPUtime=0.06 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 5872 0 46 0 4 2 0 0 20 0 18 0 75438217 19384713216 12094 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4732596 12094 5281 1 0 547010 0
[pid=95011/tid=95018] ppid=95003 vsize=18930384 memory=4026532124 CPUtime=0.03 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 4746 0 33 0 2 1 0 0 20 0 18 0 75438222 19384713216 12094 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 12094 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 12094 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48376 KiB
[startup+0.204956 s]*
/proc/loadavg: 2.54 3.72 3.96 9/312 95068
/proc/meminfo: memFree=116791836/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=18930384 memory=61540 CPUtime=0.23 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 7019 0 46 0 20 3 0 0 20 0 18 0 75438217 19384713216 15385 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4732596 15385 5409 1 0 547886 0
[pid=95011/tid=95018] ppid=95003 vsize=18930384 memory=4026827035 CPUtime=0.13 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 5356 0 33 0 11 2 0 0 20 0 18 0 75438222 19384713216 15385 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=18930384 memory=219932787024 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 15385 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=18930384 memory=55186957823283 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 15385 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61540 KiB
[startup+0.305401 s]*
/proc/loadavg: 2.54 3.72 3.96 10/334 95095
/proc/meminfo: memFree=116729004/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=18930384 memory=85976 CPUtime=0.41 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 8431 0 46 0 38 3 0 0 20 0 18 0 75438217 19384713216 21494 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4732596 21494 5409 1 0 548783 0
[pid=95011/tid=95018] ppid=95003 vsize=18930384 memory=-6000919494148122470 CPUtime=0.21 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 5430 0 33 0 19 2 0 0 20 0 18 0 75438222 19384713216 21494 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 21494 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75438225 19384713216 21494 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 85976 KiB
[startup+0.7002 s]
/proc/loadavg: 2.54 3.72 3.96 10/336 95097
/proc/meminfo: memFree=116525552/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=172704 CPUtime=1.18 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 11557 0 46 0 112 6 0 0 20 0 20 0 75438217 19521036288 43176 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 43176 5505 1 0 551603 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=18944 CPUtime=0.49 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 5602 0 33 0 45 4 0 0 20 0 20 0 75438222 19521036288 43176 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 43176 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 43176 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 43176 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172704 KiB
[startup+1.5002 s]
/proc/loadavg: 2.54 3.72 3.96 10/339 95100
/proc/meminfo: memFree=115706852/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=187032 CPUtime=2.74 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 13406 0 46 0 266 8 0 0 20 0 20 0 75438217 19521036288 46758 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 46758 5505 1 0 552399 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=0 CPUtime=1.21 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 5612 0 33 0 117 4 0 0 20 0 20 0 75438222 19521036288 46758 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 46758 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 46758 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 46758 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187032 KiB
[startup+3.10485 s]
/proc/loadavg: 2.54 3.72 3.96 9/340 95101
/proc/meminfo: memFree=111539128/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=592496 CPUtime=5.91 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 20257 0 46 0 574 17 0 0 20 0 20 0 75438217 19521036288 148124 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 148124 5505 1 0 662492 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=10752 CPUtime=2.72 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 5790 0 33 0 261 11 0 0 20 0 20 0 75438222 19521036288 148124 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=-6000919494265562982 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 148124 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 148124 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 148124 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 592496 KiB
[startup+6.30019 s]
/proc/loadavg: 2.74 3.74 3.97 6/340 95101
/proc/meminfo: memFree=109677456/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=1614600 CPUtime=9.77 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 28190 0 46 0 940 37 0 0 20 0 20 0 75438217 19521036288 403650 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 403650 5505 1 0 662499 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=0 CPUtime=5.88 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 7527 0 33 0 558 30 0 0 20 0 20 0 75438222 19521036288 403650 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 403650 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 403650 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=187032 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 403650 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 9.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1614600 KiB
[startup+12.7002 s]
/proc/loadavg: 2.84 3.74 3.97 8/340 95102
/proc/meminfo: memFree=106774280/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=2401660 CPUtime=16.26 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 29563 0 46 0 1574 52 0 0 20 0 20 0 75438217 19521036288 600415 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 600415 5505 1 0 1163827 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=187032 CPUtime=12.16 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 8052 0 33 0 1173 43 0 0 20 0 20 0 75438222 19521036288 600415 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 600415 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 600415 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 600415 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2401660 KiB
[startup+25.5002 s]
/proc/loadavg: 3.10 3.76 3.97 7/340 95102
/proc/meminfo: memFree=104299608/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=3682092 CPUtime=29.4 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 30943 0 46 0 2862 78 0 0 20 0 20 0 75438217 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 920523 5505 1 0 1163855 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=0 CPUtime=24.62 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 9022 0 33 0 2395 67 0 0 20 0 20 0 75438222 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=3645072 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 29.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3682092 KiB
[startup+51.1049 s]
/proc/loadavg: 3.53 3.81 3.98 6/340 95102
/proc/meminfo: memFree=102468720/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=3682092 CPUtime=55.3 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 37085 0 46 0 5451 79 0 0 20 0 20 0 75438217 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 920523 5505 1 0 1163858 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=3682092 CPUtime=49.83 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 12170 0 33 0 4915 68 0 0 20 0 20 0 75438222 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=3682092 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 920523 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
################
# More data... #
################
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2197488 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=8789952 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1297 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2197488 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=8731372 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2197488 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3125.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8789952 KiB
[startup+2622.3 s]
/proc/loadavg: 5.20 5.21 5.01 6/342 95251
/proc/meminfo: memFree=86398364/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=8856740 CPUtime=3210.8 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 255536 0 46 0 320290 790 0 0 20 0 20 0 75438217 19521036288 2214185 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 2214185 5537 1 0 2228553 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=8731372 CPUtime=2571.74 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 102899 0 33 0 257008 166 0 0 20 0 20 0 75438222 19521036288 2214185 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=8789952 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2214185 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=8806640 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1297 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2214185 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=8856740 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2214185 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3210.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8856740 KiB
[startup+2682.3 s]
/proc/loadavg: 5.13 5.21 5.02 7/343 95254
/proc/meminfo: memFree=86339968/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=8915108 CPUtime=3282.75 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 257681 0 46 0 327470 805 0 0 20 0 20 0 75438217 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 2228777 5537 1 0 2243183 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=8915108 CPUtime=2631.36 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 103252 0 33 0 262968 168 0 0 20 0 20 0 75438222 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1303 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3282.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8915108 KiB
[startup+2742.3 s]
/proc/loadavg: 4.80 5.11 5.00 8/342 95256
/proc/meminfo: memFree=86339468/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=8915108 CPUtime=3354.13 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 262476 0 46 0 334594 819 0 0 20 0 20 0 75438217 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 2228777 5537 1 0 2243183 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=8915108 CPUtime=2691.08 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 105465 0 33 0 268940 168 0 0 20 0 20 0 75438222 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1303 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3354.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8915108 KiB
[startup+2802.3 s]
/proc/loadavg: 4.64 5.01 4.97 7/342 95258
/proc/meminfo: memFree=86339720/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=8915108 CPUtime=3425.34 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 267731 0 46 0 341703 831 0 0 20 0 20 0 75438217 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 2228777 5537 1 0 2243183 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=8915108 CPUtime=2750.79 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 107982 0 33 0 274911 168 0 0 20 0 20 0 75438222 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1307 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3425.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8915108 KiB
[startup+2862.3 s]
/proc/loadavg: 5.09 5.05 4.99 6/342 95260
/proc/meminfo: memFree=86339488/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=8915108 CPUtime=3511.79 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 270961 0 46 0 350321 858 0 0 20 0 20 0 75438217 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 2228777 5537 1 0 2243183 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=8915108 CPUtime=2809.48 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 108478 0 33 0 280779 169 0 0 20 0 20 0 75438222 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1313 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8915108 KiB
[startup+2922.3 s]
/proc/loadavg: 4.94 5.01 4.98 5/341 95330
/proc/meminfo: memFree=86213660/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=8915108 CPUtime=3594.11 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 275288 0 46 0 358529 882 0 0 20 0 20 0 75438217 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 2228777 5537 1 0 2243183 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=8915108 CPUtime=2869.02 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) R 95003 95011 94956 0 -1 4194368 110212 0 33 0 286730 172 0 0 20 0 20 0 75438222 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1318 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3594.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8915108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2925.81 s]
/proc/loadavg: 4.94 5.01 4.99 6/341 95330
/proc/meminfo: memFree=86213684/131249996 swapFree=33010684/33010684
[pid=95011] ppid=95003 vsize=19063512 memory=8915108 CPUtime=3600.06 cores=0,2
/proc/95011/stat : 95011 (java) S 95003 95011 94956 0 -1 4194304 275674 0 46 0 359122 884 0 0 20 0 20 0 75438217 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
/proc/95011/statm: 4765878 2228777 5537 1 0 2243183 0
[pid=95011/tid=95018] ppid=95003 vsize=19063512 memory=2764 CPUtime=2872.49 cores=0,2
/proc/95011/task/95018/stat : 95018 (java) S 95003 95011 94956 0 -1 4194368 110212 0 33 0 287077 172 0 0 20 0 20 0 75438222 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95044] ppid=95003 vsize=19063512 memory=8915108 CPUtime=0 cores=0,2
/proc/95011/task/95044/stat : 95044 (Finalizer) S 95003 95011 94956 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95067] ppid=95003 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/95011/task/95067/stat : 95067 (Common-Cleaner) S 95003 95011 94956 0 -1 4194368 1318 0 0 0 0 0 0 0 20 0 20 0 75438225 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
[pid=95011/tid=95098] ppid=95003 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/95011/task/95098/stat : 95098 (Timer-0) S 95003 95011 94956 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75438268 19521036288 2228777 18446744073709551615 94701649862656 94701649866352 140724037395792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94701649874168 94701649874960 94701682348032 140724037400958 140724037401062 140724037401062 140724037406664 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8915108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2925.91 s]
# the end of solver process 95011 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3591.36 s, system=8.8744 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2925.9 s]*
/proc/loadavg: 4.94 5.01 4.99 5/323 95333
/proc/meminfo: memFree=94965936/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): 2925.91
CPU time (s): 3600.23
CPU user time (s): 3591.36
CPU system time (s): 8.8744
CPU usage (%): 123.046
Max. virtual memory (cumulated for all children) (KiB): 19066200
Max. memory (cumulated for all children) (KiB): 8915108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.36
system time used= 8.8744
maximum resident set size= 8915876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277215
page faults= 46
swaps= 0
block input operations= 16
block output operations= 24128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158941
involuntary context switches= 54530
# summary of solver processes directly reported to runsolver:
# pid: 95011
# total CPU time (s): 3600.23
# total CPU user time (s): 3591.36
# total CPU system time (s): 8.8744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95773 second user time and 11.2137 second system time
The end