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-4495142-1751159266/watcher-4495142-1751159266 -o /tmp/evaluation-result-4495142-1751159266/solver-4495142-1751159266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751159266-21713 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4495142-1751159266.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21765, runsolver pid=21753
[startup+0.100067 s]*
/proc/loadavg: 0.53 0.95 1.63 1/293 21796
/proc/meminfo: memFree=130136832/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=18130736 memory=23180 CPUtime=0.01 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 2433 0 157 0 0 1 0 0 20 0 7 0 31605068 18565873664 5795 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16784588 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4532684 5795 3104 1 0 540973 0
[pid=21765/tid=21776] ppid=21753 vsize=18130736 memory=4026532124 CPUtime=0 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) D 21753 21765 21700 0 -1 4194368 1855 0 128 0 0 0 0 0 20 0 7 0 31605073 18565873664 5795 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16784588 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 23180 KiB
[startup+0.205799 s]*
/proc/loadavg: 0.53 0.95 1.63 8/337 21840
/proc/meminfo: memFree=130071508/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=18930384 memory=48756 CPUtime=0.08 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 5825 0 355 0 6 2 0 0 20 0 18 0 31605068 19384713216 12189 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4732596 12189 5217 1 0 547179 0
[pid=21765/tid=21776] ppid=21753 vsize=18930384 memory=3472328300254200092 CPUtime=0.05 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 4645 0 288 0 4 1 0 0 20 0 18 0 31605073 19384713216 12189 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=18930384 memory=2641 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31605084 19384713216 12189 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31605085 19384713216 12189 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48756 KiB
[startup+0.305721 s]*
/proc/loadavg: 0.53 0.95 1.63 9/337 21840
/proc/meminfo: memFree=130041044/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=18930384 memory=61424 CPUtime=0.25 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 6827 0 359 0 22 3 0 0 20 0 18 0 31605068 19384713216 15356 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4732596 15356 5345 1 0 547920 0
[pid=21765/tid=21776] ppid=21753 vsize=18930384 memory=-6000919489886251885 CPUtime=0.13 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 5152 0 289 0 12 1 0 0 20 0 18 0 31605073 19384713216 15356 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=18930384 memory=-4421386513360513637 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31605084 19384713216 15356 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31605085 19384713216 15356 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61424 KiB
[startup+0.700237 s]
/proc/loadavg: 0.53 0.95 1.63 10/341 21844
/proc/meminfo: memFree=129926412/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=18996948 memory=146236 CPUtime=1 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 11186 0 359 0 94 6 0 0 20 0 19 0 31605068 19452874752 36559 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4749237 36559 5345 1 0 550176 0
[pid=21765/tid=21776] ppid=21753 vsize=18996948 memory=17280 CPUtime=0.45 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 5307 0 289 0 42 3 0 0 20 0 19 0 31605073 19452874752 36559 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31605084 19452874752 36559 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=18996948 memory=5632 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 31605085 19452874752 36559 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=18996948 memory=4252 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31605106 19452874752 36559 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146236 KiB
[startup+1.50025 s]
/proc/loadavg: 0.53 0.95 1.63 9/345 21848
/proc/meminfo: memFree=129582744/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=250416 CPUtime=2.57 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 22546 0 359 0 248 9 0 0 20 0 20 0 31605068 19521036288 62604 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 62604 5409 1 0 555657 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=0 CPUtime=1.18 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 5621 0 289 0 114 4 0 0 20 0 20 0 31605073 19521036288 62604 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 62604 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 62604 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 62604 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 250416 KiB
[startup+3.10563 s]
/proc/loadavg: 1.05 1.05 1.66 6/345 21848
/proc/meminfo: memFree=127044148/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=817288 CPUtime=5.08 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 25151 0 359 0 489 19 0 0 20 0 20 0 31605068 19521036288 204322 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 204322 5409 1 0 887778 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=0 CPUtime=2.72 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 6205 0 289 0 259 13 0 0 20 0 20 0 31605073 19521036288 204322 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 204322 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=-6000919494181219181 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 204322 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 204322 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 817288 KiB
[startup+6.30022 s]
/proc/loadavg: 1.05 1.05 1.66 5/345 21848
/proc/meminfo: memFree=122426684/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=1696240 CPUtime=8.33 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 25908 0 359 0 796 37 0 0 20 0 20 0 31605068 19521036288 424060 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 424060 5409 1 0 887782 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=0 CPUtime=5.89 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 6879 0 289 0 558 31 0 0 20 0 20 0 31605073 19521036288 424060 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=1206544 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 424060 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 424060 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=311988 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 424060 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 8.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1696240 KiB
[startup+12.701 s]
/proc/loadavg: 1.36 1.12 1.67 5/345 21848
/proc/meminfo: memFree=121836876/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2120212 CPUtime=14.76 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 27095 0 359 0 1429 47 0 0 20 0 20 0 31605068 19521036288 530053 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 530053 5409 1 0 887789 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=311988 CPUtime=12.18 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 7952 0 289 0 1179 39 0 0 20 0 20 0 31605073 19521036288 530053 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=-6000919494181219181 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 530053 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=2120212 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 530053 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 530053 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 14.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2120212 KiB
[startup+25.5002 s]
/proc/loadavg: 2.03 1.28 1.72 5/345 21849
/proc/meminfo: memFree=121718328/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2140624 CPUtime=28.33 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 36425 0 360 0 2784 49 0 0 20 0 20 0 31605068 19521036288 535156 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 535156 5409 1 0 887837 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=-6000919494181219181 CPUtime=24.83 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) S 21753 21765 21700 0 -1 4194368 10729 0 290 0 2443 40 0 0 20 0 20 0 31605073 19521036288 535156 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 535156 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 535156 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 535156 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2140624 KiB
[startup+51.1059 s]
/proc/loadavg: 2.70 1.50 1.78 5/345 21849
/proc/meminfo: memFree=121538624/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2167440 CPUtime=54.32 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 42137 0 360 0 5381 51 0 0 20 0 20 0 31605068 19521036288 541860 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 541860 5409 1 0 887839 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=2159220 CPUtime=50.07 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 12601 0 290 0 4967 40 0 0 20 0 20 0 31605073 19521036288 541860 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=2157168 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 541860 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=2157168 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 541860 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 541860 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 54.32 s
################
# More data... #
################
/proc/meminfo: memFree=117363404/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2835472 CPUtime=3291.33 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 119424 0 360 0 328969 164 0 0 20 0 20 0 31605068 19521036288 708868 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 708868 5409 1 0 888081 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=2833424 CPUtime=3257.98 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 57935 0 290 0 325744 54 0 0 20 0 20 0 31605073 19521036288 708868 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=2833424 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 708868 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=14976 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 708868 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 708868 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3291.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2835472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/340 22024
/proc/meminfo: memFree=117282632/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2839568 CPUtime=3351.4 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 121291 0 360 0 334974 166 0 0 20 0 20 0 31605068 19521036288 709892 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 709892 5409 1 0 888081 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=2835472 CPUtime=3317.58 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 59065 0 290 0 331704 54 0 0 20 0 20 0 31605073 19521036288 709892 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 709892 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1844 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 709892 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=2839568 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 709892 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3351.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2839568 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/339 22026
/proc/meminfo: memFree=117276644/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2843664 CPUtime=3411.5 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 121417 0 360 0 340983 167 0 0 20 0 20 0 31605068 19521036288 710916 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 710916 5409 1 0 888111 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=5632 CPUtime=3377.18 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 59150 0 290 0 337664 54 0 0 20 0 20 0 31605073 19521036288 710916 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=2839568 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 710916 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=2843664 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1844 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 710916 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=2843664 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 710916 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3411.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2843664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/340 22031
/proc/meminfo: memFree=117274808/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2849924 CPUtime=3471.64 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 122565 0 360 0 346994 170 0 0 20 0 20 0 31605068 19521036288 712481 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 712481 5409 1 0 888111 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=5632 CPUtime=3436.77 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 60199 0 290 0 343622 55 0 0 20 0 20 0 31605073 19521036288 712481 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=2839568 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 712481 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=2849924 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1844 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 712481 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=2849924 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 712481 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3471.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2849924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/340 22033
/proc/meminfo: memFree=117265928/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2856068 CPUtime=3531.76 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 123970 0 360 0 353004 172 0 0 20 0 20 0 31605068 19521036288 714017 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 714017 5409 1 0 888111 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=2851972 CPUtime=3496.37 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 60778 0 290 0 349582 55 0 0 20 0 20 0 31605073 19521036288 714017 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=2856068 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 714017 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 714017 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=2856068 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 714017 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3531.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2856068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/339 22102
/proc/meminfo: memFree=118941444/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2864264 CPUtime=3591.86 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 124379 0 360 0 359013 173 0 0 20 0 20 0 31605068 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 716066 5409 1 0 888111 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=1664 CPUtime=3555.91 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 61173 0 290 0 355536 55 0 0 20 0 20 0 31605073 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=2864264 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=2864264 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3591.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2864264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3590.5 s]
/proc/loadavg: 4.25 4.18 4.11 6/339 22169
/proc/meminfo: memFree=121891308/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2864264 CPUtime=3600.06 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 124501 0 360 0 359833 173 0 0 20 0 20 0 31605068 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 716066 5409 1 0 888111 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=5632 CPUtime=3564.05 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 61283 0 290 0 356350 55 0 0 20 0 20 0 31605073 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=2864264 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=-6000919481313487469 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=2864264 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2864264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3590.59 s]
# the end of solver process 21765 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.49 s, system=1.75221 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3590.5 s]
/proc/loadavg: 4.25 4.18 4.11 6/339 22169
/proc/meminfo: memFree=121891308/131249996 swapFree=33010684/33010684
[pid=21765] ppid=21753 vsize=19063512 memory=2864264 CPUtime=3600.06 cores=5,7
/proc/21765/stat : 21765 (java) S 21753 21765 21700 0 -1 4194304 124501 0 360 0 359833 173 0 0 20 0 20 0 31605068 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
/proc/21765/statm: 4765878 716066 5409 1 0 888111 0
[pid=21765/tid=21776] ppid=21753 vsize=19063512 memory=5632 CPUtime=3564.05 cores=5,7
/proc/21765/task/21776/stat : 21776 (java) R 21753 21765 21700 0 -1 4194368 61283 0 290 0 356350 55 0 0 20 0 20 0 31605073 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21809] ppid=21753 vsize=19063512 memory=2864264 CPUtime=0 cores=5,7
/proc/21765/task/21809/stat : 21809 (Finalizer) S 21753 21765 21700 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31605084 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21838] ppid=21753 vsize=19063512 memory=-6000919481313487469 CPUtime=0 cores=5,7
/proc/21765/task/21838/stat : 21838 (Common-Cleaner) S 21753 21765 21700 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 31605085 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
[pid=21765/tid=21844] ppid=21753 vsize=19063512 memory=2864264 CPUtime=0 cores=5,7
/proc/21765/task/21844/stat : 21844 (Timer-0) S 21753 21765 21700 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31605106 19521036288 716066 18446744073709551615 94226223489024 94226223492720 140724608455360 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94226223500536 94226223501328 94226228658176 140724608457086 140724608457190 140724608457190 140724608462792 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2864264 KiB
Child status: 143
Real time (s): 3590.59
CPU time (s): 3600.24
CPU user time (s): 3598.49
CPU system time (s): 1.75221
CPU usage (%): 100.269
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2864264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.75221
maximum resident set size= 2865416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127119
page faults= 360
swaps= 0
block input operations= 9472
block output operations= 17488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134064
involuntary context switches= 9340
# summary of solver processes directly reported to runsolver:
# pid: 21765
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.49
# total CPU system time (s): 1.75221
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24988 second user time and 16.994 second system time
The end