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 (61626 MiB free)
memory of node 1: 64465 MiB (60068 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502016-1751165801/watcher-4502016-1751165801 -o /tmp/evaluation-result-4502016-1751165801/solver-4502016-1751165801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751159086-19276 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4502016-1751165801.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=20211, runsolver pid=20208
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.16 4.20 4.17 5/338 20229
/proc/meminfo: memFree=124580784/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=18930384 memory=57704 CPUtime=0.13 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 6589 0 0 0 11 2 0 0 20 0 18 0 32258715 19384713216 14426 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4732596 14426 5338 1 0 547620 0
[pid=20211/tid=20213] ppid=20208 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 5077 0 0 0 7 1 0 0 20 0 18 0 32258716 19384713216 14426 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32258718 19384713216 14426 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=18930384 memory=61784027576291 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32258719 19384713216 14426 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57704 KiB
[startup+0.205669 s]*
/proc/loadavg: 4.16 4.20 4.17 8/338 20229
/proc/meminfo: memFree=124575680/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=18930384 memory=66504 CPUtime=0.33 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 7130 0 0 0 31 2 0 0 20 0 18 0 32258715 19384713216 16626 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4732596 16626 5434 1 0 547957 0
[pid=20211/tid=20213] ppid=20208 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 5359 0 0 0 16 1 0 0 20 0 18 0 32258716 19384713216 16626 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32258718 19384713216 16626 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32258719 19384713216 16626 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66504 KiB
[startup+0.305565 s]*
/proc/loadavg: 4.16 4.20 4.17 6/338 20229
/proc/meminfo: memFree=124538376/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=18930384 memory=101520 CPUtime=0.52 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 8647 0 0 0 49 3 0 0 20 0 18 0 32258715 19384713216 25380 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4732596 25380 5434 1 0 548988 0
[pid=20211/tid=20213] ppid=20208 vsize=18930384 memory=-6000919472790596717 CPUtime=0.27 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 5399 0 0 0 25 2 0 0 20 0 18 0 32258716 19384713216 25380 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32258718 19384713216 25380 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 32258719 19384713216 25380 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 101520 KiB
[startup+0.700237 s]
/proc/loadavg: 4.16 4.20 4.17 6/339 20230
/proc/meminfo: memFree=124472212/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=170020 CPUtime=1.28 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 11433 0 0 0 122 6 0 0 20 0 20 0 32258715 19521036288 42505 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 42505 5466 1 0 551509 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=17408 CPUtime=0.62 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) S 20208 20211 19266 0 -1 4194368 5478 0 0 0 58 4 0 0 20 0 20 0 32258716 19521036288 42505 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 42505 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 42505 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170020 KiB
[startup+1.50027 s]
/proc/loadavg: 4.16 4.20 4.17 6/340 20231
/proc/meminfo: memFree=124442904/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=214692 CPUtime=2.86 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 25651 0 0 0 278 8 0 0 20 0 20 0 32258715 19521036288 53673 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 53673 5466 1 0 556921 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=3200 CPUtime=1.36 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) S 20208 20211 19266 0 -1 4194368 5541 0 0 0 132 4 0 0 20 0 20 0 32258716 19521036288 53673 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 53673 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 53673 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 53673 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 214692 KiB
[startup+3.10549 s]
/proc/loadavg: 4.23 4.21 4.18 6/340 20231
/proc/meminfo: memFree=124066100/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=577240 CPUtime=6.04 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 29198 0 0 0 587 17 0 0 20 0 20 0 32258715 19521036288 144310 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 144310 5466 1 0 663445 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=14572 CPUtime=2.81 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 6213 0 0 0 270 11 0 0 20 0 20 0 32258716 19521036288 144310 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 144310 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 144310 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 144310 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 577240 KiB
[startup+6.30024 s]
/proc/loadavg: 4.23 4.21 4.18 5/340 20231
/proc/meminfo: memFree=123548240/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=1254724 CPUtime=9.5 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 30590 0 0 0 919 31 0 0 20 0 20 0 32258715 19521036288 313681 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 313681 5466 1 0 790862 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=0 CPUtime=5.91 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 7127 0 0 0 568 23 0 0 20 0 20 0 32258716 19521036288 313681 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 313681 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 313681 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=214820 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 313681 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1254724 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.21 4.18 5/340 20231
/proc/meminfo: memFree=123195984/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=1488364 CPUtime=16.16 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 31496 0 0 0 1582 34 0 0 20 0 20 0 32258715 19521036288 372091 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 372091 5466 1 0 790875 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=214820 CPUtime=12.14 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 7615 0 0 0 1189 25 0 0 20 0 20 0 32258716 19521036288 372091 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=1439212 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 372091 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 372091 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 372091 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 16.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1488364 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.20 4.17 5/340 20231
/proc/meminfo: memFree=122609500/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=2013020 CPUtime=29.54 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 39605 0 0 0 2908 46 0 0 20 0 20 0 32258715 19521036288 503255 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 503255 5466 1 0 790909 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=0 CPUtime=24.58 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 10775 0 0 0 2426 32 0 0 20 0 20 0 32258716 19521036288 503255 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 503255 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=2013020 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 503255 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=1990480 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 503255 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 29.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2013020 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.18 4.17 5/340 20231
/proc/meminfo: memFree=122011492/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=2598380 CPUtime=55.88 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 47652 0 1 0 5528 60 0 0 20 0 20 0 32258715 19521036288 649595 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 649595 5498 1 0 924602 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=2013020 CPUtime=49.48 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 13571 0 0 0 4905 43 0 0 20 0 20 0 32258716 19521036288 649595 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=12160 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 649595 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 649595 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=1535468 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.66 4.44 4.29 5/341 20596
/proc/meminfo: memFree=117212672/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=3653880 CPUtime=3189.36 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 170208 0 1 0 318592 344 0 0 20 0 20 0 32258715 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 913470 5530 1 0 926502 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=11136 CPUtime=2938.33 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 74885 0 0 0 293757 76 0 0 20 0 20 0 32258716 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1641 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3189.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3653880 KiB
[startup+3042.3 s]
/proc/loadavg: 4.56 4.45 4.30 5/341 20598
/proc/meminfo: memFree=117204676/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=3653880 CPUtime=3262.63 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 173599 0 1 0 325905 358 0 0 20 0 20 0 32258715 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 913470 5530 1 0 926502 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=3653880 CPUtime=2997.49 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 76484 0 0 0 299673 76 0 0 20 0 20 0 32258716 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1702 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3262.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3653880 KiB
[startup+3102.3 s]
/proc/loadavg: 4.45 4.44 4.31 5/341 20600
/proc/meminfo: memFree=117183408/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=3653880 CPUtime=3336.07 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 173741 0 1 0 333236 371 0 0 20 0 20 0 32258715 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 913470 5530 1 0 926502 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=2212 CPUtime=3056.64 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 76553 0 0 0 305587 77 0 0 20 0 20 0 32258716 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1706 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3336.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3653880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.45 4.44 4.31 6/340 20603
/proc/meminfo: memFree=117176108/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=3653880 CPUtime=3410.92 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 175113 0 1 0 340707 385 0 0 20 0 20 0 32258715 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 913470 5530 1 0 926502 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=2212 CPUtime=3115.77 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 77799 0 0 0 311500 77 0 0 20 0 20 0 32258716 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1706 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 913470 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3410.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3653880 KiB
[startup+3222.3 s]
/proc/loadavg: 4.44 4.43 4.32 5/339 20605
/proc/meminfo: memFree=117150916/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=3670708 CPUtime=3486.76 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 179174 0 1 0 348276 400 0 0 20 0 20 0 32258715 19521036288 917677 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 917677 5530 1 0 930681 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=3653880 CPUtime=3174.94 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 79897 0 0 0 317416 78 0 0 20 0 20 0 32258716 19521036288 917677 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 917677 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1757 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 917677 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=3653880 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 917677 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3486.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3670708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.32 4.40 4.31 5/339 20608
/proc/meminfo: memFree=117097360/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=3704024 CPUtime=3560.7 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 182373 0 1 0 355656 414 0 0 20 0 20 0 32258715 19521036288 926006 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 926006 5530 1 0 939033 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=3687384 CPUtime=3234.08 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 81280 0 0 0 323329 79 0 0 20 0 20 0 32258716 19521036288 926006 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 926006 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=14572 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1799 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 926006 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 926006 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3560.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3704024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3314.6 s]
/proc/loadavg: 4.30 4.39 4.31 6/339 20609
/proc/meminfo: memFree=117073044/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19063512 memory=3729044 CPUtime=3600.03 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 182533 0 1 0 359582 421 0 0 20 0 20 0 32258715 19521036288 932261 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4765878 932261 5530 1 0 945302 0
[pid=20211/tid=20213] ppid=20208 vsize=19063512 memory=11136 CPUtime=3265.99 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) S 20208 20211 19266 0 -1 4194368 81300 0 0 0 326519 80 0 0 20 0 20 0 32258716 19521036288 932261 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19063512 memory=-6000919472790596717 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32258718 19521036288 932261 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1799 0 0 0 0 0 0 0 20 0 20 0 32258719 19521036288 932261 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20231] ppid=20208 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/20211/task/20231/stat : 20231 (Timer-0) S 20208 20211 19266 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32258775 19521036288 932261 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3729044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3314.79 s]
# the end of solver process 20211 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.18 s, system=4.23605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3314.7 s]
/proc/loadavg: 4.30 4.39 4.31 6/339 20609
/proc/meminfo: memFree=117073044/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=19263204 memory=3729684 CPUtime=3600.24 cores=0,2
/proc/20211/stat : 20211 (java) S 20208 20211 19266 0 -1 4194304 183811 0 1 0 359603 421 0 0 20 0 21 0 32258715 19725520896 932421 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
/proc/20211/statm: 4815801 932421 5530 1 0 946205 0
[pid=20211/tid=20213] ppid=20208 vsize=19263204 memory=3704024 CPUtime=3266.04 cores=0,2
/proc/20211/task/20213/stat : 20213 (java) R 20208 20211 19266 0 -1 4194368 81300 0 0 0 326524 80 0 0 20 0 21 0 32258716 19725520896 932421 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20222] ppid=20208 vsize=19263204 memory=3712360 CPUtime=0 cores=0,2
/proc/20211/task/20222/stat : 20222 (Finalizer) S 20208 20211 19266 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32258718 19725520896 932421 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
[pid=20211/tid=20229] ppid=20208 vsize=19263204 memory=3712360 CPUtime=0 cores=0,2
/proc/20211/task/20229/stat : 20229 (Common-Cleaner) S 20208 20211 19266 0 -1 4194368 1799 0 0 0 0 0 0 0 20 0 21 0 32258719 19725520896 932421 18446744073709551615 94802703527936 94802703531632 140726483620576 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94802703539448 94802703540240 94802726649856 140726483626366 140726483626470 140726483626470 140726483632072 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3729684 KiB
Child status: 143
Real time (s): 3314.79
CPU time (s): 3600.41
CPU user time (s): 3596.18
CPU system time (s): 4.23605
CPU usage (%): 108.616
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3729684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.18
system time used= 4.23605
maximum resident set size= 3729940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184047
page faults= 1
swaps= 0
block input operations= 232
block output operations= 23152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129179
involuntary context switches= 25629
# summary of solver processes directly reported to runsolver:
# pid: 20211
# total CPU time (s): 3600.41
# total CPU user time (s): 3596.18
# total CPU system time (s): 4.23605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18912 second user time and 17.8195 second system time
The end