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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444052-1721817191/watcher-4444052-1721817191 -o /tmp/evaluation-result-4444052-1721817191/solver-4444052-1721817191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721817188-183884 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4444052-1721817191 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4444052-1721817191.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=184086, runsolver pid=184083

[startup+0.102072 s]*
/proc/loadavg: 0.46 0.17 0.22 12/315 184107
/proc/meminfo: memFree=123521988/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=18975048 memory=66608 CPUtime=0.14 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 7075 0 0 0 12 2 0 0 20 0 18 0 18242467 19430449152 16652 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4743762 16652 5650 1 0 549378 0
[pid=184086/tid=184088] ppid=184083 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 5660 0 0 0 7 1 0 0 20 0 18 0 18242468 19430449152 16652 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18242470 19430449152 16652 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=18975048 memory=15262540772067107 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18242471 19430449152 16652 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66608 KiB

[startup+0.206069 s]*
/proc/loadavg: 0.46 0.17 0.22 7/287 184111
/proc/meminfo: memFree=124403660/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=18975048 memory=93592 CPUtime=0.34 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 8318 0 0 0 31 3 0 0 20 0 18 0 18242467 19430449152 23398 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4743762 23398 5819 1 0 550284 0
[pid=184086/tid=184088] ppid=184083 vsize=18975048 memory=3472328300254199927 CPUtime=0.19 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 5829 0 0 0 17 2 0 0 20 0 18 0 18242468 19430449152 23398 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=18975048 memory=1230887 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18242470 19430449152 23398 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=18975048 memory=15823278816101855 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18242471 19430449152 23398 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 93592 KiB

[startup+0.30607 s]*
/proc/loadavg: 0.46 0.17 0.22 5/270 184140
/proc/meminfo: memFree=125311992/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=18975048 memory=139412 CPUtime=0.53 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 9350 0 0 0 49 4 0 0 20 0 18 0 18242467 19430449152 34853 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4743762 34853 5819 1 0 550873 0
[pid=184086/tid=184088] ppid=184083 vsize=18975048 memory=4206468019014099040 CPUtime=0.29 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 5851 0 0 0 26 3 0 0 20 0 18 0 18242468 19430449152 34853 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=18975048 memory=8257237230052613020 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18242470 19430449152 34853 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=18975048 memory=7681905605394137875 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18242471 19430449152 34853 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 139412 KiB

[startup+0.701069 s]
/proc/loadavg: 0.46 0.17 0.22 7/270 184159
/proc/meminfo: memFree=125234380/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19041612 memory=200300 CPUtime=1.29 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 18459 0 0 0 123 6 0 0 20 0 19 0 18242467 19498610688 50075 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4760403 50075 5835 1 0 557368 0
[pid=184086/tid=184088] ppid=184083 vsize=19041612 memory=2296 CPUtime=0.62 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 6047 0 0 0 59 3 0 0 20 0 19 0 18242468 19498610688 50075 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19041612 memory=12304 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18242470 19498610688 50075 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19041612 memory=5211801870204039215 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18242471 19498610688 50075 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 200300 KiB

[startup+1.50403 s]
/proc/loadavg: 0.46 0.17 0.22 7/292 184188
/proc/meminfo: memFree=125154428/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=211652 CPUtime=2.86 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 19277 0 0 0 279 7 0 0 20 0 20 0 18242467 19566772224 52913 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 52913 5872 1 0 557781 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=12304 CPUtime=1.33 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 6113 0 0 0 129 4 0 0 20 0 20 0 18242468 19566772224 52913 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 52913 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 52913 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=228489167166 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 52913 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211652 KiB

[startup+3.10707 s]
/proc/loadavg: 0.99 0.28 0.26 7/293 184189
/proc/meminfo: memFree=124482572/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=427388 CPUtime=6.03 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 20659 0 0 0 590 13 0 0 20 0 20 0 18242467 19566772224 106847 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 106847 5872 1 0 979757 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=18904 CPUtime=2.86 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 6248 0 0 0 277 9 0 0 20 0 20 0 18242468 19566772224 106847 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 106847 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 106847 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=204924 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 106847 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 427388 KiB

