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 (60321 MiB free)
memory of node 1: 64465 MiB (57097 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542859-1753223825/watcher-4542859-1753223825 -o /tmp/evaluation-result-4542859-1753223825/solver-4542859-1753223825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753223825-168203 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4542859-1753223825.opb
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=168258, runsolver pid=168247
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.10 1.66 2.43 2/267 168260
/proc/meminfo: memFree=120233536/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=24960 memory=2432 CPUtime=0 cores=5,7
/proc/168258/stat : 168258 (java) D 168247 168258 168190 0 -1 4194304 182 0 2 0 0 0 0 0 20 0 1 0 238060003 25559040 608 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 6240 608 576 1 0 464 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 24960 KiB
Current children cumulated memory: 2432 KiB
[startup+0.204601 s]*
/proc/loadavg: 1.10 1.66 2.43 2/271 168264
/proc/meminfo: memFree=120233536/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=235916 memory=11904 CPUtime=0 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 688 0 42 0 0 0 0 0 20 0 2 0 238060003 241577984 2976 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16784588 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 58979 2976 2592 1 0 605 0
[pid=168258/tid=168261] ppid=168247 vsize=235916 memory=7589421003159109916 CPUtime=0 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) D 168247 168258 168190 0 -1 4194368 141 0 1 0 0 0 0 0 20 0 2 0 238060022 241577984 2976 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16784588 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 235916 KiB
Current children cumulated memory: 11904 KiB
[startup+0.304581 s]*
/proc/loadavg: 1.10 1.66 2.43 2/291 168284
/proc/meminfo: memFree=120232808/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=18130736 memory=21424 CPUtime=0 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 1842 0 62 0 0 0 0 0 20 0 7 0 238060003 18565873664 5356 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16784588 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4532684 5356 3296 1 0 540973 0
[pid=168258/tid=168261] ppid=168247 vsize=18130736 memory=-8672077337935520444 CPUtime=0 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) D 168247 168258 168190 0 -1 4194368 1285 0 21 0 0 0 0 0 20 0 7 0 238060022 18565873664 5356 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16784588 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 21424 KiB
[startup+0.70019 s]
/proc/loadavg: 1.10 1.66 2.43 10/335 168328
/proc/meminfo: memFree=120155944/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=18996948 memory=90300 CPUtime=0.59 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 8697 0 298 0 55 4 0 0 20 0 19 0 238060003 19452874752 22575 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4749237 22575 5424 1 0 549422 0
[pid=168258/tid=168261] ppid=168247 vsize=18996948 memory=0 CPUtime=0.25 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 5255 0 257 0 23 2 0 0 20 0 19 0 238060022 19452874752 22575 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=18996948 memory=225141283 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238060040 19452874752 22575 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=18996948 memory=2624 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 238060041 19452874752 22575 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90300 KiB
[startup+1.50025 s]
/proc/loadavg: 1.10 1.66 2.43 8/320 168345
/proc/meminfo: memFree=119825888/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=203748 CPUtime=2.16 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 17078 0 298 0 209 7 0 0 20 0 20 0 238060003 19521036288 50937 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 50937 5456 1 0 555753 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=0 CPUtime=0.96 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 5291 0 257 0 92 4 0 0 20 0 20 0 238060022 19521036288 50937 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=225141283 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 50937 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=2624 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 50937 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 50937 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 203748 KiB
[startup+3.10573 s]
/proc/loadavg: 1.66 1.77 2.46 7/341 168399
/proc/meminfo: memFree=117211416/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=1042736 CPUtime=5.16 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 28060 0 298 0 491 25 0 0 20 0 20 0 238060003 19521036288 260684 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 260684 5456 1 0 831961 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=0 CPUtime=2.48 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 6796 0 257 0 229 19 0 0 20 0 20 0 238060022 19521036288 260684 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 260684 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=225141283 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 260684 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 260684 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1042736 KiB
[startup+6.30021 s]
/proc/loadavg: 1.66 1.77 2.46 5/343 168401
/proc/meminfo: memFree=115351340/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=1732888 CPUtime=8.72 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 29006 0 298 0 835 37 0 0 20 0 20 0 238060003 19521036288 433222 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 433222 5456 1 0 831985 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=225141283 CPUtime=5.56 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 7269 0 257 0 527 29 0 0 20 0 20 0 238060022 19521036288 433222 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 433222 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 433222 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=246940 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 433222 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1732888 KiB
[startup+12.7002 s]
/proc/loadavg: 2.09 1.86 2.49 5/343 168401
/proc/meminfo: memFree=114601780/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=2071020 CPUtime=15.43 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 29732 0 298 0 1499 44 0 0 20 0 20 0 238060003 19521036288 517755 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 517755 5456 1 0 831990 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=0 CPUtime=11.83 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 7844 0 257 0 1148 35 0 0 20 0 20 0 238060022 19521036288 517755 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 517755 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=27904 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 517755 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=2070892 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 517755 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 15.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2071020 KiB
[startup+25.5003 s]
/proc/loadavg: 2.38 1.93 2.50 5/343 168401
/proc/meminfo: memFree=113934536/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=2709456 CPUtime=28.64 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 33576 0 298 0 2806 58 0 0 20 0 20 0 238060003 19521036288 677364 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 677364 5456 1 0 963592 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=2071020 CPUtime=24.12 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 9972 0 257 0 2367 45 0 0 20 0 20 0 238060022 19521036288 677364 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 677364 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=-8672077337935520444 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 677364 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=2422592 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 677364 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 28.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2709456 KiB
[startup+51.1058 s]
/proc/loadavg: 3.08 2.13 2.56 5/342 168402
/proc/meminfo: memFree=113792444/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=2709584 CPUtime=55.11 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 43914 0 298 0 5451 60 0 0 20 0 20 0 238060003 19521036288 677396 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 677396 5456 1 0 963593 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=10752 CPUtime=48.97 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 13320 0 257 0 4851 46 0 0 20 0 20 0 238060022 19521036288 677396 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=2709584 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 677396 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=188232 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 677396 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 677396 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 55.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2709584 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 2.46 2.65 6/341 168404
/proc/meminfo: memFree=112477268/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=3826480 CPUtime=108.11 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 48530 0 298 0 10729 82 0 0 20 0 20 0 238060003 19521036288 956620 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 956620 5456 1 0 1210122 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=0 CPUtime=97.95 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 15428 0 257 0 9732 63 0 0 20 0 20 0 238060022 19521036288 956620 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
################
# More data... #
################
/proc/meminfo: memFree=104700940/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=4798680 CPUtime=3239.3 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 236395 0 298 0 323558 372 0 0 20 0 20 0 238060003 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 1199670 5488 1 0 1212259 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=4798680 CPUtime=2933.06 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 102484 0 257 0 293225 81 0 0 20 0 20 0 238060022 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1802 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3239.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798680 KiB
[startup+3042.3 s]
/proc/loadavg: 4.43 4.36 4.28 5/341 168769
/proc/meminfo: memFree=104692204/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=4798680 CPUtime=3306.26 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 242525 0 298 0 330246 380 0 0 20 0 20 0 238060003 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 1199670 5488 1 0 1212259 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=4798680 CPUtime=2992.58 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 105704 0 257 0 299176 82 0 0 20 0 20 0 238060022 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1856 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3306.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798680 KiB
[startup+3102.3 s]
/proc/loadavg: 4.41 4.37 4.29 5/341 168772
/proc/meminfo: memFree=104691396/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=4798680 CPUtime=3379.82 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 243326 0 298 0 337591 391 0 0 20 0 20 0 238060003 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 1199670 5488 1 0 1212259 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=4798680 CPUtime=3052.09 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 106274 0 257 0 305127 82 0 0 20 0 20 0 238060022 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1889 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 1199670 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3379.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.33 4.35 4.28 5/340 168774
/proc/meminfo: memFree=104621732/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=4798808 CPUtime=3447.65 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 251111 0 298 0 344366 399 0 0 20 0 20 0 238060003 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 1199702 5488 1 0 1212271 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=4798680 CPUtime=3111.37 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 109787 0 257 0 311055 82 0 0 20 0 20 0 238060022 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=4798680 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1889 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3447.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798808 KiB
[startup+3222.3 s]
/proc/loadavg: 4.44 4.39 4.30 5/340 168776
/proc/meminfo: memFree=104617524/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=4798808 CPUtime=3515.23 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 254186 0 298 0 351116 407 0 0 20 0 20 0 238060003 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 1199702 5488 1 0 1212271 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=4798680 CPUtime=3170.63 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 111511 0 257 0 316980 83 0 0 20 0 20 0 238060022 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=27904 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=4798808 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1934 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3515.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798808 KiB
[startup+3282.3 s]
/proc/loadavg: 4.49 4.41 4.31 5/340 168779
/proc/meminfo: memFree=104604916/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=4798808 CPUtime=3585.41 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 254818 0 298 0 358125 416 0 0 20 0 20 0 238060003 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 1199702 5488 1 0 1212271 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=4798808 CPUtime=3230.12 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 111684 0 257 0 322929 83 0 0 20 0 20 0 238060022 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=4798808 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=4798808 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1952 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=4798808 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3296.9 s]
/proc/loadavg: 4.41 4.40 4.31 6/340 168780
/proc/meminfo: memFree=104604676/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19063512 memory=4798808 CPUtime=3600.06 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 255310 0 298 0 359590 416 0 0 20 0 20 0 238060003 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4765878 1199702 5488 1 0 1212271 0
[pid=168258/tid=168261] ppid=168247 vsize=19063512 memory=4798808 CPUtime=3244.61 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 112026 0 257 0 324378 83 0 0 20 0 20 0 238060022 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238060040 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19063512 memory=4798808 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1952 0 0 0 0 0 0 0 20 0 20 0 238060041 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168331] ppid=168247 vsize=19063512 memory=4798808 CPUtime=0 cores=5,7
/proc/168258/task/168331/stat : 168331 (Timer-0) S 168247 168258 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238060063 19521036288 1199702 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4798808 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3297.03 s]
# the end of solver process 168258 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.11 s, system=4.18901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3297 s]*
/proc/loadavg: 4.46 4.41 4.31 7/341 168783
/proc/meminfo: memFree=104604772/131250000 swapFree=33008356/33010684
[pid=168258] ppid=168247 vsize=19263204 memory=4799448 CPUtime=3600.27 cores=5,7
/proc/168258/stat : 168258 (java) S 168247 168258 168190 0 -1 4194304 256963 0 298 0 359610 417 0 0 20 0 21 0 238060003 19725520896 1199862 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
/proc/168258/statm: 4815801 1199862 5488 1 0 1213174 0
[pid=168258/tid=168261] ppid=168247 vsize=19263204 memory=-8598607970967528124 CPUtime=3244.72 cores=5,7
/proc/168258/task/168261/stat : 168261 (java) R 168247 168258 168190 0 -1 4194368 112263 0 257 0 324389 83 0 0 20 0 21 0 238060022 19725520896 1199862 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168298] ppid=168247 vsize=19263204 memory=-7160862662092545913 CPUtime=0 cores=5,7
/proc/168258/task/168298/stat : 168298 (Finalizer) S 168247 168258 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238060040 19725520896 1199862 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168326] ppid=168247 vsize=19263204 memory=4352 CPUtime=0 cores=5,7
/proc/168258/task/168326/stat : 168326 (Common-Cleaner) S 168247 168258 168190 0 -1 4194368 1952 0 0 0 0 0 0 0 20 0 21 0 238060041 19725520896 1199862 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
[pid=168258/tid=168782] ppid=168247 vsize=19263204 memory=1792 CPUtime=0.04 cores=5,7
/proc/168258/task/168782/stat : 168782 (Thread-0) R 168247 168258 168190 0 -1 4194368 385 0 0 0 4 0 0 0 20 0 21 0 238389694 19725520896 1199862 18446744073709551615 93876817178624 93876817182320 140725709214160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93876817190136 93876817190928 93876824621056 140725709216124 140725709216228 140725709216228 140725709221832 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4799448 KiB
Child status: 143
Real time (s): 3297.03
CPU time (s): 3600.3
CPU user time (s): 3596.11
CPU system time (s): 4.18901
CPU usage (%): 109.198
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4799448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.11
system time used= 4.18901
maximum resident set size= 4799576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257067
page faults= 298
swaps= 0
block input operations= 840
block output operations= 21688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123899
involuntary context switches= 26279
# summary of solver processes directly reported to runsolver:
# pid: 168258
# total CPU time (s): 3600.3
# total CPU user time (s): 3596.11
# total CPU system time (s): 4.18901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29188 second user time and 15.5954 second system time
The end