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: 63794 MiB (60886 MiB free)
memory of node 1: 64507 MiB (58128 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494746-1751153689/watcher-4494746-1751153689 -o /tmp/evaluation-result-4494746-1751153689/solver-4494746-1751153689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751146186-14182 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4494746-1751153689.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=16366, runsolver pid=16363
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.66 4.30 4.27 6/325 16384
/proc/meminfo: memFree=121850776/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=18930384 memory=48040 CPUtime=0.1 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 5746 0 0 0 7 3 0 0 20 0 18 0 31048629 19384713216 12010 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4732596 12010 5275 1 0 546976 0
[pid=16366/tid=16368] ppid=16363 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 4632 0 0 0 5 2 0 0 20 0 18 0 31048631 19384713216 12010 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31048636 19384713216 12010 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=18930384 memory=57394571004297 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31048637 19384713216 12010 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48040 KiB
[startup+0.21355 s]*
/proc/loadavg: 4.66 4.30 4.27 5/325 16384
/proc/meminfo: memFree=121849012/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=18930384 memory=53036 CPUtime=0.27 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 6441 0 0 0 23 4 0 0 20 0 18 0 31048629 19384713216 13259 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4732596 13259 5339 1 0 547532 0
[pid=16366/tid=16368] ppid=16363 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 4977 0 0 0 14 2 0 0 20 0 18 0 31048631 19384713216 13259 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31048636 19384713216 13259 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31048637 19384713216 13259 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53036 KiB
[startup+0.313446 s]*
/proc/loadavg: 4.66 4.30 4.27 7/325 16384
/proc/meminfo: memFree=121844916/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=18930384 memory=58320 CPUtime=0.41 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 6713 0 0 0 37 4 0 0 20 0 18 0 31048629 19384713216 14580 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4732596 14580 5339 1 0 547729 0
[pid=16366/tid=16368] ppid=16363 vsize=18930384 memory=-6000919494164702830 CPUtime=0.24 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 5139 0 0 0 22 2 0 0 20 0 18 0 31048631 19384713216 14580 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31048636 19384713216 14580 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 31048637 19384713216 14580 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58320 KiB
[startup+0.700274 s]
/proc/loadavg: 4.66 4.30 4.27 7/325 16384
/proc/meminfo: memFree=121838552/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=18996948 memory=71608 CPUtime=1.11 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 7404 0 0 0 105 6 0 0 20 0 19 0 31048629 19452874752 17902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4749237 17902 5435 1 0 548392 0
[pid=16366/tid=16368] ppid=16363 vsize=18996948 memory=17152 CPUtime=0.55 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 5457 0 0 0 52 3 0 0 20 0 19 0 31048631 19452874752 17902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31048636 19452874752 17902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 31048637 19452874752 17902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71608 KiB
[startup+1.50028 s]
/proc/loadavg: 4.85 4.35 4.28 7/326 16385
/proc/meminfo: memFree=121803440/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19064616 memory=168604 CPUtime=2.66 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 17588 0 0 0 255 11 0 0 20 0 20 0 31048629 19522166784 42151 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4766154 42151 5499 1 0 552124 0
[pid=16366/tid=16368] ppid=16363 vsize=19064616 memory=3200 CPUtime=1.21 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 5815 0 0 0 116 5 0 0 20 0 20 0 31048631 19522166784 42151 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19064616 memory=0 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19522166784 42151 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19064616 memory=10752 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31048637 19522166784 42151 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19064616 memory=14848 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19522166784 42151 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19064616 KiB
Current children cumulated memory: 168604 KiB
[startup+3.10567 s]
/proc/loadavg: 4.85 4.35 4.28 6/327 16386
/proc/meminfo: memFree=121244620/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=716076 CPUtime=5.78 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 26011 0 0 0 553 25 0 0 20 0 20 0 31048629 19521036288 179019 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 179019 5499 1 0 798389 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=14848 CPUtime=2.75 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 6575 0 0 0 258 17 0 0 20 0 20 0 31048631 19521036288 179019 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 179019 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 179019 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 179019 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 716076 KiB
[startup+6.30043 s]
/proc/loadavg: 4.86 4.36 4.29 5/327 16387
/proc/meminfo: memFree=120515532/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=1366200 CPUtime=9.29 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 26439 0 0 0 890 39 0 0 20 0 20 0 31048629 19521036288 341550 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 341550 5499 1 0 798402 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=0 CPUtime=5.81 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 6915 0 0 0 550 31 0 0 20 0 20 0 31048631 19521036288 341550 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 341550 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 341550 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=176664 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 341550 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1366200 KiB
[startup+12.7004 s]
/proc/loadavg: 4.88 4.37 4.29 5/327 16387
/proc/meminfo: memFree=119654404/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=2226376 CPUtime=15.73 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 28074 0 0 0 1516 57 0 0 20 0 20 0 31048629 19521036288 556594 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 556594 5499 1 0 1015652 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=176664 CPUtime=11.79 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) S 16363 16366 14172 0 -1 4194368 7955 0 0 0 1133 46 0 0 20 0 20 0 31048631 19521036288 556594 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=2226376 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 556594 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 556594 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 556594 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 15.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2226376 KiB
[startup+25.5004 s]
/proc/loadavg: 4.89 4.39 4.30 5/327 16387
/proc/meminfo: memFree=118952476/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=2927608 CPUtime=29.29 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 35961 0 0 0 2858 71 0 0 20 0 20 0 31048629 19521036288 731902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 731902 5499 1 0 1138901 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=0 CPUtime=24.23 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 9806 0 0 0 2364 59 0 0 20 0 20 0 31048631 19521036288 731902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 731902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=2927608 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 731902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=2659320 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 731902 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 29.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2927608 KiB
[startup+51.1133 s]
/proc/loadavg: 4.91 4.45 4.32 5/327 16387
/proc/meminfo: memFree=118898992/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=2965072 CPUtime=55.64 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 42212 0 0 0 5488 76 0 0 20 0 20 0 31048629 19521036288 741268 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 741268 5499 1 0 1138978 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=2927864 CPUtime=49.22 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 13303 0 0 0 4863 59 0 0 20 0 20 0 31048631 19521036288 741268 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=30472 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 741268 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 741268 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
################
# More data... #
################
/proc/meminfo: memFree=123726544/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=3505224 CPUtime=3309.85 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 135909 0 0 0 330666 319 0 0 20 0 20 0 31048629 19521036288 876306 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 876306 5499 1 0 1139421 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=14848 CPUtime=3246.58 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 77446 0 0 0 324583 75 0 0 20 0 20 0 31048631 19521036288 876306 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=3503176 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 876306 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=3503176 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2247 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 876306 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=3505224 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 876306 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3309.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3505224 KiB
[startup+3342.3 s]
/proc/loadavg: 2.42 3.37 3.86 3/277 16627
/proc/meminfo: memFree=123710636/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=3513416 CPUtime=3370.38 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 137429 0 0 0 336715 323 0 0 20 0 20 0 31048629 19521036288 878354 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 878354 5499 1 0 1139421 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=3511368 CPUtime=3306.07 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 78199 0 0 0 330531 76 0 0 20 0 20 0 31048631 19521036288 878354 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 878354 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=3509320 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2336 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 878354 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=3507272 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 878354 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3370.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3513416 KiB
[startup+3402.3 s]
/proc/loadavg: 2.21 3.13 3.75 3/277 16630
/proc/meminfo: memFree=123698148/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=3521612 CPUtime=3430.96 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 138576 0 0 0 342768 328 0 0 20 0 20 0 31048629 19521036288 880403 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 880403 5499 1 0 1139421 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=3511368 CPUtime=3365.62 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 79285 0 0 0 336486 76 0 0 20 0 20 0 31048631 19521036288 880403 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=3507272 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 880403 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=3515464 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2336 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 880403 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=3519564 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 880403 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3430.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3521612 KiB
[startup+3462.3 s]
/proc/loadavg: 2.12 2.94 3.64 3/277 16636
/proc/meminfo: memFree=123684716/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=3527756 CPUtime=3491.45 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 141019 0 0 0 348813 332 0 0 20 0 20 0 31048629 19521036288 881939 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 881939 5499 1 0 1139421 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=3511368 CPUtime=3425.19 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 80980 0 0 0 342443 76 0 0 20 0 20 0 31048631 19521036288 881939 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=3507272 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 881939 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=3515464 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2413 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 881939 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 881939 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3491.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3527756 KiB
[startup+3522.3 s]
/proc/loadavg: 2.21 2.81 3.55 3/277 16638
/proc/meminfo: memFree=123675460/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=3533908 CPUtime=3551.98 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 142639 0 0 0 354862 336 0 0 20 0 20 0 31048629 19521036288 883477 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 883477 5499 1 0 1139421 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=3533908 CPUtime=3484.75 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 81993 0 0 0 348399 76 0 0 20 0 20 0 31048631 19521036288 883477 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=3533908 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 883477 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2470 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 883477 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 883477 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3551.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3533908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3569.9 s]
/proc/loadavg: 1.87 2.65 3.46 2/252 16676
/proc/meminfo: memFree=126861948/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19063512 memory=3538004 CPUtime=3600.03 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 143118 0 0 0 359664 339 0 0 20 0 20 0 31048629 19521036288 884501 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4765878 884501 5499 1 0 1139421 0
[pid=16366/tid=16368] ppid=16363 vsize=19063512 memory=14848 CPUtime=3531.97 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 82450 0 0 0 353121 76 0 0 20 0 20 0 31048631 19521036288 884501 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19063512 memory=3538004 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31048636 19521036288 884501 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19063512 memory=3535956 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2470 0 0 0 0 0 0 0 20 0 20 0 31048637 19521036288 884501 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16385] ppid=16363 vsize=19063512 memory=3538004 CPUtime=0 cores=0,2
/proc/16366/task/16385/stat : 16385 (Timer-0) S 16363 16366 14172 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31048689 19521036288 884501 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3538004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3570.13 s]
# the end of solver process 16366 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.04 s, system=3.41506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3570 s]*
/proc/loadavg: 1.87 2.65 3.46 4/253 16679
/proc/meminfo: memFree=126861192/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19263204 memory=3538644 CPUtime=3600.23 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 145396 0 0 0 359684 339 0 0 20 0 21 0 31048629 19725520896 884661 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4815801 884661 5499 1 0 1140324 0
[pid=16366/tid=16368] ppid=16363 vsize=19263204 memory=7686721470247706567 CPUtime=3532.09 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 82495 0 0 0 353133 76 0 0 20 0 21 0 31048631 19725520896 884661 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31048636 19725520896 884661 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19263204 memory=10752 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2470 0 0 0 0 0 0 0 20 0 21 0 31048637 19725520896 884661 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16678] ppid=16363 vsize=19263204 memory=5632 CPUtime=0.02 cores=0,2
/proc/16366/task/16678/stat : 16678 (Thread-0) R 16363 16366 14172 0 -1 4194368 430 0 0 0 2 0 0 0 20 0 21 0 31405621 19725520896 884661 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3538644 KiB
[startup+3570.11 s]
/proc/loadavg: 1.87 2.65 3.46 4/253 16679
/proc/meminfo: memFree=126861192/131382112 swapFree=33010684/33010684
[pid=16366] ppid=16363 vsize=19263204 memory=3538772 CPUtime=3600.43 cores=0,2
/proc/16366/stat : 16366 (java) S 16363 16366 14172 0 -1 4194304 145667 0 0 0 359703 340 0 0 20 0 21 0 31048629 19725520896 884693 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
/proc/16366/statm: 4815801 884693 5499 1 0 1140340 0
[pid=16366/tid=16368] ppid=16363 vsize=19263204 memory=14848 CPUtime=3532.18 cores=0,2
/proc/16366/task/16368/stat : 16368 (java) R 16363 16366 14172 0 -1 4194368 82495 0 0 0 353142 76 0 0 20 0 21 0 31048631 19725520896 884693 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16377] ppid=16363 vsize=19263204 memory=3538004 CPUtime=0 cores=0,2
/proc/16366/task/16377/stat : 16377 (Finalizer) S 16363 16366 14172 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31048636 19725520896 884693 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16384] ppid=16363 vsize=19263204 memory=3535956 CPUtime=0 cores=0,2
/proc/16366/task/16384/stat : 16384 (Common-Cleaner) S 16363 16366 14172 0 -1 4194368 2470 0 0 0 0 0 0 0 20 0 21 0 31048637 19725520896 884693 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
[pid=16366/tid=16678] ppid=16363 vsize=19263204 memory=3538004 CPUtime=0.06 cores=0,2
/proc/16366/task/16678/stat : 16678 (Thread-0) R 16363 16366 14172 0 -1 4194368 658 0 0 0 6 0 0 0 20 0 21 0 31405621 19725520896 884693 18446744073709551615 94668865327104 94668865330800 140737197985568 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94668865338616 94668865339408 94668866822144 140737197992318 140737197992422 140737197992422 140737197998024 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3538772 KiB
Child status: 143
Real time (s): 3570.13
CPU time (s): 3600.45
CPU user time (s): 3597.04
CPU system time (s): 3.41506
CPU usage (%): 100.849
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3538772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.04
system time used= 3.41506
maximum resident set size= 3538900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123395
involuntary context switches= 12921
# summary of solver processes directly reported to runsolver:
# pid: 16366
# total CPU time (s): 3600.45
# total CPU user time (s): 3597.04
# total CPU system time (s): 3.41506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.239 second user time and 36.3764 second system time
The end