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 (60325 MiB free)
memory of node 1: 64465 MiB (57097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542898-1753223825/watcher-4542898-1753223825 -o /tmp/evaluation-result-4542898-1753223825/solver-4542898-1753223825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753223825-168200 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4542898-1753223825.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=168245, runsolver pid=168240
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.10 1.66 2.43 1/267 168260
/proc/meminfo: memFree=120233536/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=24960 memory=2304 CPUtime=0 cores=0,2
/proc/168245/stat : 168245 (java) D 168240 168245 168190 0 -1 4194304 181 0 4 0 0 0 0 0 20 0 1 0 238060001 25559040 576 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 6240 576 544 1 0 464 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24960 KiB
Current children cumulated memory: 2304 KiB
[startup+0.205227 s]*
/proc/loadavg: 1.10 1.66 2.43 1/267 168260
/proc/meminfo: memFree=120233536/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=24960 memory=4736 CPUtime=0 cores=0,2
/proc/168245/stat : 168245 (java) D 168240 168245 168190 0 -1 4194304 343 0 33 0 0 0 0 0 20 0 1 0 238060001 25559040 1184 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 6240 1184 992 1 0 464 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24960 KiB
Current children cumulated memory: 4736 KiB
[startup+0.304805 s]*
/proc/loadavg: 1.10 1.66 2.43 1/291 168284
/proc/meminfo: memFree=120232808/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=18130736 memory=21116 CPUtime=0 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 1859 0 71 0 0 0 0 0 20 0 7 0 238060001 18565873664 5279 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16784588 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4532684 5279 3232 1 0 540973 0
[pid=168245/tid=168262] ppid=168240 vsize=18130736 memory=-8672077337935520444 CPUtime=0 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) D 168240 168245 168190 0 -1 4194368 1298 0 28 0 0 0 0 0 20 0 7 0 238060022 18565873664 5279 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16784588 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 21116 KiB
[startup+0.70021 s]
/proc/loadavg: 1.10 1.66 2.43 10/335 168328
/proc/meminfo: memFree=120157708/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=18996948 memory=89008 CPUtime=0.53 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 9714 0 264 0 51 2 0 0 20 0 19 0 238060001 19452874752 22252 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4749237 22252 5382 1 0 549780 0
[pid=168245/tid=168262] ppid=168240 vsize=18996948 memory=0 CPUtime=0.25 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 5322 0 221 0 24 1 0 0 20 0 19 0 238060022 19452874752 22252 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=18996948 memory=225141283 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238060040 19452874752 22252 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=18996948 memory=17980 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238060041 19452874752 22252 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89008 KiB
[startup+1.50025 s]
/proc/loadavg: 1.10 1.66 2.43 7/323 168345
/proc/meminfo: memFree=119825552/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=251208 CPUtime=2.1 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 19138 0 264 0 202 8 0 0 20 0 20 0 238060001 19521036288 62802 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 62802 5414 1 0 555937 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=0 CPUtime=0.97 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 5388 0 221 0 92 5 0 0 20 0 20 0 238060022 19521036288 62802 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=225141283 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 62802 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=17980 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 62802 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 62802 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 251208 KiB
[startup+3.10558 s]
/proc/loadavg: 1.66 1.77 2.46 7/341 168399
/proc/meminfo: memFree=117276636/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=1015236 CPUtime=4.9 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 28598 0 264 0 462 28 0 0 20 0 20 0 238060001 19521036288 253809 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 253809 5414 1 0 710498 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=0 CPUtime=2.5 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 6381 0 221 0 227 23 0 0 20 0 20 0 238060022 19521036288 253809 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 253809 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=225141283 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 253809 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 253809 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1015236 KiB
[startup+6.30025 s]
/proc/loadavg: 1.66 1.77 2.46 6/343 168401
/proc/meminfo: memFree=115351340/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=1312516 CPUtime=9.03 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 31042 0 264 0 868 35 0 0 20 0 20 0 238060001 19521036288 328129 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 328129 5414 1 0 710992 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=225141283 CPUtime=5.65 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 7384 0 221 0 536 29 0 0 20 0 20 0 238060022 19521036288 328129 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 328129 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 328129 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 328129 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312516 KiB
[startup+12.7002 s]
/proc/loadavg: 2.09 1.86 2.49 6/343 168401
/proc/meminfo: memFree=114601780/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=1726268 CPUtime=15.99 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 34621 0 264 0 1555 44 0 0 20 0 20 0 238060001 19521036288 431567 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 431567 5414 1 0 711028 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=0 CPUtime=11.93 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 8248 0 221 0 1156 37 0 0 20 0 20 0 238060022 19521036288 431567 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=225141283 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 431567 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=-8599174219455832764 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 431567 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 431567 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1726268 KiB
[startup+25.5003 s]
/proc/loadavg: 2.38 1.93 2.50 5/343 168401
/proc/meminfo: memFree=113934536/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=1739580 CPUtime=30.07 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 45954 0 264 0 2959 48 0 0 20 0 20 0 238060001 19521036288 434895 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 434895 5414 1 0 711028 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=225141283 CPUtime=24.52 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 10199 0 221 0 2414 38 0 0 20 0 20 0 238060022 19521036288 434895 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 434895 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 434895 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=1312516 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 434895 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 30.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1739580 KiB
[startup+51.1059 s]
/proc/loadavg: 3.08 2.13 2.56 5/342 168402
/proc/meminfo: memFree=113792444/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=1792968 CPUtime=56.15 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 49914 0 264 0 5565 50 0 0 20 0 20 0 238060001 19521036288 448242 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 448242 5414 1 0 711044 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=-9176480496201015996 CPUtime=49.52 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 12470 0 221 0 4914 38 0 0 20 0 20 0 238060022 19521036288 448242 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=1786816 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 448242 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=279418761490288 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 448242 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=7668033010644118102 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 448242 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 56.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1792968 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 2.46 2.65 5/341 168404
/proc/meminfo: memFree=112477268/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=1871356 CPUtime=108.54 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 53642 0 264 0 10799 55 0 0 20 0 20 0 238060001 19521036288 467839 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 467839 5414 1 0 711044 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=14432 CPUtime=99.8 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 14523 0 221 0 9941 39 0 0 20 0 20 0 238060022 19521036288 467839 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=1834376 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 467839 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=104692204/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4376648 CPUtime=3229.45 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 141109 0 264 0 322616 329 0 0 20 0 20 0 238060001 19521036288 1094162 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094162 5446 1 0 1107755 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=4376648 CPUtime=2996.68 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 57896 0 221 0 299576 92 0 0 20 0 20 0 238060022 19521036288 1094162 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=314721 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094162 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=4376648 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1330 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094162 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=4376648 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094162 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3229.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4376648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.41 4.37 4.29 5/341 168772
/proc/meminfo: memFree=104691396/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4378184 CPUtime=3299.84 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 145908 0 264 0 329647 337 0 0 20 0 20 0 238060001 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094546 5446 1 0 1108191 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=4377160 CPUtime=3055.39 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 60310 0 221 0 305446 93 0 0 20 0 20 0 238060022 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=4378184 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=4378184 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1376 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3299.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4378184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.33 4.35 4.28 5/340 168774
/proc/meminfo: memFree=104621732/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4378184 CPUtime=3367.33 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 147502 0 264 0 336390 343 0 0 20 0 20 0 238060001 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094546 5446 1 0 1108192 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=4377160 CPUtime=3114.18 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 61265 0 221 0 311325 93 0 0 20 0 20 0 238060022 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=4378184 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1403 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=4378184 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094546 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3367.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4378184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.44 4.39 4.30 5/340 168776
/proc/meminfo: memFree=104617524/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4378312 CPUtime=3434.4 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 148664 0 264 0 343090 350 0 0 20 0 20 0 238060001 19521036288 1094578 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094578 5446 1 0 1108192 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=339862 CPUtime=3173.26 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 62259 0 221 0 317233 93 0 0 20 0 20 0 238060022 19521036288 1094578 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094578 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=4378184 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1403 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094578 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=4378312 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094578 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3434.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4378312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.49 4.41 4.31 5/340 168779
/proc/meminfo: memFree=104604916/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4378440 CPUtime=3508.59 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 152845 0 264 0 350496 363 0 0 20 0 20 0 238060001 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094610 5446 1 0 1108232 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=4378440 CPUtime=3231.79 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 64467 0 221 0 323085 94 0 0 20 0 20 0 238060022 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=4378440 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=4378312 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1405 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3508.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4378440 KiB
[startup+3342.3 s]
/proc/loadavg: 4.37 4.39 4.31 5/340 168848
/proc/meminfo: memFree=103786992/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4378440 CPUtime=3579.93 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 155979 0 264 0 357620 373 0 0 20 0 20 0 238060001 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094610 5446 1 0 1108232 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=10752 CPUtime=3290.41 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 65785 0 221 0 328946 95 0 0 20 0 20 0 238060022 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=4378440 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=4378440 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3579.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4378440 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3358.7 s]
/proc/loadavg: 4.44 4.41 4.32 5/340 168848
/proc/meminfo: memFree=103667980/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4378440 CPUtime=3600.07 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 156046 0 264 0 359631 376 0 0 20 0 20 0 238060001 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094610 5446 1 0 1108232 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=4378440 CPUtime=3306.45 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 65832 0 221 0 330550 95 0 0 20 0 20 0 238060022 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=-9176480496201015996 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4378440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3358.76 s]
# the end of solver process 168245 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.39 s, system=3.78421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3358.7 s]
/proc/loadavg: 4.44 4.41 4.32 5/340 168848
/proc/meminfo: memFree=103667980/131250000 swapFree=33008356/33010684
[pid=168245] ppid=168240 vsize=19063512 memory=4378440 CPUtime=3600.07 cores=0,2
/proc/168245/stat : 168245 (java) S 168240 168245 168190 0 -1 4194304 156046 0 264 0 359631 376 0 0 20 0 20 0 238060001 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
/proc/168245/statm: 4765878 1094610 5446 1 0 1108232 0
[pid=168245/tid=168262] ppid=168240 vsize=19063512 memory=4378440 CPUtime=3306.45 cores=0,2
/proc/168245/task/168262/stat : 168262 (java) R 168240 168245 168190 0 -1 4194368 65832 0 221 0 330550 95 0 0 20 0 20 0 238060022 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168296] ppid=168240 vsize=19063512 memory=-9176480496201015996 CPUtime=0 cores=0,2
/proc/168245/task/168296/stat : 168296 (Finalizer) S 168240 168245 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168328] ppid=168240 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/168245/task/168328/stat : 168328 (Common-Cleaner) S 168240 168245 168190 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
[pid=168245/tid=168330] ppid=168240 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/168245/task/168330/stat : 168330 (Timer-0) S 168240 168245 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060058 19521036288 1094610 18446744073709551615 93971491155968 93971491159664 140724113412256 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93971491167480 93971491168272 93971494715392 140724113418620 140724113418724 140724113418724 140724113424328 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4378440 KiB
Child status: 143
Real time (s): 3358.76
CPU time (s): 3600.17
CPU user time (s): 3596.39
CPU system time (s): 3.78421
CPU usage (%): 107.188
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 4378440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.39
system time used= 3.78421
maximum resident set size= 4379336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157521
page faults= 264
swaps= 0
block input operations= 6224
block output operations= 21920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129392
involuntary context switches= 21952
# summary of solver processes directly reported to runsolver:
# pid: 168245
# total CPU time (s): 3600.17
# total CPU user time (s): 3596.39
# total CPU system time (s): 3.78421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05864 second user time and 16.6505 second system time
The end