[startup+6.30107 s]
/proc/loadavg: 0.99 0.28 0.26 10/314 184375
/proc/meminfo: memFree=124557984/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=752068 CPUtime=9.53 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 26671 0 0 0 931 22 0 0 20 0 20 0 18242467 19566772224 188017 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 188017 5888 1 0 979778 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=0 CPUtime=5.86 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 7387 0 0 0 570 16 0 0 20 0 20 0 18242468 19566772224 188017 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 188017 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 188017 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=622840 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 188017 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 752068 KiB

[startup+12.7011 s]
/proc/loadavg: 2.15 0.55 0.35 8/314 184782
/proc/meminfo: memFree=124135756/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=1073660 CPUtime=16.03 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 27890 0 0 0 1570 33 0 0 20 0 20 0 18242467 19566772224 268415 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 268415 5888 1 0 979780 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=0 CPUtime=12.17 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 7797 0 0 0 1191 26 0 0 20 0 20 0 18242468 19566772224 268415 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=86084 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 268415 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 268415 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 268415 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1073660 KiB

[startup+25.5003 s]
/proc/loadavg: 2.43 0.67 0.39 5/338 184907
/proc/meminfo: memFree=118868532/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=2126604 CPUtime=28.95 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 35147 0 0 0 2833 62 0 0 20 0 20 0 18242467 19566772224 531651 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 531651 5904 1 0 979786 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=0 CPUtime=24.84 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 10371 0 0 0 2430 54 0 0 20 0 20 0 18242468 19566772224 531651 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=2126604 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 531651 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=-8959184030349959868 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 531651 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=11680 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 531651 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 28.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2126604 KiB

[startup+51.1059 s]
/proc/loadavg: 3.04 0.95 0.49 7/337 184976
/proc/meminfo: memFree=119278556/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=2370380 CPUtime=54.3 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 39999 0 0 0 5346 84 0 0 20 0 20 0 18242467 19566772224 592595 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 592595 5904 1 0 979788 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=2355980 CPUtime=50.04 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 13114 0 0 0 4929 75 0 0 20 0 20 0 18242468 19566772224 592595 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 36 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=2370380 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 592595 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=2370364 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 592595 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0

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

/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970135 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3249 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970135 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=32168 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970135 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3244.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880540 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.07 5/338 186860
/proc/meminfo: memFree=79688312/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=3880544 CPUtime=3304.1 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 255184 0 0 0 328752 1658 0 0 20 0 20 0 18242467 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 970136 5904 1 0 982660 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=3880540 CPUtime=3253.88 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 129926 0 0 0 323862 1526 0 0 20 0 20 0 18242468 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5071 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=3880544 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3349 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=3880540 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3304.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.18 4.08 5/337 186871
/proc/meminfo: memFree=79156308/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=3880544 CPUtime=3363.43 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 258168 0 0 0 334660 1683 0 0 20 0 20 0 18242467 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 970136 5904 1 0 982660 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=5432 CPUtime=3312.41 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 131706 0 0 0 329692 1549 0 0 20 0 20 0 18242468 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5160 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=3880544 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3448 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970136 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3363.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880544 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.08 5/338 186941
/proc/meminfo: memFree=78642248/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=3880548 CPUtime=3422.23 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 261112 0 0 0 340514 1709 0 0 20 0 20 0 18242467 19566772224 970137 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 970137 5904 1 0 982660 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=5432 CPUtime=3370.28 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 133397 0 0 0 335454 1574 0 0 20 0 20 0 18242468 19566772224 970137 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 5304 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=3880548 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970137 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3549 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970137 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=3880548 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970137 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3422.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.19 4.10 5/338 186952
/proc/meminfo: memFree=78064744/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=3880552 CPUtime=3481.52 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 263998 0 0 0 346417 1735 0 0 20 0 20 0 18242467 19566772224 970138 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 970138 5904 1 0 982661 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=11944 CPUtime=3429.06 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 135785 0 0 0 341308 1598 0 0 20 0 20 0 18242468 19566772224 970138 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5367 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=3880552 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970138 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=3880552 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3549 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970138 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=3880552 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970138 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3481.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.19 4.10 5/338 186965
/proc/meminfo: memFree=77593256/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=3880560 CPUtime=3541 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 266949 0 0 0 352340 1760 0 0 20 0 20 0 18242467 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 970140 5904 1 0 982661 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=11944 CPUtime=3487.88 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 138012 0 0 0 347166 1622 0 0 20 0 20 0 18242468 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5409 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=3880560 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=3880560 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3599 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3541 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880560 KiB

