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 (62615 MiB free)
memory of node 1: 64507 MiB (63602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544070-1753232630/watcher-4544070-1753232630 -o /tmp/evaluation-result-4544070-1753232630/solver-4544070-1753232630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1753232630-166547 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4544070-1753232630.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=166609, runsolver pid=166591
[startup+0.100061 s]*
/proc/loadavg: 1.44 2.74 3.55 8/335 166672
/proc/meminfo: memFree=129171276/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=18930384 memory=54996 CPUtime=0.11 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 6414 0 0 0 10 1 0 0 20 0 18 0 238940794 19384713216 13749 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4732596 13749 5327 1 0 547569 0
[pid=166609/tid=166628] ppid=166591 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) S 166591 166609 166535 0 -1 4194368 5002 0 0 0 6 1 0 0 20 0 18 0 238940796 19384713216 13749 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=18930384 memory=16198 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238940798 19384713216 13749 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238940798 19384713216 13749 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54996 KiB
[startup+0.205871 s]*
/proc/loadavg: 1.44 2.74 3.55 8/316 166675
/proc/meminfo: memFree=129085124/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=18930384 memory=87820 CPUtime=0.3 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 6840 0 0 0 28 2 0 0 20 0 18 0 238940794 19384713216 21955 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4732596 21955 5423 1 0 547891 0
[pid=166609/tid=166628] ppid=166591 vsize=18930384 memory=4026990711 CPUtime=0.16 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 5279 0 0 0 15 1 0 0 20 0 18 0 238940796 19384713216 21955 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=18930384 memory=215637835299 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238940798 19384713216 21955 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=18930384 memory=30004 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238940798 19384713216 21955 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 87820 KiB
[startup+0.306039 s]*
/proc/loadavg: 1.44 2.74 3.55 8/318 166678
/proc/meminfo: memFree=128947104/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=18996948 memory=116644 CPUtime=0.49 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 8382 0 0 0 46 3 0 0 20 0 19 0 238940794 19452874752 29161 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4749237 29161 5423 1 0 549276 0
[pid=166609/tid=166628] ppid=166591 vsize=18996948 memory=-7737605734073681312 CPUtime=0.23 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 5331 0 0 0 21 2 0 0 20 0 19 0 238940796 19452874752 29161 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=18996948 memory=-8670666673107018428 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 29161 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 29161 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238940819 19452874752 29161 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116644 KiB
[startup+0.700232 s]
/proc/loadavg: 1.44 2.74 3.55 8/318 166687
/proc/meminfo: memFree=128848752/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=18996948 memory=126828 CPUtime=1.22 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 9666 0 0 0 118 4 0 0 20 0 19 0 238940794 19452874752 31707 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4749237 31707 5423 1 0 550212 0
[pid=166609/tid=166628] ppid=166591 vsize=18996948 memory=27520 CPUtime=0.58 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 5338 0 0 0 56 2 0 0 20 0 19 0 238940796 19452874752 31707 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 31707 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=18996948 memory=21996 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 31707 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=18996948 memory=4480 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238940819 19452874752 31707 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 126828 KiB
[startup+1.50018 s]
/proc/loadavg: 1.44 2.74 3.55 5/319 166688
/proc/meminfo: memFree=128605580/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=18996948 memory=137072 CPUtime=2.03 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 9881 0 0 0 199 4 0 0 20 0 19 0 238940794 19452874752 34268 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4749237 34268 5423 1 0 550214 0
[pid=166609/tid=166628] ppid=166591 vsize=18996948 memory=0 CPUtime=1.38 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 5458 0 0 0 135 3 0 0 20 0 19 0 238940796 19452874752 34268 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 34268 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=18996948 memory=21996 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 34268 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=18996948 memory=4480 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238940819 19452874752 34268 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 2.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 137072 KiB
[startup+3.10566 s]
/proc/loadavg: 1.44 2.74 3.55 4/319 166783
/proc/meminfo: memFree=128537960/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=18996948 memory=159892 CPUtime=3.78 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 14689 0 0 0 373 5 0 0 20 0 19 0 238940794 19452874752 39973 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4749237 39973 5423 1 0 550727 0
[pid=166609/tid=166628] ppid=166591 vsize=18996948 memory=10752 CPUtime=2.96 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 6579 0 0 0 293 3 0 0 20 0 19 0 238940796 19452874752 39973 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=18996948 memory=-9103012237334586044 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 39973 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238940798 19452874752 39973 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=18996948 memory=21996 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238940819 19452874752 39973 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 159892 KiB
[startup+6.30021 s]
/proc/loadavg: 1.73 2.78 3.56 5/343 166811
/proc/meminfo: memFree=128197008/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=187804 CPUtime=7.12 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 15982 0 0 0 705 7 0 0 20 0 20 0 238940794 19521036288 46951 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 46951 5519 1 0 551024 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=0 CPUtime=6.12 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 6636 0 0 0 609 3 0 0 20 0 20 0 238940796 19521036288 46951 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 46951 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 46951 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=139120 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 46951 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187804 KiB
[startup+12.7003 s]
/proc/loadavg: 1.91 2.80 3.56 5/343 166811
/proc/meminfo: memFree=127451880/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=263884 CPUtime=13.58 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 18673 0 0 0 1350 8 0 0 20 0 20 0 238940794 19521036288 65971 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 65971 5519 1 0 551024 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=0 CPUtime=12.44 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 7158 0 0 0 1241 3 0 0 20 0 20 0 238940796 19521036288 65971 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=139120 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 65971 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 65971 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 65971 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 13.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 263884 KiB
[startup+25.5002 s]
/proc/loadavg: 2.52 2.89 3.58 5/343 166811
/proc/meminfo: memFree=125977224/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=405604 CPUtime=26.61 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 25456 0 0 0 2651 10 0 0 20 0 20 0 238940794 19521036288 101401 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 101401 5519 1 0 552342 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=0 CPUtime=25.05 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 8020 0 0 0 2502 3 0 0 20 0 20 0 238940796 19521036288 101401 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=327624 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 101401 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 101401 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=27520 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 101401 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 26.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 405604 KiB
[startup+51.1058 s]
/proc/loadavg: 3.11 3.00 3.60 5/342 166811
/proc/meminfo: memFree=123719912/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=711440 CPUtime=52.41 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 26425 0 0 0 5223 18 0 0 20 0 20 0 238940794 19521036288 177860 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 177860 5519 1 0 552342 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=-9103012237334586044 CPUtime=50.31 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 8408 0 0 0 5028 3 0 0 20 0 20 0 238940796 19521036288 177860 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=629352 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=93304200/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8026492 CPUtime=3297.5 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 134646 0 0 0 329491 259 0 0 20 0 20 0 238940794 19521036288 2006623 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2006623 5519 1 0 2388065 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=8026492 CPUtime=3257.83 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 56987 0 0 0 325743 40 0 0 20 0 20 0 238940796 19521036288 2006623 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2006623 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1042 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2006623 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=-9103012237334586044 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2006623 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3297.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8026492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.23 4.19 5/340 166969
/proc/meminfo: memFree=93115700/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3357.69 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 136839 0 0 0 335507 262 0 0 20 0 20 0 238940794 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2020959 5519 1 0 2388065 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=27648 CPUtime=3317.37 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 57633 0 0 0 331697 40 0 0 20 0 20 0 238940796 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=27648 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1105 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=27648 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3357.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8083836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/340 167038
/proc/meminfo: memFree=108356840/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3417.58 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 138975 0 0 0 341494 264 0 0 20 0 20 0 238940794 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2020959 5519 1 0 2388065 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=27648 CPUtime=3377.22 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 59702 0 0 0 337682 40 0 0 20 0 20 0 238940796 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1105 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3417.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8083836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.22 4.18 7/339 167248
/proc/meminfo: memFree=108096812/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3477.75 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 141419 0 0 0 347509 266 0 0 20 0 20 0 238940794 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2020959 5519 1 0 2388065 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=27648 CPUtime=3436.79 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 60491 0 0 0 343639 40 0 0 20 0 20 0 238940796 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1148 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=14824 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3477.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8083836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/341 167254
/proc/meminfo: memFree=107816636/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3537.91 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 144992 0 0 0 353523 268 0 0 20 0 20 0 238940794 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2020959 5519 1 0 2388065 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=5760 CPUtime=3496.36 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 62640 0 0 0 349596 40 0 0 20 0 20 0 238940796 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1158 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=27648 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3537.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8083836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.20 4.18 6/339 167325
/proc/meminfo: memFree=113889488/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3598.04 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 147181 0 0 0 359534 270 0 0 20 0 20 0 238940794 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2020959 5519 1 0 2388081 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3555.93 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 64345 0 0 0 355552 41 0 0 20 0 20 0 238940796 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=-9103012237334586044 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1169 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3598.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8083836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3584.3 s]
/proc/loadavg: 4.20 4.20 4.18 6/341 167392
/proc/meminfo: memFree=113816340/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3600.04 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 147206 0 0 0 359734 270 0 0 20 0 20 0 238940794 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2020959 5519 1 0 2388081 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=5276 CPUtime=3557.92 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 64361 0 0 0 355751 41 0 0 20 0 20 0 238940796 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1169 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8083836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3584.41 s]
# the end of solver process 166609 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.46 s, system=2.73553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584.3 s]
/proc/loadavg: 4.20 4.20 4.18 6/341 167392
/proc/meminfo: memFree=113816340/131249996 swapFree=33010416/33010684
[pid=166609] ppid=166591 vsize=19063512 memory=8083836 CPUtime=3600.04 cores=1,3
/proc/166609/stat : 166609 (java) S 166591 166609 166535 0 -1 4194304 147206 0 0 0 359734 270 0 0 20 0 20 0 238940794 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
/proc/166609/statm: 4765878 2020959 5519 1 0 2388081 0
[pid=166609/tid=166628] ppid=166591 vsize=19063512 memory=5276 CPUtime=3557.92 cores=1,3
/proc/166609/task/166628/stat : 166628 (java) R 166591 166609 166535 0 -1 4194368 64361 0 0 0 355751 41 0 0 20 0 20 0 238940796 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166654] ppid=166591 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/166609/task/166654/stat : 166654 (Finalizer) S 166591 166609 166535 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166661] ppid=166591 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/166609/task/166661/stat : 166661 (Common-Cleaner) S 166591 166609 166535 0 -1 4194368 1169 0 0 0 0 0 0 0 20 0 20 0 238940798 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
[pid=166609/tid=166677] ppid=166591 vsize=19063512 memory=8083836 CPUtime=0 cores=1,3
/proc/166609/task/166677/stat : 166677 (Timer-0) S 166591 166609 166535 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238940819 19521036288 2020959 18446744073709551615 94772935958528 94772935962224 140727456458816 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94772935970040 94772935970832 94772958420992 140727456467327 140727456467428 140727456467428 140727456473032 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8083836 KiB
Child status: 143
Real time (s): 3584.41
CPU time (s): 3600.19
CPU user time (s): 3597.46
CPU system time (s): 2.73553
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 8083836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.46
system time used= 2.73553
maximum resident set size= 8084732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111052
involuntary context switches= 7458
# summary of solver processes directly reported to runsolver:
# pid: 166609
# total CPU time (s): 3600.19
# total CPU user time (s): 3597.46
# total CPU system time (s): 2.73553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58533 second user time and 18.1132 second system time
The end