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 (62278 MiB free)
memory of node 1: 64465 MiB (63670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523752-1751609432/watcher-4523752-1751609432 -o /tmp/evaluation-result-4523752-1751609432/solver-4523752-1751609432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751609432-87442 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4523752-1751609432.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
Current StackSize limit: 8192 KiB
solver pid=87498, runsolver pid=87482
[startup+0.100059 s]*
/proc/loadavg: 0.79 2.43 3.57 9/332 87567
/proc/meminfo: memFree=128889988/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=18930384 memory=55548 CPUtime=0.11 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 6512 0 0 0 9 2 0 0 20 0 18 0 76620691 19384713216 13887 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4732596 13887 5340 1 0 547579 0
[pid=87498/tid=87517] ppid=87482 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 5015 0 0 0 5 1 0 0 20 0 18 0 76620693 19384713216 13887 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76620695 19384713216 13887 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=18930384 memory=58485492697507 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76620695 19384713216 13887 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55548 KiB
[startup+0.205124 s]*
/proc/loadavg: 0.79 2.43 3.57 13/332 87567
/proc/meminfo: memFree=128867052/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=18930384 memory=66444 CPUtime=0.31 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 7121 0 0 0 28 3 0 0 20 0 18 0 76620691 19384713216 16611 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4732596 16611 5436 1 0 547985 0
[pid=87498/tid=87517] ppid=87482 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 5358 0 0 0 15 1 0 0 20 0 18 0 76620693 19384713216 16611 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=18930384 memory=2630 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76620695 19384713216 16611 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=18930384 memory=57385981051877 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76620695 19384713216 16611 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66444 KiB
[startup+0.304875 s]*
/proc/loadavg: 0.79 2.43 3.57 10/332 87567
/proc/meminfo: memFree=128738252/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=18930384 memory=101036 CPUtime=0.5 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 8543 0 0 0 47 3 0 0 20 0 18 0 76620691 19384713216 25259 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4732596 25259 5436 1 0 548963 0
[pid=87498/tid=87517] ppid=87482 vsize=18930384 memory=-6000919498426049895 CPUtime=0.26 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 5373 0 0 0 24 2 0 0 20 0 18 0 76620693 19384713216 25259 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76620695 19384713216 25259 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76620695 19384713216 25259 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 101036 KiB
[startup+0.700201 s]
/proc/loadavg: 0.79 2.43 3.57 10/336 87571
/proc/meminfo: memFree=128434080/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=18996948 memory=192216 CPUtime=1.27 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 10196 0 0 0 122 5 0 0 20 0 19 0 76620691 19452874752 48054 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4749237 48054 5500 1 0 550182 0
[pid=87498/tid=87517] ppid=87482 vsize=18996948 memory=15104 CPUtime=0.56 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 5405 0 0 0 53 3 0 0 20 0 19 0 76620693 19452874752 48054 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 76620695 19452874752 48054 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 76620695 19452874752 48054 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 192216 KiB
[startup+1.50024 s]
/proc/loadavg: 0.79 2.43 3.57 11/340 87575
/proc/meminfo: memFree=128254436/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=240996 CPUtime=2.85 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 13926 0 0 0 278 7 0 0 20 0 20 0 76620691 19521036288 60249 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 60249 5532 1 0 553074 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=3200 CPUtime=1.2 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 5576 0 0 0 117 3 0 0 20 0 20 0 76620693 19521036288 60249 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 60249 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 60249 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 60249 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 240996 KiB
[startup+3.10465 s]
/proc/loadavg: 1.45 2.54 3.60 10/340 87575
/proc/meminfo: memFree=126497816/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=963692 CPUtime=5.92 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 19196 0 0 0 570 22 0 0 20 0 20 0 76620691 19521036288 240923 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 240923 5532 1 0 1081952 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=14848 CPUtime=2.6 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 5908 0 0 0 244 16 0 0 20 0 20 0 76620693 19521036288 240923 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 240923 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 240923 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 240923 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 963692 KiB
[startup+6.30017 s]
/proc/loadavg: 1.45 2.54 3.60 6/340 87575
/proc/meminfo: memFree=119181188/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=2660460 CPUtime=10.13 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 26790 0 0 0 957 56 0 0 20 0 20 0 76620691 19521036288 665115 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 665115 5532 1 0 1085698 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=0 CPUtime=5.75 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 6961 0 0 0 527 48 0 0 20 0 20 0 76620693 19521036288 665115 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 665115 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 665115 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=260444 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 665115 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 10.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2660460 KiB
[startup+12.7002 s]
/proc/loadavg: 1.99 2.62 3.61 6/340 87575
/proc/meminfo: memFree=118310400/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=2676972 CPUtime=16.56 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 29577 0 0 0 1599 57 0 0 20 0 20 0 76620691 19521036288 669243 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 669243 5532 1 0 1085699 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=260444 CPUtime=12.06 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 7884 0 0 0 1158 48 0 0 20 0 20 0 76620693 19521036288 669243 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=2674924 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 669243 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 669243 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 669243 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 16.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2676972 KiB
[startup+25.5002 s]
/proc/loadavg: 2.38 2.69 3.62 6/340 87576
/proc/meminfo: memFree=118073540/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=2713972 CPUtime=29.83 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 37368 0 0 0 2925 58 0 0 20 0 20 0 76620691 19521036288 678493 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 678493 5532 1 0 1085699 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=2674924 CPUtime=24.62 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 8918 0 0 0 2414 48 0 0 20 0 20 0 76620693 19521036288 678493 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 678493 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=2703668 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 678493 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 678493 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 29.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2713972 KiB
[startup+51.1055 s]
/proc/loadavg: 3.00 2.81 3.64 6/340 87576
/proc/meminfo: memFree=117212332/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=2773420 CPUtime=55.53 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 46095 0 0 0 5491 62 0 0 20 0 20 0 76620691 19521036288 693355 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 693355 5532 1 0 1085699 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=2759056 CPUtime=49.96 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 12330 0 0 0 4948 48 0 0 20 0 20 0 76620693 19521036288 693355 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 693355 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=15104 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 693355 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=0 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=104941700/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4812168 CPUtime=3222.69 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 198793 0 0 0 321841 428 0 0 20 0 20 0 76620691 19521036288 1203042 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1203042 5532 1 0 1213188 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=4803776 CPUtime=3072.13 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 58399 0 0 0 307141 72 0 0 20 0 20 0 76620693 19521036288 1203042 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=4803776 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1203042 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1203042 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=4803776 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1203042 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3222.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4812168 KiB
[startup+3162.3 s]
/proc/loadavg: 5.04 4.69 4.47 6/340 87741
/proc/meminfo: memFree=104826456/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4870568 CPUtime=3288.45 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 202897 0 0 0 328403 442 0 0 20 0 20 0 76620691 19521036288 1217642 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1217642 5532 1 0 1227808 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=4803776 CPUtime=3131.24 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 59839 0 0 0 313050 74 0 0 20 0 20 0 76620693 19521036288 1217642 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=4803776 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1217642 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=-6000919498426049895 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1700 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1217642 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=4853928 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1217642 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3288.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4870568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.51 4.60 4.45 9/340 87743
/proc/meminfo: memFree=104743052/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3353.12 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 203936 0 0 0 334860 452 0 0 20 0 20 0 76620691 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1228073 5532 1 0 1238260 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=15104 CPUtime=3190.47 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 59886 0 0 0 318972 75 0 0 20 0 20 0 76620693 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1701 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3353.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4912292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.63 4.47 6/340 87745
/proc/meminfo: memFree=104634884/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3419.02 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 208849 0 0 0 341436 466 0 0 20 0 20 0 76620691 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1228073 5532 1 0 1238260 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3249.94 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 61296 0 0 0 324919 75 0 0 20 0 20 0 76620693 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1720 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3419.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4912292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.55 4.61 4.47 7/339 87747
/proc/meminfo: memFree=104535064/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3486.53 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 212132 0 0 0 348171 482 0 0 20 0 20 0 76620691 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1228073 5532 1 0 1238260 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=2760 CPUtime=3309.49 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 62713 0 0 0 330873 76 0 0 20 0 20 0 76620693 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1733 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3486.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4912292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.59 4.62 4.48 6/339 87816
/proc/meminfo: memFree=111101120/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3553.86 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 212305 0 0 0 354887 499 0 0 20 0 20 0 76620691 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1228073 5532 1 0 1238260 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3369.02 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 62762 0 0 0 336826 76 0 0 20 0 20 0 76620693 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=4912292 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1737 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=-6000919498426049895 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3553.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4912292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3447.3 s]
/proc/loadavg: 4.54 4.61 4.48 6/339 87884
/proc/meminfo: memFree=110670804/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3600.07 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 212852 0 0 0 359504 503 0 0 20 0 20 0 76620691 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1228073 5532 1 0 1238260 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3413.85 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 62790 0 0 0 341309 76 0 0 20 0 20 0 76620693 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=6656 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1737 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4912292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3447.37 s]
# the end of solver process 87498 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.14 s, system=5.05583 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3447.3 s]
/proc/loadavg: 4.54 4.61 4.48 6/339 87884
/proc/meminfo: memFree=110670804/131249996 swapFree=33006296/33010684
[pid=87498] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3600.07 cores=1,3
/proc/87498/stat : 87498 (java) S 87482 87498 87430 0 -1 4194304 212852 0 0 0 359504 503 0 0 20 0 20 0 76620691 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
/proc/87498/statm: 4765878 1228073 5532 1 0 1238260 0
[pid=87498/tid=87517] ppid=87482 vsize=19063512 memory=4912292 CPUtime=3413.85 cores=1,3
/proc/87498/task/87517/stat : 87517 (java) R 87482 87498 87430 0 -1 4194368 62790 0 0 0 341309 76 0 0 20 0 20 0 76620693 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87558] ppid=87482 vsize=19063512 memory=6656 CPUtime=0 cores=1,3
/proc/87498/task/87558/stat : 87558 (Finalizer) S 87482 87498 87430 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87567] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87567/stat : 87567 (Common-Cleaner) S 87482 87498 87430 0 -1 4194368 1737 0 0 0 0 0 0 0 20 0 20 0 76620695 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
[pid=87498/tid=87575] ppid=87482 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/87498/task/87575/stat : 87575 (Timer-0) S 87482 87498 87430 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76620773 19521036288 1228073 18446744073709551615 94335497613312 94335497617008 140727352763968 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94335497624824 94335497625616 94335521878016 140727352772990 140727352773094 140727352773094 140727352778696 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4912292 KiB
Child status: 143
Real time (s): 3447.37
CPU time (s): 3600.2
CPU user time (s): 3595.14
CPU system time (s): 5.05583
CPU usage (%): 104.433
Max. virtual memory (cumulated for all children) (KiB): 19066356
Max. memory (cumulated for all children) (KiB): 4912292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.14
system time used= 5.05583
maximum resident set size= 4913188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250988
involuntary context switches= 27317
# summary of solver processes directly reported to runsolver:
# pid: 87498
# total CPU time (s): 3600.2
# total CPU user time (s): 3595.14
# total CPU system time (s): 5.05583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97128 second user time and 13.528 second system time
The end