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 (63088 MiB free)
memory of node 1: 64465 MiB (64058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494818-1751158667/watcher-4494818-1751158667 -o /tmp/evaluation-result-4494818-1751158667/solver-4494818-1751158667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751158666-18822 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4494818-1751158667.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18879, runsolver pid=18868
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.95 1.80 2.06 2/294 18907
/proc/meminfo: memFree=130146928/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=18130736 memory=28092 CPUtime=0.01 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 3492 0 201 0 0 1 0 0 20 0 7 0 31489193 18565873664 7023 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16784588 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4532684 7023 3232 1 0 540973 0
[pid=18879/tid=18885] ppid=18868 vsize=18130736 memory=4026531960 CPUtime=0.01 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) D 18868 18879 18807 0 -1 4194368 2898 0 201 0 0 1 0 0 20 0 7 0 31489198 18565873664 7023 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16784588 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 28092 KiB
[startup+0.204721 s]*
/proc/loadavg: 0.95 1.80 2.06 9/338 18951
/proc/meminfo: memFree=130081980/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=18930384 memory=52556 CPUtime=0.12 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 6200 0 313 0 9 3 0 0 20 0 18 0 31489193 19384713216 13139 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4732596 13139 5279 1 0 547447 0
[pid=18879/tid=18885] ppid=18868 vsize=18930384 memory=3472328132922704156 CPUtime=0.08 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 4823 0 290 0 6 2 0 0 20 0 18 0 31489198 19384713216 13139 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=18930384 memory=16124 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31489207 19384713216 13139 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31489208 19384713216 13139 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52556 KiB
[startup+0.306008 s]*
/proc/loadavg: 0.95 1.80 2.06 14/338 18951
/proc/meminfo: memFree=130046620/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=18930384 memory=61816 CPUtime=0.29 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 6914 0 314 0 26 3 0 0 20 0 18 0 31489193 19384713216 15454 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4732596 15454 5375 1 0 547951 0
[pid=18879/tid=18885] ppid=18868 vsize=18930384 memory=-6000919472689538158 CPUtime=0.17 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 5200 0 291 0 15 2 0 0 20 0 18 0 31489198 19384713216 15454 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=18930384 memory=-4421386491868832614 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31489207 19384713216 15454 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31489208 19384713216 15454 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61816 KiB
[startup+0.700201 s]
/proc/loadavg: 0.95 1.80 2.06 11/342 18955
/proc/meminfo: memFree=129950404/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=18996948 memory=147368 CPUtime=1.06 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 10601 0 314 0 101 5 0 0 20 0 19 0 31489193 19452874752 36842 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4749237 36842 5375 1 0 550356 0
[pid=18879/tid=18885] ppid=18868 vsize=18996948 memory=17408 CPUtime=0.47 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 5351 0 291 0 44 3 0 0 20 0 19 0 31489198 19452874752 36842 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31489207 19452874752 36842 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=18996948 memory=5632 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 31489208 19452874752 36842 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=18996948 memory=4252 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31489231 19452874752 36842 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147368 KiB
[startup+1.50022 s]
/proc/loadavg: 0.95 1.80 2.06 10/346 18959
/proc/meminfo: memFree=129622360/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=227860 CPUtime=2.63 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 21458 0 314 0 255 8 0 0 20 0 20 0 31489193 19521036288 56965 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 56965 5407 1 0 556175 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=10752 CPUtime=1.21 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 5699 0 291 0 117 4 0 0 20 0 20 0 31489198 19521036288 56965 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 56965 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 56965 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 56965 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 227860 KiB
[startup+3.10472 s]
/proc/loadavg: 1.52 1.91 2.09 6/346 18959
/proc/meminfo: memFree=126762144/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=878888 CPUtime=5.34 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 25000 0 314 0 512 22 0 0 20 0 20 0 31489193 19521036288 219722 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 219722 5407 1 0 892474 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=10752 CPUtime=2.74 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 6381 0 291 0 257 17 0 0 20 0 20 0 31489198 19521036288 219722 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 219722 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=-6000919472689538158 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 219722 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 219722 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 878888 KiB
[startup+6.30018 s]
/proc/loadavg: 1.52 1.91 2.09 6/346 18959
/proc/meminfo: memFree=123591568/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=1652388 CPUtime=8.59 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 25531 0 314 0 821 38 0 0 20 0 20 0 31489193 19521036288 413097 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 413097 5407 1 0 892480 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=10752 CPUtime=5.9 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 6827 0 291 0 558 32 0 0 20 0 20 0 31489198 19521036288 413097 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 413097 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=7378975797317952867 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 413097 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=1329552 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 413097 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1652388 KiB
[startup+12.7002 s]
/proc/loadavg: 1.90 1.98 2.11 6/346 18959
/proc/meminfo: memFree=121853392/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=1918672 CPUtime=15.13 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 26656 0 314 0 1469 44 0 0 20 0 20 0 31489193 19521036288 479668 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 479668 5407 1 0 892484 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=10752 CPUtime=12.23 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 7839 0 291 0 1186 37 0 0 20 0 20 0 31489198 19521036288 479668 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=-6000919472689538158 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 479668 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=1918672 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 479668 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 479668 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1918672 KiB
[startup+25.5002 s]
/proc/loadavg: 2.30 2.06 2.13 6/345 18959
/proc/meminfo: memFree=121230744/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2139932 CPUtime=28.04 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 32412 0 314 0 2754 50 0 0 20 0 20 0 31489193 19521036288 534983 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 534983 5407 1 0 892485 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=10752 CPUtime=24.9 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 10091 0 291 0 2449 41 0 0 20 0 20 0 31489198 19521036288 534983 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=1918672 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 534983 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=2139932 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 534983 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=2139932 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 534983 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 28.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2139932 KiB
[startup+51.1047 s]
/proc/loadavg: 2.88 2.22 2.19 6/345 18960
/proc/meminfo: memFree=121129872/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2166872 CPUtime=53.81 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 38408 0 314 0 5329 52 0 0 20 0 20 0 31489193 19521036288 541718 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 541718 5407 1 0 892517 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=2166872 CPUtime=50.13 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 12470 0 291 0 4971 42 0 0 20 0 20 0 31489198 19521036288 541718 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=2160640 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 541718 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 541718 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=7584469264398649966 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 541718 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 53.81 s
################
# More data... #
################
/proc/meminfo: memFree=118623108/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2708812 CPUtime=3229.67 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 119874 0 314 0 322805 162 0 0 20 0 20 0 31489193 19521036288 677203 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 677203 5407 1 0 892617 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=17408 CPUtime=3200.29 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 54001 0 291 0 319977 52 0 0 20 0 20 0 31489198 19521036288 677203 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=2704660 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 677203 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=2704660 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 1828 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 677203 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 677203 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3229.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2708812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.08 6/340 19134
/proc/meminfo: memFree=118596388/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2710860 CPUtime=3289.73 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 121581 0 314 0 328809 164 0 0 20 0 20 0 31489193 19521036288 677715 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 677715 5407 1 0 892617 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=2710860 CPUtime=3259.92 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 54835 0 291 0 325940 52 0 0 20 0 20 0 31489198 19521036288 677715 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=2708812 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 677715 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=2708812 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 677715 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=2710860 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 677715 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3289.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2710860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.09 6/338 19136
/proc/meminfo: memFree=118565848/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2717004 CPUtime=3349.83 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 121645 0 314 0 334817 166 0 0 20 0 20 0 31489193 19521036288 679251 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 679251 5407 1 0 892617 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=14848 CPUtime=3319.49 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 54859 0 291 0 331897 52 0 0 20 0 20 0 31489198 19521036288 679251 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 679251 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=2714956 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 679251 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=2714956 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 679251 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3349.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2717004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/338 19138
/proc/meminfo: memFree=118524724/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2723200 CPUtime=3409.91 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 122589 0 314 0 340823 168 0 0 20 0 20 0 31489193 19521036288 680800 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 680800 5407 1 0 892637 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=14848 CPUtime=3379.11 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 55743 0 291 0 337859 52 0 0 20 0 20 0 31489198 19521036288 680800 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=9088 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 680800 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=2723200 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 680800 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=2721100 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 680800 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3409.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2723200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/338 19140
/proc/meminfo: memFree=118489216/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2729460 CPUtime=3470.01 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 126804 0 314 0 346831 170 0 0 20 0 20 0 31489193 19521036288 682365 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 682365 5407 1 0 892645 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=14848 CPUtime=3438.72 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 57274 0 291 0 343819 53 0 0 20 0 20 0 31489198 19521036288 682365 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=2729460 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 682365 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 1959 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 682365 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 682365 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3470.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2729460 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.19 4.11 6/338 19142
/proc/meminfo: memFree=118462736/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2733556 CPUtime=3530.05 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 129033 0 314 0 352833 172 0 0 20 0 20 0 31489193 19521036288 683389 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 683389 5407 1 0 892645 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=14848 CPUtime=3498.35 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 58482 0 291 0 349782 53 0 0 20 0 20 0 31489198 19521036288 683389 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=2731508 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 683389 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 683389 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 683389 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3530.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2733556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.11 6/338 19144
/proc/meminfo: memFree=118431828/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2739712 CPUtime=3590.16 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 129119 0 314 0 358843 173 0 0 20 0 20 0 31489193 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 684928 5407 1 0 892645 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=14848 CPUtime=3557.97 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 58524 0 291 0 355744 53 0 0 20 0 20 0 31489198 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3590.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2739712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592.2 s]
/proc/loadavg: 4.29 4.19 4.12 7/337 19277
/proc/meminfo: memFree=124150836/131250000 swapFree=33010684/33010684
[pid=18879] ppid=18868 vsize=19063512 memory=2739712 CPUtime=3600.07 cores=1,3
/proc/18879/stat : 18879 (java) S 18868 18879 18807 0 -1 4194304 129258 0 314 0 359833 174 0 0 20 0 20 0 31489193 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
/proc/18879/statm: 4765878 684928 5407 1 0 892645 0
[pid=18879/tid=18885] ppid=18868 vsize=19063512 memory=3328 CPUtime=3567.82 cores=1,3
/proc/18879/task/18885/stat : 18885 (java) R 18868 18879 18807 0 -1 4194368 58656 0 291 0 356729 53 0 0 20 0 20 0 31489198 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18923] ppid=18868 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/18879/task/18923/stat : 18923 (Finalizer) S 18868 18879 18807 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31489207 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18951] ppid=18868 vsize=19063512 memory=6772 CPUtime=0 cores=1,3
/proc/18879/task/18951/stat : 18951 (Common-Cleaner) S 18868 18879 18807 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 31489208 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
[pid=18879/tid=18955] ppid=18868 vsize=19063512 memory=6988 CPUtime=0 cores=1,3
/proc/18879/task/18955/stat : 18955 (Timer-0) S 18868 18879 18807 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31489231 19521036288 684928 18446744073709551615 93859448193024 93859448196720 140732574026016 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93859448204536 93859448205328 93859452645376 140732574030206 140732574030310 140732574030310 140732574035912 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2739712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3592.29 s]
# the end of solver process 18879 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.49 s, system=1.75482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3592.29
CPU time (s): 3600.25
CPU user time (s): 3598.49
CPU system time (s): 1.75482
CPU usage (%): 100.221
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2739712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.75482
maximum resident set size= 2740864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132796
page faults= 314
swaps= 0
block input operations= 6512
block output operations= 23624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131125
involuntary context switches= 10178
# summary of solver processes directly reported to runsolver:
# pid: 18879
# total CPU time (s): 3600.25
# total CPU user time (s): 3598.49
# total CPU system time (s): 1.75482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85441 second user time and 12.6301 second system time
The end