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: 63665 MiB (57310 MiB free)
memory of node 1: 64507 MiB (37453 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521176-1751581553/watcher-4521176-1751581553 -o /tmp/evaluation-result-4521176-1751581553/solver-4521176-1751581553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751578574-83015 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4521176-1751581553.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
Current StackSize limit: 8192 KiB
solver pid=83365, runsolver pid=83362
[startup+0.100058 s]*
/proc/loadavg: 4.43 4.53 4.44 5/338 83383
/proc/meminfo: memFree=97007404/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=18930384 memory=57864 CPUtime=0.13 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 6602 0 0 0 11 2 0 0 20 0 18 0 73833051 19384713216 14466 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4732596 14466 5347 1 0 547641 0
[pid=83365/tid=83367] ppid=83362 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 5103 0 0 0 7 1 0 0 20 0 18 0 73833053 19384713216 14466 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73833055 19384713216 14466 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=18930384 memory=60684515966010 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73833055 19384713216 14466 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57864 KiB
[startup+0.205933 s]*
/proc/loadavg: 4.43 4.53 4.44 7/338 83383
/proc/meminfo: memFree=97002300/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=18930384 memory=64388 CPUtime=0.31 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 7128 0 0 0 29 2 0 0 20 0 18 0 73833051 19384713216 16097 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4732596 16097 5443 1 0 547987 0
[pid=83365/tid=83367] ppid=83362 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 5362 0 0 0 16 1 0 0 20 0 18 0 73833053 19384713216 16097 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73833055 19384713216 16097 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73833055 19384713216 16097 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64388 KiB
[startup+0.305875 s]*
/proc/loadavg: 4.43 4.53 4.44 9/339 83384
/proc/meminfo: memFree=96992704/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=18996948 memory=77928 CPUtime=0.51 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 8865 0 0 0 47 4 0 0 20 0 19 0 73833051 19452874752 19482 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4749237 19482 5475 1 0 549433 0
[pid=83365/tid=83367] ppid=83362 vsize=18996948 memory=-6000919498459670887 CPUtime=0.24 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 5527 0 0 0 22 2 0 0 20 0 19 0 73833053 19452874752 19482 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73833055 19452874752 19482 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 73833055 19452874752 19482 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73833078 19452874752 19482 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77928 KiB
[startup+0.700233 s]
/proc/loadavg: 4.43 4.53 4.44 6/339 83384
/proc/meminfo: memFree=96950060/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=163748 CPUtime=1.27 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 11379 0 0 0 121 6 0 0 20 0 20 0 73833051 19521036288 40937 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 40937 5507 1 0 550883 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=18688 CPUtime=0.55 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 5582 0 0 0 52 3 0 0 20 0 20 0 73833053 19521036288 40937 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 40937 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 40937 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 40937 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 163748 KiB
[startup+1.50022 s]
/proc/loadavg: 4.43 4.53 4.44 6/340 83385
/proc/meminfo: memFree=96904248/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=298436 CPUtime=2.84 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 20500 0 0 0 274 10 0 0 20 0 20 0 73833051 19521036288 74609 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 74609 5539 1 0 554156 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=0 CPUtime=1.3 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 5937 0 0 0 124 6 0 0 20 0 20 0 73833053 19521036288 74609 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 74609 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 74609 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 74609 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 298436 KiB
[startup+3.10595 s]
/proc/loadavg: 4.48 4.54 4.44 5/340 83385
/proc/meminfo: memFree=95998800/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=1118896 CPUtime=5.02 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 22675 0 0 0 475 27 0 0 20 0 20 0 73833051 19521036288 279724 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 279724 5539 1 0 852856 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=10752 CPUtime=2.86 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 6690 0 0 0 264 22 0 0 20 0 20 0 73833053 19521036288 279724 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=-6000919498459670887 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 279724 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 279724 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 279724 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1118896 KiB
[startup+6.30021 s]
/proc/loadavg: 4.48 4.54 4.44 7/340 83385
/proc/meminfo: memFree=95372152/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=1764804 CPUtime=8.61 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 23833 0 0 0 821 40 0 0 20 0 20 0 73833051 19521036288 441201 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 441201 5539 1 0 852861 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=0 CPUtime=6.02 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 7392 0 0 0 569 33 0 0 20 0 20 0 73833053 19521036288 441201 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 441201 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 441201 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=298564 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 441201 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1764804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.52 4.54 4.45 6/340 83385
/proc/meminfo: memFree=95024056/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=2039492 CPUtime=15.13 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 24910 0 0 0 1467 46 0 0 20 0 20 0 73833051 19521036288 509873 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 509873 5539 1 0 852867 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=298564 CPUtime=12.36 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 8341 0 0 0 1198 38 0 0 20 0 20 0 73833053 19521036288 509873 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=2039492 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 509873 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 509873 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 509873 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2039492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.47 4.53 4.45 5/340 83386
/proc/meminfo: memFree=94565612/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=2062084 CPUtime=28.07 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 29437 0 0 0 2760 47 0 0 20 0 20 0 73833051 19521036288 515521 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 515521 5539 1 0 852867 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=2053828 CPUtime=25.01 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 10050 0 0 0 2463 38 0 0 20 0 20 0 73833053 19521036288 515521 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 515521 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 515521 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=2053828 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 515521 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 28.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2062084 KiB
[startup+51.1059 s]
/proc/loadavg: 4.38 4.51 4.44 5/340 83386
/proc/meminfo: memFree=94549220/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=2080616 CPUtime=53.87 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 35159 0 0 0 5338 49 0 0 20 0 20 0 73833051 19521036288 520154 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 520154 5539 1 0 852867 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=2062084 CPUtime=50.33 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 12382 0 0 0 4994 39 0 0 20 0 20 0 73833053 19521036288 520154 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=164 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=107746168/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3060940 CPUtime=3232.35 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 115646 0 0 0 323063 172 0 0 20 0 20 0 73833051 19521036288 765235 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 765235 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=14384 CPUtime=3197.82 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 52454 0 0 0 319728 54 0 0 20 0 20 0 73833053 19521036288 765235 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=3048652 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 765235 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=3054796 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 765235 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=3060940 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 765235 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3232.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3060940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.71 4.71 4.56 5/339 83748
/proc/meminfo: memFree=107646420/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3077332 CPUtime=3292.49 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 115795 0 0 0 329074 175 0 0 20 0 20 0 73833051 19521036288 769333 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 769333 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=3067092 CPUtime=3257.32 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 52502 0 0 0 325678 54 0 0 20 0 20 0 73833053 19521036288 769333 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=3062988 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 769333 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=3077332 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 769333 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=3077332 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 769333 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3292.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3077332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.64 4.69 4.56 5/339 83752
/proc/meminfo: memFree=107561796/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3095768 CPUtime=3352.65 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 115894 0 0 0 335089 176 0 0 20 0 20 0 73833051 19521036288 773942 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 773942 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=3087576 CPUtime=3316.78 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 52539 0 0 0 331624 54 0 0 20 0 20 0 73833053 19521036288 773942 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=3069140 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 773942 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=3093720 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 773942 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 773942 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3352.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3095768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.58 4.67 4.56 6/339 83758
/proc/meminfo: memFree=107436476/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3112156 CPUtime=3412.74 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 116994 0 0 0 341096 178 0 0 20 0 20 0 73833051 19521036288 778039 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 778039 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=3097816 CPUtime=3376.31 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 53578 0 0 0 337577 54 0 0 20 0 20 0 73833053 19521036288 778039 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 778039 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 778039 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=-6000919498459670887 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 778039 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3412.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3112156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.72 4.68 4.57 6/340 83762
/proc/meminfo: memFree=107353664/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3134684 CPUtime=3472.91 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 118767 0 0 0 347110 181 0 0 20 0 20 0 73833051 19521036288 783671 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 783671 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=18688 CPUtime=3435.83 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 54834 0 0 0 343529 54 0 0 20 0 20 0 73833053 19521036288 783671 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=3097816 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 783671 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=3128540 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 783671 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=3130588 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 783671 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3472.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3134684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.50 4.62 4.56 5/341 83832
/proc/meminfo: memFree=113817060/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3151076 CPUtime=3533.03 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 120012 0 0 0 353121 182 0 0 20 0 20 0 73833051 19521036288 787769 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 787769 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=3130588 CPUtime=3495.31 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 55887 0 0 0 349477 54 0 0 20 0 20 0 73833053 19521036288 787769 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=3138784 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 787769 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1214 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 787769 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 787769 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3533.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3151076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.36 4.55 4.54 5/341 83834
/proc/meminfo: memFree=112193464/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3169508 CPUtime=3593.16 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 120103 0 0 0 359132 184 0 0 20 0 20 0 73833051 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 792377 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=18688 CPUtime=3554.74 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 55908 0 0 0 355420 54 0 0 20 0 20 0 73833053 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=3161316 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1234 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=3167460 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3593.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3169508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3589.2 s]
/proc/loadavg: 4.38 4.55 4.54 5/341 83834
/proc/meminfo: memFree=112153260/131249996 swapFree=33010416/33010684
[pid=83365] ppid=83362 vsize=19063512 memory=3169508 CPUtime=3600.08 cores=0,2
/proc/83365/stat : 83365 (java) S 83362 83365 83005 0 -1 4194304 120115 0 0 0 359824 184 0 0 20 0 20 0 73833051 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
/proc/83365/statm: 4765878 792377 5539 1 0 859134 0
[pid=83365/tid=83367] ppid=83362 vsize=19063512 memory=18688 CPUtime=3561.58 cores=0,2
/proc/83365/task/83367/stat : 83367 (java) R 83362 83365 83005 0 -1 4194368 55912 0 0 0 356104 54 0 0 20 0 20 0 73833053 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83376] ppid=83362 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/83365/task/83376/stat : 83376 (Finalizer) S 83362 83365 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83383] ppid=83362 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/83365/task/83383/stat : 83383 (Common-Cleaner) S 83362 83365 83005 0 -1 4194368 1234 0 0 0 0 0 0 0 20 0 20 0 73833055 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
[pid=83365/tid=83384] ppid=83362 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/83365/task/83384/stat : 83384 (Timer-0) S 83362 83365 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73833078 19521036288 792377 18446744073709551615 94392538050560 94392538054256 140724791179488 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94392538062072 94392538062864 94392569217024 140724791183742 140724791183846 140724791183846 140724791189448 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3169508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3589.28 s]
# the end of solver process 83365 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.37 s, system=1.86461 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3589.28
CPU time (s): 3600.24
CPU user time (s): 3598.37
CPU system time (s): 1.86461
CPU usage (%): 100.305
Max. virtual memory (cumulated for all children) (KiB): 19066504
Max. memory (cumulated for all children) (KiB): 3169508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.37
system time used= 1.86461
maximum resident set size= 3170532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142916
involuntary context switches= 12990
# summary of solver processes directly reported to runsolver:
# pid: 83365
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.37
# total CPU system time (s): 1.86461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26 second user time and 16.9504 second system time
The end