runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62023 MiB free)
memory of node 1: 64507 MiB (63277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524551-1751612920/watcher-4524551-1751612920 -o /tmp/evaluation-result-4524551-1751612920/solver-4524551-1751612920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751612909-93507 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524551-1751612920.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=94143, runsolver pid=94140
Current StackSize limit: 8192 KiB
[startup+0.101268 s]*
/proc/loadavg: 4.21 4.67 5.64 8/339 94161
/proc/meminfo: memFree=128249512/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18930384 memory=48440 CPUtime=0.04 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 5796 0 0 0 3 1 0 0 20 0 18 0 76972286 19384713216 12110 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4732596 12110 5308 1 0 547003 0
[pid=94143/tid=94145] ppid=94140 vsize=18930384 memory=4026531960 CPUtime=0.03 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 4705 0 0 0 2 1 0 0 20 0 18 0 76972292 19384713216 12110 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76972295 19384713216 12110 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18930384 memory=59585004340264 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76972295 19384713216 12110 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48440 KiB
[startup+0.205956 s]*
/proc/loadavg: 4.21 4.67 5.64 7/340 94162
/proc/meminfo: memFree=128236348/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18930384 memory=61804 CPUtime=0.23 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 6951 0 0 0 20 3 0 0 20 0 18 0 76972286 19384713216 15451 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4732596 15451 5468 1 0 547890 0
[pid=94143/tid=94145] ppid=94140 vsize=18930384 memory=4026794268 CPUtime=0.14 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 5317 0 0 0 12 2 0 0 20 0 18 0 76972292 19384713216 15451 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18930384 memory=19950 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76972295 19384713216 15451 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76972295 19384713216 15451 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61804 KiB
[startup+0.305774 s]*
/proc/loadavg: 4.21 4.67 5.64 8/341 94163
/proc/meminfo: memFree=128230048/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18996948 memory=65068 CPUtime=0.42 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 8959 0 0 0 39 3 0 0 20 0 19 0 76972286 19452874752 16267 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4749237 16267 5468 1 0 548890 0
[pid=94143/tid=94145] ppid=94140 vsize=18996948 memory=-6000919507083290726 CPUtime=0.23 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 5404 0 0 0 21 2 0 0 20 0 19 0 76972292 19452874752 16267 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 16267 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 16267 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972308 19452874752 16267 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65068 KiB
[startup+0.700268 s]
/proc/loadavg: 4.21 4.67 5.64 7/341 94163
/proc/meminfo: memFree=128213856/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18996948 memory=80496 CPUtime=1.19 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 14017 0 0 0 115 4 0 0 20 0 19 0 76972286 19452874752 20124 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4749237 20124 5468 1 0 551633 0
[pid=94143/tid=94145] ppid=94140 vsize=18996948 memory=15104 CPUtime=0.62 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 5566 0 0 0 60 2 0 0 20 0 19 0 76972292 19452874752 20124 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 20124 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 20124 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972308 19452874752 20124 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80496 KiB
[startup+1.50024 s]
/proc/loadavg: 4.21 4.67 5.64 7/341 94163
/proc/meminfo: memFree=128193064/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18996948 memory=87296 CPUtime=2.37 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 15463 0 0 0 233 4 0 0 20 0 19 0 76972286 19452874752 21824 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4749237 21824 5468 1 0 551673 0
[pid=94143/tid=94145] ppid=94140 vsize=18996948 memory=10752 CPUtime=1.4 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 5682 0 0 0 138 2 0 0 20 0 19 0 76972292 19452874752 21824 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 21824 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 21824 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972308 19452874752 21824 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87296 KiB
[startup+3.10535 s]
/proc/loadavg: 4.28 4.68 5.63 4/317 94173
/proc/meminfo: memFree=128683764/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18996948 memory=97536 CPUtime=3.98 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 16570 0 0 0 394 4 0 0 20 0 19 0 76972286 19452874752 24384 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4749237 24384 5468 1 0 551675 0
[pid=94143/tid=94145] ppid=94140 vsize=18996948 memory=10752 CPUtime=2.99 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 6372 0 0 0 297 2 0 0 20 0 19 0 76972292 19452874752 24384 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18996948 memory=-6000919507083290726 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 24384 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 24384 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972308 19452874752 24384 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97536 KiB
[startup+6.30019 s]
/proc/loadavg: 4.28 4.68 5.63 5/339 94228
/proc/meminfo: memFree=128587992/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18996948 memory=110148 CPUtime=7.27 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 20022 0 0 0 722 5 0 0 20 0 19 0 76972286 19452874752 27537 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4749237 27537 5468 1 0 551677 0
[pid=94143/tid=94145] ppid=94140 vsize=18996948 memory=0 CPUtime=6.18 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 7015 0 0 0 615 3 0 0 20 0 19 0 76972292 19452874752 27537 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 27537 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 27537 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=18996948 memory=87296 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972308 19452874752 27537 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.66 5.62 5/341 94230
/proc/meminfo: memFree=128387456/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=18996948 memory=138820 CPUtime=13.66 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 21373 0 0 0 1360 6 0 0 20 0 19 0 76972286 19452874752 34705 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4749237 34705 5468 1 0 551693 0
[pid=94143/tid=94145] ppid=94140 vsize=18996948 memory=87296 CPUtime=12.56 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 7895 0 0 0 1253 3 0 0 20 0 19 0 76972292 19452874752 34705 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=18996948 memory=132676 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 34705 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76972295 19452874752 34705 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 76972308 19452874752 34705 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 13.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138820 KiB
[startup+25.5003 s]
/proc/loadavg: 4.27 4.65 5.60 5/343 94233
/proc/meminfo: memFree=127723428/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=180520 CPUtime=26.49 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 23834 0 0 0 2641 8 0 0 20 0 20 0 76972286 19521036288 45130 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 45130 5532 1 0 551982 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=149060 CPUtime=25.31 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 8233 0 0 0 2527 4 0 0 20 0 20 0 76972292 19521036288 45130 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=180520 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 45130 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 45130 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=-6000919507083290726 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 45130 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 26.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180520 KiB
[startup+51.1056 s]
/proc/loadavg: 4.25 4.62 5.56 6/341 94233
/proc/meminfo: memFree=126249448/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=225932 CPUtime=52.07 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 23982 0 0 0 5198 9 0 0 20 0 20 0 76972286 19521036288 56483 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 56483 5532 1 0 551982 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=-6000919507083290726 CPUtime=50.81 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 8239 0 0 0 5077 4 0 0 20 0 20 0 76972292 19521036288 56483 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
################
# More data... #
################
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2097.72 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 60174 0 0 0 209677 95 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557032 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=10752 CPUtime=2092.18 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18116 0 0 0 209212 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 739 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2097.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2112 s]*
/proc/loadavg: 4.16 4.13 4.26 5/339 94394
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2110.54 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 60302 0 0 0 210959 95 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557035 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=-6000919494131214438 CPUtime=2104.95 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18133 0 0 0 210489 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=3456 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 739 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=1664 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2110.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2118.4 s]
/proc/loadavg: 4.14 4.13 4.26 5/339 94395
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2116.98 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 61029 0 0 0 211602 96 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557035 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=14720 CPUtime=2111.33 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18454 0 0 0 211127 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 739 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=15104 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2116.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2124.8 s]
/proc/loadavg: 4.13 4.13 4.25 5/339 94395
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2123.36 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 61137 0 0 0 212240 96 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557035 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2117.71 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18456 0 0 0 211765 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2123.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2128 s]*
/proc/loadavg: 4.12 4.12 4.25 5/339 94395
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2126.56 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 61173 0 0 0 212560 96 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557035 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=-6000919494131214438 CPUtime=2120.91 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18473 0 0 0 212085 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=6964 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=5696 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2126.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2129.6 s]
/proc/loadavg: 4.12 4.12 4.25 5/339 94395
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2128.15 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 61237 0 0 0 212719 96 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557035 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=15104 CPUtime=2122.5 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18537 0 0 0 212244 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=-6000919507083290726 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2128.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2130 s]*
/proc/loadavg: 4.12 4.12 4.25 5/339 94395
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2128.55 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 61434 0 0 0 212759 96 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557040 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=-6000919494131214438 CPUtime=2122.91 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18733 0 0 0 212285 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=6884 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=6452240 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2128.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2130.4 s]
/proc/loadavg: 4.12 4.12 4.25 5/339 94395
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2128.97 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 61541 0 0 0 212801 96 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557040 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=-6000919507083290726 CPUtime=2123.3 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18775 0 0 0 212324 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=2688 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=6784 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2128.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
[startup+2130.5 s]
/proc/loadavg: 4.12 4.12 4.25 5/339 94395
/proc/meminfo: memFree=117076396/131250000 swapFree=33008100/33010684
[pid=94143] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2129.07 cores=5,7
/proc/94143/stat : 94143 (java) S 94140 94143 92287 0 -1 4194304 61548 0 0 0 212811 96 0 0 20 0 20 0 76972286 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
/proc/94143/statm: 4765878 335260 5564 1 0 557040 0
[pid=94143/tid=94145] ppid=94140 vsize=19063512 memory=1341040 CPUtime=2123.4 cores=5,7
/proc/94143/task/94145/stat : 94145 (java) R 94140 94143 92287 0 -1 4194368 18775 0 0 0 212334 6 0 0 20 0 20 0 76972292 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94154] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94154/stat : 94154 (Finalizer) S 94140 94143 92287 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94161] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94161/stat : 94161 (Common-Cleaner) S 94140 94143 92287 0 -1 4194368 845 0 0 0 0 0 0 0 20 0 20 0 76972295 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
[pid=94143/tid=94163] ppid=94140 vsize=19063512 memory=1341040 CPUtime=0 cores=5,7
/proc/94143/task/94163/stat : 94163 (Timer-0) S 94140 94143 92287 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76972308 19521036288 335260 18446744073709551615 94252657283072 94252657286768 140734588661600 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94252657294584 94252657295376 94252666343424 140734588664191 140734588664292 140734588664292 140734588669896 0
Current children cumulated CPU time: 2129.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1341040 KiB
Child status: 30
Real time (s): 2130.58
CPU time (s): 2129.15
CPU user time (s): 2128.17
CPU system time (s): 0.980071
CPU usage (%): 99.9328
Max. virtual memory (cumulated for all children) (KiB): 19064716
Max. memory (cumulated for all children) (KiB): 1341040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2128.17
system time used= 0.980071
maximum resident set size= 1343968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64207
involuntary context switches= 1729
# summary of solver processes directly reported to runsolver:
# pid: 94143
# total CPU time (s): 2129.15
# total CPU user time (s): 2128.17
# total CPU system time (s): 0.980071
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49408 second user time and 10.3686 second system time
The end