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 (58449 MiB free)
memory of node 1: 64465 MiB (55062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488960-1751339690/watcher-4488960-1751339690 -o /tmp/evaluation-result-4488960-1751339690/solver-4488960-1751339690 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751336095-58588 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4488960-1751339690.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 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=59149, runsolver pid=59146
[startup+0.100072 s]*
/proc/loadavg: 4.39 4.37 4.43 8/324 59167
/proc/meminfo: memFree=116215884/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=18930384 memory=48844 CPUtime=0.1 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 5646 0 0 0 7 3 0 0 20 0 18 0 49648171 19384713216 12211 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4732596 12211 5051 1 0 546883 0
[pid=59149/tid=59151] ppid=59146 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 4593 0 0 0 4 2 0 0 20 0 18 0 49648174 19384713216 12211 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49648179 19384713216 12211 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=18930384 memory=58494082638250 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49648180 19384713216 12243 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48844 KiB
[startup+0.213722 s]*
/proc/loadavg: 4.39 4.37 4.43 5/324 59167
/proc/meminfo: memFree=116215224/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=18930384 memory=53700 CPUtime=0.23 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 6056 0 0 0 20 3 0 0 20 0 18 0 49648171 19384713216 13425 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4732596 13425 5339 1 0 547211 0
[pid=59149/tid=59151] ppid=59146 vsize=18930384 memory=4026663196 CPUtime=0.14 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 4936 0 0 0 12 2 0 0 20 0 18 0 49648174 19384713216 13425 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=18930384 memory=17127 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49648179 19384713216 13425 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49648180 19384713216 13425 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53700 KiB
[startup+0.313743 s]*
/proc/loadavg: 4.39 4.37 4.43 6/324 59167
/proc/meminfo: memFree=116212200/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=18930384 memory=59652 CPUtime=0.39 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 6543 0 0 0 35 4 0 0 20 0 18 0 49648171 19384713216 14913 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4732596 14913 5339 1 0 547679 0
[pid=59149/tid=59151] ppid=59146 vsize=18930384 memory=-6000919481313485674 CPUtime=0.22 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 5103 0 0 0 20 2 0 0 20 0 18 0 49648174 19384713216 14913 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49648179 19384713216 14913 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49648180 19384713216 14913 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59652 KiB
[startup+0.700342 s]
/proc/loadavg: 4.39 4.37 4.43 7/324 59167
/proc/meminfo: memFree=116212200/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=18998268 memory=76776 CPUtime=1.03 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 8479 0 0 0 97 6 0 0 20 0 19 0 49648171 19454226432 19194 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4749567 19194 5467 1 0 549529 0
[pid=59149/tid=59151] ppid=59146 vsize=18998268 memory=17664 CPUtime=0.51 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 5448 0 0 0 48 3 0 0 20 0 19 0 49648174 19454226432 19194 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=18998268 memory=11264 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49648179 19454226432 19194 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=18998268 memory=3328 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49648180 19454226432 19194 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 18998268 KiB
Current children cumulated memory: 76776 KiB
[startup+1.50031 s]
/proc/loadavg: 4.39 4.37 4.43 6/325 59168
/proc/meminfo: memFree=116197896/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=18996948 memory=122184 CPUtime=2.61 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 11661 0 0 0 252 9 0 0 20 0 19 0 49648171 19452874752 30546 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4749237 30546 5499 1 0 549949 0
[pid=59149/tid=59151] ppid=59146 vsize=18996948 memory=3328 CPUtime=1.26 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 6174 0 0 0 122 4 0 0 20 0 19 0 49648174 19452874752 30546 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49648179 19452874752 30546 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49648180 19452874752 30546 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=18996948 memory=14340 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49648238 19452874752 30546 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122184 KiB
[startup+3.10584 s]
/proc/loadavg: 4.43 4.38 4.43 6/326 59169
/proc/meminfo: memFree=116086208/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19063512 memory=193576 CPUtime=5.78 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 21308 0 0 0 566 12 0 0 20 0 20 0 49648171 19521036288 48394 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4765878 48394 5563 1 0 554966 0
[pid=59149/tid=59151] ppid=59146 vsize=19063512 memory=14340 CPUtime=2.81 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 6878 0 0 0 276 5 0 0 20 0 20 0 49648174 19521036288 48394 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648179 19521036288 48394 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 49648180 19521036288 48394 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648238 19521036288 48394 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193576 KiB
[startup+6.30028 s]
/proc/loadavg: 4.43 4.38 4.43 6/326 59169
/proc/meminfo: memFree=115946944/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19063512 memory=274168 CPUtime=9.55 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 22153 0 0 0 940 15 0 0 20 0 20 0 49648171 19521036288 68542 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4765878 68542 5563 1 0 816057 0
[pid=59149/tid=59151] ppid=59146 vsize=19063512 memory=0 CPUtime=5.83 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 6903 0 0 0 577 6 0 0 20 0 20 0 49648174 19521036288 68542 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648179 19521036288 68542 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 49648180 19521036288 68542 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19063512 memory=130376 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648238 19521036288 68542 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 274168 KiB
[startup+12.7003 s]
/proc/loadavg: 4.40 4.38 4.43 5/326 59169
/proc/meminfo: memFree=115465700/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19063512 memory=636928 CPUtime=16.6 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 26382 0 0 0 1635 25 0 0 20 0 20 0 49648171 19521036288 159232 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4765878 159232 5563 1 0 816068 0
[pid=59149/tid=59151] ppid=59146 vsize=19063512 memory=130376 CPUtime=11.89 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 7855 0 0 0 1178 11 0 0 20 0 20 0 49648174 19521036288 159232 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19063512 memory=579532 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648179 19521036288 159232 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 49648180 19521036288 159232 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648238 19521036288 159232 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 16.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 636928 KiB
[startup+25.5004 s]
/proc/loadavg: 4.45 4.39 4.43 5/326 59169
/proc/meminfo: memFree=114211820/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19063512 memory=1655084 CPUtime=30.01 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 30473 0 0 0 2952 49 0 0 20 0 20 0 49648171 19521036288 413771 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4765878 413771 5563 1 0 1031227 0
[pid=59149/tid=59151] ppid=59146 vsize=19063512 memory=0 CPUtime=23.87 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 9738 0 0 0 2361 26 0 0 20 0 20 0 49648174 19521036288 413771 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19063512 memory=14340 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648179 19521036288 413771 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19063512 memory=1558764 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 49648180 19521036288 413771 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19063512 memory=1052876 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648238 19521036288 413771 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 30.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1655084 KiB
[startup+51.1093 s]
/proc/loadavg: 4.37 4.37 4.42 5/327 59171
/proc/meminfo: memFree=112961504/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19063512 memory=2544732 CPUtime=57.38 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 36742 0 0 0 5667 71 0 0 20 0 20 0 49648171 19521036288 636183 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4765878 636183 5563 1 0 1574346 0
[pid=59149/tid=59151] ppid=59146 vsize=19063512 memory=1655084 CPUtime=48.28 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 11505 0 0 0 4789 39 0 0 20 0 20 0 49648174 19521036288 636183 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19063512 memory=12544 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49648179 19521036288 636183 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 49648180 19521036288 636183 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19063512 memory=636928 CPUtime=0 cores=4,6
################
# More data... #
################
Current children cumulated memory: 9979064 KiB
[startup+2862.3 s]
/proc/loadavg: 4.88 4.83 4.76 6/328 59381
/proc/meminfo: memFree=96130952/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19130076 memory=10187552 CPUtime=3302.38 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 306231 0 0 0 329522 716 0 0 20 0 21 0 49648171 19589197824 2546888 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4782519 2546888 5563 1 0 2564254 0
[pid=59149/tid=59151] ppid=59146 vsize=19130076 memory=17664 CPUtime=2808.71 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 150412 0 0 0 280698 173 0 0 20 0 21 0 49648174 19589197824 2546888 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19130076 memory=17664 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648179 19589197824 2546888 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19130076 memory=10187552 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 1975 0 0 0 0 0 0 0 20 0 21 0 49648180 19589197824 2546888 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19130076 memory=164 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648238 19589197824 2546888 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3302.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10187552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.59 4.77 4.74 5/328 59383
/proc/meminfo: memFree=95873188/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19130076 memory=10296008 CPUtime=3374.46 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 311913 0 0 0 336716 730 0 0 20 0 21 0 49648171 19589197824 2574002 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4782519 2574002 5563 1 0 2591405 0
[pid=59149/tid=59151] ppid=59146 vsize=19130076 memory=10296008 CPUtime=2867.86 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 153666 0 0 0 286609 177 0 0 20 0 21 0 49648174 19589197824 2574002 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19130076 memory=17664 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648179 19589197824 2574002 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19130076 memory=10296008 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 1975 0 0 0 0 0 0 0 20 0 21 0 49648180 19589197824 2574002 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19130076 memory=148 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648238 19589197824 2574002 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3374.46 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10296008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.57 4.73 4.73 6/327 59452
/proc/meminfo: memFree=105022328/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19130076 memory=10421052 CPUtime=3445.98 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 319795 0 0 0 343854 744 0 0 20 0 21 0 49648171 19589197824 2605263 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4782519 2605263 5563 1 0 2622743 0
[pid=59149/tid=59151] ppid=59146 vsize=19130076 memory=10296008 CPUtime=2926.64 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 159252 0 0 0 292484 180 0 0 20 0 21 0 49648174 19589197824 2605263 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19130076 memory=-6000919481313485674 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648179 19589197824 2605263 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19130076 memory=21484 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 2018 0 0 0 0 0 0 0 20 0 21 0 49648180 19589197824 2605263 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19130076 memory=14340 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648238 19589197824 2605263 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3445.98 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10421052 KiB
[startup+3042.3 s]
/proc/loadavg: 4.79 4.75 4.73 5/327 59454
/proc/meminfo: memFree=101097100/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19130076 memory=10563040 CPUtime=3522.35 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 326519 0 0 0 351473 762 0 0 20 0 21 0 49648171 19589197824 2640760 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4782519 2640760 5563 1 0 2658255 0
[pid=59149/tid=59151] ppid=59146 vsize=19130076 memory=10563040 CPUtime=2985.38 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 163752 0 0 0 298356 182 0 0 20 0 21 0 49648174 19589197824 2640760 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19130076 memory=10421052 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648179 19589197824 2640760 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19130076 memory=10504492 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 2061 0 0 0 0 0 0 0 20 0 21 0 49648180 19589197824 2640760 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19130076 memory=4252 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648238 19589197824 2640760 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3522.35 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10563040 KiB
[startup+3102.3 s]
/proc/loadavg: 4.52 4.68 4.71 5/328 59457
/proc/meminfo: memFree=100776544/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19130076 memory=10629900 CPUtime=3591.69 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 332734 0 0 0 358394 775 0 0 20 0 21 0 49648171 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4782519 2657475 5563 1 0 2675018 0
[pid=59149/tid=59151] ppid=59146 vsize=19130076 memory=10629900 CPUtime=3043.32 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 167424 0 0 0 304148 184 0 0 20 0 21 0 49648174 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19130076 memory=5632 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648179 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19130076 memory=10563040 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 2117 0 0 0 0 0 0 0 20 0 21 0 49648180 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19130076 memory=10563168 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648238 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3591.69 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10629900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3110.3 s]
/proc/loadavg: 4.51 4.67 4.71 5/328 59457
/proc/meminfo: memFree=100714856/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19130076 memory=10629900 CPUtime=3600.01 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 333385 0 0 0 359225 776 0 0 20 0 21 0 49648171 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4782519 2657475 5563 1 0 2675018 0
[pid=59149/tid=59151] ppid=59146 vsize=19130076 memory=5632 CPUtime=3051.1 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 168047 0 0 0 304925 185 0 0 20 0 21 0 49648174 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19130076 memory=10563040 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648179 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19130076 memory=10563168 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 2117 0 0 0 0 0 0 0 20 0 21 0 49648180 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59168] ppid=59146 vsize=19130076 memory=10629900 CPUtime=0 cores=4,6
/proc/59149/task/59168/stat : 59168 (Timer-0) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49648238 19589197824 2657475 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 10629900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3110.58 s]
# the end of solver process 59149 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.64 s, system=7.82414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3110.41 s]
/proc/loadavg: 4.51 4.67 4.71 5/328 59457
/proc/meminfo: memFree=100714856/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19329768 memory=10630668 CPUtime=3600.21 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 334707 0 0 0 359245 776 0 0 20 0 22 0 49648171 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4832442 2657667 5595 1 0 2675937 0
[pid=59149/tid=59151] ppid=59146 vsize=19329768 memory=10563168 CPUtime=3051.2 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 168056 0 0 0 304935 185 0 0 20 0 22 0 49648174 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19329768 memory=14340 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 49648179 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19329768 memory=10629900 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 2117 0 0 0 0 0 0 0 20 0 22 0 49648180 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 10630668 KiB
[startup+3110.5 s]
/proc/loadavg: 4.51 4.67 4.71 5/328 59457
/proc/meminfo: memFree=100714856/131382112 swapFree=33010684/33010684
[pid=59149] ppid=59146 vsize=19329768 memory=10630668 CPUtime=3600.39 cores=4,6
/proc/59149/stat : 59149 (java) S 59146 59149 58577 0 -1 4194304 334910 0 0 0 359263 776 0 0 20 0 22 0 49648171 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
/proc/59149/statm: 4832442 2657667 5595 1 0 2675937 0
[pid=59149/tid=59151] ppid=59146 vsize=19329768 memory=5632 CPUtime=3051.3 cores=4,6
/proc/59149/task/59151/stat : 59151 (java) R 59146 59149 58577 0 -1 4194368 168056 0 0 0 304945 185 0 0 20 0 22 0 49648174 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59160] ppid=59146 vsize=19329768 memory=10563040 CPUtime=0 cores=4,6
/proc/59149/task/59160/stat : 59160 (Finalizer) S 59146 59149 58577 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 49648179 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
[pid=59149/tid=59167] ppid=59146 vsize=19329768 memory=10563168 CPUtime=0 cores=4,6
/proc/59149/task/59167/stat : 59167 (Common-Cleaner) S 59146 59149 58577 0 -1 4194368 2117 0 0 0 0 0 0 0 20 0 22 0 49648180 19793682432 2657667 18446744073709551615 94045605253120 94045605256816 140727388649632 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045605264632 94045605265424 94045612593152 140727388653950 140727388654054 140727388654054 140727388659656 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 10630668 KiB
Child status: 143
Real time (s): 3110.58
CPU time (s): 3600.47
CPU user time (s): 3592.64
CPU system time (s): 7.82414
CPU usage (%): 115.749
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 10630668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.64
system time used= 7.82414
maximum resident set size= 10630796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115896
involuntary context switches= 34622
# summary of solver processes directly reported to runsolver:
# pid: 59149
# total CPU time (s): 3600.47
# total CPU user time (s): 3592.64
# total CPU system time (s): 7.82414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0069 second user time and 29.5369 second system time
The end