[startup+3642.3 s]
/proc/loadavg: 4.12 4.17 4.09 1/336 186975
/proc/meminfo: memFree=77058056/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=3880560 CPUtime=3591.9 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 269820 0 0 0 357410 1780 0 0 20 0 20 0 18242467 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 970140 5904 1 0 982661 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=12304 CPUtime=3538.25 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) D 184083 184086 183872 0 -1 4194368 140037 0 0 0 352185 1640 0 0 20 0 20 0 18242468 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5436 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=68028 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=3880560 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3649 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=3880560 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3591.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3652.8 s]
/proc/loadavg: 4.10 4.16 4.09 5/336 186976
/proc/meminfo: memFree=76998384/131524600 swapFree=131055480/131071996
[pid=184086] ppid=184083 vsize=19108176 memory=3880560 CPUtime=3600.05 cores=1,3
/proc/184086/stat : 184086 (java) S 184083 184086 183872 0 -1 1077936128 269960 0 0 0 358221 1784 0 0 20 0 20 0 18242467 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
/proc/184086/statm: 4777044 970140 5904 1 0 982661 0
[pid=184086/tid=184088] ppid=184083 vsize=19108176 memory=-8959184030349959868 CPUtime=3546.13 cores=1,3
/proc/184086/task/184088/stat : 184088 (java) R 184083 184086 183872 0 -1 4194368 140058 0 0 0 352969 1644 0 0 20 0 20 0 18242468 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6558 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184097] ppid=184083 vsize=19108176 memory=25596 CPUtime=0 cores=1,3
/proc/184086/task/184097/stat : 184097 (Finalizer) S 184083 184086 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18242470 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184104] ppid=184083 vsize=19108176 memory=39732 CPUtime=0 cores=1,3
/proc/184086/task/184104/stat : 184104 (Common-Cleaner) S 184083 184086 183872 0 -1 1077936192 3649 0 0 0 0 0 0 0 20 0 20 0 18242471 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
[pid=184086/tid=184188] ppid=184083 vsize=19108176 memory=32168 CPUtime=0 cores=1,3
/proc/184086/task/184188/stat : 184188 (Timer-0) S 184083 184086 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18242553 19566772224 970140 134679101440 94611750240256 94611750243952 140722018655808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94611750251768 94611750252560 94611772104704 140722018661291 140722018661473 140722018661473 140722018668488 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3880560 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.34 s, system=17.8606 s

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

[startup+3652.91 s]*
/proc/loadavg: 4.18 4.17 4.10 5/318 186979
/proc/meminfo: memFree=80829332/131524600 swapFree=131055480/131071996
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): 3652.91
CPU time (s): 3600.2
CPU user time (s): 3582.34
CPU system time (s): 17.8606
CPU usage (%): 98.5569
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3880560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.34
system time used= 17.8606
maximum resident set size= 3881352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34381184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122850
involuntary context switches= 16144


# summary of solver processes directly reported to runsolver:
#   pid: 184086
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3582.34
#   total CPU system time (s): 17.8606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75923 second user time and 18.3505 second system time

The end