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 (58250 MiB free)
memory of node 1: 64507 MiB (61497 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524876-1751618088/watcher-4524876-1751618088 -o /tmp/evaluation-result-4524876-1751618088/solver-4524876-1751618088 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751618077-96283 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524876-1751618088.wbo
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
solver pid=96462, runsolver pid=96459
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.64 1.23 1.40 6/338 96480
/proc/meminfo: memFree=122595192/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=18930384 memory=57636 CPUtime=0.12 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 6554 0 0 0 10 2 0 0 20 0 18 0 77486627 19384713216 14409 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4732596 14409 5336 1 0 547611 0
[pid=96462/tid=96464] ppid=96459 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 5054 0 0 0 6 1 0 0 20 0 18 0 77486628 19384713216 14409 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=18930384 memory=237112656212 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77486631 19384713216 14409 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=18930384 memory=59585004336188 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77486631 19384713216 14409 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57636 KiB
[startup+0.205922 s]*
/proc/loadavg: 1.64 1.23 1.40 6/338 96480
/proc/meminfo: memFree=122591160/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=18930384 memory=62544 CPUtime=0.31 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 7268 0 0 0 29 2 0 0 20 0 18 0 77486627 19384713216 15636 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4732596 15636 5464 1 0 548104 0
[pid=96462/tid=96464] ppid=96459 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 5418 0 0 0 16 1 0 0 20 0 18 0 77486628 19384713216 15636 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=18930384 memory=16163 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77486631 19384713216 15636 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77486631 19384713216 15636 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62544 KiB
[startup+0.305964 s]*
/proc/loadavg: 1.64 1.23 1.40 7/339 96481
/proc/meminfo: memFree=122587320/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=18996948 memory=72876 CPUtime=0.5 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 8177 0 0 0 47 3 0 0 20 0 19 0 77486627 19452874752 18219 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4749237 18219 5464 1 0 548693 0
[pid=96462/tid=96464] ppid=96459 vsize=18996948 memory=-6000919468411610726 CPUtime=0.26 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 5499 0 0 0 24 2 0 0 20 0 19 0 77486628 19452874752 18219 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77486631 19452874752 18219 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77486631 19452874752 18219 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77486649 19452874752 18219 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72876 KiB
[startup+0.700258 s]
/proc/loadavg: 1.64 1.23 1.40 7/339 96481
/proc/meminfo: memFree=122529348/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=168080 CPUtime=1.26 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 13021 0 0 0 121 5 0 0 20 0 20 0 77486627 19521036288 42020 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 42020 5496 1 0 551497 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=18816 CPUtime=0.62 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 5544 0 0 0 59 3 0 0 20 0 20 0 77486628 19521036288 42020 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 42020 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 42020 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=4740 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 42020 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168080 KiB
[startup+1.50026 s]
/proc/loadavg: 1.64 1.23 1.40 6/340 96482
/proc/meminfo: memFree=122491744/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=245880 CPUtime=2.84 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 25023 0 0 0 276 8 0 0 20 0 20 0 77486627 19521036288 61470 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 61470 5496 1 0 556644 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=0 CPUtime=1.35 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 5893 0 0 0 131 4 0 0 20 0 20 0 77486628 19521036288 61470 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 61470 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 61470 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=4740 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 61470 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 245880 KiB
[startup+3.10571 s]
/proc/loadavg: 1.64 1.23 1.40 5/340 96482
/proc/meminfo: memFree=121429268/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=1264208 CPUtime=5.32 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 27224 0 0 0 504 28 0 0 20 0 20 0 77486627 19521036288 316052 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 316052 5496 1 0 556648 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=10496 CPUtime=2.95 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 7512 0 0 0 272 23 0 0 20 0 20 0 77486628 19521036288 316052 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=-6000919468411610726 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 316052 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 316052 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 316052 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1264208 KiB
[startup+6.30025 s]
/proc/loadavg: 1.83 1.27 1.42 5/340 96482
/proc/meminfo: memFree=120463364/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=2130224 CPUtime=9.3 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 35755 0 0 0 884 46 0 0 20 0 20 0 77486627 19521036288 532556 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 532556 5496 1 0 824472 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=0 CPUtime=6.06 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 7935 0 0 0 568 38 0 0 20 0 20 0 77486628 19521036288 532556 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 532556 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 532556 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=305280 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 532556 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2130224 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.32 1.43 5/340 96482
/proc/meminfo: memFree=120110612/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=2409672 CPUtime=16.05 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 36205 0 0 0 1553 52 0 0 20 0 20 0 77486627 19521036288 602418 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 602418 5496 1 0 824476 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=305280 CPUtime=12.31 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 8250 0 0 0 1188 43 0 0 20 0 20 0 77486628 19521036288 602418 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=2409672 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 602418 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 602418 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 602418 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 16.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2409672 KiB
[startup+25.5002 s]
/proc/loadavg: 2.67 1.50 1.49 5/340 96483
/proc/meminfo: memFree=119905568/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=2411740 CPUtime=28.91 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 39253 0 0 0 2838 53 0 0 20 0 20 0 77486627 19521036288 602935 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 602935 5496 1 0 824477 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=-6000919468411610726 CPUtime=24.77 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 9942 0 0 0 2434 43 0 0 20 0 20 0 77486628 19521036288 602935 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 602935 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=98926 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 602935 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 602935 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 28.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2411740 KiB
[startup+51.1057 s]
/proc/loadavg: 3.52 1.80 1.59 5/340 96483
/proc/meminfo: memFree=119495520/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=2555224 CPUtime=54.87 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 48553 0 0 0 5429 58 0 0 20 0 20 0 77486627 19521036288 638806 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 638806 5496 1 0 824477 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=2409672 CPUtime=49.87 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 12730 0 0 0 4943 44 0 0 20 0 20 0 77486628 19521036288 638806 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=2411740 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=112367312/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4432036 CPUtime=3262.7 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 158740 0 0 0 325754 516 0 0 20 0 20 0 77486627 19521036288 1108009 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1108009 5528 1 0 1123271 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=16360 CPUtime=3074.4 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 53551 0 0 0 307362 78 0 0 20 0 20 0 77486628 19521036288 1108009 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1108009 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=4407000 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1156 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1108009 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=4432036 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1108009 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3262.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4432036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.32 4.22 6/339 96662
/proc/meminfo: memFree=112274952/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4490392 CPUtime=3327.01 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 160498 0 0 0 332172 529 0 0 20 0 20 0 77486627 19521036288 1122598 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1122598 5528 1 0 1137896 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=16360 CPUtime=3133.84 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 53838 0 0 0 313304 80 0 0 20 0 20 0 77486628 19521036288 1122598 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=4473744 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1122598 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=4490392 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1156 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1122598 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1122598 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3327.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4490392 KiB
[startup+3222.3 s]
/proc/loadavg: 4.29 4.32 4.23 6/339 96664
/proc/meminfo: memFree=112266764/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4498716 CPUtime=3391.13 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 163794 0 0 0 338573 540 0 0 20 0 20 0 77486627 19521036288 1124679 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1124679 5528 1 0 1139984 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=16360 CPUtime=3193.39 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 55135 0 0 0 319259 80 0 0 20 0 20 0 77486628 19521036288 1124679 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=5760 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1124679 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=4498716 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1124679 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=4498716 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1124679 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3391.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4498716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.35 4.24 6/339 96666
/proc/meminfo: memFree=112152024/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4573868 CPUtime=3456.61 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 166097 0 0 0 345107 554 0 0 20 0 20 0 77486627 19521036288 1143467 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1143467 5528 1 0 1158785 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=4540516 CPUtime=3252.83 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 55946 0 0 0 325202 81 0 0 20 0 20 0 77486628 19521036288 1143467 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=4540516 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1143467 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1143467 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1143467 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3456.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4573868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.42 4.36 4.25 5/318 96690
/proc/meminfo: memFree=117563384/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4582192 CPUtime=3518.67 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 169093 0 0 0 351306 561 0 0 20 0 20 0 77486627 19521036288 1145548 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1145548 5528 1 0 1160873 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=4582192 CPUtime=3312.5 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 56897 0 0 0 331168 82 0 0 20 0 20 0 77486628 19521036288 1145548 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1145548 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1271 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1145548 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=4582192 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1145548 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3518.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4582192 KiB
[startup+3402.3 s]
/proc/loadavg: 3.66 4.14 4.18 4/315 96704
/proc/meminfo: memFree=117488568/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4657264 CPUtime=3582.54 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 170094 0 0 0 357683 571 0 0 20 0 20 0 77486627 19521036288 1164316 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1164316 5528 1 0 1179672 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=4582192 CPUtime=3372.03 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 57202 0 0 0 337120 83 0 0 20 0 20 0 77486628 19521036288 1164316 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1164316 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1272 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1164316 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1164316 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3582.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4657264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3418.5 s]
/proc/loadavg: 3.59 4.10 4.17 4/316 96711
/proc/meminfo: memFree=117454232/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4698916 CPUtime=3600.08 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 170853 0 0 0 359434 574 0 0 20 0 20 0 77486627 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1174729 5528 1 0 1190115 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=4582192 CPUtime=3388.08 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 57226 0 0 0 338724 84 0 0 20 0 20 0 77486628 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1272 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4698916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3418.58 s]
# the end of solver process 96462 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.46 s, system=5.76955 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3418.5 s]
/proc/loadavg: 3.59 4.10 4.17 4/316 96711
/proc/meminfo: memFree=117454232/131250000 swapFree=33010416/33010684
[pid=96462] ppid=96459 vsize=19063512 memory=4698916 CPUtime=3600.08 cores=1,3
/proc/96462/stat : 96462 (java) S 96459 96462 95274 0 -1 4194304 170853 0 0 0 359434 574 0 0 20 0 20 0 77486627 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
/proc/96462/statm: 4765878 1174729 5528 1 0 1190115 0
[pid=96462/tid=96464] ppid=96459 vsize=19063512 memory=4582192 CPUtime=3388.08 cores=1,3
/proc/96462/task/96464/stat : 96464 (java) R 96459 96462 95274 0 -1 4194368 57226 0 0 0 338724 84 0 0 20 0 20 0 77486628 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96473] ppid=96459 vsize=19063512 memory=10496 CPUtime=0 cores=1,3
/proc/96462/task/96473/stat : 96473 (Finalizer) S 96459 96462 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96480] ppid=96459 vsize=19063512 memory=16360 CPUtime=0 cores=1,3
/proc/96462/task/96480/stat : 96480 (Common-Cleaner) S 96459 96462 95274 0 -1 4194368 1272 0 0 0 0 0 0 0 20 0 20 0 77486631 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
[pid=96462/tid=96481] ppid=96459 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/96462/task/96481/stat : 96481 (Timer-0) S 96459 96462 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77486649 19521036288 1174729 18446744073709551615 93969796153344 93969796157040 140727669318160 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93969796164856 93969796165648 93969819561984 140727669324156 140727669324260 140727669324260 140727669329864 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4698916 KiB
Child status: 143
Real time (s): 3418.58
CPU time (s): 3600.23
CPU user time (s): 3594.46
CPU system time (s): 5.76955
CPU usage (%): 105.314
Max. virtual memory (cumulated for all children) (KiB): 19068192
Max. memory (cumulated for all children) (KiB): 4698916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.46
system time used= 5.76955
maximum resident set size= 4699812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172774
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237244
involuntary context switches= 27153
# summary of solver processes directly reported to runsolver:
# pid: 96462
# total CPU time (s): 3600.23
# total CPU user time (s): 3594.46
# total CPU system time (s): 5.76955
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89424 second user time and 15.9843 second system time
The end