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 (63079 MiB free)
memory of node 1: 64465 MiB (64032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495322-1751159266/watcher-4495322-1751159266 -o /tmp/evaluation-result-4495322-1751159266/solver-4495322-1751159266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751159266-21711 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4495322-1751159266.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=21761, runsolver pid=21752
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.53 0.95 1.63 6/282 21785
/proc/meminfo: memFree=130153276/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=16933428 memory=19480 CPUtime=0.01 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 1642 0 137 0 0 1 0 0 20 0 5 0 31605067 17339830272 4870 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16784588 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4233357 4870 3040 1 0 537456 0
[pid=21761/tid=21773] ppid=21752 vsize=16999992 memory=4026532124 CPUtime=0 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 1083 0 70 0 0 0 0 0 20 0 6 0 31605073 17407991808 4902 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21795] ppid=21752 vsize=16999992 memory=2641 CPUtime=0 cores=4,6
/proc/21761/task/21795/stat : 21795 (java) R 21752 21761 21700 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 6 0 31605077 17407991808 4902 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 16933428 KiB
Current children cumulated memory: 19480 KiB
[startup+0.206191 s]*
/proc/loadavg: 0.53 0.95 1.63 7/337 21840
/proc/meminfo: memFree=130074532/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=18930384 memory=52168 CPUtime=0.06 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 5674 0 358 0 3 3 0 0 20 0 18 0 31605067 19384713216 13042 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4732596 13042 5199 1 0 547059 0
[pid=21761/tid=21773] ppid=21752 vsize=18930384 memory=3472328132922704156 CPUtime=0.03 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 4543 0 268 0 2 1 0 0 20 0 18 0 31605073 19384713216 13042 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31605084 19384713216 13042 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 31605085 19384713216 13042 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52168 KiB
[startup+0.305345 s]*
/proc/loadavg: 0.53 0.95 1.63 10/337 21840
/proc/meminfo: memFree=130049676/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=18930384 memory=62496 CPUtime=0.21 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 6616 0 364 0 18 3 0 0 20 0 18 0 31605067 19384713216 15624 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4732596 15624 5327 1 0 547857 0
[pid=21761/tid=21773] ppid=21752 vsize=18930384 memory=-6000919489886251885 CPUtime=0.13 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 5126 0 273 0 11 2 0 0 20 0 18 0 31605073 19384713216 15624 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=18930384 memory=-4421386513360513637 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31605084 19384713216 15624 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 18 0 31605085 19384713216 15624 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62496 KiB
[startup+0.700234 s]
/proc/loadavg: 0.53 0.95 1.63 10/341 21844
/proc/meminfo: memFree=129943804/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=165264 CPUtime=0.97 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 10644 0 370 0 91 6 0 0 20 0 20 0 31605067 19521036288 41316 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 41316 5359 1 0 550410 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=17280 CPUtime=0.48 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 5343 0 274 0 45 3 0 0 20 0 20 0 31605073 19521036288 41316 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 41316 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=2372 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 41316 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 41316 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165264 KiB
[startup+1.50023 s]
/proc/loadavg: 0.53 0.95 1.63 10/345 21848
/proc/meminfo: memFree=129582744/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=225188 CPUtime=2.55 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 13642 0 370 0 247 8 0 0 20 0 20 0 31605067 19521036288 56297 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 56297 5391 1 0 552352 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=4252 CPUtime=1.2 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 5363 0 274 0 116 4 0 0 20 0 20 0 31605073 19521036288 56297 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 56297 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=3210 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 56297 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=2244 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 56297 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225188 KiB
[startup+3.10537 s]
/proc/loadavg: 1.05 1.05 1.66 9/345 21848
/proc/meminfo: memFree=127060532/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=726432 CPUtime=5.56 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 21964 0 370 0 536 20 0 0 20 0 20 0 31605067 19521036288 181608 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 181608 5391 1 0 885957 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=0 CPUtime=2.74 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 5595 0 274 0 261 13 0 0 20 0 20 0 31605073 19521036288 181608 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=-6000919498476186477 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 181608 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 181608 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=3210 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 181608 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 726432 KiB
[startup+6.30024 s]
/proc/loadavg: 1.05 1.05 1.66 6/345 21848
/proc/meminfo: memFree=122426684/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=2135760 CPUtime=8.98 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 25093 0 370 0 852 46 0 0 20 0 20 0 31605067 19521036288 533940 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 533940 5391 1 0 885965 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=0 CPUtime=5.91 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 6784 0 274 0 553 38 0 0 20 0 20 0 31605073 19521036288 533940 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 533940 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 533940 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=-6000919498476186477 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 533940 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2135760 KiB
[startup+12.7002 s]
/proc/loadavg: 1.36 1.12 1.67 6/345 21848
/proc/meminfo: memFree=121836876/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=2152228 CPUtime=15.49 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 28591 0 370 0 1502 47 0 0 20 0 20 0 31605067 19521036288 538057 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 538057 5391 1 0 885966 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=78803 CPUtime=12.2 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 7823 0 274 0 1182 38 0 0 20 0 20 0 31605073 19521036288 538057 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 538057 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 538057 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 538057 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2152228 KiB
[startup+25.5002 s]
/proc/loadavg: 2.03 1.28 1.72 6/345 21849
/proc/meminfo: memFree=121718328/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=2170692 CPUtime=28.34 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 32826 0 370 0 2785 49 0 0 20 0 20 0 31605067 19521036288 542673 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 542673 5391 1 0 885966 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=2152228 CPUtime=24.86 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 9761 0 274 0 2448 38 0 0 20 0 20 0 31605073 19521036288 542673 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=2135760 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 542673 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=-6000919498476186477 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 542673 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 542673 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170692 KiB
[startup+51.1057 s]
/proc/loadavg: 2.70 1.50 1.78 7/345 21849
/proc/meminfo: memFree=121538624/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=2222108 CPUtime=54.22 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 41429 0 370 0 5370 52 0 0 20 0 20 0 31605067 19521036288 555527 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 555527 5391 1 0 885966 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=14976 CPUtime=50.26 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 12448 0 274 0 4987 39 0 0 20 0 20 0 31605073 19521036288 555527 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 555527 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 555527 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=2158384 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=117368184/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3444636 CPUtime=3223.73 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 110138 0 370 0 322190 183 0 0 20 0 20 0 31605067 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 861159 5391 1 0 885966 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=3444636 CPUtime=3206.74 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 50444 0 274 0 320628 46 0 0 20 0 20 0 31605073 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=3444636 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=3444636 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1350 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3223.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3444636 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 7/340 22022
/proc/meminfo: memFree=117363404/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3444636 CPUtime=3283.68 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 110202 0 370 0 328183 185 0 0 20 0 20 0 31605067 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 861159 5391 1 0 885966 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=3444636 CPUtime=3266.46 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 50454 0 274 0 326600 46 0 0 20 0 20 0 31605073 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=3444636 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=3444636 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1351 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=3444636 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 861159 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3283.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3444636 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.10 6/340 22024
/proc/meminfo: memFree=117282632/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3343.67 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 119746 0 370 0 334178 189 0 0 20 0 20 0 31605067 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 873953 5391 1 0 885988 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3326.31 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 51339 0 274 0 332584 47 0 0 20 0 20 0 31605073 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=3495812 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1351 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3343.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3495812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/339 22026
/proc/meminfo: memFree=117276644/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3403.56 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 120023 0 370 0 340166 190 0 0 20 0 20 0 31605067 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 873953 5391 1 0 885988 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3386.16 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 51447 0 274 0 338569 47 0 0 20 0 20 0 31605073 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=3495812 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1432 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=3495812 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3403.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3495812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.17 4.10 6/340 22031
/proc/meminfo: memFree=117274808/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3463.44 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 120637 0 370 0 346153 191 0 0 20 0 20 0 31605067 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 873953 5391 1 0 885988 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3446.02 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 52012 0 274 0 344555 47 0 0 20 0 20 0 31605073 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1432 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3463.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3495812 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.10 6/340 22033
/proc/meminfo: memFree=117265928/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3523.42 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 122078 0 370 0 352149 193 0 0 20 0 20 0 31605067 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 873953 5391 1 0 885988 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3505.74 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 53191 0 274 0 350527 47 0 0 20 0 20 0 31605073 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=3495812 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=3495812 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1505 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=-6000919498476186477 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3523.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3495812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.10 6/339 22102
/proc/meminfo: memFree=118941444/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3583.37 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 122737 0 370 0 358141 196 0 0 20 0 20 0 31605067 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 873953 5391 1 0 885988 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=3328 CPUtime=3565.43 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 53516 0 274 0 356496 47 0 0 20 0 20 0 31605073 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=1664 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=3495812 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1505 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=-6000919498476186477 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3583.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3495812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599 s]*
/proc/loadavg: 4.28 4.19 4.11 5/339 22236
/proc/meminfo: memFree=122690652/131249996 swapFree=33010684/33010684
[pid=21761] ppid=21752 vsize=19063512 memory=3495812 CPUtime=3600.03 cores=4,6
/proc/21761/stat : 21761 (java) S 21752 21761 21700 0 -1 4194304 122752 0 370 0 359807 196 0 0 20 0 20 0 31605067 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
/proc/21761/statm: 4765878 873953 5391 1 0 885988 0
[pid=21761/tid=21773] ppid=21752 vsize=19063512 memory=-6000919494248655469 CPUtime=3582.08 cores=4,6
/proc/21761/task/21773/stat : 21773 (java) R 21752 21761 21700 0 -1 4194368 53525 0 274 0 358161 47 0 0 20 0 20 0 31605073 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21810] ppid=21752 vsize=19063512 memory=6640 CPUtime=0 cores=4,6
/proc/21761/task/21810/stat : 21810 (Finalizer) S 21752 21761 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21840] ppid=21752 vsize=19063512 memory=1602920 CPUtime=0 cores=4,6
/proc/21761/task/21840/stat : 21840 (Common-Cleaner) S 21752 21761 21700 0 -1 4194368 1505 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
[pid=21761/tid=21841] ppid=21752 vsize=19063512 memory=6384 CPUtime=0 cores=4,6
/proc/21761/task/21841/stat : 21841 (Timer-0) S 21752 21761 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605102 19521036288 873953 18446744073709551615 94538812997632 94538813001328 140733887494112 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94538813009144 94538813009936 94538826915840 140733887502718 140733887502822 140733887502822 140733887508424 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3495812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.09 s]
# the end of solver process 21761 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.21 s, system=1.98674 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3599.09
CPU time (s): 3600.19
CPU user time (s): 3598.21
CPU system time (s): 1.98674
CPU usage (%): 100.031
Max. virtual memory (cumulated for all children) (KiB): 19066252
Max. memory (cumulated for all children) (KiB): 3495812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 1.98674
maximum resident set size= 3496836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125243
page faults= 370
swaps= 0
block input operations= 22736
block output operations= 16064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177768
involuntary context switches= 7237
# summary of solver processes directly reported to runsolver:
# pid: 21761
# total CPU time (s): 3600.19
# total CPU user time (s): 3598.21
# total CPU system time (s): 1.98674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94917 second user time and 14.9434 second system time
The end