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: 63708 MiB (62751 MiB free)
memory of node 1: 64465 MiB (62249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514994-1751229363/watcher-4514994-1751229363 -o /tmp/evaluation-result-4514994-1751229363/solver-4514994-1751229363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751222147-28934 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514994-1751229363.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=30288, runsolver pid=30285
[startup+0.100061 s]*
/proc/loadavg: 4.37 4.19 4.12 5/336 30306
/proc/meminfo: memFree=127965064/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=18930384 memory=57716 CPUtime=0.13 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 6574 0 0 0 11 2 0 0 20 0 18 0 38613860 19384713216 14429 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4732596 14429 5337 1 0 547620 0
[pid=30288/tid=30290] ppid=30285 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 5073 0 0 0 6 1 0 0 20 0 18 0 38613861 19384713216 14429 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38613863 19384713216 14429 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=18930384 memory=60684515934839 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38613864 19384713216 14429 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57716 KiB
[startup+0.205743 s]*
/proc/loadavg: 4.37 4.19 4.12 6/336 30306
/proc/meminfo: memFree=127944584/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=18930384 memory=84448 CPUtime=0.32 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 7024 0 0 0 30 2 0 0 20 0 18 0 38613860 19384713216 21112 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4732596 21112 5433 1 0 547929 0
[pid=30288/tid=30290] ppid=30285 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 5278 0 0 0 16 2 0 0 20 0 18 0 38613861 19384713216 21112 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=18930384 memory=15987 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38613863 19384713216 21112 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38613864 19384713216 21112 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 84448 KiB
[startup+0.305678 s]*
/proc/loadavg: 4.37 4.19 4.12 6/337 30307
/proc/meminfo: memFree=127870856/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=18996948 memory=158692 CPUtime=0.5 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 8615 0 0 0 47 3 0 0 20 0 19 0 38613860 19452874752 39673 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4749237 39673 5465 1 0 549201 0
[pid=30288/tid=30290] ppid=30285 vsize=18996948 memory=-6000919485541280876 CPUtime=0.27 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 5329 0 0 0 24 3 0 0 20 0 19 0 38613861 19452874752 39673 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38613863 19452874752 39673 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38613864 19452874752 39673 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158692 KiB
[startup+0.700234 s]
/proc/loadavg: 4.37 4.19 4.12 7/337 30307
/proc/meminfo: memFree=127555212/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=18998868 memory=1043092 CPUtime=1.27 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 11023 0 0 0 106 21 0 0 20 0 19 0 38613860 19454840832 260773 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4749717 260773 5465 1 0 550516 0
[pid=30288/tid=30290] ppid=30285 vsize=18998868 memory=17536 CPUtime=0.64 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 5762 0 0 0 45 19 0 0 20 0 19 0 38613861 19454840832 260773 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=18998868 memory=10752 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 38613863 19454840832 260773 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=18998868 memory=3200 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 38613864 19454840832 260773 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18998868 KiB
Current children cumulated memory: 1043092 KiB
[startup+1.50023 s]
/proc/loadavg: 4.37 4.19 4.12 6/337 30307
/proc/meminfo: memFree=126045432/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=1935884 CPUtime=2.83 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 14971 0 0 0 245 38 0 0 20 0 20 0 38613860 19521036288 483971 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 483971 5497 1 0 1034945 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=3200 CPUtime=1.38 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 6229 0 0 0 103 35 0 0 20 0 20 0 38613861 19521036288 483971 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 483971 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 483971 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935884 KiB
[startup+3.10557 s]
/proc/loadavg: 4.37 4.19 4.12 5/338 30308
/proc/meminfo: memFree=125919032/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=1968916 CPUtime=4.8 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 15049 0 0 0 441 39 0 0 20 0 20 0 38613860 19521036288 492229 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 492229 5497 1 0 1034946 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=10752 CPUtime=2.98 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 6245 0 0 0 262 36 0 0 20 0 20 0 38613861 19521036288 492229 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 492229 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 492229 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 492229 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1968916 KiB
[startup+6.3002 s]
/proc/loadavg: 4.42 4.20 4.13 6/338 30308
/proc/meminfo: memFree=125628596/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=2003868 CPUtime=8.26 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 15201 0 0 0 786 40 0 0 20 0 20 0 38613860 19521036288 500967 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 500967 5497 1 0 1034975 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=0 CPUtime=6.16 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 6334 0 0 0 579 37 0 0 20 0 20 0 38613861 19521036288 500967 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=-8412654364016274332 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 500967 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=-6000919485541280876 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 500967 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 500967 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2003868 KiB
[startup+12.7002 s]
/proc/loadavg: 4.38 4.20 4.13 5/338 30308
/proc/meminfo: memFree=125120000/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=2065464 CPUtime=14.79 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 19237 0 0 0 1437 42 0 0 20 0 20 0 38613860 19521036288 516366 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 516366 5529 1 0 1034975 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=0 CPUtime=12.55 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 7067 0 0 0 1216 39 0 0 20 0 20 0 38613861 19521036288 516366 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=2057272 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 516366 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 516366 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 516366 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 14.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2065464 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.21 4.13 5/339 30439
/proc/meminfo: memFree=120022368/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=2126904 CPUtime=27.58 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 20906 0 0 0 2714 44 0 0 20 0 20 0 38613860 19521036288 531726 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 531726 5529 1 0 1034975 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=2079800 CPUtime=25.31 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 7974 0 0 0 2491 40 0 0 20 0 20 0 38613861 19521036288 531726 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 531726 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=2122808 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 531726 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=1935884 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 531726 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 27.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2126904 KiB
[startup+51.1057 s]
/proc/loadavg: 4.37 4.22 4.14 5/340 30441
/proc/meminfo: memFree=112688532/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=2289152 CPUtime=53.29 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 24869 0 0 0 5281 48 0 0 20 0 20 0 38613860 19521036288 572288 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 572288 5529 1 0 1035047 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=2280960 CPUtime=50.86 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 9342 0 0 0 5042 44 0 0 20 0 20 0 38613861 19521036288 572288 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=2209152 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 572288 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=-6000919485541280876 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 572288 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 572288 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 53.29 s
################
# More data... #
################
/proc/meminfo: memFree=83406684/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092328 CPUtime=3226.13 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 115230 0 0 0 322433 180 0 0 20 0 20 0 38613860 19521036288 1023082 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023082 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=10752 CPUtime=3209.82 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 45525 0 0 0 320915 67 0 0 20 0 20 0 38613861 19521036288 1023082 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=4092328 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023082 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2499 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023082 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=4092328 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023082 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3226.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.39 4.31 5/341 30702
/proc/meminfo: memFree=83409092/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3286.22 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 116917 0 0 0 328440 182 0 0 20 0 20 0 38613860 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023146 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=10752 CPUtime=3269.47 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 45741 0 0 0 326880 67 0 0 20 0 20 0 38613861 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=4092584 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=4092584 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2552 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=4092328 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3286.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.38 4.31 5/341 30705
/proc/meminfo: memFree=83408964/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3346.26 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 118308 0 0 0 334444 182 0 0 20 0 20 0 38613860 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023146 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=10752 CPUtime=3329.15 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 46837 0 0 0 332848 67 0 0 20 0 20 0 38613861 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2552 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3346.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.41 4.40 4.32 5/342 30708
/proc/meminfo: memFree=83408856/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3406.14 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 119276 0 0 0 340431 183 0 0 20 0 20 0 38613860 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023146 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=4760 CPUtime=3389 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 47623 0 0 0 338833 67 0 0 20 0 20 0 38613861 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=4092584 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2661 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=4092584 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3406.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.38 4.32 5/342 30710
/proc/meminfo: memFree=83408760/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3466.41 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 120917 0 0 0 346456 185 0 0 20 0 20 0 38613860 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023146 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=4760 CPUtime=3448.47 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 47998 0 0 0 344780 67 0 0 20 0 20 0 38613861 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=4092584 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=4092584 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2661 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=19968 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3466.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092584 KiB
[startup+3522.3 s]
/proc/loadavg: 3.82 4.24 4.28 3/293 30782
/proc/meminfo: memFree=114146480/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3526.3 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 121849 0 0 0 352444 186 0 0 20 0 20 0 38613860 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023146 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3508.33 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 48752 0 0 0 350766 67 0 0 20 0 20 0 38613861 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=19968 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2770 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=14432 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3526.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092584 KiB
[startup+3582.3 s]
/proc/loadavg: 2.67 3.83 4.13 3/293 30784
/proc/meminfo: memFree=114146548/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3586.37 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 124088 0 0 0 358450 187 0 0 20 0 20 0 38613860 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023146 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=2724 CPUtime=3568.02 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 49872 0 0 0 356734 68 0 0 20 0 20 0 38613861 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2882 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3596 s]*
/proc/loadavg: 2.52 3.74 4.10 3/293 30784
/proc/meminfo: memFree=114146548/131250000 swapFree=33010684/33010684
[pid=30288] ppid=30285 vsize=19063512 memory=4092584 CPUtime=3600.05 cores=1,3
/proc/30288/stat : 30288 (java) S 30285 30288 28922 0 -1 4194304 124130 0 0 0 359817 188 0 0 20 0 20 0 38613860 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
/proc/30288/statm: 4765878 1023146 5529 1 0 1039870 0
[pid=30288/tid=30290] ppid=30285 vsize=19063512 memory=-6000919481363623020 CPUtime=3581.7 cores=1,3
/proc/30288/task/30290/stat : 30290 (java) R 30285 30288 28922 0 -1 4194368 49910 0 0 0 358102 68 0 0 20 0 20 0 38613861 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30299] ppid=30285 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/30288/task/30299/stat : 30299 (Finalizer) S 30285 30288 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38613863 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30306] ppid=30285 vsize=19063512 memory=134609 CPUtime=0 cores=1,3
/proc/30288/task/30306/stat : 30306 (Common-Cleaner) S 30285 30288 28922 0 -1 4194368 2882 0 0 0 0 0 0 0 20 0 20 0 38613864 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
[pid=30288/tid=30308] ppid=30285 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/30288/task/30308/stat : 30308 (Timer-0) S 30285 30288 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38613962 19521036288 1023146 18446744073709551615 93974773096448 93974773100144 140726041605888 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93974773107960 93974773108752 93974800265216 140726041614721 140726041614822 140726041614822 140726041620424 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4092584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3596.1 s]
# the end of solver process 30288 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.28 s, system=1.89695 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3596.1
CPU time (s): 3600.18
CPU user time (s): 3598.28
CPU system time (s): 1.89695
CPU usage (%): 100.113
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4102132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.89695
maximum resident set size= 4102552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120690
involuntary context switches= 6410
# summary of solver processes directly reported to runsolver:
# pid: 30288
# total CPU time (s): 3600.18
# total CPU user time (s): 3598.28
# total CPU system time (s): 1.89695
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25014 second user time and 17.5717 second system time
The end