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: 63837 MiB (46150 MiB free)
  memory of node 1: 64465 MiB (44441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493129-1751152586/watcher-4493129-1751152586 -o /tmp/evaluation-result-4493129-1751152586/solver-4493129-1751152586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751145467-13822 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4493129-1751152586 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4493129-1751152586.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 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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15157, runsolver pid=15154

[startup+0.100062 s]*
/proc/loadavg: 4.24 4.21 4.23 5/331 15175
/proc/meminfo: memFree=92741564/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=18930384 memory=48448 CPUtime=0.11 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 5804 0 0 0 8 3 0 0 20 0 18 0 30937831 19384713216 12112 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4732596 12112 5337 1 0 547008 0
[pid=15157/tid=15159] ppid=15154 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 4697 0 0 0 5 2 0 0 20 0 18 0 30937832 19384713216 12112 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30937837 19384713216 12112 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=18930384 memory=60693105881846 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30937838 19384713216 12112 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48448 KiB

[startup+0.20779 s]*
/proc/loadavg: 4.24 4.21 4.23 6/331 15175
/proc/meminfo: memFree=92737468/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=18930384 memory=57776 CPUtime=0.29 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 6582 0 0 0 25 4 0 0 20 0 18 0 30937831 19384713216 14444 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4732596 14444 5337 1 0 547631 0
[pid=15157/tid=15159] ppid=15154 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 5091 0 0 0 15 2 0 0 20 0 18 0 30937832 19384713216 14444 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=18930384 memory=14857 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30937837 19384713216 14444 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=18930384 memory=59593594242043 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30937838 19384713216 14444 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57776 KiB

[startup+0.310208 s]*
/proc/loadavg: 4.24 4.21 4.23 8/331 15175
/proc/meminfo: memFree=92736716/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=18930384 memory=61140 CPUtime=0.47 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 6849 0 0 0 43 4 0 0 20 0 18 0 30937831 19384713216 15285 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4732596 15285 5401 1 0 547824 0
[pid=15157/tid=15159] ppid=15154 vsize=18930384 memory=-6000919489886644078 CPUtime=0.26 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 5260 0 0 0 23 3 0 0 20 0 18 0 30937832 19384713216 15285 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 30937837 19384713216 15285 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 30937838 19384713216 15285 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61140 KiB

[startup+0.700321 s]
/proc/loadavg: 4.24 4.21 4.23 7/332 15176
/proc/meminfo: memFree=92727768/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=18996948 memory=84496 CPUtime=1.19 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 8800 0 0 0 114 5 0 0 20 0 19 0 30937831 19452874752 21124 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4749237 21124 5401 1 0 549126 0
[pid=15157/tid=15159] ppid=15154 vsize=18996948 memory=17408 CPUtime=0.6 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 5359 0 0 0 57 3 0 0 20 0 19 0 30937832 19452874752 21124 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 30937837 19452874752 21124 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 30937838 19452874752 21124 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 30937868 19452874752 21124 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84496 KiB

[startup+1.50027 s]
/proc/loadavg: 4.24 4.21 4.23 6/332 15176
/proc/meminfo: memFree=92664140/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=167396 CPUtime=2.79 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 16940 0 0 0 270 9 0 0 20 0 20 0 30937831 19521036288 41849 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 41849 5465 1 0 551434 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=0 CPUtime=1.38 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 5818 0 0 0 133 5 0 0 20 0 20 0 30937832 19521036288 41849 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 41849 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 41849 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 41849 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167396 KiB

[startup+3.10562 s]
/proc/loadavg: 4.24 4.21 4.23 6/333 15177
/proc/meminfo: memFree=92555572/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=235628 CPUtime=5.67 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 20732 0 0 0 554 13 0 0 20 0 20 0 30937831 19521036288 58907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 58907 5465 1 0 551821 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=11264 CPUtime=2.91 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 6824 0 0 0 283 8 0 0 20 0 20 0 30937832 19521036288 58907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=-6000919489886644078 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 58907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 58907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 58907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 235628 KiB

[startup+6.30037 s]
/proc/loadavg: 4.46 4.26 4.24 5/333 15177
/proc/meminfo: memFree=92300984/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=435628 CPUtime=9.28 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 21253 0 0 0 908 20 0 0 20 0 20 0 30937831 19521036288 108907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 108907 5465 1 0 658343 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=0 CPUtime=5.93 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 6895 0 0 0 580 13 0 0 20 0 20 0 30937832 19521036288 108907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 108907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 108907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=167652 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 108907 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 435628 KiB

[startup+12.7004 s]
/proc/loadavg: 4.42 4.25 4.24 5/333 15177
/proc/meminfo: memFree=92025128/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=707860 CPUtime=15.84 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 22699 0 0 0 1554 30 0 0 20 0 20 0 30937831 19521036288 176965 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 176965 5465 1 0 658345 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=167652 CPUtime=11.97 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 7439 0 0 0 1178 19 0 0 20 0 20 0 30937832 19521036288 176965 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=629932 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 176965 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 176965 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 176965 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 15.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 707860 KiB

[startup+25.5005 s]
/proc/loadavg: 4.53 4.29 4.25 5/332 15177
/proc/meminfo: memFree=91238772/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=1345532 CPUtime=28.94 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 29692 0 0 0 2843 51 0 0 20 0 20 0 30937831 19521036288 336383 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 336383 5465 1 0 1291428 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=-6000919489886644078 CPUtime=24.34 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 8788 0 0 0 2399 35 0 0 20 0 20 0 30937832 19521036288 336383 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=1084572 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 336383 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 336383 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 336383 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 28.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1345532 KiB

[startup+51.1138 s]
/proc/loadavg: 4.43 4.28 4.25 6/332 15245
/proc/meminfo: memFree=107103208/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=2054464 CPUtime=55.46 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 33032 0 0 0 5466 80 0 0 20 0 20 0 30937831 19521036288 513616 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 513616 5497 1 0 1291430 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=14080 CPUtime=49.08 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 9965 0 0 0 4853 55 0 0 20 0 20 0 30937832 19521036288 513616 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=1929360 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 513616 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0

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

Current children cumulated memory: 2878308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.24 4.26 5/334 15557
/proc/meminfo: memFree=60879740/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=2878308 CPUtime=3334.57 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 266221 0 0 0 331997 1460 0 0 20 0 20 0 30937831 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 719577 5529 1 0 730507 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=2878308 CPUtime=3210.39 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 157591 0 0 0 319855 1184 0 0 20 0 20 0 30937832 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=2878308 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=-6000919489886644078 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2214 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=-6000919489886644078 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3334.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2878308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.21 4.25 5/332 15559
/proc/meminfo: memFree=60360736/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=2878308 CPUtime=3395.8 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 267317 0 0 0 338096 1484 0 0 20 0 20 0 30937831 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 719577 5529 1 0 730507 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=2878308 CPUtime=3269.28 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 158593 0 0 0 325724 1204 0 0 20 0 20 0 30937832 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=2878308 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=2878308 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2214 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=2878308 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 719577 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3395.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2878308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.23 4.25 5/333 15562
/proc/meminfo: memFree=59705496/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=2820036 CPUtime=3458.11 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 273231 0 0 0 344305 1506 0 0 20 0 20 0 30937831 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 705009 5529 1 0 715891 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=11264 CPUtime=3327.88 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 162834 0 0 0 331566 1222 0 0 20 0 20 0 30937832 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=-6000919489886644078 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2255 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=2820036 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3458.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2820036 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.24 5/333 15564
/proc/meminfo: memFree=59256608/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=2820036 CPUtime=3520.02 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 275993 0 0 0 350473 1529 0 0 20 0 20 0 30937831 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 705009 5529 1 0 715891 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=11264 CPUtime=3386.91 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 164137 0 0 0 337452 1239 0 0 20 0 20 0 30937832 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3520.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2820036 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.22 4.24 5/332 15566
/proc/meminfo: memFree=58646980/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=2820036 CPUtime=3581.52 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 276654 0 0 0 356600 1552 0 0 20 0 20 0 30937831 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 705009 5529 1 0 715891 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=2820036 CPUtime=3445.78 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 164777 0 0 0 343321 1257 0 0 20 0 20 0 30937832 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=2820036 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=2820036 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3581.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2820036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3540.5 s]
/proc/loadavg: 4.24 4.22 4.24 5/332 15566
/proc/meminfo: memFree=58504836/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19063512 memory=2820036 CPUtime=3600.05 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 277018 0 0 0 358448 1557 0 0 20 0 20 0 30937831 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4765878 705009 5529 1 0 715891 0
[pid=15157/tid=15159] ppid=15154 vsize=19063512 memory=2820036 CPUtime=3463.52 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) R 15154 15157 13812 0 -1 4194368 165056 0 0 0 345090 1262 0 0 20 0 20 0 30937832 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19063512 memory=2820036 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 30937837 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19063512 memory=2820036 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 20 0 30937838 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15176] ppid=15154 vsize=19063512 memory=14080 CPUtime=0 cores=0,2
/proc/15157/task/15176/stat : 15176 (Timer-0) S 15154 15157 13812 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 30937868 19521036288 705009 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2820036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.73 s, system=15.6153 s

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

