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 (59459 MiB free)
  memory of node 1: 64507 MiB (53536 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542667-1753221398/watcher-4542667-1753221398 -o /tmp/evaluation-result-4542667-1753221398/solver-4542667-1753221398 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753221228-170143 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542667-1753221398 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542667-1753221398.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB

solver pid=170330, runsolver pid=170327

[startup+0.100064 s]*
/proc/loadavg: 4.26 3.01 3.21 5/336 170348
/proc/meminfo: memFree=115675300/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=18930384 memory=55624 CPUtime=0.13 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 6533 0 0 0 11 2 0 0 20 0 18 0 237817711 19384713216 13906 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4732596 13906 5369 1 0 547588 0
[pid=170330/tid=170332] ppid=170327 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 5036 0 0 0 7 1 0 0 20 0 18 0 237817712 19384713216 13906 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237817714 19384713216 13906 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=18930384 memory=59585004324181 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237817715 19384713216 13906 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55624 KiB

[startup+0.20601 s]*
/proc/loadavg: 4.26 3.01 3.21 8/337 170349
/proc/meminfo: memFree=115572144/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=18996948 memory=162532 CPUtime=0.3 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 7088 0 0 0 26 4 0 0 20 0 19 0 237817711 19452874752 40633 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4749237 40633 5465 1 0 548146 0
[pid=170330/tid=170332] ppid=170327 vsize=18996948 memory=4026990876 CPUtime=0.16 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 5313 0 0 0 13 3 0 0 20 0 19 0 237817712 19452874752 40633 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=18996948 memory=18954 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237817714 19452874752 40633 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) R 170327 170330 170132 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237817715 19452874752 40633 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 162532 KiB

[startup+0.30592 s]*
/proc/loadavg: 4.26 3.01 3.21 6/337 170349
/proc/meminfo: memFree=115461616/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=18996948 memory=296120 CPUtime=0.5 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 8744 0 0 0 42 8 0 0 20 0 19 0 237817711 19452874752 74030 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4749237 74030 5465 1 0 549271 0
[pid=170330/tid=170332] ppid=170327 vsize=18996948 memory=-8672639222720275132 CPUtime=0.25 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 5369 0 0 0 19 6 0 0 20 0 19 0 237817712 19452874752 74030 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237817714 19452874752 74542 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237817715 19452874752 74542 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 296120 KiB

[startup+0.700218 s]
/proc/loadavg: 4.26 3.01 3.21 6/337 170349
/proc/meminfo: memFree=114911808/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=18996948 memory=1627980 CPUtime=1.14 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 12589 0 0 0 79 35 0 0 20 0 19 0 237817711 19452874752 406995 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4749237 406995 5465 1 0 956256 0
[pid=170330/tid=170332] ppid=170327 vsize=18996948 memory=27264 CPUtime=0.62 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 6016 0 0 0 30 32 0 0 20 0 19 0 237817712 19452874752 406995 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237817714 19452874752 406995 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237817715 19452874752 406995 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1627980 KiB

[startup+1.50023 s]
/proc/loadavg: 4.26 3.01 3.21 6/337 170349
/proc/meminfo: memFree=113802112/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=18996948 memory=2285248 CPUtime=2.47 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 15646 0 0 0 199 48 0 0 20 0 19 0 237817711 19452874752 571312 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4749237 571312 5497 1 0 958024 0
[pid=170330/tid=170332] ppid=170327 vsize=18996948 memory=3328 CPUtime=1.37 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 6332 0 0 0 92 45 0 0 20 0 19 0 237817712 19452874752 571312 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237817714 19452874752 571312 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237817715 19452874752 571312 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2285248 KiB

[startup+3.10581 s]
/proc/loadavg: 4.26 3.01 3.21 5/337 170350
/proc/meminfo: memFree=112810084/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=18996948 memory=2878688 CPUtime=4.13 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 16406 0 0 0 353 60 0 0 20 0 19 0 237817711 19452874752 719672 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4749237 719672 5497 1 0 1106341 0
[pid=170330/tid=170332] ppid=170327 vsize=18996948 memory=10752 CPUtime=2.87 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 6669 0 0 0 231 56 0 0 20 0 19 0 237817712 19452874752 719672 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237817714 19452874752 719672 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237817715 19452874752 719672 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2878688 KiB

[startup+6.30024 s]
/proc/loadavg: 4.24 3.02 3.22 5/337 170350
/proc/meminfo: memFree=111545372/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=18996948 memory=4115204 CPUtime=7.47 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 18124 0 0 0 662 85 0 0 20 0 19 0 237817711 19452874752 1028801 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4749237 1028801 5497 1 0 1421771 0
[pid=170330/tid=170332] ppid=170327 vsize=18996948 memory=5632 CPUtime=5.82 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 7523 0 0 0 501 81 0 0 20 0 19 0 237817712 19452874752 1028801 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237817714 19452874752 1028801 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=18996948 memory=-8672639222720275132 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 237817715 19452874752 1028801 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 4115204 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 3.06 3.23 5/339 170352
/proc/meminfo: memFree=109237372/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=5756908 CPUtime=16.27 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 22148 0 0 0 1505 122 0 0 20 0 20 0 237817711 19521036288 1439227 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1439227 5529 1 0 1831826 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=4119384 CPUtime=11.77 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 8818 0 0 0 1062 115 0 0 20 0 20 0 237817712 19521036288 1439227 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=-8672639222720275132 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1439227 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=-8672639222720275132 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1439227 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1439227 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 16.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5756908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.31 3.12 3.24 5/339 170352
/proc/meminfo: memFree=107198420/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=5761452 CPUtime=29.43 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 24308 0 0 0 2811 132 0 0 20 0 20 0 237817711 19521036288 1440363 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1440363 5529 1 0 1831892 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=0 CPUtime=24.45 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 10691 0 0 0 2321 124 0 0 20 0 20 0 237817712 19521036288 1440363 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=5757292 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1440363 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=-8672639222720275132 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1440363 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=4115204 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1440363 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 29.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5761452 KiB

