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: 63968 MiB (60544 MiB free)
  memory of node 1: 64473 MiB (61803 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453984-1721491863/watcher-4453984-1721491863 -o /tmp/evaluation-result-4453984-1721491863/solver-4453984-1721491863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089313 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453984-1721491863.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1091877, runsolver pid=1091874
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.22 4.17 4.17 6/331 1091895
/proc/meminfo: memFree=125227788/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=18975048 memory=65640 CPUtime=0.14 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 7221 0 0 0 12 2 0 0 20 0 18 0 201348704 19430449152 16410 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4743762 16410 5737 1 0 549341 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 5747 0 0 0 7 1 0 0 20 0 18 0 201348704 19430449152 16410 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201348707 19430449152 16410 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=18975048 memory=15819997462990744 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201348707 19430449152 16410 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65640 KiB

[startup+0.212152 s]*
/proc/loadavg: 4.22 4.17 4.17 6/332 1091896
/proc/meminfo: memFree=125221488/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19041612 memory=71708 CPUtime=0.35 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 7714 0 0 0 33 2 0 0 20 0 19 0 201348704 19498610688 17927 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4760403 17927 5859 1 0 549897 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19041612 memory=6876556183782621315 CPUtime=0.2 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 5951 0 0 0 18 2 0 0 20 0 19 0 201348704 19498610688 17927 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19041612 memory=1905144 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 17927 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 17927 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201348722 19498610688 17927 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71708 KiB

[startup+0.306082 s]*
/proc/loadavg: 4.22 4.17 4.17 7/332 1091896
/proc/meminfo: memFree=125213396/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19041612 memory=79608 CPUtime=0.53 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 11380 0 0 0 50 3 0 0 20 0 19 0 201348704 19498610688 19902 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4760403 19902 5859 1 0 551911 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19041612 memory=-7738694317242410079 CPUtime=0.29 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 5960 0 0 0 27 2 0 0 20 0 19 0 201348704 19498610688 19902 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 19902 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 19902 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201348722 19498610688 19902 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79608 KiB

[startup+0.70023 s]
/proc/loadavg: 4.22 4.17 4.17 6/332 1091896
/proc/meminfo: memFree=125207568/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19041612 memory=90480 CPUtime=1.27 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 12965 0 0 0 124 3 0 0 20 0 19 0 201348704 19498610688 22620 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4760403 22620 5875 1 0 552874 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19041612 memory=51092 CPUtime=0.68 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 5963 0 0 0 66 2 0 0 20 0 19 0 201348704 19498610688 22620 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19041612 memory=13124 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 22620 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19041612 memory=2328 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 22620 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19041612 memory=100 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201348722 19498610688 22620 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90480 KiB

[startup+1.50026 s]
/proc/loadavg: 4.29 4.18 4.17 6/332 1091896
/proc/meminfo: memFree=125195540/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19041612 memory=113316 CPUtime=2.43 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 21909 0 0 0 239 4 0 0 20 0 19 0 201348704 19498610688 28329 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4760403 28329 5875 1 0 555419 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19041612 memory=13124 CPUtime=1.47 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 6991 0 0 0 145 2 0 0 20 0 19 0 201348704 19498610688 28329 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 28329 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19041612 memory=2328 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 28329 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19041612 memory=100 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201348722 19498610688 28329 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 113316 KiB

[startup+3.10586 s]
/proc/loadavg: 4.29 4.18 4.17 5/332 1091898
/proc/meminfo: memFree=125045084/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19041612 memory=138000 CPUtime=4.09 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 22433 0 0 0 404 5 0 0 20 0 19 0 201348704 19498610688 34500 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4760403 34500 5875 1 0 555426 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19041612 memory=0 CPUtime=3.08 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 7295 0 0 0 305 3 0 0 20 0 19 0 201348704 19498610688 34500 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19041612 memory=-7738694317242410079 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 34500 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19041612 memory=13124 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201348707 19498610688 34500 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19041612 memory=2328 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201348722 19498610688 34500 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138000 KiB

[startup+6.30021 s]
/proc/loadavg: 4.26 4.18 4.17 5/333 1091899
/proc/meminfo: memFree=124867268/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=202396 CPUtime=7.3 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 25382 0 0 0 724 6 0 0 20 0 20 0 201348704 19566772224 50599 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 50599 5907 1 0 555715 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=2328 CPUtime=6.23 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 7908 0 0 0 620 3 0 0 20 0 20 0 201348704 19566772224 50599 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 50599 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 50599 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 50599 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202396 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.18 4.17 5/333 1091899
/proc/meminfo: memFree=124667948/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=260168 CPUtime=13.72 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 27690 0 0 0 1364 8 0 0 20 0 20 0 201348704 19566772224 65042 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 65042 5923 1 0 555715 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=13124 CPUtime=12.54 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 8578 0 0 0 1250 4 0 0 20 0 20 0 201348704 19566772224 65042 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=202524 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 65042 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=51092 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 65042 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 65042 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 13.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 260168 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.19 4.17 6/333 1091902
/proc/meminfo: memFree=124131204/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=391664 CPUtime=26.68 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 33205 0 0 0 2657 11 0 0 20 0 20 0 201348704 19566772224 97916 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 97916 5923 1 0 555715 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=6944656574621848725 CPUtime=25.17 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 9729 0 0 0 2513 4 0 0 20 0 20 0 201348704 19566772224 97916 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 97916 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=3458 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 97916 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 97916 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 26.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 391664 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.17 4.17 6/333 1091905
/proc/meminfo: memFree=123037212/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=582784 CPUtime=52.43 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 40062 0 0 0 5227 16 0 0 20 0 20 0 201348704 19566772224 145696 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 145696 5939 1 0 555715 0

################
# More data... #
################

/proc/meminfo: memFree=118215112/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2179172 CPUtime=3213.11 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 130929 0 0 0 321154 157 0 0 20 0 20 0 201348704 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 544793 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=2179168 CPUtime=3200.89 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 50948 0 0 0 320066 23 0 0 20 0 20 0 201348704 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=2179172 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2075 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=2179172 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179172 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.13 5/331 1093794
/proc/meminfo: memFree=118089460/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2179172 CPUtime=3272.96 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 131554 0 0 0 327137 159 0 0 20 0 20 0 201348704 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 544793 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=2179172 CPUtime=3260.71 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 51431 0 0 0 326048 23 0 0 20 0 20 0 201348704 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=51092 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=2179172 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2158 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=2179172 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 544793 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2179172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/331 1093804
/proc/meminfo: memFree=118087160/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3333.25 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 135124 0 0 0 333164 161 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 545318 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3320.13 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 51857 0 0 0 331990 23 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2195 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181272 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/331 1093815
/proc/meminfo: memFree=118082688/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3392.72 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 135243 0 0 0 339109 163 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 545318 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3379.56 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 51971 0 0 0 337933 23 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2195 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/330 1093825
/proc/meminfo: memFree=118078248/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3452.2 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 136096 0 0 0 345055 165 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 545318 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3438.91 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 52525 0 0 0 343868 23 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2195 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181272 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/330 1093835
/proc/meminfo: memFree=118077916/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3511.66 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 136459 0 0 0 350999 167 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 545318 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3498.33 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 52818 0 0 0 349810 23 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=29676 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=13124 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2258 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181272 KiB

[startup+3582.3 s]
/proc/loadavg: 3.55 3.96 4.06 4/307 1093886
/proc/meminfo: memFree=120162684/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3571.15 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 136743 0 0 0 356946 169 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 545318 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=14364 CPUtime=3557.79 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 53097 0 0 0 355755 24 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=51092 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2258 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=14364 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 3.42 3.90 4.04 4/307 1093892
/proc/meminfo: memFree=120162492/131524600 swapFree=131071216/131071996
[pid=1091877] ppid=1091874 vsize=19108176 memory=2181272 CPUtime=3600 cores=0,2
/proc/1091877/stat : 1091877 (java) S 1091874 1091877 1089301 0 -1 1077936128 136908 0 0 0 359830 170 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
/proc/1091877/statm: 4777044 545318 5955 1 0 559292 0
[pid=1091877/tid=1091879] ppid=1091874 vsize=19108176 memory=19760 CPUtime=3586.63 cores=0,2
/proc/1091877/task/1091879/stat : 1091879 (java) R 1091874 1091877 1089301 0 -1 4194368 53186 0 0 0 358639 24 0 0 20 0 20 0 201348704 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091888] ppid=1091874 vsize=19108176 memory=39396 CPUtime=0 cores=0,2
/proc/1091877/task/1091888/stat : 1091888 (Finalizer) S 1091874 1091877 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091895] ppid=1091874 vsize=19108176 memory=26172 CPUtime=0 cores=0,2
/proc/1091877/task/1091895/stat : 1091895 (Common-Cleaner) S 1091874 1091877 1089301 0 -1 1077936192 2258 0 0 0 0 0 0 0 20 0 20 0 201348707 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
[pid=1091877/tid=1091896] ppid=1091874 vsize=19108176 memory=1852 CPUtime=0 cores=0,2
/proc/1091877/task/1091896/stat : 1091896 (Timer-0) S 1091874 1091877 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201348722 19566772224 545318 134679101440 94632384909312 94632384913008 140723971662096 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94632384920824 94632384921616 94632415576064 140723971666949 140723971667039 140723971667039 140723971674056 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181272 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.51 s]
# the end of solver process 1091877 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.42 s, system=1.7215 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

Real time (s): 3611.51
CPU time (s): 3600.15
CPU user time (s): 3598.42
CPU system time (s): 1.7215
CPU usage (%): 99.6855
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2181272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.42
system time used= 1.7215
maximum resident set size= 2182108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104837
involuntary context switches= 32360


# summary of solver processes directly reported to runsolver:
#   pid: 1091877
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3598.42
#   total CPU system time (s): 1.7215

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51187 second user time and 17.9241 second system time

The end