[startup+3540.61 s]
/proc/loadavg: 4.24 4.22 4.24 5/332 15566
/proc/meminfo: memFree=58504836/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19263204 memory=2820804 CPUtime=3600.21 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 278330 0 0 0 358462 1559 0 0 20 0 21 0 30937831 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4815801 705201 5529 1 0 716831 0
[pid=15157/tid=15159] ppid=15154 vsize=19263204 memory=5632 CPUtime=3463.55 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) S 15154 15157 13812 0 -1 4194368 165288 0 0 0 345092 1263 0 0 20 0 21 0 30937832 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19263204 memory=3072 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 30937837 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19263204 memory=6784 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 21 0 30937838 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2820804 KiB

[startup+3540.7 s]
/proc/loadavg: 4.24 4.22 4.24 5/332 15566
/proc/meminfo: memFree=58504836/131382116 swapFree=33010684/33010684
[pid=15157] ppid=15154 vsize=19263204 memory=2820804 CPUtime=3600.3 cores=0,2
/proc/15157/stat : 15157 (java) S 15154 15157 13812 0 -1 4194304 278334 0 0 0 358471 1559 0 0 20 0 21 0 30937831 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
/proc/15157/statm: 4815801 705201 5529 1 0 716831 0
[pid=15157/tid=15159] ppid=15154 vsize=19263204 memory=2820036 CPUtime=3463.55 cores=0,2
/proc/15157/task/15159/stat : 15159 (java) S 15154 15157 13812 0 -1 4194368 165288 0 0 0 345092 1263 0 0 20 0 21 0 30937832 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15168] ppid=15154 vsize=19263204 memory=2820036 CPUtime=0 cores=0,2
/proc/15157/task/15168/stat : 15168 (Finalizer) S 15154 15157 13812 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 30937837 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
[pid=15157/tid=15175] ppid=15154 vsize=19263204 memory=2820036 CPUtime=0 cores=0,2
/proc/15157/task/15175/stat : 15175 (Common-Cleaner) S 15154 15157 13812 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 21 0 30937838 19725520896 705201 18446744073709551615 94165476511744 94165476515440 140735547691440 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94165476523256 94165476524048 94165502509056 140735547697456 140735547697638 140735547697638 140735547703240 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2820804 KiB

Child status: 143

Real time (s): 3540.73
CPU time (s): 3600.35
CPU user time (s): 3584.73
CPU system time (s): 15.6153
CPU usage (%): 101.684
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6395232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.73
system time used= 15.6153
maximum resident set size= 6395232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20858144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121948
involuntary context switches= 14696


# summary of solver processes directly reported to runsolver:
#   pid: 15157
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3584.73
#   total CPU system time (s): 15.6153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7084 second user time and 39.0949 second system time

The end