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 (44801 MiB free)
memory of node 1: 64465 MiB (51807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525299-1751620550/watcher-4525299-1751620550 -o /tmp/evaluation-result-4525299-1751620550/solver-4525299-1751620550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751617233-86410 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525299-1751620550.wbo
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86826, runsolver pid=86823
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.34 4.55 4.49 6/337 86844
/proc/meminfo: memFree=98905784/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=18930384 memory=57852 CPUtime=0.12 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 6549 0 0 0 11 1 0 0 20 0 18 0 77733561 19384713216 14463 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4732596 14463 5367 1 0 547604 0
[pid=86826/tid=86828] ppid=86823 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 5059 0 0 0 7 1 0 0 20 0 18 0 77733563 19384713216 14463 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77733565 19384713216 14463 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=18930384 memory=57385981078066 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77733565 19384713216 14463 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57852 KiB
[startup+0.205568 s]*
/proc/loadavg: 4.34 4.55 4.49 7/337 86844
/proc/meminfo: memFree=98898148/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=18930384 memory=64744 CPUtime=0.31 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 7159 0 0 0 29 2 0 0 20 0 18 0 77733561 19384713216 16186 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4732596 16186 5463 1 0 548014 0
[pid=86826/tid=86828] ppid=86823 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 5372 0 0 0 15 1 0 0 20 0 18 0 77733563 19384713216 16186 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=18930384 memory=15156 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77733565 19384713216 16186 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77733565 19384713216 16186 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64744 KiB
[startup+0.30552 s]*
/proc/loadavg: 4.34 4.55 4.49 7/338 86845
/proc/meminfo: memFree=98885420/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=18996948 memory=76248 CPUtime=0.5 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 8924 0 0 0 48 2 0 0 20 0 19 0 77733561 19452874752 19062 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4749237 19062 5495 1 0 549494 0
[pid=86826/tid=86828] ppid=86823 vsize=18996948 memory=-6000919494231484007 CPUtime=0.24 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 5541 0 0 0 23 1 0 0 20 0 19 0 77733563 19452874752 19062 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77733565 19452874752 19062 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77733565 19452874752 19062 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77733590 19452874752 19062 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76248 KiB
[startup+0.700213 s]
/proc/loadavg: 4.34 4.55 4.49 7/338 86845
/proc/meminfo: memFree=98846856/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=162968 CPUtime=1.26 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 9608 0 0 0 122 4 0 0 20 0 20 0 77733561 19521036288 40742 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 40742 5527 1 0 550109 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=18560 CPUtime=0.59 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 5601 0 0 0 56 3 0 0 20 0 20 0 77733563 19521036288 40742 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 40742 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 40742 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 40742 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 162968 KiB
[startup+1.50026 s]
/proc/loadavg: 4.34 4.55 4.49 6/339 86846
/proc/meminfo: memFree=98781700/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=202080 CPUtime=2.84 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 15799 0 0 0 279 5 0 0 20 0 20 0 77733561 19521036288 50520 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 50520 5527 1 0 552058 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=10752 CPUtime=1.31 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 5915 0 0 0 128 3 0 0 20 0 20 0 77733563 19521036288 50520 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 50520 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 50520 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 50520 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202080 KiB
[startup+3.10569 s]
/proc/loadavg: 4.34 4.55 4.49 6/339 86846
/proc/meminfo: memFree=98284560/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=688184 CPUtime=5.02 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 18901 0 0 0 486 16 0 0 20 0 20 0 77733561 19521036288 172046 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 172046 5527 1 0 804805 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=10752 CPUtime=2.85 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 7055 0 0 0 273 12 0 0 20 0 20 0 77733563 19521036288 172046 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=-6000919494231484007 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 172046 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 172046 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 172046 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 688184 KiB
[startup+6.30023 s]
/proc/loadavg: 4.40 4.55 4.49 6/339 86846
/proc/meminfo: memFree=97411608/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=1673624 CPUtime=8.32 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 20216 0 0 0 797 35 0 0 20 0 20 0 77733561 19521036288 418406 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 418406 5527 1 0 804809 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=0 CPUtime=6.02 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 8126 0 0 0 571 31 0 0 20 0 20 0 77733563 19521036288 418406 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 418406 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 418406 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=253720 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 418406 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 8.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1673624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.53 4.58 4.50 5/339 86846
/proc/meminfo: memFree=96434156/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=2471708 CPUtime=14.98 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 21520 0 0 0 1447 51 0 0 20 0 20 0 77733561 19521036288 617927 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 617927 5527 1 0 936417 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=253720 CPUtime=12.24 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 8887 0 0 0 1179 45 0 0 20 0 20 0 77733563 19521036288 617927 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 617927 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=2467608 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 617927 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 617927 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 14.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2471708 KiB
[startup+25.5002 s]
/proc/loadavg: 4.48 4.57 4.50 5/340 86848
/proc/meminfo: memFree=96377568/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=2471964 CPUtime=28.08 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 28396 0 0 0 2756 52 0 0 20 0 20 0 77733561 19521036288 617991 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 617991 5527 1 0 936451 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=10752 CPUtime=24.82 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) S 86823 86826 86397 0 -1 4194368 12159 0 0 0 2436 46 0 0 20 0 20 0 77733563 19521036288 617991 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=2467608 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 617991 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=3100 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 617991 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 617991 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 28.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2471964 KiB
[startup+51.1056 s]
/proc/loadavg: 4.47 4.55 4.49 5/340 86848
/proc/meminfo: memFree=96267228/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=2472092 CPUtime=54.03 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 34076 0 0 0 5350 53 0 0 20 0 20 0 77733561 19521036288 618023 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 618023 5527 1 0 936451 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=2472092 CPUtime=49.96 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 15000 0 0 0 4950 46 0 0 20 0 20 0 77733563 19521036288 618023 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
################
# More data... #
################
/proc/meminfo: memFree=94356620/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3722980 CPUtime=3207.67 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 185499 0 0 0 320518 249 0 0 20 0 20 0 77733561 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930745 5527 1 0 944985 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=-4050210904893801109 CPUtime=3065.13 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 95670 0 0 0 306453 60 0 0 20 0 20 0 77733563 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3722980 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1820 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=3722980 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3207.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3722980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.85 4.72 4.50 5/339 87149
/proc/meminfo: memFree=94316456/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3722980 CPUtime=3282.5 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 189683 0 0 0 327988 262 0 0 20 0 20 0 77733561 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930745 5527 1 0 944985 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=3722980 CPUtime=3124.48 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 98051 0 0 0 312387 61 0 0 20 0 20 0 77733563 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3722980 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1885 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=3722980 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930745 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3282.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3722980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.79 4.72 4.52 6/339 87217
/proc/meminfo: memFree=95564884/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3723108 CPUtime=3355.37 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 192776 0 0 0 335264 273 0 0 20 0 20 0 77733561 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930777 5527 1 0 945021 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=3722980 CPUtime=3183.83 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 100178 0 0 0 318322 61 0 0 20 0 20 0 77733563 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3722980 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=3723108 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1885 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3355.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3723108 KiB
[startup+3282.3 s]
/proc/loadavg: 4.75 4.73 4.53 5/338 87219
/proc/meminfo: memFree=95417396/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3723108 CPUtime=3430.47 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 192871 0 0 0 342761 286 0 0 20 0 20 0 77733561 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930777 5527 1 0 945021 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=10752 CPUtime=3243.19 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 100230 0 0 0 324258 61 0 0 20 0 20 0 77733563 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3723108 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=3723108 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1893 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=3723108 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3430.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3723108 KiB
[startup+3342.3 s]
/proc/loadavg: 4.78 4.74 4.55 6/339 87223
/proc/meminfo: memFree=95290356/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3723108 CPUtime=3505.68 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 193037 0 0 0 350270 298 0 0 20 0 20 0 77733561 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930777 5527 1 0 945021 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=0 CPUtime=3302.54 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 100258 0 0 0 330193 61 0 0 20 0 20 0 77733563 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3723108 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=-6000919494231484007 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1898 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930777 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3505.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3723108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.63 4.69 4.55 5/339 87225
/proc/meminfo: memFree=94739612/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3723236 CPUtime=3578.86 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 193359 0 0 0 357576 310 0 0 20 0 20 0 77733561 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930809 5527 1 0 945051 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=0 CPUtime=3361.8 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 100563 0 0 0 336119 61 0 0 20 0 20 0 77733563 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3723236 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=3723236 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1898 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3578.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3723236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3419.11 s]
/proc/loadavg: 4.65 4.69 4.55 5/339 87226
/proc/meminfo: memFree=94731420/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3723236 CPUtime=3600.08 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 193877 0 0 0 359694 314 0 0 20 0 20 0 77733561 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930809 5527 1 0 945051 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=0 CPUtime=3378.41 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 101075 0 0 0 337780 61 0 0 20 0 20 0 77733563 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3723236 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1898 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=3723236 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3723236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3419.2 s]
# the end of solver process 86826 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.09 s, system=3.1654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3419.11 s]
/proc/loadavg: 4.65 4.69 4.55 5/339 87226
/proc/meminfo: memFree=94731420/131249988 swapFree=33010416/33010684
[pid=86826] ppid=86823 vsize=19063512 memory=3723236 CPUtime=3600.08 cores=5,7
/proc/86826/stat : 86826 (java) S 86823 86826 86397 0 -1 4194304 193877 0 0 0 359694 314 0 0 20 0 20 0 77733561 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
/proc/86826/statm: 4765878 930809 5527 1 0 945051 0
[pid=86826/tid=86828] ppid=86823 vsize=19063512 memory=0 CPUtime=3378.41 cores=5,7
/proc/86826/task/86828/stat : 86828 (java) R 86823 86826 86397 0 -1 4194368 101075 0 0 0 337780 61 0 0 20 0 20 0 77733563 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86837] ppid=86823 vsize=19063512 memory=3723236 CPUtime=0 cores=5,7
/proc/86826/task/86837/stat : 86837 (Finalizer) S 86823 86826 86397 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86844] ppid=86823 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/86826/task/86844/stat : 86844 (Common-Cleaner) S 86823 86826 86397 0 -1 4194368 1898 0 0 0 0 0 0 0 20 0 20 0 77733565 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
[pid=86826/tid=86845] ppid=86823 vsize=19063512 memory=3723236 CPUtime=0 cores=5,7
/proc/86826/task/86845/stat : 86845 (Timer-0) S 86823 86826 86397 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77733590 19521036288 930809 18446744073709551615 94904417308672 94904417312368 140727553640736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94904417320184 94904417320976 94904418177024 140727553649020 140727553649124 140727553649124 140727553654728 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3723236 KiB
Child status: 143
Real time (s): 3419.2
CPU time (s): 3600.26
CPU user time (s): 3597.09
CPU system time (s): 3.1654
CPU usage (%): 105.295
Max. virtual memory (cumulated for all children) (KiB): 19068892
Max. memory (cumulated for all children) (KiB): 3723236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.09
system time used= 3.1654
maximum resident set size= 3724132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139318
involuntary context switches= 33651
# summary of solver processes directly reported to runsolver:
# pid: 86826
# total CPU time (s): 3600.26
# total CPU user time (s): 3597.09
# total CPU system time (s): 3.1654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94039 second user time and 16.179 second system time
The end