[startup+51.1057 s]
/proc/loadavg: 4.33 3.22 3.28 5/339 170352
/proc/meminfo: memFree=104492024/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=5761708 CPUtime=55.12 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 30954 0 0 0 5367 145 0 0 20 0 20 0 237817711 19521036288 1440427 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1440427 5529 1 0 1831892 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=5757036 CPUtime=49.99 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 14092 0 0 0 4863 136 0 0 20 0 20 0 237817712 19521036288 1440427 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=4115204 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1440427 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=2369 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1440427 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1440427 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 55.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5761708 KiB

################
# More data... #
################

/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4148 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3223.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/339 170547
/proc/meminfo: memFree=71186284/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3283.71 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 262645 0 0 0 327271 1100 0 0 20 0 20 0 237817711 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1678070 5529 1 0 1831895 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3267.25 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 149740 0 0 0 325729 996 0 0 20 0 20 0 237817712 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4240 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3283.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.22 4.18 5/339 170549
/proc/meminfo: memFree=70763112/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3343.66 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 269184 0 0 0 333249 1117 0 0 20 0 20 0 237817711 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1678070 5529 1 0 1831895 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3326.97 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 153636 0 0 0 331686 1011 0 0 20 0 20 0 237817712 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=-8672639222720275132 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=14676 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4374 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3343.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.21 4.18 5/340 170552
/proc/meminfo: memFree=70350532/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3403.53 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 271841 0 0 0 339221 1132 0 0 20 0 20 0 237817711 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1678070 5529 1 0 1831895 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3386.81 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 156095 0 0 0 337657 1024 0 0 20 0 20 0 237817712 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4463 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=-8672639222720275132 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3403.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/340 170755
/proc/meminfo: memFree=112601416/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3463.5 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 277740 0 0 0 345198 1152 0 0 20 0 20 0 237817711 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1678070 5529 1 0 1831895 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3446.54 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 160179 0 0 0 343611 1043 0 0 20 0 20 0 237817712 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=14676 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4593 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3463.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.37 4.24 4.19 5/342 170759
/proc/meminfo: memFree=110417440/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3523.45 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 283113 0 0 0 351174 1171 0 0 20 0 20 0 237817711 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1678070 5529 1 0 1831895 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=5632 CPUtime=3506.25 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 163953 0 0 0 349564 1061 0 0 20 0 20 0 237817712 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4733 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3523.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.24 4.19 5/342 170761
/proc/meminfo: memFree=108440964/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3583.42 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 288179 0 0 0 357147 1195 0 0 20 0 20 0 237817711 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1678070 5529 1 0 1831895 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=5632 CPUtime=3565.93 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 167438 0 0 0 355509 1084 0 0 20 0 20 0 237817712 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=6712280 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=-8672639222720275132 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4733 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=14676 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599 s]*
/proc/loadavg: 4.23 4.23 4.19 5/342 170761
/proc/meminfo: memFree=107977132/131249996 swapFree=33010672/33010684
[pid=170330] ppid=170327 vsize=19063512 memory=6712280 CPUtime=3600.08 cores=4,6
/proc/170330/stat : 170330 (java) S 170327 170330 170132 0 -1 4194304 289191 0 0 0 358809 1199 0 0 20 0 20 0 237817711 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
/proc/170330/statm: 4765878 1678070 5529 1 0 1831895 0
[pid=170330/tid=170332] ppid=170327 vsize=19063512 memory=-9176756507962548924 CPUtime=3582.6 cores=4,6
/proc/170330/task/170332/stat : 170332 (java) R 170327 170330 170132 0 -1 4194368 168415 0 0 0 357172 1088 0 0 20 0 20 0 237817712 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170341] ppid=170327 vsize=19063512 memory=8184342900247928222 CPUtime=0 cores=4,6
/proc/170330/task/170341/stat : 170341 (Finalizer) S 170327 170330 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237817714 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170348] ppid=170327 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/170330/task/170348/stat : 170348 (Common-Cleaner) S 170327 170330 170132 0 -1 4194368 4733 0 0 0 0 0 0 0 20 0 20 0 237817715 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
[pid=170330/tid=170352] ppid=170327 vsize=19063512 memory=2105204 CPUtime=0 cores=4,6
/proc/170330/task/170352/stat : 170352 (Timer-0) S 170327 170330 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237818696 19521036288 1678070 18446744073709551615 94500372791296 94500372794992 140726430812912 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94500372802808 94500372803600 94500390146048 140726430820692 140726430820836 140726430820836 140726430826440 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6712280 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3599.12 s]
# the end of solver process 170330 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3588.23 s, system=12.0227 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3599.11 s]*
/proc/loadavg: 4.23 4.23 4.19 5/324 170764
/proc/meminfo: memFree=110340524/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3599.12
CPU time (s): 3600.26
CPU user time (s): 3588.23
CPU system time (s): 12.0227
CPU usage (%): 100.031
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6712280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.23
system time used= 12.0227
maximum resident set size= 6713560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13058488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115715
involuntary context switches= 7342


# summary of solver processes directly reported to runsolver:
#   pid: 170330
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3588.23
#   total CPU system time (s): 12.0227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5363 second user time and 14.5388 second system time

The end