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: 64059 MiB (61927 MiB free)
memory of node 1: 64510 MiB (60595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432517-1721165679/watcher-4432517-1721165679 -o /tmp/evaluation-result-4432517-1721165679/solver-4432517-1721165679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870213 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432517-1721165679.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
Current StackSize limit: 8192 KiB
solver pid=870271, runsolver pid=870259
[startup+0.11045 s]*
/proc/loadavg: 3.52 4.31 4.39 13/315 870346
/proc/meminfo: memFree=125321176/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=18975048 memory=57356 CPUtime=0.14 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 6367 0 0 0 11 3 0 0 20 0 18 0 168727173 19430449152 14339 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4743762 14339 5600 1 0 550817 0
[pid=870271/tid=870281] ppid=870259 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 5325 0 0 0 7 2 0 0 20 0 18 0 168727174 19430449152 14339 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=18975048 memory=1645 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727180 19430449152 14339 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 168727181 19430449152 14339 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57356 KiB
[startup+0.215628 s]*
/proc/loadavg: 3.52 4.31 4.39 17/315 870346
/proc/meminfo: memFree=125305476/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=18975048 memory=59820 CPUtime=0.29 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 6975 0 0 0 25 4 0 0 20 0 18 0 168727173 19430449152 14955 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4743762 14955 5609 1 0 551322 0
[pid=870271/tid=870281] ppid=870259 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 5597 0 0 0 16 3 0 0 20 0 18 0 168727174 19430449152 14955 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=18975048 memory=1645 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727180 19430449152 14955 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 168727181 19430449152 14955 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59820 KiB
[startup+0.323927 s]*
/proc/loadavg: 3.52 4.31 4.39 20/315 870346
/proc/meminfo: memFree=125284400/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=18975048 memory=65436 CPUtime=0.47 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 7260 0 0 0 42 5 0 0 20 0 18 0 168727173 19430449152 16359 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4743762 16359 5719 1 0 551541 0
[pid=870271/tid=870281] ppid=870259 vsize=18975048 memory=-8887405729461674684 CPUtime=0.29 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 5783 0 0 0 26 3 0 0 20 0 18 0 168727174 19430449152 16359 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727180 19430449152 16359 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 168727181 19430449152 16359 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65436 KiB
[startup+0.70102 s]
/proc/loadavg: 3.52 4.31 4.39 13/315 870346
/proc/meminfo: memFree=125177932/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=18975048 memory=130336 CPUtime=1.16 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 9078 0 0 0 108 8 0 0 20 0 18 0 168727173 19430449152 32584 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4743762 32584 5789 1 0 552694 0
[pid=870271/tid=870281] ppid=870259 vsize=18975048 memory=5424 CPUtime=0.61 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 5894 0 0 0 56 5 0 0 20 0 18 0 168727174 19430449152 32584 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=18975048 memory=11948 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727180 19430449152 32584 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 168727181 19430449152 32584 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 130336 KiB
[startup+1.50101 s]
/proc/loadavg: 4.12 4.42 4.42 13/323 870354
/proc/meminfo: memFree=124870756/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=181296 CPUtime=2.73 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 18014 0 0 0 262 11 0 0 20 0 20 0 168727173 19566772224 45324 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 45324 5858 1 0 555922 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=11948 CPUtime=1.33 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 7052 0 0 0 127 6 0 0 20 0 20 0 168727174 19566772224 45324 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 45324 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 45324 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 45324 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181296 KiB
[startup+3.10566 s]
/proc/loadavg: 4.12 4.42 4.42 9/323 870354
/proc/meminfo: memFree=124805516/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=187304 CPUtime=5.8 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 24575 0 0 0 567 13 0 0 20 0 20 0 168727173 19566772224 46826 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 46826 5874 1 0 557283 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=0 CPUtime=2.91 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 7588 0 0 0 285 6 0 0 20 0 20 0 168727174 19566772224 46826 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 46826 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 46826 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 46826 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187304 KiB
[startup+6.30038 s]
/proc/loadavg: 4.11 4.41 4.42 8/323 870354
/proc/meminfo: memFree=124818472/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=181804 CPUtime=9.23 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 25823 0 0 0 910 13 0 0 20 0 20 0 168727173 19566772224 45451 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 45451 5874 1 0 557900 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=0 CPUtime=6.1 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 7701 0 0 0 603 7 0 0 20 0 20 0 168727174 19566772224 45451 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 45451 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 45451 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=183068 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 45451 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 9.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181804 KiB
[startup+12.7004 s]
/proc/loadavg: 4.10 4.41 4.42 8/323 870356
/proc/meminfo: memFree=124770784/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=192384 CPUtime=15.74 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 28852 0 0 0 1560 14 0 0 20 0 20 0 168727173 19566772224 48096 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 48096 5874 1 0 557900 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=192384 CPUtime=12.43 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 8384 0 0 0 1236 7 0 0 20 0 20 0 168727174 19566772224 48096 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 48096 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 48096 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=192384 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 48096 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 15.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192384 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.39 4.41 8/323 870357
/proc/meminfo: memFree=124648624/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=231516 CPUtime=28.55 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 31516 0 0 0 2839 16 0 0 20 0 20 0 168727173 19566772224 57879 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 57879 5881 1 0 557900 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=0 CPUtime=25.05 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 9270 0 0 0 2498 7 0 0 20 0 20 0 168727174 19566772224 57879 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=192384 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 57879 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=231516 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 57879 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=280999578408480 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 57879 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 28.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 231516 KiB
[startup+51.114 s]
/proc/loadavg: 4.11 4.37 4.40 7/323 870362
/proc/meminfo: memFree=124376140/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=293256 CPUtime=54.11 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 35138 0 0 0 5391 20 0 0 20 0 20 0 168727173 19566772224 73314 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 73314 5881 1 0 557900 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=293256 CPUtime=50.31 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 10960 0 0 0 5024 7 0 0 20 0 20 0 168727174 19566772224 73314 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=293256 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 73314 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=-8527680709225456316 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 73314 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
################
# More data... #
################
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 383405 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=1533620 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 2801 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 383405 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=1533620 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 383405 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3219.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.20 4.23 8/320 872594
/proc/meminfo: memFree=118942868/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=1533644 CPUtime=3279.38 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 113467 0 0 0 327727 211 0 0 20 0 20 0 168727173 19566772224 383411 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 383411 5881 1 0 562691 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=1533636 CPUtime=3266.84 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 45201 0 0 0 326672 12 0 0 20 0 20 0 168727174 19566772224 383411 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=1533628 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 383411 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 2934 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 383411 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=41964 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 383411 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3279.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1533644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.22 8/323 872663
/proc/meminfo: memFree=118931620/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=1537800 CPUtime=3339.34 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 114570 0 0 0 333721 213 0 0 20 0 20 0 168727173 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 384450 5881 1 0 562691 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=32604 CPUtime=3326.53 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 45322 0 0 0 332641 12 0 0 20 0 20 0 168727174 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=11948 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=11656 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 2942 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=16068 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3339.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1537800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.21 7/322 872673
/proc/meminfo: memFree=118857976/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=1537800 CPUtime=3399.2 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 114625 0 0 0 339705 215 0 0 20 0 20 0 168727173 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 384450 5881 1 0 562691 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=11656 CPUtime=3386.35 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 45374 0 0 0 338623 12 0 0 20 0 20 0 168727174 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=32604 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=5424 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 2942 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=1537800 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3399.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1537800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.20 8/322 872684
/proc/meminfo: memFree=118728356/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=1537800 CPUtime=3459.06 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 115358 0 0 0 345689 217 0 0 20 0 20 0 168727173 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 384450 5881 1 0 562691 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=1537800 CPUtime=3446.18 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 45957 0 0 0 344606 12 0 0 20 0 20 0 168727174 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=1537800 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=1537800 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 2986 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=1537800 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3459.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1537800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.19 7/323 872695
/proc/meminfo: memFree=118727988/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=1537800 CPUtime=3518.92 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 115612 0 0 0 351673 219 0 0 20 0 20 0 168727173 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 384450 5881 1 0 562691 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=1537800 CPUtime=3505.99 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 46152 0 0 0 350587 12 0 0 20 0 20 0 168727174 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=1537800 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=1537800 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 3038 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=-8527680709225456316 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3518.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1537800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.18 8/321 872706
/proc/meminfo: memFree=118727904/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=1537800 CPUtime=3578.77 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 115766 0 0 0 357654 223 0 0 20 0 20 0 168727173 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 384450 5881 1 0 562691 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=26416 CPUtime=3565.79 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 46301 0 0 0 356567 12 0 0 20 0 20 0 168727174 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=41964 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=7948 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 3038 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=41964 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 384450 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3578.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1537800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.5 s]
/proc/loadavg: 4.26 4.17 4.19 9/318 873108
/proc/meminfo: memFree=123780640/131655788 swapFree=131071996/131071996
[pid=870271] ppid=870259 vsize=19108176 memory=1543956 CPUtime=3600.03 cores=0,2
/proc/870271/stat : 870271 (java) S 870259 870271 870201 0 -1 1077936128 116666 0 0 0 359779 224 0 0 20 0 20 0 168727173 19566772224 385989 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
/proc/870271/statm: 4777044 385989 5881 1 0 562691 0
[pid=870271/tid=870281] ppid=870259 vsize=19108176 memory=1533620 CPUtime=3586.79 cores=0,2
/proc/870271/task/870281/stat : 870281 (java) R 870259 870271 870201 0 -1 4194368 46305 0 0 0 358667 12 0 0 20 0 20 0 168727174 19566772224 385989 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 168727177 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870329] ppid=870259 vsize=19108176 memory=1537800 CPUtime=0 cores=0,2
/proc/870271/task/870329/stat : 870329 (Finalizer) S 870259 870271 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727180 19566772224 385989 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870346] ppid=870259 vsize=19108176 memory=-8527680709225456316 CPUtime=0 cores=0,2
/proc/870271/task/870346/stat : 870346 (Common-Cleaner) S 870259 870271 870201 0 -1 1077936192 3038 0 0 0 0 0 0 0 20 0 20 0 168727181 19566772224 385989 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
[pid=870271/tid=870351] ppid=870259 vsize=19108176 memory=1543956 CPUtime=0 cores=0,2
/proc/870271/task/870351/stat : 870351 (Timer-0) S 870259 870271 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727265 19566772224 385989 134679101440 94872986976256 94872986979952 140734630557488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94872986987768 94872986988560 94873001484288 140734630560775 140734630560865 140734630560865 140734630567880 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1543956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.62 s]
# the end of solver process 870271 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.94 s, system=2.26156 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3603.6 s]*
/proc/loadavg: 4.26 4.17 4.19 8/279 873153
/proc/meminfo: memFree=124630124/131655788 swapFree=131071996/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): 3603.62
CPU time (s): 3600.2
CPU user time (s): 3597.94
CPU system time (s): 2.26156
CPU usage (%): 99.9051
Max. virtual memory (cumulated for all children) (KiB): 19108784
Max. memory (cumulated for all children) (KiB): 1543956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.94
system time used= 2.26156
maximum resident set size= 1546160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106028
involuntary context switches= 25864
# summary of solver processes directly reported to runsolver:
# pid: 870271
# total CPU time (s): 3600.2
# total CPU user time (s): 3597.94
# total CPU system time (s): 2.26156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2813 second user time and 38.5561 second system time
The end